Arxiv:2104.00434V1 [Math.GR] 1 Apr 2021 Hoe 1.1
Total Page:16
File Type:pdf, Size:1020Kb
ON FINITE GROUPS WITH PRESCRIBED TWO-GENERATOR SUBGROUPS AND INTEGRAL CAYLEY GRAPHS YAN-QUAN FENG AND ISTVAN´ KOVACS´ Abstract. In this paper, we characterize the finite groups G of even order with the property that for any involution x and element y of G, hx,yi is isomorphic to one of the following 2 groups: Z2, Z2, Z4, Z6, Z2 × Z4, Z2 × Z6 and A4. As a result, a characterization will be obtained for the finite groups all of whose Cayley graphs of degree 3 have integral spectrum. 1. Introduction The class of finite groups studied in this paper was defined in a graph theoretical context. Let G be a group with identity element 1, and let X ⊂ G be a subset such that 1 ∈/ X and x−1 ∈ X for every x ∈ X. The Cayley graph Γ(G, X) has vertex set G and edges {g,xg}, g ∈ G and x ∈ X. A graph is said to be integral if all of its eigenvalues are integers. The study of integral graphs goes back to [10] and the study of integral Cayley graphs was initiated in [2]. A group G is said to be Cayley integral if all Cayley graphs Γ(G, X) are integral (see [13]). The Cayley integral groups were classified independently in [1, 3] and these are the following groups: Z Zm Zn Zm Zn Zm D6, Dic( 6), 2 × 3 , 2 × 4 , 2 × Q8 (m,n > 0). By Zn and Dn we denote the cyclic and dihedral group of order n, respectively. Given an abelian group A having a unique involution t and order |A| > 2, the generalized dicyclic group Dic(A) is the group hA, xi, where x2 = t and ax = a−1 for all a ∈ A (see [17, page 252]). The group Dic(Z4) is also known as the quaternion group, denoted by Q8. Cayley integral groups were generalized in [8, 14]. For a positive integer k, let Gk denote the class of finite groups all of whose Cayley graphs of valency at most k are integral (see [8]). All classes Gk with k 6= 3 were determined in [8]. •G1: all finite groups. •G2: all D8- and D12-free groups G with the property that the order o(x) ∈ {1, 2, 3, 4, 6} for every x ∈ G. Zn Z •G4 = G5: the Cayley integral groups and the groups Dic( 3 × 6), n > 1. arXiv:2104.00434v1 [math.GR] 1 Apr 2021 •Gk, k > 6: the Cayley integral groups. ∗ For k > 2, let Gk be the class of groups that admit at least one Cayley graph of valency k and all their k-valent Cayley graphs are integral (see [14]). It was shown that G3 is the union ∗ of G3 and the class of all 3-groups of exponent 3 (see [14, Corollary 2.7]). In particular, all ∗ non-nilpotent groups in G3 are also in G3 . Ma and Wang [14] gave the following purely group ∗ theoretical characterization of the class G3 . ∗ Theorem 1.1. ([14, Theorem 2.6]). A finite group G ∈ G3 if and only if 2010 Mathematics Subject Classification. 20D45, 20E25. Key words and phrases. finite 2-group, Frobenius group, special group. Y.-Q. Feng was supported by the National Natural Science Foundation of China (11731002) and the 111 Project of China (B16002). I. Kov´acs was supported by the Slovenian Research Agency (research program P1-0285 and research projects N1-0140, N1-0062, J1-9108, J1-1695 and J1-2451) and is grateful to Beijing Jiaotong University for hospitality. 1 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).