Infinite splitting in the syzygies of quaternionic groups

This is a continuation of our study [3] of a family of projective modules over Q4n , the generalized quaternion (binary dihedral) group of order 4n. Our approach is constructive. Whenever n 7 is odd, this work provides examples of stably free nonfree modules of rank 1, which are then used to construct exotic algebraic 2‐ complexes relevant to Wall’s D(2)‐problem. While there are examples of stably free nonfree modules for many infinite groups G , there are few actual examples for finite groups. This paper offers an infinite collection of finite groups with stably free nonfree modules P , given as ideals in the group ring. We present a method for constructing explicit stabilizing isomorphisms W ZG ZGaP ZG described by 2 2 matrices. This makes the subject accessible to both theoretical and computational investigations, in particular, of Wall’s D(2)‐problem. 16D40, 19A13, 57M20; 55P15

We propose a dimension-reducing transformation on Group Ring Learning with Errors (GRLWE) samples. We exhibit an efficiently computable isomorphism which takes samples defined over the group rings used in the construction of GRLWE to twice as many samples defined over matrix rings, in half the dimension. This is done by composing two maps: the first map is a transformation showing that the group rings used are orders in central simple algebras, and the second map takes the obtained central simple algebra to a matrix ring. When combined with lattice reduction on the resulting matrix samples, this gives an attack on the GRLWE problem. We extend this attack to other groups proposed for cryptographic use by the creators of GRLWE, and display some numerical results quantifying the effects of the transformation, using the `Lattice Estimator'. We then give a family of groups from which GRLWE-style group rings can be constructed which are immune to our attack, namely the generalized quaternion groups. Finally, we discuss the merits and vulnerabilities of a number of different forms of structured LWE.

Let K[G] denote the group ring of G over the field K. In this note we characterize those group rings in which all left ideals are right ideals. Let R be a ring. We say that R is l.i.r.i. if every left ideal is a right ideal. A ring is l.a.r.i. if every left annihilator is a right ideal. Our notation follows that of [2]. The main results are THEOREM I. Let K be a field and let G be a nonabelian periodic group. Then if K[G] is l.a.r.i. one of the following occurs (i) Char K = 0 and G is a Hamiltonian group such that for each odd exponent, n, of G the quaternion algebra over the field K(4), where 4 is a primitive nth root of unity, is a division ring. (ii) Char K = 2 and K does not contain any primitive cube root of unity. Moreover G = Q x A, where Q is the quaternion group of order 8 and A is abelian in which each element has odd order and if n is an exponent for A, the least integer m > 1 satisfying 2m -1 (mod n) is odd. Conversely if K[G] satisfies either (i) or (ii), then K[G] is l.i.r.i. and, in particular, it is l.a.r.i. Observe that if char K > 2 and G is periodic, then K[GI is l.a.r.i. if and only if G is abelian. THEOREM II. Let K[G] denote the group ring over a nonabelian group. Then the following are equivalent (i) K[G] is l.i.r.i. (ii) G is locally finite and if a,f8 E K[GI with a,8 = 0, then /3a = 0. (iii) G is locally finite and K[G] is l.a.r.i. If we combine the above theorems we get necessary and sufficient conditions for K[GI to be l.i.r.i. By using the antiautomorphism of K[G] given by ,xeG k.x H* IeG kxxwe see that K[G] is l.i.r.i. (l.a.r.i.) if and only if K[G] is r.i.l.i. (r.a.l.i.). Received by the editors February 2, 1978. AMS (MOS) subject classifications (1970). Primary 16A26.

This paper continues the study of the class of Mp-groups introduced by V. P. Shunkov. We obtain a criterion of nonsimplicity of an infinite group which contains anMp-group and contains no group of quaternions. We also obtain a criterion for an infinite group to be an Mp-group.

Let D=F1 x F2 x... x Fn be a direct product of n free groups F1, F2, * , F* * , ox an automorphism of D which leaves all but one of the noncyclic factors in D pointwise fixed, T an infinite cyclic group and F another free group. Let D x a T be the semidirect product of D and T with respect to a and (D x a T) x aXIdT F the semidirect product of D xa Tand F with respect to the automorphism x id T of D Xa T induced by a. We prove that the Whitehead group of (D xa, T) X 2xidT F and the projective class group of the integral group ring Z((D x a T) X aXidT F) are trivial. These results extend that of [3]. Let G be a group. We denote the Whitehead group of G by Wh G and the projective class group of the integral group ring Z(G) of G by kOZ(G). We recall the definition of semidirect product of groups and the definition of twisted group ring. For undefined terminologies used in the paper, we refer to [3] and [4]. Let oc be an automorphism of G and F a free group generated by {tA}. If w is a word in tA defining an element in F, we denote by Iwl the total exponent sum of the tA appearing in w. The semidirect product G xa F of G and F with respect to a is defined as follows: G x . F=GxF as sets and multiplication in G x . Fis given by (g, w)(g', w') = (go-lwl(g'), ww'), for any (g, w), (g', w') in G x F. In particular, if F is an infinite cyclic group T= (t) generated by t, we have the semidirect product G x a T of G and T with respect to oc. Let R be an associative ring with identity and oc an automorphism of R. Let F be a free group (or free semigroup) generated by {tA}. The otwisted group ring R,[F] of F over R is defined as follows: additively R,[F]=R[F], the group ring of F over R, so that its elements are finite linear combinations of elements in F with coefficients in R. Multiplication in R,[F] is given by (rw)(rIw')=roc-1I1(r')ww', for any rw, r'w' in R,[F]. In particular, if F is a free group (resp. free semigroup) generated by t, we Received by the editors May 25, 1973. AMS (MOS) subject classfiJcations (1970). Primary 13D15, 16A26, 18F25; Secondary 16A06, 16A54.

Hadamard matrices of generalized quaternion type

On the class number of some quaternion group rings

Grothendieck groups of dihedral and quaternion group rings

Let $X=GC$ be a group, where C is a cyclic group and G is either a generalized quaternion group or a dihedral group such that $C\cap G=1$ . In this paper, X is characterized and, moreover, a complete classification for $X$ is given, provided that G is a generalized quaternion group and C is core-free.

It is shown that exceptional automorphisms exist for semi-local group rings of groups involving extensions of certain generalized dihedral, semi-dihedral, or quaternion groups

In this chapter we extend the study of stably free cancellation for Z[F n ×Φ] to the cases where Φ is the quaternion group Q(4m) of order 4m defined by the presentation $$Q(4m) = \langle x , y \vert x^m = y^2 , xyx = y\rangle.$$ Here we find a marked contrast with the dihedral and cyclic cases. We first show by a delicate calculation that Z[C ∞×Q(8)] has infinitely many distinct stably free modules of rank 1. Whilst this result might seem unduly specific, it nevertheless implies a similar conclusion for Z[F n ×Q(8m)] whenever m,n≥1. We conclude with a brief survey of what is known for the group rings Z[F n ×Q(4m)] when m is odd.

Let H be a generalized dihedral, semi-dihedral, quaternion, or modular group, and let A = (u, v, w) be a product of three odd order cyclic groups, with (|v|,|w|) = 1. For R a semi-local Dedekind domain of characteristic 0 in which no prime divisor of |H|.|A| is invertible, we prove that there is a semi-direct product G = H × A such that the group ring RG has an exceptional automorphism, i.e. provides a counter-example to a well-known conjecture of Zassenhaus on automorphisms of group rings

Let G be a (finite or infinite) group, and let KG = Cay(G; G \ {1}) be the complete graph with vertex set G, considered as a Cayley graph of G. Being a Cayley graph, it has a natural edge-colouring by sets of the form {s, s-1} for s in G. We prove that every colour-permuting automorphism of KG is an affine map, unless G is isomoprhic to the direct product of Q8 and B, where Q8 is the quaternion group of order 8, and B is an abelian group, such that b2 is trivial for all b in B. We also prove (without any restriction on G) that every colour-permuting automorphism of KG is the composition of a group automorphism and a colour-preserving graph automorphism. This was conjectured by D. P. Byrne, M. J. Donner, and T. Q. Sibley in 2013.

After we have given a survey on the Burnside ring of a finite group, we discuss and analyze various extensions of this notion to infinite (discrete) groups. The first three are the finite-G-set-version, the inverselimit-version and the covariant Burnside group. The most sophisticated one is the fourth definition as the zero-th equivariant stable cohomotopy of the classifying space for proper actions. In order to make sense of this definition we define equivariant stable cohomotopy groups of finite proper equivariant CW-complexes in terms of maps between the sphere bundles associated to equivariant vector bundles. We show that this yields an equivariant cohomology theory with a multiplicative structure. We formulate a version of the Segal Conjecture for infinite groups. All this is analogous and related to the question what are the possible extensions of the notion of the representation ring of a finite group to an infinite group. Here possible candidates are projective class groups, Swan groups and the equivariant topological K-theory of the classifying space for proper actions.

A Cayley map is a Cayley graph embedded in an orientable surface such that the local rotations at every vertex are identical. In this paper, balanced regular Cayley maps for cyclic groups, dihedral groups, and generalized quaternion groups are classified.