Arxiv:2104.00434V1 [Math.GR] 1 Apr 2021 Hoe 1.1

arXiv:2104.00434v1 [math.GR] 1 Apr 2021 hoe 1.1. Theorem of n l their all and o-iptn rusin groups non-nilpotent hoeia hrceiaino h class the of characterization theoretical 8) l classes All [8]). h ls ffiiegop l fwoeCye rpso valenc of graphs Cayley whose of all groups finite of class the bla group abelian Dic( ru Dic( group By fitga rpsge akt 1]adtesuyo integral of study the and group [10] A to back [2]. goes graphs integral of 1].TeCye nerlgop eecasfidindepende classified were groups groups: integral following Cayley The [13]). g x Let 108 n eerhpoet 104,N-02 190,J J1-9108, Sl N1-0062, hospitality. the for by N1-0140, University supported projects Jiaotong Kovács was research I. and (B16002). P1-0285 China of Project NFNT RUSWT RSRBDTOGNRTRSBRUSA SUBGROUPS TWO-GENERATOR PRESCRIBED WITH GROUPS FINITE ON − ∈ For alyitga ruswr eeaie n[,1] o pos a For 14]. [8, in generalized were groups integral Cayley 2010 h ls ffiiegop tde nti ae a endi a in defined was paper this in studied groups finite of class The .Q egwsspotdb h ainlNtrlSineFou Science Natural National the by supported was Feng Y.-Q. phrases. and words Key G 1 Z G 3 G ∗ A ∈ n G • G • G • G • n h ls fal3gop fepnn se[4 Corollar [14, (see 3 exponent of 3-groups all of class the and stegroup the is ) and k eagopwt dniyeeet1 n let and 1, element identity with group a be X ahmtc ujc Classification. Subject Mathematics and Abstract. htfrayinvolution any for that groups: bandfrtefiiegop l fwoeCye rpso de of graphs Cayley whose of all groups finite the for obtained > k 4 2 1 o every for all : groups. finite all : k , = x Z ,let 2, D 4 ∈ k G sas nw sthe as known also is ) > n G vln alygah r nerl(e 1].I a hw t shown was It [14]). (see integral are graphs Cayley -valent A 5 X Z D h alyitga rusadtegop Dic( groups the and groups integral Cayley the : :teCye nerlgroups. integral Cayley the 6: ednt h ylcaddhda ru forder of group dihedral and cyclic the denote we G 2 [4 hoe 2.6]). Theorem ([14, aigauiu involution unique a having ssi obe to said is 8 G rp ssi obe to said is graph A . , k and - k Z ∗ D nti ae,w hrceietefiiegroups finite the characterize we paper, this In with 2 2 x etecaso rusta di tlatoeCye rp fv of graph Cayley one least at admit that groups of class the be h 6 , ,x A, , Z ∈ 4 Dic( nt -ru,Foeisgop pca group. special group, Frobenius 2-group, finite D , G X k i Z 3 12 where , The . eedtrie n[8]. in determined were 3 6= 6 A-UNFN N ISTV AND FENG YAN-QUAN r loin also are Z , fe groups -free x o Z 6 NERLCYE GRAPHS CAYLEY INTEGRAL ( ) n element and 2 alyintegral Cayley x , × ) Z { ∈ alygraph Cayley Z x 2 m 4 2 , utringroup quaternion × 1 Z = 1. nt group finite A , 04,20E25. 20D45, 2 G Z 2 t integral 3 × ∗ , Introduction 3 n G G aadWn 1]gv h olwn ueygroup purely following the gave [14] Wang and Ma . 3 and y , Z 3 ∗ , . ihtepoet htteorder the that property the with 6 4 of Z t , and 2 m n order and 6 a G 1 } falCye rpsΓ( graphs Cayley all if x × , Γ( falo t ievle r nees h study The integers. are eigenvalues its of all if h o every for = A ,y x, Z ,X G, 4 a sarsl,acaatrzto ilbe will characterization a result, a As . 4 n X − , i G -65adJ-41 n sgaeu oBeijing to grateful is and J1-2451) and 1-1695 eoe by denoted , 1 sioopi ooeo h following the of one to isomorphic is Z NKOV AN ⊂ ´ a etxset vertex has ) vna eerhAec rsac program (research Agency Research ovenian G ∈ o all for | 2 m A G dto fCia(1302 n h 111 the and (11731002) China of ndation G × | x 3 ∗ > fee re ihteproperty the with order even of easbe uhta 1 that such subset a be Q ∈ re3hv nerlspectrum. integral have 3 gree fadol if only and if tyi 1 ]adteeaethe are these and 3] [1, in ntly ,the 2, 8 a G. alygah a ntae in initiated was graphs Cayley ACS ´ ( tmost at y ∈ tv integer itive ,n m, Z A 3 n Q rp hoeia context. theoretical graph n .].I atclr all particular, In 2.7]). y eeaie iylcgroup dicyclic generalized × se[7 ae22) The 252]). page [17, (see 8 epciey ie an Given respectively. , . > ,X G, Z G 0) 6 ) n , . hat n edges and k r nerl(see integral are ) r nerl(see integral are k > G let , 3 1. steunion the is G ∈ / k alency { denote X ,xg g, and ND } k , 2 Y.-Q. FENG AND I. KOVACS´

(i) G =∼ D6 or (ii) G has even order and for all x,y ∈ G such that o(x) = 2, we have that hx,yi is isomorphic to one of the following groups: Z Z2 Z Z Z Z Z Z 2, 2, 4, 6, 2 × 4, 2 × 6 and A4.

By A4 we denote the alternating group of degree 4. As a corollary of Theorem 1.1, all nilpotent groups in G3 were also found (see [14, Corollary 2.8]), and these are the groups: ∼ Zn • U × V , where U is trivial or of exponent 3 and V = 2 , n > 0. • The 2-groups G of exponent 4 with Ω1(G) 6 Z(G). ∗ Our goal in this paper is to characterize the non-nilpotent groups in class G3 , or equiv- alently, the non-nilpotent groups having the property in case (ii) of Theorem 1.1. We will refer to this property throughout this article and denote it by (P). Before presenting our result we set some notation and definitions. If x,y ∈ G for some group G, then the conjugate xy = y−1xy. A semidirect product of G with another group H will be denoted by G ⋊ H, where G is normal in G ⋊ H. Suppose that G is a transitive permutation group acting on a set Ω. Then G is said to be a Frobenius group if the point stabilizers Gα, α ∈ Ω, are non-trivial, and no non-identity element of G fixes more than one point (cf. [9, page 37]). The elements of G that fix no point in Ω together with the identity element form a regular normal subgroup of G, which is called the Frobenius kernel of G. The group G can be expressed as G = K ⋊ H, where K is the Frobenius kernel of G and H = Gα. The group H is also referred to as a Frobenius complement of G. Note that all stabilizers Hα are Frobenius complements. Remark 1.2. Frobenius groups will arise in later proofs as subgroups of the holomorph of a group G. The holomorph of G is the semidirect product G ⋊ Aut(G) (see [9, page 26]). Its elements are written uniquely of the form gα, where g ∈ G and α ∈ Aut(G) and it has a faithful action on G defined by xgα = (xg)α, where x, g ∈ G and α ∈ Aut(G). A subgroup A 6 Aut(G) is said to be regular if every non-identity automorphism in A is fixed-point-free (see [9, page 39]). It follows directly from the definition that, as a permutation group of G just described, G ⋊ A is a Frobenius group whose Frobenius kernel is G and A (the stabilizer of the identity element of G) is a Frobenius complement. Finally, a p-group P is said to be special if it is either an elementary abelian p-group, or P ′ = Φ(P ) = Z(P ) is an elementary abelian p-group (see [9, page 183]). Note that, in the latter case, P is of class 2. We remark that all special p-groups considered in this paper will be non-abelian. We are ready to state the main result of this paper. Theorem 1.3. Let G be a finite non-nilpotent group. Then G has property (P) if and only if it belongs to one of the following families: Zm Z Zn (a) Dic( 3 × 2) × 2 , m > 1 and n > 0.

(b) U ×V )⋊hzi, where z normalizes both U and V , hU, zi is of exponent 3, V = V1 ×···×Vn and for every i, 1 6 i 6 n, ∼ Z2 ∼ Vi = 2 and Vi, z = A4. (c) Frobenius groups K ⋊ H with Frobenius kernel K being a 2-group of exponent 4 and of class 2 with Ω1(K) 6 Z(K) and Frobenius complement H =∼ Z3. ⋊ ∼ Z ∼ Zm (d) U hzi × V , where z = 3, V = 2 , m > 0, U is a non-abelian special 2-group such that C (z)=Ω (U)= Z(U), U = Z(U) n U and for every i, 1 6 i 6 n, U 1 i=1 i Z(U)Ui P U, Ui =∼ QQ8 and Ui, z =∼ SL(2, 3).

Furthermore, for any i 6= j, 1 6 i, j 6 n, |Ui ∩ Uj| 6 2. FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 3

Remark 1.4. Let G be any 3-group of exponent 3 and of order 3n with n > 1 and let M be a maximal subgroup of G. Then |M| = 3n−1 and M P G. Picking z ∈ G but z 6∈ M, we have G = M ⋊ hzi. This implies that a group in family (b) can have any non-trivial 3-group of exponent 3 as its Sylow 3-subgroup. Remark 1.5. Note that determining the groups in family (c) is equivalent to finding the 2- groups G that satisfy the following conditions: the exponent of G is 4, Ω1(G) 6 Z(G) and G admits a fixed-point-free automorphism of order 3. In Section 5, we will study the possible isomorphism type of a minimal non-abelian subgroup of such 2-groups. A group is minimal non-abelian if it is non-abelian and all of its proper subgroups are abelian. It will be shown that there are only two possibilities: the metacyclic group H16 of order 16 defined by 4 4 −1 −1 H16 = a, b | a = b = 1, b ab = a ; (1) and the non-metacyclic group H32 of order 32 defined by 4 4 2 H32 = a, b, c | a = b = 1, c = 1, [a, b]= c, [a, c] = [b, c] = 1 . (2) Non-abelian 2-groups with prescribed minimal non-abelian subgroups of exponent 4 were studied by Janko [11]. In Section 5, we will also discuss the consequence of a result in [11] when applied to the Frobenius kernels in family (c) (see Proposition 5.3). Remark 1.6. Similarly, determining the groups in family (d) is equivalent to finding the non- abelian 2-groups G that satisfy the following conditions: G is a special 2-group, Ω1(G)= Z(G) and G admits an automorphism of order 3 whose fixed points comprise Z(G). Examples of such 2-groups are the Sylow 2-subgroups of the special unitary groups SU(3,q), q = 22n+1 and n ≥ 1. Indeed, such a group admits the following matrix representation (see [7]): 1 a b G = 0 1 a : a, b ∈ GF(q2), aa = b + b , 0 0 1! n o where x 7→ x is the automorphism of GF(q2) of order 2. This shows that |G| = q3 = 26n+3. ′ It follows that G = Φ(G)= Z(G)=Ω1(G) consisting of those matrices with a = 0. This is an elementary abelian group of order q = 22n+1 and we obtain that G is a special group. Take now the diagonal matrix z = Diag(λ, 1, λ) where λ3 = 1 and λ 6= 1. One can quickly check that z normalizes G and CG(z)=Ω1(G), in other words, the action of z on G by conjugation induces the required automorphism of order 3. Another infinite family of 2-groups with the aforementioned properties will be exhibited in Section 5 (see Proposition 5.5). The paper is organized as follows: Section 2 contains the preliminary results needed in the proof of Theorem 1.3. Following several preparatory lemmas derived in Section 3, the proof is presented in Section 4. Finally, Section 5 contains some further discussion on the groups in families (c) and (d).

2. Preliminaries All groups in this paper will be finite. Our terminology and notation from group theory are standard and we follow the book [9]. For an easier reading of the text we collect below some results. To start with, we review a couple of the properties of a fixed-point-free automorphism. Proposition 2.1. Let α be a fixed-point-free automorphism of a group G such that α has order n and let x ∈ G. Then the following conditions hold: n−1 (i) ([9, Lemma 10.1.1(ii)]) x(xα) · · · (xα ) = 1; (ii) ([9, Theorem 10.1.4]) if n = 2, then G is abelian and xα = x−1; (iii) ([9, Theorem 10.1.5]) if n = 3, then G is nilpotent and x commutes with xα. 4 Y.-Q. FENG AND I. KOVACS´

Although it will not be used in this paper, the group G in case (iii) is also known to have nilpotency class at most 2 ([6, page 90]). Recall that, a group A of automorphisms of a group G is regular if every non-identity element in A is fixed-point free, and then the semidirect product G ⋊ A is a Frobenius group (see Remark 1.2). We shall use the following property of Frobenius groups. Proposition 2.2. (cf. [9, Theorem 10.3.1](iv)) Let G = K ⋊ H be a Frobenius group with kernel K and complement H such that |H| is odd. Then every Sylow p-subgroup of H is cyclic. Proposition 2.3. ([9, Lemma 10.5.4]) Let G be a group in which G′ is nilpotent and let P ′ be a Sylow p-subgroup of G. Then G = Op′ (G )NG(P ). Recall that, a group is minimal non-abelian if it is non-abelian and all of its proper subgroups are abelian. Proposition 2.4. ([4, Lemma 3.2(a)]). Let G be a two-generator p-group such that |G′| = p. Then G is minimal non-abelian. Let G be a finite p-group. Set Gp = hgp | g ∈ Gi. The following theorem is Burnside’s basis theorem. Proposition 2.5. ([16, 5.3.2]) Let G be a finite p-group. Then Φ(G) = G′Gp. If |G : Φ(G)| = pr, then every generating set of G has a subset of r elements which also generates ∼ Zr G. In particular, G/Φ(G) = p. The following result is Burnside’s p-complement theorem. Proposition 2.6. (cf. [9, Theor em 7.4.3]) If a Sylow p-subgroup P of a group G lies in Z(NG(P )), then G has a normal p-complement, i.e. a normal subgroup N such that |N| = |G : P |. Rédei [15] classified the minimal non-abelian p-groups and it follows from his result that there are exactly three minimal non-abelian 2-groups G of exponent 4 having the property that Ω1(G) 6 Z(G). Namely, G =∼ Q8 or H16 or H32, where H16 is the metacyclic group of 4 5 order 2 defined in Eq. (1) and H32 is the non-metacyclic group of order 2 defined in Eq. (2). Proposition 2.7. (cf. [8, Proposition 12] and [14, Corollary 2.8]) Let G be a non-abelian 2-group of exponent 4. The following statements are equivalent: (i) The group G has property (P). (ii) Ω1(G) 6 Z(G). (iii) Every minimal non-abelian subgroup of G is isomorphic to one of the following groups: Q8,H16 and H32. 3. Preparatory lemmas Let π(G) denote the set of all prime divisors of the order of a group G and for a prime p ∈ π(G), denote by Gp a Sylow p-subgroup of G. For elements x,y ∈ G, the commutator [x,y]= x−1y−1xy. In our first lemma we collect several properties of the groups with property (P), which are direct consequences of the definition and will be used repeatedly in the remainder of the paper. Lemma 3.1. Let G be a group with property (P). Then G has the following properties: (i) For each g ∈ G, the order o(g) = 1, 2, 3, 4 or 6, in particular, we have π(G) ⊆ {2, 3} and G is a soluble group. 2 (ii) If x,y ∈ G with o(x) = 2 and [x,y] 6= 1, then o(y) = 3 and xxyxy = 1, in particular, any two involutions in G commute. (iii) A Sylow 2-subgroup G2 of G has exponent at most 4 and Ω1(G2) 6 Z(G2). (iv) A Sylow 3-subgroup G3 of G has exponent 3. FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 5

(v) Each subgroup H 6 G of even order and each quotient group G/N such that N is a 3-group have property (P). Proof. (i): The possibilities for o(g) follow directly from property (P) and the solubility of G from Burnside’s paqb-theorem. (ii): If x,y ∈ G with o(x)=2 and [x,y] 6= 1, then we have hx,yi =∼ A4 by property (P). This implies (ii). (iii)-(iv): These follow directly from property (P) and (ii). (v): The ﬁrst part is also clear. For the second part, let Nx be an element of G/N of order 2, and let Ny be any other element. Note that, in this case o(x) = 2 must hold. Then in G/N we have hNx,Nyi =∼ hx,yiN/N =∼ hx,yi/(hx,yi∩ N). Furthermore, as o(x) = 2, hx,yi is isomorphic to one of the groups: Z Z2 Z Z Z Z Z Z 2, 2, 4, 6, 2 × 4, 2 × 6 and A4. If hx,yi is abelian, then hNx,Nyi is also isomorphic to one of the ﬁrst six groups above (here we use that |hNx,Nyi| is even). Finally, if hx,yi =∼ A4, we have that hx,yi∩ N is trivial, and hNx,Nyi =∼ A4. We conclude that G/N has property (P).

We set the notation Ω1(G) = x : x ∈ G, o(x) = 2 , where G has even order. Clearly, Ω (G) is normal in G. 1 Lemma 3.2. Let G be a group with property (P).

(i) Ω1(G)=Ω1(G2) is an elementary abelian 2-group, and ′ (G2) 6 Φ(G2) 6 Ω1(G2) 6 Z(G2). (3)

In particular, G2 has nilpotency class at most 2. (ii) If O3(G) = 1 and G has an element of order 4, then O2(G) > Ω1(G2). (iii) If O2(G) > Ω1(G2) and G is not a 2-group, then |G3| = 3 and the action of G3 on O2(G) by conjugation induces a regular group of automorphisms of O2(G)/Ω1(G2).

Proof. (i): By Lemma 3.1(ii), any two involutions in G commute, hence Ω1(G) is an elementary abelian 2-group and as Ω1(G) P G, we have Ω1(G) ≤ G2 and so Ω1(G)=Ω1(G2). Also, Ω1(G2) 6 Z(G2) by Lemma 3.1(iii). If G2 has exponent 2, then (3) clearly holds. If 2 G2 has exponent 4, then, for every x ∈ G2, we have (xΩ1(G2)) = Ω1(G2), showing that ′ G2/Ω1(G2) is an elementary abelian 2-group. Therefore, (G2) 6 Φ(G2) 6 Ω1(G2) and as Ω1(G2) 6 Z(G2) also holds, (3) follows.

(ii): Suppose O3(G)=1and G has an element of order 4. By Lemma 3.1(i), π(G) ⊆ {2, 3} and G is soluble. Since O3(G) = 1, we have the Fitting subgroup F (G) = O2(G). By (i), Ω1(G)=Ω1(G2) 6 O2(G). Assume O2(G)=Ω1(G2). Then, by (i), G2 6 CG(F (G)) 6 F (G)=Ω1(G2) by [9, Theorem 6.1.3]. As G2 has elements of order 4, this contradicts (i). Hence O2(G) > Ω1(G2).

(iii): Let g ∈ G3 \ {1}. Then g has order 3 by Lemma 3.1(iv), and G3 normalizes O2(G). By [9, Theorem 5.3.15], CO2(G)/Ω1(G)(g) = CO2(G)(g)Ω1(G). As G has no elements of order 12 by Lemma 3.1(i) we deduce that

CO2(G)(g) 6 Ω1(G).

This proves (iii) if |G3| =3. If |G3| > 3, then, as G3 has exponent 3, there exist g, h ∈ G3 such that hg, hi is elementary abelian of order 9. But then [9, Theorem 5.3.16] implies

O2(G)= CO2(G)(x) : x ∈ hg, hi \ {1} 6 Ω1(G2), a contradiction. Hence |G3| = 3. We continue with two lemmas about the normalizer of a Sylow 2- and 3-subgroup, respectively. 6 Y.-Q. FENG AND I. KOVACS´

Lemma 3.3. Let G be a group with property (P). Let N = NG(G2), and let z ∈ N be an element of order 3. Then one of the following holds:

(i) CG2 (z) = 1, and for every u ∈ G2 of order 4, we have that z ∼ z z2 ∼ Z2 hu, u i = hu, u , u i = 4.

(ii) CG2 (z)=Ω1(G2), and for every u ∈ G2 of order 4, we have that z z z2 hu, u i =∼ Q8 and hu, u , u i =∼ Q8 or Q8 × Z2.

Proof. By Lemma 3.1(i), G has no element of order 12 and this shows that CG2 (z) ≤ Ω1(G2). We show ﬁrst that

CG2 (z)=1or CG2 (z)=Ω1(G2). If not, we can choose two involutions x,y ∈ G such that [x, z] = 1 and [y, z] 6= 1. By property (P), hy, zi =∼ A4. Since [x,y] = 1 also holds, see Lemma 3.1(ii), we have that hy,zxi =∼ A4 × Z2, a contradiction. In order to prove the remaining statements in (i) and (ii), we assume that G2 has an element of order 4, say u. Let K = hG2, zi. Since G2 is normalized by z, it follows that K can be written as the semidirect product K = G2 ⋊ hzi. It is clear that G2 is the unique Sylow 2-subgroup of K. Since K has no element of order 12, see Lemma 3.1(i), it follows that O3(K) = 1. By Lemma 3.1(v), K also has property (P), hence Lemma 3.2(ii) and (iii) can be applied to K. We conclude that the action of z on G2 by conjugation induces a ﬁxed-point-free automorphism of G2/Ω1(G2), say αz. For sake of simplicity, for an element v ∈ G2, we denote by v the image of v under the canonical epimorphism πG2/Ω1(G2) from G2 to G2/Ω1(G2). z z2 Let H = hu, u , u i. By the above paragraph, we can apply Proposition 2.1(i) to αz and 2 2 αz (αz ) z z obtain that u (u) (u) = 1 holds in G2/Ω1(G2). This means that uu u = x for some z x ∈ Ω1(G2) and thus H = hu, u ,xi. By Lemma 3.2(i), x ∈ Z(H). Note that H is normalized by z but not centralized, and therefore, 3 divides the order of Aut(H).

Case 1. CG2 (z) = 1. In this case the action of z by conjugation on G2 induces a ﬁxed-point- z free automorphism of G2. By Proposition 2.1(i), x = 1 holds above, and so H = hu, u i. z ∼ Z Z Z2 Also, by Proposition 2.1(iii), [u, u ] = 1, and it follows that H = 4 × 2 or 4. As the ∼ Z2 former group admits no ﬁxed-point-free automorphism of order 3, we conclude that H = 4 and (i) follows. 2 z 2 z z ∼ Case 2. CG2 (z)=Ω1(G2). In this case u = (u ) . If[u, u ] = 1, then we have hu, u i = Z Z ∼ Z Zr 4 × 2 and so H = 4 × 2 for r = 1 or 2. In either case z centralizes an element of order 4, a contradiction. Thus hu, uzi is non-abelian. Let T = hu, uzi. By Lemma 3.2(i), [u, uz] ∈ Z(T ). Since u2 = (uz)2 ∈ Z(T ) also holds, we have |hu2, [u, uz]i| 6 4 and |T/hu2, [u, uz]i| 6 4. It follows that |T | 6 16. Also, T ′ = h[u, uz]i, and thus by Proposition 2.4, T is a minimal non-abelian 2-group. We can apply Proposition 2.7 and this shows that T =∼ Q8 or H16. Recall that H = hT, xi and x ∈ Z(H). We have H =∼ Q8, Q8 × Z2, H16 or H16 × Z2. A computation with the computer algebra system magma [5] shows that in the latter two cases | Aut(H)| is not divisible by 3. Thus, T =∼ Q8 and H =∼ Q8 or Q8 × Z2 and (ii) follows. Lemma 3.4. Let G be a group with property (P) such that G is not a 2-group and let N = NG(G3). (i) If |N| is even, then G3Ω1(N2)= G3 × Ω1(N2). ∼ Zn (ii) If N has no element of order 4, then N = G3 × 2 with n > 0, and if N has an element ∼ Zm Z Zn of order 4, then N = Dic( 3 × 2) × 2 with m > 1, n > 0. (iii) If N has no element of order 4 and G3 is abelian, then O2(G)= G2. In particular, if G3 is non-abelian, then N = G3 × Ω1(N2). FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 7

Proof. (i): Assume that |N| is even. By Lemma 3.1(v), N also has property (P). Thus Lemma 3.2(i) can be applied to N, and we ﬁnd that Ω1(N2) P N. Since G3 P N also holds, it follows that G3Ω1(N2)= G3 × Ω1(N2).

(ii): If N has no element of order 4, then N2 =Ω1(N2), and by (i), we have N = G3 × N2, ∼ Zn and N2 = 2 with n > 0. 2 Suppose now that N2 contains an element u of order 4. By part (i), we have [G3, u ] = 1. Since no element can have order 12, the action of u on G3 by conjugation induces a ﬁxed- ∼ Zm point-free automorphism of G3 of order 2. By Proposition 2.1(ii), G3 = 3 with m > 1 and u −1 v −1 uv z = z for every z ∈ G3. Similarly, z = z for any v ∈ N2 with o(v) = 4. Thus z = z, hence uv has order 1 or 2. It follows that uv ∈ Ω1(N2), implying that |N2 :Ω1(N2)| = 2. By ∼ Zn Z Lemma 3.2(i), [u, w] = 1 for any w ∈ Ω1(N2), and it follows N2 = 2 × 4 with n > 0. In ∼ Zm Z Zn particular, N = Dic( 3 × 2) × 2 with m > 1 and n > 0. (iii): This follows from (ii) and Proposition 2.6. In the next lemma, we address the question of whether or not a Sylow p-subgroup is normal. Lemma 3.5. Let G be a group with property (P) and suppose that G′ is nilpotent. Then G has a normal Sylow 2- or 3-subgroup. Furthermore, if G3 is non-abelian, then G has a normal Sylow 2-subgroup.

Proof. Clearly, we may assume that G is non-nilpotent. In particular, G3 6= 1. Let N = NG(G3). ∼ Zn Assume ﬁrst that G3 is non-abelian. By Lemma 3.4, N = G3 × M, where M = 2 for ′ ′ some n > 0. Since G is nilpotent, G factorizes as G = O2(G )N (Proposition 2.3). Thus ′ ′ ′ G = O2(G )(G3 × M), and O2(G )M is a Sylow 2-subgroup of G. The group O2(G ) is ′ ′ characteristic in G , which is characteristic in G, implying that O2(G ) P G. We conclude ′ ′ that both O2(G ) and M are normalized by G3 and hence that O2(G )M is normal in G. Assume now that G3 is abelian. If N has no element of order 4, then we are done by Lemma 3.4(iii). Assume that N has elements of order 4. Then ∼ Zm Z Zn N = Dic( 3 × 2) × 2 ′ ′ with m > 1, n > 0 by Lemma 3.4(ii). We obtain that G3 6 N 6 G . This implies that G3 ′ ′ is a normal Sylow 3-subgroup of G because G is nilpotent, and hence G3 is also normal in G.

Lemma 3.6. Let G be a group with property (P) such that G is not a 2-group, G2 is of exponent 4 and G3 R G. Then

|G3| = 3 and |G2 : O2(G)| 6 2.

Furthermore, if |G2 : O2(G)| = 2, then G/O2(G) =∼ D6.

Proof. Assume for the moment that O3(G) 6= 1. We are going to use below the facts that both O3(G)G2 and G/O3(G) have property (P), see Lemma 3.1(v). Since O3(G) is normal in O3(G)G2 and G2 is of exponent 4, we obtain by Lemma 3.4(ii) ∼ Zn Z ∼ Zm that G2 = 2 × 4 for some n > 0, and that O3(G) = 3 for some m > 1. Since G3 R G, it follows that |G3|= 6 3. This, combined together with Lemma 3.2(iii), yields that ∼ Zn+1 O2(G)=Ω1(G2) = 2 , and so |G2 : O2(G)| = 2. Note that, Gp R G for both p = 2 and p = 3. ∼ ∼ Zn Z Write H = G/O3(G). Then O3(H) = 1 and H2 = G2 = 2 × 4. Consequently, |H2 : Ω1(H2)| = 2. By Lemma 3.2(ii), O2(H) 6= Ω1(H2), implying that O2(H) = H2, and so G2O3(G) P G. Also, by Lemma 3.2(iii), |H3| = 3. The Fitting subgroup F (G)= O2(G) × O3(G) 8 Y.-Q. FENG AND I. KOVACS´ is abelian. The order |G/F (G)| = 6 because |Gp : Op(G)| = p for both p = 2 and p = 3, hence G/F (G) =∼ Z6 or D6. The latter case is impossible because G2F (G)/F (G) = G2O3(G)F (G)/F (G) is a normal subgroup of G/F (G) of order 2. We conclude in turn that, ′ ′ G/F (G) =∼ Z6, G 6 F (G) and hence G is abelian. By Lemma 3.5, G2 P G or G3 P G, a contradiction. Summing up, we have proved that O3(G) = 1. As G2 is of exponent 4, by Lemma 3.2(ii), O2(G) > Ω1(G2), and then by Lemma 3.2(iii), |G3| = 3. Assume that G2 P G. Then G2 = O2(G) and the lemma follows. Now, assume that G2 R G. Let us consider the groups K := G/O2(G) and L := G3O2(G)/O2(G). Then O2(K)= 1 and |L| = 3, implying in turn that L P K, CK (L) = L, and K/L is isomorphic to a subgroup of Aut(L) =∼ Z2. Since G2 R G, we conclude that |K| = 2|L| and K =∼ D6. This completes the proof of the lemma.

4. Proof of Theorem 1.3 ⋊ ∼ Zn ∼ Z Let K H be a Frobenius group with Frobenius kernel K = 2 and a complement H = 3. Let H = hzi, and let x ∈ K be any non-identity element. The action of z on K by conjugation induces a ﬁxed-point-free automorphism. Then Proposition 2.1(i) implies that hx, zi =∼ A4. This fact will be used several times in the rest of the section.

4.1. Suﬃciency. Let G be a group from one of the families (a)–(d) in Theorem 1.3. We have to show that G has property (P). It is straightforward to check that for any g ∈ G, o(g) = 1, 2, 3, 4 or 6. Let x,y ∈ G be arbitrary elements such that o(x) = 2. In the case when [x,y]=1, we ﬁnd ∼ Z Z2 Z Z Z Z Z Z hx,yi = 2, 2, 4, 6, 2 × 4 or 2 × 6. Thus G has property (P) if and only if the following condition holds:

[x,y] 6=1 =⇒ hx,yi =∼ A4. (4) If G is from family (a), then one can check easily that x ∈ Z(G), in particular, the above implication holds trivially. Suppose that G = (U × V ) ⋊ hzi given in family (b). Then we have x ∈ V and y = uvzi, where u ∈ U, v ∈ V and 0 6 i 6 2. g Writing t = uzi, we have that y = vt and y3 = 2 2 i 2i vvt vt = vvtvt = vvz vz . It follows from the description of the groups in family (b) that z acts on V by conjugation as a fixed-point-free automorphism of order 3, and so y3 = 1 if i> 0 by Proposition 2.1(i). If [x,y] 6= 1, then i> 0, y normalizes V , and its action on V by conjugation induces a fixed-point-free automorphism of order 3. By the paragraph preceding Subsection 4.1, hx,yi =∼ A4. Suppose next that G = K ⋊ H given in family (c). Then we have x ∈ Ω1(K) and y = kh, where k ∈ K and h ∈ H. If h = 1, then we have [x,y] = 1 because Ω1(K) 6 Z(K). If h 6= 1, then y has order 3 and hx,yi =∼ A4 because y normalizes Ω1(K) and its action on Ω1(K) by conjugation induces a fixed-point-free automorphism of order 3. Thus the paragraph preceding Subsection 4.1 can be applied again and this shows that (4) holds also in this case. Finally, suppose that G = (U ⋊ hzi) × V given in family (d). It follows from the properties of groups in family (d) that Ω1(G)=Ω1(U) × V = Z(G). This yields (4) immediately.

4.2. Necessity. Let G be a group having property (P) such that G is non-nilpotent. Note that, Ω1(G2) 6 Z(G2) holds by Lemma (3.1)(iii). We are going to show below that G belongs to one of the families (a)–(d) in Theorem 1.3.

Case 1. G3 P G. We apply Lemma 3.4 to G. If G2 is an elementary abelian 2-group, then G2 =Ω1(G2), hence G = G3 × G2, see Lemma 3.4(i), contradicting that G is non-nilpotent. Therefore, G is of exponent 4, and Lemma 3.4(ii) shows that it belongs to family (a) in Theorem 1.3. FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 9

Case 2. G3 R G, G2 P G and G2 is an elementary abelian 2-group. Let

U = CG3 (G2) and V = G2.

Lemma 3.3 implies that for every z ∈ G3 such that z∈ / U, the action of z on V by conjugation induces a ﬁxed-point-free automorphism, and such a z exists because G is non-nilpotent. Consequently, the group G3/U is isomorphic to a regular group H of automorphism of V , and the semidirect product V ⋊ H is a Frobenius group with kernel V and a complement H. By Proposition 2.2, |H| = 3. Therefore, |G3 : U| = 3, and if z ∈ G3 such that z∈ / U, we can write G3 = U ⋊ hzi and so G = (U × V ) ⋊ hzi. Let us consider V as a hzi-module over GF(2). Since G is non-nilpotent, by Lemma 3.3 we have CV (z) = 1. Thus V can be decomposed into the direct sum V = V1 ⊕···⊕ Vn of irreducible hzi-modules of dimension 2 each, and for every i, 1 6 i 6 n, there exist elements z z ai, bi ∈ Vi such that Vi = hai, bii, ai = bi and bi = aibi. We obtain that G belongs to family (b) of Theorem 1.3.

Case 3. G3 R G, G2 P G and G2 is of exponent 4. By Lemma 3.6, |G3| = 3. By Lemma 3.3, ⋊ CG2 (G3)=1 or CG2 (G3)=Ω1(G2). In the former case we obtain that G = G2 G3 is a Frobenius group as described in family (c) in Theorem 1.3.

It remains to consider the case when CG2 (G3)=Ω1(G2). Let z be a generator of G3. By Lemma (3.2)(i), Ω1(G2) 6 Z(G2). On the other hand, if u ∈ G2 is an element of order 4, then z 2 [u , u] 6= 1, see Lemma 3.3(ii), and we conclude that Ω1(G2)= Z(G2). Let x ∈ (G2) , x 6= 1. 2 z Then x = u for some u ∈ G2 and Lemma 3.3(ii) implies that x = [u, u ]. We ﬁnd in turn 2 ′ ′ 2 ′ that, (G2) 6 (G2) and Φ(G2) = (G2) (G2) = (G2) . Then (3) reduces to ′ (G2) = Φ(G2) 6 Z(G2)=Ω1(G2).

Let V be a complement of Φ(G2) in Z(G2). Then, by [9, Theorem 5.2.3],

G2/Φ(G2) = CG2/Φ(G2)(G3) × [G2, G3]Φ(G2)/Φ(G2)

= V Φ(G2)/Φ(G2) × [G2, G3]Φ(G2)/Φ(G2).

Hence U = [G2, G3]Φ(G2) is a complement of V and also G3-invariant, i.e. normalized by z. Therefore, G = (U × V ) ⋊ hzi = (U ⋊ hzi) × V, ∼ Zm ′ ′ where V = 2 , m > 0. Since G2 = U × V and V 6 Ω1(G2) = Z(G2), we have U = G = Φ(G2)=Φ(U). Also, Z(G2)= Z(U) × V , by which

|Z(U)| = |Z(G2) : V | = |Φ(G2)|, ′ and as Z(U) > Φ(G2), we conclude that U = Φ(U) = Z(U) and U is a non-abelian special 2-group. Let K = U/Z(U)= U/Φ(U), L = hU, zi = U ⋊ hzi. For x ∈ L, let x denote the image of x under the canonical epimorphism πL/Z(U) from L to L/Z(U). By Lemma 3.2(i), Φ(U) 6 Ω1(U) 6 Z(U). On the other hand, Φ(U) = Z(U) also holds, hence Ω1(U)= Z(U). Then by Lemma 3.2(iii), we have CK (z) = 1. Again, considering K as a hzi-module over GF(2), we obtain that K decomposes into the direct sum K = K1 ⊕···⊕Kn of irreducible hzi-modules of dimension 2 each. Next, we construct n subgroups U1,...,Un 6 U. Fix 1 6 i 6 n. Choose an element ui z z2 ∼ such that ui ∈ Ki and ui 6= 1. Then o(ui) = 4 and by Lemma 3.3(ii), hui, ui , ui i = Q8 or Q8 ⋊Z2. A computation with the computer algebra system magma [5] shows that the group Q8 × Z2 contains four subgroups isomorphic to Q8. Consequently, we can choose a subgroup z z2 ∼ z ∼ Ui 6 hui, ui , ui i such that Ui = Q8 and Ui = Ui. This implies that hUi, zi = SL(2, 3). It is clear that πL/Z(U)(Ui)= Ki. We claim that the above subgroups U1,...,Un satisfy all the conditions given by family (d) of Theorem 1.3, and therefore, G belongs to this family (recall that G = (U ⋊ hzi) × V ). 10 Y.-Q. FENG AND I. KOVACS´

Let 1 6 i, j 6 n such that i 6= j. Then

UiZ(U)/Z(U)= Ki and UjZ(U)/Z(U)= Kj.

Since Ki P K = U/Z(U), we have UiZ(U) P U. Also, K = K1 ⊕···⊕ Kn, implying that n U = Z(U) i=1 Ui. Finally, since Ki ∩ Kj = 1, we obtain that Ui ∩ Uj 6 Z(U) and as Z(U) is an elementary abelian 2-group, it follows that |Ui ∩ Uj| 6 2. This completes the proof of Case 3. Q

Case 4. Gp R G for both p = 2 and 3. In fact, we are going to prove below that this case does not occur. For sake of simplicity, we set U = O2(G). Note that, G2 is not an elementary abelian 2-group. For otherwise, G2 = Ω1(G2), in particular, G2 P G by Lemma 3.2(i), which is impossible. Then, by Lemma 3.6, |G3| = 3, |G2 : U| = 2 and G/U =∼ D6. Let z be a generator of G3 and N = NG(G3). According to Lemma 3.4 one of the following ∼ Zn ∼ Z Zm two possibilities holds: N = G3 × N2 and N2 = 2 , n > 0, or N = Dic( 6) × 2 , m > 0. In the former case, G3 6 Z(N), so G has a normal 3-complement by Proposition 2.6. This, however, contradicts the assumption that G2 R G. Therefore, there is an element w ∈ N of ∼ w −1 order 4 such that hz, wi = Dic(Z6). Note that, we have z = z . 2 Then w∈ / U, otherwise [z, w] ∈ U ∩ G3 = 1, a contradiction. On the other hand, w ∈ U because of |G2 : U| = 2. It also follows that the group P := Uhwi is a Sylow 2-subgroup of G. Also, the group H has property (P) and hence Lemma 3.3 can be applied to H. Since 2 [w , z] = 1, it follows by that lemma that CU (z)=Ω1(U). As P is a Sylow 2-subgroup of G, it follows from Lemma (3)(i) that

′ P 6 Ω1(P ) 6 Z(P ).

In particular, the following property holds:

w u = u[u, w] with [u, w] ∈ Ω1(P ) 6 Z(P ) for all u ∈ U. (5)

Observe next that U cannot be an elementary abelian 2-group. Otherwise, we have U = w Ω1(U), hence it is centralized by G3, recall that CU (z)=Ω1(U). On the other hand, G3 = G3 and G = hU, w, G3i also holds, and all these would yield that G3 P G, a contradiction. Finally, we may choose an element u ∈ U of order 4. Set v = uz. Consider the group hU, zi. z z z2 Then z ∈ NhU,zi(U), and it has been shown in the proof of Lemma 3.3 that uvv = uu u = x for some x ∈ Ω1(U) (see the paragraph before Case 1). It follows

z −1 v = (uv) x = uvx1,

−2 where x1 = (uv) x ∈ Ω1(U) 6 Ω1(P ). By Eq. (5), w w u = uy1 and (uvx1) = uvx1y2 w −1 for y1,y2 ∈ Ω1(P ) 6 Z(P ). Then, since z = z , we can write

z−1 zw zw z2w z3w (uvx1y2) = (uvx1y2) = (uvx1) = v = u = uy1.

z z Thus, vy1 = (uy1) = uvx1y2, and so z v y1 = u x1y2.

v v The elements u ,x1,y2 ∈ P , o(u ) = 4, and x1,y2 ∈ Ω1(P ) 6 Z(P ). We obtain that the z order of the product in the right side above is equal to 4, however, y1 is of order at most 2, a contradiction. This completes the proof of Case 4 and also Theorem 1.3. FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 11

5. On groups in families (c) and (d) Lemma 5.1. Let G = K ⋊ H be a Frobenius group from family (c) in Theorem 1.3. Then K contains no subgroup isomorphic to Q8.

Proof. Recall that, K is a 2-group of exponent 4 with Ω1(K) 6 Z(K) and H =∼ Z3. By ′ Lemma 3.2(i), K 6 Φ(K) 6 Ω1(K). Therefore, for any x,y ∈ K, [y,x] = [x,y] = [x−1,y] = [x,y−1] (6) (cf. [9, Lemmas 2.2.4(iii) and 2.2.5(ii)]); and for any x,y,z ∈ K, the identities [xy,z] = [x, z]y[y, z] and [x,yz] = [x, z][x,y]z (cf. [9, Theorem 2.2.1(i)-(ii)]) reduce to [xy,z] = [x, z][y, z] and [x,yz] = [x,y][x, z]. (7) Now we begin proving the statement of the lemma and assume for a contradiction that K has elements a, b such that ha, bi =∼ Q8. Let z be a generator of H. For an easier notation we set c = az and d = bz. Consider the group L := ha, b, c, di 6 K. Since the action of z on K by conjugation induces a fixed-point-free automorphism, we have cz = (ac)−1 and dz = (bd)−1, z see Proposition 2.1(i). Note that, L = L. Also, as CK(z) = 1, Lemma 3.3(i) shows that z z [a, c] = [a, a ] = 1 and [b, d] = [b, b ] = 1. Let [a, d] = u. Note also that, as ha, bi =∼ Q8, 2 2 [a, b]= a , hc, di =∼ Q8 and [c, d]= c . Then these and Eqs. (6) and (7) yield uz = [c, dz] = [c, b][c, d] = [b, c]c2 2 uz = [d, cz]a2c2 = [d, a][d, c]a2c2 = [a, d]a2 = ua2. Apply z to both sides of the last equality. This results in u = uzc2 = [b, c]. We find the commutator subgroup L′ as L′ = [a, b], [a, c], [a, d], [b, c], [b, d], [c, d] = ha2, c2, ui. 2 2 ′ ∼ Z3 ′ z ′ z If u∈ / ha , c i then L = 2. Clearly, (L ) = L , implying that l = l for some l ∈ L, l 6= 1, which is impossible. 2 Let u ∈ ha2, c2i. Since u = uzc2, we have u 6= c2, and since uz = ua2, we have u 6= a2. It 2 2 follows that u = a c . Then Ω1(K) 6 Z(K) gives rise to (abc)2 = abcabc = (ab)2c2(ab)−1c−1abc = a2c2[ab, c]= a2c2[b, c]= a2c2u = 1, which shows that abc ∈ Z(K), implying [a, b] = 1, contradicting that ha, bi =∼ Q8. This completes the proof of the lemma. In view of this lemma and Proposition 2.7, for any group G = K ⋊ H from family (c) in Theorem 1.3, a minimal non-abelian subgroup of K is isomorphic to H16 or H32. This brings us to the following result of Janko: Theorem 5.2. ([11, Theorem 2.6(b)]) Let G be a non-abelian 2-group all of whose minimal non-abelian subgroups are isomorphic to H16. If G is of exponent 4, then G = U × V , where ∼ Zn V = 2 , n > 0, and U is isomorphic to one of the following groups: (i) The metacyclic group H16 defined in Eq. (1). ∗ 5 (ii) The minimal non-metacyclic group H32 of order 2 defined by ∗ 4 4 2 2 c −1 2 c −1 H32 = a, b, c | a = b = 1, c = a , [a, b] = 1, a = a b , b = b . 6 ∼ Z2 (iii) The unique special group H64 of order 2 with Z(H64) = 2, in which every maximal ∗ subgroup is isomorphic to H32 given in (ii), and which is defined by 4 4 2 2 2 c −1 H64 = a, b, c, d | a = b = 1, c = a b , [a, b] = 1, a = a , c 2 −1 2 2 d −1 2 d −1 b = a b , d = a , a = a b , b = b , [c, d] = 1 . ⋊ ∼ Zm z −1 (iv) The semidirect product W hzi, where W = 4 , m > 2, z is of order 4 , and w = w for each w ∈ W . 12 Y.-Q. FENG AND I. KOVACS´

As an application of the theorem, we prove the following statement. Proposition 5.3. Let G = K ⋊ H be a Frobenius group from family (c) in Theorem 1.3 such that K is non-abelian and it contains no subgroup isomorphic to H32. Then G is the unique Frobenius group of order 192 with K =∼ H64. Proof. By Proposition 2.7 and Lemma 5.1, any minimal non-abelian subgroup of K is isomorphic to H16. Therefore, K is isomorphic to one of the groups in cases (i)–(iv) in Theorem 5.2. 5 ∗ 8 We compute by magma [5] that | Aut(H16)| = 2 and | Aut(H32)| = 2 , and this excludes the groups in cases (i) and (ii). Let K =∼ H64, the group in case (iii). A computation with magma [5] shows that H64 admits a fixed-point-free automorphism of order 3, and all subgroups of Aut(H64) of order 3 are conjugate in Aut(H64). This implies that there is a unique Frobenius group G = K ⋊ H in family (c) with K =∼ H64. Finally, let K =∼ (W ⋊ hzi) × V , a group described in case (iv). We finish the proof by excluding this possibility. Assume on the contrary that there is a fixed-point-free automorphism φ ∈ Aut(K) of order 3. By Proposition 2.1(iii), we have [z, zφ] = 1. Then zφ = xzi for some x ∈ W × V, x 6= 1 and 0 6 i 6 3. Thus 1 = [z, zφ] = [z,xzi] = [z,x], φ −1 φ implying that x has order 2 and so x ∈ Ω1(K) 6 Z(K). It follows that z = xz or xz as z 2 has order 4. By Proposition 2.1(i), zzφzφ = 1, and therefore, xφ = z or z−1, both of which are impossible. Remark 5.4. Using magma [5] we have found two more groups from family (c) in Theorem 1.3. The Frobenius group K ⋊ H of order 768, where K = a, b, c, d | a4 = b4 = c4 = d4 = 1, ab = a3, cd = c3, [a, c] = [b, d] = 1, 2 2 [ a, d] = [b, c]= a c , H = hzi and the action of z on K by conjugation is defined by az = c, cz = (ac)−1, bz = d and dz = (bd)−1. Furthermore, the Frobenius group K ⋊ H of order 3072, where K = a, b, c, d, u, v | a4 = b4 = c4 = d4 = u2 = v2 = 1, [ a, b]= u, [c, d]= v, [a, c] = [b, d] = 1, [a, d] = [b, c]= uv, [u, c] = [u, d] = [v, a] = [v, b] = [u, v] = 1 , H = hzi and az = c, cz = (ac)−1, bz = d, dz = (bd)−1, uz = v and vz = uv. Finally, we turn to family (d). As noted in Remark 1.6, to have a full description of this family is equivalent to classifying the special 2-groups G such that Ω1(G) = Z(G) = Fix(φ) for some φ ∈ Aut(G) of order 3. By Fix(φ) we denote the set of elements of G fixed by φ. Note that the class of these 2-groups is closed under the direct product of groups. We say that a group is indecomposable if whenever G = A × B, then A =1 or B = 1. It was observed in Remark 1.6 that the Sylow 2-subgroups of the special unitary groups SU(3, 22n+1) are examples of such 2-groups, which have order 26n+3. We conclude the paper with another infinite family of 2-groups with the aforementioned properties, which are indecomposable and have order 24n−1.

Proposition 5.5. For an integer n > 1, let G be the group generated by elements ai, bi, 1 6 i 6 n and if n > 1, then also by elements cj, 1 6 j 6 n − 1, which satisfy the following relations:

4 4 2 ai = bi = cj = 1 (1 6 i 6 n, 1 6 j 6 n − 1), (8) [ai, aj] = [bi, bj] = [ai, ck] = [bi, ck] = [ck, cℓ] = 1 (1 6 i, j 6 n, 1 6 k,ℓ 6 n − 1), (9) FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 13

2 2 bi −1 ai = bi , ai = ai (1 6 i 6 n), (10)

cmin{i,j} if |i − j| = 1 [ai, bj]= (1 6 i, j 6 n). (11) (1 otherwise Then G is an indecomposable special 2-group of order 24n−1 such that

Ω1(G)= Z(G) = Fix(φ) for some φ ∈ Aut(G) of order 3. Proof. We proceed by induction on n and set the notation U(n) for the group G deﬁned in ∼ the proposition. The group U(1) = Q8. It is easy to check that the proposition holds in this case. Let n> 1, V = ha1, b1, c1i, and let

W = ai, bi, cj : 2 6 i 6 n, 2 6 j 6 n − 1 . ∼ Z ∼ Then V = Q8 × 2, W = U(n− 1) and we have V ∩W = 1. It follows from the above relations a2 b2 in (8)–(11) that [V, ai] = [V, bi] = [V, cj ] = 1 for all i > 2 and j > 2, and V = V = V . Thus V P G, and therefore, G = V ⋊ W . In particular, |G| = 16 · |U(n − 1)| and |G| = 24n−1 follows by the induction hypothesis. Let 2 Z = ai , cj : 1 6 i 6 n, 1 6 j 6 n − 1 . ∼ Z2n−1 ∼ Z2n 6 Note that Z = 2 , G/Z = 2 and Z Z(G). Then Z = Z1 × Z2 where Z1 = 2 2 ha1i×···×hani and Z2 = hc1i×···×hcn−1i. Relations (8)–(11) yield that any element x ∈ G can be written in the form

{1, ai, bi, aibi} if 1 6 i 6 n, x = x1 · · · xn+1, where xi ∈ (12) (Z if i = n + 1. Observe that, since the number of products in the right side above is at most 4n ·22n−1 = |G|, it follows that the above decomposition of x is unique. Given any y ∈ G, in the rest of the proof we write y = y1y2 · · · ynyn+1 with yi ∈ {1, ai, bi, aibi} for 1 6 i 6 n and yn+1 ∈ Z. ′ ∼ Z2n From relations in (8)–(11) it is easy to deduce that Z 6 G . Since G/Z = 2 is abelian, G′ 6 Z and hence G′ = Z. Since G′ = Z 6 Z(G), the identities [xy,z] = [x, z]y[y, z] and [x,yz] = [x, z][x,y]z (cf. [9, Theorem 2.2.1(i)-(ii)])) generalize in G to [xy,z] = [x, z][y, z] and [x,yz] = [x,y][x, z]. It follows that [x,y]= [xi,yj], (13) 6 6 6 1 i,j Yn, |i−j| 1 where [xi,yi] ∈ Z1 and [xi,yj] ∈ Z2 for |i − j| = 1. Furthermore,

xy = (x1y1)(x2y2) · · · (xnyn)z for some z ∈ Z2. (14) 2 2 2 2 Clearly, Z 6 Ω1(G). Let x ∈ G with x = 1. By Eq. (14), 1 = x1x2 · · · xnc for some 2 2 2 2 2 c ∈ Z2. Since xi ∈ hai i and Z1 = ha1i×···×hani with Z1 ∩ Z2 = 1, we have that xi = 1 for 1 6 i 6 n, forcing xi = 1 because xi ∈ {1, ai, bi, aibi}. Thus x = xn+1 ∈ Z and hence Ω1(G) 6 Z. It follows that Z =Ω1(G). Let x ∈ Z(G). If x 6∈ Z, there exists xr 6= 1 with xi = 1 for 1 6 i 6 r − 1. Pick 2 zr ∈ {ar, br, arbr} with zr 6= xr. Then [xr, zr]= ar 6= 1. Taking y = zr in Eq. (13), we have [x, zr] = [xr, zr][xr+1, zr], where 1 6= [xr, zr] ∈ Z1 and [xr+1, zr] ∈ Z2. Since Z1 ∩ Z2 = 1, we have [x, zr] 6= 1 and hence x 6∈ Z(G), a contradiction. Thus Z(G) 6 Z and since Z 6 Z(G) also holds, we have Z(G)= Z. 14 Y.-Q. FENG AND I. KOVACS´

Proposition 2.5 gives rise to Φ(G)= G′G2. By Eq. (14), G2 6 Z = G′, hence Φ(G)= G′. Up to now, we have proved that ′ Φ(G)= G =Ω1(G)= Z(G)= Z.

We prove next that G is also indecomposable. This is clear for G = U(1) =∼ Q8, hence we assume that n> 1. Suppose that G = H × K holds for subgroups H and K. Deﬁne the sets

Hi = {xi : x ∈ H} and Ki = {yi : y ∈ K}, where 1 6 i 6 n.

We may assume without loss of generality that H is chosen so that H1 6= 1. We are going to prove below that then K = 1, which shows that G is indeed indecomposable. In fact, it is suﬃcient to show that K 6 Z = Z(G). Indeed, then K 6 Φ(G), hence G = hH, Ki = H and so K = 1. 2 Let x ∈ H with x1 6= 1 and let y ∈ K. By Eq. (13), [x,y] = [x1,y1] t for some t ∈ ai+1, ci : 1 6 i 6 n − 1 . As [x,y] = 1, we have

2 2 t = [x1,y1] ∈ ha1i ∩ hai+1, ci : 1 6 i 6 n − 1 = 1, hence [H1, K1] = 1. This implies that, if H1 = {1,x1} then K1 ⊂ {1,x1}, contradicting that G = H × K. It follows that H1 = {1, a1, b1, a1b1} and K1 = 1. 2 Since K1 = 1, we have y1 = 1 and we can write 1 = [x,y] = [x1,y2] t for some t ∈ ai+1, cj : 1 6 i 6 n − 1, 2 6 j 6 n − 1 , implying that [x ,y ] = 1. Thus [H , K ] = 1 and then 1 2 1 2 H = {1, a , b , a b } yields that K = 1. 1 1 1 1 1 2 Since G = H × K and K2 = 1, we have H2 = {1, a2, b2, a2b2} and then an argument similar to the above paragraph gives rise to K3 = 1. Continuing in the same way, we obtain K1 = · · · = Kn = 1, i.e. K 6 Z. This completes the proof that G is indecomposable. Finally, it remains to show that G has an automorphism of order 3 whose ﬁxed points comprise Z(G). Deﬁne the elements αi, βi, γj ∈ G as −1 αi = bi, βi = biai and γj = cj (1 6 i 6 n, 1 6 j 6 n − 1).

Straightforward computations yield that αi, βi and γj generate G and satisfy relations (8)– (11) as do ai, bi and ci. By [12, Proposition 4.3 and Remark 4.4], there exists an automorphism φ φ φ φ ∈ Aut(G) such that ai = αi, bi = βi and cj = γj. It is easy to see that φ has order 3 and φ for x ∈ G, we have x = x if and only if x ∈ Ω1(G)= Z(G). This completes the proof of the proposition.

Acknowledgements The authors thank the reviewer for the numerous helpful suggestions, which improved the presentation considerably. They are also grateful to Professor Michael Giudici for mentioning the Sylow 2-subgroups of SU(3, 22n+1) and to Professor Chris Parker for his suggestions to simplify several proofs.

References [1] A. Abdollahi, M. Jazaeri, Groups all of whose undirected Cayley graphs are integral, European J. Combin. 38 (2014) 102–109. [2] A. Abdollahi, W. Vatandoost, Which Cayley graphs are integral, Electronic J. Combin. 16 (2009) #R122. [3] A. Ahmady, J. P. Bell, B. Mohar, Integral Cayley graphs and groups, SIAM J. Discrete Math. 28 (2014) 685–701. [4] Y. Berkovich, Z. Janko, Structure of finite p-groups with given subgroups, in: Contemp. Math., vol. 402, 2006, pp. 13–93. [5] W. Bosma, C. Cannon, C. Playoust, The Magma algebra system I: The user language, J. Symbolic Comput. 24 (1997) 235–265. [6] W. Burnside, Theory of groups of finite order - second edition, Cambridge University Press, 1911. [7] P. J. Cameron, Notes on classical groups, https://cameroncounts.files.wordpress.com/2013/12/ cg.pdf. [8] I. Estélyi, I. Kovács, On groups all of whose undirected Cayley graphs of bounded valency are integral, Electronic J. Combin. 21 (2015) #P.45. FINITEGROUPSANDINTEGRALCUBICCAYLEYGRAPHS 15

[9] D. Gorenstein, Finite groups (2nd edition), AMS Chelsea Publishing, Providence, Rhode Island, 2007. [10] F. Harary, A. J. Schwenk, Which graphs have integral spectra, in: Graphs and combinatorics, Lecture Notes in Mathematics 406, Springer, Berlin 1974, pp. 45–51. [11] Z. Janko, On finite nonabelian 2-groups all of whose minimal nonabelian subgroups are of exponent 4, J. Algebra 315 (2007) 801–808. [12] D. L. Johnson, Presentations of groups (2nd edition), London Math. Soc. Stud. Texts 15, Cambridge University Press, Cambridge, 1997. [13] W. Klotz, T. Sander, Integral Cayley graphs over abelian groups, Electronic J. Combin. 17 (2010) #R81. [14] X. Ma, K. Wang, On finite groups all of whose cubic Cayley graphs are integral, J. Algebra Appl. 15 (2016) 1650105. [15] L. Rédei, Das schiefe Product in der Gruppentheorie, Comment. Math. Helv. 20 (1947) 225–267. [16] D. J. Robinson, A course in the theory of groups (second edition), Springer, New York, 1996. [17] W. R. Scott, Group theory, Prentice-Hall, New Jersey, 1964.

Y.-Q. Feng, Department of Mathematics, Beijing Jiaotong University, Beijing, 100044, P. R. China Email address: [email protected]

I. Kovacs,´ UP IAM and UP FAMNIT, University of Primorska, Muzejski trg 2 SI-6000 Koper, Slovenia Email address: [email protected]