NSE characterization of the Chevalley group G 2 (4)

Transcription

1 Arab. J. Math. (2018) 7: Arabian Journal of Mathematics Maryam Jahandideh Khangheshlaghi Mohammad Reza Darafsheh NSE characterization of the Chevalley group G 2 (4) Received: 5 January 2017 / Accepted: 20 August 2017 / Published online: 22 September 2017 The Author(s) This article is an open access publication Abstract Let G be a group and ω(g) ={o(g) g G} be the set of element orders of G. Let k ω(g) and s k = {g G o(g) = k}.letnse(g) ={s k k ω(g)}. In this paper, we prove that if G is a group and G 2 (4) is the Chevalley group such that nse(g) = nse(g 2 (4)), theng = G 2 (4). Mathematics Subject Classification 20D05 20D06 20D20 1 Introduction Let G be a finite group and ω(g) be the set of element orders of G. Ifk ω(g), thens k is the number of elements of order k in G. Letnse(G) ={s k k ω(g)}. Ifn is a positive integer, the set of all prime divisors of n is denoted by π(n). The number of the Sylow p-subgroups P p of G is denoted by n p or n p (G). Weset π(g) = π( G ). To see notations concerning finite simple group, we refer the reader to [1]. A finite group G is called a simple K n -group, if G is a simple group and π(g) =n. In 1987, J. G. Thompson posed the following problem related to algebraic number fields [2]: Let T (G) ={(k, s k ) k ω(g), s k nse(g)}. Suppose that T (G) = T (H) for some finite group H. If G is a finite solvable group, is it true that H is also necessarily solvable? If the groups G and H have the same order type, then G = H and nse(g) = nse(h). Dueto this problem, many results were obtained as follows: Result 1[3,4]LetG be a group and S asimplek i -group, where i = 3, 4. Then, G = S if and only if G = S and nse(g) = nse(s). Result 2[5,6] The two groups A 12 and A 13 are characterizable by order and nse. Result 3[7] All sporadic simple groups are characterizable by nse and order. M. J. Khangheshlaghi (B) Department of Mathematics, Mahshahr Branch, Islamic Azad University, Mahshahr, Iran m.jahandideh@mhriau.ac.ir M. R. Darafsheh School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, Tehran, Iran

2 22 Arab. J. Math. (2018) 7:21 26 Result 4[8] L 2 (2 m ), with 2 m + 1prime,is2 m 1 prime, is characterized by nse and order. Result 5[4,9] L 2 (q),whereq {7, 8, 9, 11, 13}, can be characterized by only the nse. Result 6[10] L 3 (4) is characterized by nse. Result 7[11] L 5 (2) is characterized by nse. Result 8[12] U 3 (5) is characterized by nse. Up to now, some groups can be characterized by only the set nse(g). The aim of this paper is to prove that the Chevalley group is characterizable by nse. Main Theorem. Let G be a group such that nse(g) = nse(g 2 (4)) where G 2 (4) is the Chevalley group of type G 2 over GF(4).ThenG = G 2 (4). 2 Preliminaries In this section, we will give some lemmas which will be used in the proof of the main theorem. Lemma 2.1 [13] Let G be a finite group and n be a positive integer dividing G.IfL n (G) ={g G g n = 1}, then n L n (G). Lemma 2.2 [14] Let G be a finite group and p π(g) be odd. Suppose that P is a Sylow p-subgroup of G and n = p s m with (p, m) = 1. If P is not cyclic, the number of elements of order n is always a multiple of p s. Lemma 2.3 [4] Let G be a group containing more than two elements. If the maximum number s of elements of the same order in G is finite, then G is finite and G s(s 2 1). Lemma 2.4 [15] Let G be a finite solvable group and G =mn, where m = p α 1 1 pα r r,(m, n) = 1. Let π ={p 1,...,p r } and h m be the number of Hall π-subgroups of G. Then h m = q β 1 1 qβ s s,q, i s should be prime numbers satisfying the following conditions for all i {1, 2,...,s}: 1. q β i i 1(modp j ) for some p j. 2. The order of some chief factor of G is divided by q β i i. We need the structure of simple K n -group with n = 4, 5. Lemma 2.5 [16] Let G be a simple K 4 -group. Then G is isomorphic to one of the following groups: 1. A 7, A 8, A 9 or A M 11, M 12 or J One of the following: (i) L 2 (r), where r is a prime and r 2 1 = 2 a. 3 b.v c with a 1, b 1, c 1, and v is a prime greater than 3. (ii) L 2 (2 m ),where2 m 1 = u, 2 m + 1 = 3t b with m 2, u, tareprimes,t> 3, b 1. (iii) L 2 (3 m ),where3 m + 1 = 4t, 3 m 1 = 2u c or 3 m + 1 = 4t b, 3 m 1 = 2u, with m 2, u, t are odd primes, b 1, c 1. (iv) One of the following 28 simple groups: L 2 (16), L 2 (25), L 2 (49), L 2 (81), L 3 (4), L 3 (5), L 3 (7), L 3 (8), L 3 (17), L 4 (3), S 4 (4), S 4 (5), S 4 (7), S 4 (9), S 6 (2), O 8 + (2), G 2(3), U 3 (4), U 3 (5), U 3 (7), U 3 (8), U 3 (9), U 4 (3), U 5 (2), Sz(8), Sz(32), 2 D 4 (2) or 2 F 4 (2). Lemma 2.6 [6] Each simple K 5 -group is isomorphic to one of the following simple groups: 1. L 2 (q) with π(q 2 1) =4. 2. L 3 (q) with π((q 2 1)(q 3 1)) =4. 3. U 3 (q) with q satisfies π((q 2 1)(q 3 + 1)) =4. 4. O 5 (q) with π(q 4 1) =4. 5. Sz(2 2m+1 ) with π((2 2m+1 1)(2 4m+1 + 1)) =4. 6. R(q), where q is an odd power of 3, and π(q 2 1) =3 and π(q 2 q + 1) =1. 7. The following 30 simple groups: A 11, A 12, M 22, J 3, HS, He, McL, L 4 (4), L 4 (5), L 4 (7), L 5 (2), L 5 (3), L 6 (2), O 7 (3), O 9 (2), PSP 8 (2), U 4 (4), U 4 (5), U 4 (7), U 4 (9), U 5 (3), U 6 (2), O 8 + (3), O 8 (2),3 D 4 (3), G 2 (4), G 2 (5), G 2 (7) or G 2 (9).

3 Arab. J. Math. (2018) 7: Lemma 2.7 Let G be a simple K n -group with n = 4, 5 and 13 divides G and G divides Then, G is one of the following groups: G 2 (4), Sz(8), L 2 (25), L 2 (13), L 2 (27), 2 F 4 (2), U 3 (4). Proof We prove this lemma in the following two cases: Case 1. G is a simple K 4 -group. Order consideration rules out of the cases (1) and (2) of Lemma 2.5. Hence, we use Lemma 2.5 (3). In this case, it is easily seen that G is one of the following groups: Sz(8), L 2 (25), L 2 (13), L 2 (27), 2 F 4 (2), U 3 (4). Case 2. G is a simple K 5 -group. By Lemma 2.6,weonlyhaveG = G 2 (4). 3 Proof of the main theorem In this section, we prove that if G is a group and nse(g) = nse(g 2 (4)),thenG = G 2 (4).However,wehave some observations and lemmas before that. Observation 3.1 If s n is the number of elements of order n in G,thens n = kϕ(n), such that k is the number of cyclic subgroups of order n in G.. Observation 3.2 If n > 2, then ϕ(n) is even. Lemma 3.3 If m ω(g),thenϕ(m) s m and m d m s d. Proof It follows from Lemma 2.1. Lemma 3.4 Let G be a group such that nse(g) = nse(g 2 (4)), then G is a finite group. Proof It follows from Lemma 2.3. Theorem 3.5 Let G be a group with nse(g) = nse(g 2 (4)) = {(1, 69615, , , , , , , , , , )},whereG 2 (4) is the Chevalley group of type G 2 over G F(4). Then G = G 2 (4). Proof of the main theorem. It follows from Lemma 3.4, G is a finite group. According to Lemma 2.1, π(g) {2, 3, 5, 7, 13, 17, 337, , }. The first claim is π(g) = {2, 3, 5, 7, 13}. AccordingtotheObservation3.2,s 2 = and 2 π(g). Sinces 337 is not equal to none of nse values, 337 / π(g). Now, we show that / π(g). If π(g), s = If π(g), ϕ( ) s , and by Lemma, 2.1 s = or , and on the other hand, s 2 + s s (982800, ), a contradiction. Now, we consider Sylow subgroup P of G and ={g G o(g) = 2}. P acts fixed point freely on, because if P g ={a P g a = g} = 1, where g, theng has an element of order Hence, P =s 2, a contradiction. As a result, / π(g). Similarly, we can prove that the prime numbers and do not belong to π(g). Hence we have π(g) {2, 3, 5, 7, 13, 17}. We have: 1. If 2 a ω(g),then2 a 1 s 2 a and 0 a If 3 a ω(g),then2.3 a 1 s 3 a and 0 a If 5 a ω(g),then4.5 a 1 s 5 a and 0 a If 7 a ω(g),then6.7 a 1 s 7 a and 0 a If 13 a ω(g),then12.13 a 1 s 13 a and 0 a If 17 a ω(g),then16.17 a 1 s 17 a and 0 a 1. We show that the prime number 17 does not belong to π(g). To prove this, we distinguish several cases. Case 1. If π(g) ={2, 17}, thens 17 = If P 17 is a Sylow 17-subgroup of G, according to Lemma 2.1, P s 17 and P 17 =17. Thus n 17 = s 17 ϕ(17) = =[G : N G(P 17 )] 3, 5, 13 π(g), which is impossible. Case 2. If π(g) ={2, 3, 17},thesameascase1,wehave5 π(g). But it is impossible.

4 24 Arab. J. Math. (2018) 7:21 26 Case 3. If π(g) ={2, 3, 5, 17} or π(g) ={2, 3, 5, 7, 17},,similartocase1,wehave13 π(g), whichis not possible. Case 4. If π(g) = {2, 3, 5, 7, 13, 17}, G = 2 m 1.3 m 2.5 m 3.7 m 4.13 m 5.17 and k k k k k k k k k k 10 = 2 m 1.3 m 2.5 m 3.7 m 4.13 m 5.17 where k 1, k 2, k 10, m 1,...,m 6 are nonnegative integers and 0 < 10 i=1 k i < 2 m 1.3 m 2.5 m 3.7 m 4.13 m 5.17 < This inequality does not hold. Hence, 17 does not belong to π(g) and π(g) {2, 3, 5, 7, 13}.Now,weprove π(g) ={2, 3, 5, 7, 13}. To do this, we distinguish several cases. Case 1. π(g) ={2}. In this case, ω(g) {1, 2, 2 2, 2 15 } and k k k k k k k k k k 10 = 2 m such that k 1, k 2, k 10, m are nonnegative integers. 0 < 10 i=1 k i 4 but this equation has no solution in integers. Case 2. π(g) ={2, 3}. If 2 a.3 b ω(g) according to Lemma 2.1,0 a 15, 0 b 4. We have exp(p 3 ) = 3, 9, 27 or 81. Suppose that exp (P 3 ) = 3. In this case, it follows: P 3 1+s 3 ( ) P P If P 3 =3, n 3 = s 3 ϕ(3) = = [G : N G (P 3 )]=700960, then 5 π(g), a contradiction. If P 3 =9, G = 2 m.3 2, such that 0 m 15. In addition, calculations show: k k k k k k k k k k 10 = 2 m.3 2, such that k 1, k 2, k 10, m are nonnegative integers. Then 0 < 10 i=1 k i m m > 15, which is a contradiction. If P 3 =27, G =2 m.3 2, such that 0 m 15. Similarly, as P 3 =9, we also get a contradiction. Now, we suppose that exp (P 3 ) = 9, according to Lemma 2.1 P s 3 + s 9. There are several cases for s 9. Namely, , , , , , , , , , and For all cases, we have n 3 = s 9 ϕ(9) =[G : N G(P 3 )],then5 π(g), a contradiction. If exp(p 3 ) = 27, s 27 = , , , and also n 3 = s 27 ϕ(27) =[G : N G (P 3 )], then 5 or 13 or 7 π(g), a contradiction. If exp(p 3 ) = 81, s 81 = , and Similar as in the previous case, we obtain a contradiction. Case 3. π(g) ={2, 5}. If 2 a.5 b belongs to π(g), 0 a 15, 0 b 3. In this case, exp(p 5 ) = 5, 25 or 125. If exp(p 5 ) = 5, P s 5 ( ),then P If P 5 =5, n 5 = s 5 ϕ(5) =[G : N G(P 5 )] 2, 7 and 13 π(g), a contradiction. If P 5 =25, G =2 a.5 2 and also k k k k k k k k k k 1 0 = 2 m.5 2,such that k 1, k 2,...,k 10, m are nonnegative integers. Then, 0 < 10 i=1 k i m , then m > 15, which is a contradiction. If P 5 =125, similarly,we have a contradiction. If exp(p 5 ) = 25, then P s 5 + s 25 (982800, , , , , or ),then P P 5 can be 5 or 25, similar to exp(p 5 ) = 5 we get a contradiction. Now if exp(p 5 ) = 125, s 125 = , , or In this case, n 5 = s 125 ϕ(125) =[G : N G(P 5 )],then3 π(g), a contradiction. Case 4. π(g) ={2, 7}. In this case, s 7 = and if 7 2 ω(g), s 7 2 = , P s 7 + s 49. Hence P If P 7 =7, n 7 = s 7 ϕ(7) = , 3 and 13 π(g), a contradiction. If P 7 =49, n 7 = s 49 ϕ(49) = , then 3 and 5 π(g), a contradiction. So 7 2 does not belong to ω(g) and P s 7.Since P 7 =7, similar as above, we have a contradiction. Case 5. π(g) ={2, 13}. We have s 13 = and s 13 2 = According to Lemma 2.1, P s s 13 2 and P

5 Arab. J. Math. (2018) 7: If P 13 =13, n 13 = s 13 ϕ(13) = , then 5 π(g), a contradiction. If P 13 =13 2, n 1 3 = s 13 2 ϕ(13 2 ) = , then 5 π(g), a contradiction. Hence 13 2 / ω(g) and G =2 a.13, P 1 3 =13. Again we get a contradiction similar as above. Case 6. π(g) ={2, 3, 5}. In this case, G =2 a.3 b.5 c, where 0 a 15, 0 b 4, 0 c k k k k k k k k k k 10 = 2 a.3 b.5 c, such that k 1, k 2,...,k 1 0, a, b, c are nonnegative integers. 0 < 10 i=1 k i a.3 b.5 c , then a > 15, it is a contradiction. In the remaining cases, in the same way, we obtain a contradiction. Therefore, π(g) ={2, 3, 5, 7, 13}. Now, we prove that 2.7 / ω(g). If 2.7 belongs to ω(g), letp 7 and Q 7 be Sylow 7-subgroups of G, P 7 and Q 7 are conjugate in G and C G (P 7 ) and C G (Q 7 ) are conjugate in G. Therefore, s 14 = ϕ(14).n 7.k, where k is the number of cyclic subgroups of order 5 in C G (P 7 ). Hence, n 7 = s 7 ϕ(7) = and s 14 = k s 14 = , since 14 does not divide 1 + s 2 + s 7 + s 14, we conclude that 2.7 does not belong to ω(g). It follows that the Sylow 2-group of G acts fixed point freely on the set of elements of order 7 so P 2 s 7 and P Next, it is shown by the way of contradiction, 3.13 / ω(g). If3.13 ω(g), letp 13 and Q 13 be Sylow 13-subgroups of G, thens 39 = ϕ(39).n 1 3.k, wherek is the number of cyclic subgroups of order 3 in C G (P 13 ). Therefore, n 13 = s 13 ϕ(13) = and s 39 = k. Due to the values of nse and s 39, it is impossible and it follows that the Sylow 3-group of G acts fixed point freely on the set of elements of order 13, so P 3 s 13 ; therefore, P If5.13 ω(g), s 65 does not belong to nse and similarly as before case P 5 s 13 ; therefore, P If5.13 ω(g), s 65 does not belong to nse and similarly as before case P 5 s 13 and P Therefore, G = 2 m.3 n.5 k.7.13 and also s k nse(g) s k = = G = 2 m.3 n.5 k ; hence, G = Therefore, we proved G = G 2 (4). Now,if we supposed that G G 2 (4), we first prove that G is not solvable. If G is solvable, then, by Lemma 2.4, for every prime p, p p j 1(modq) for some q.thus,wehave7 1(mod13), a contradiction. Therefore, G is nonsolvable. Hence, G has a normal series 1 K L G, such that K L is isomorphic to a simple K i -group, where i = 3, 4, 5. If K L is isomorphic to one of the simple K L 3-group, by [16], K is isomorphic to A 5, A 6, L 2 (7), L 2 (8), U 3 (3) or U 4 (2). Suppose that K L = A 5, hence, n 5 ( K L ) = n 5(A 5 ) = 6. Therefore, n 5 (G) = 6t, such that 5 does not divide t; then, t = s There are several values for s 5, but for all cases 5 t and it is a contradiction. Similarly, for the groups A 6, L 2 (7), L 2 (8), U 3 (3) and U 4 (2), we also can rule out these cases. L K If is isomorphic to a simple K n-group with n = 4, 5, then by Lemma 2.7, L/K is isomorphic to G 2 (4), Sz(8), L 2 (25), L 2 (13), L 2 (27), 2 F 4 (2), U 3 (4). If K L = L 2 (13); then from [3], 14 = n 13 ( K L ) = n 13(L 2 (13)), andson 13 (G) = 14t, such that 13 does not divide t for some integer t. Then, s 13 = 12.14t = , and then, t = Therefore K ; hence, K = and N K (P 13 ) = 1. Therefore, K N K (P 13 ) = K C K (P 13 ), which means that K P 13 is a Frobenius group and so P 13 Aut(K ), a contradiction. Similarly, for the other cases, we can get a contradiction. The last case K L = G 2 (4). In this case, G 2 (4) = K L G K and G = G 2(4), then K = 1andG = G 2 (4). It is a contradiction to the primary hypothesis. In general, we recognized all steps and obtained that G = G 2 (4). This complete the proof. Acknowledgements The first author gratefully acknowledges the financial support provided by Mahshahr Branch, Islamic Azad University, Iran to perform research project entitled: A characterization of simple groups by the number of the same element orders (nse) and the order of group. Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License ( creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. References 1. Conway, J.H.; Curtis, R.T.; Norton, S.P.; Parker, R.A.; Wilson, R.A.: Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups. Clarendon Press, New York (1985) 2. Shi, W.: A new characterization of the sporadic simple groups. In: Proc. of the 1987 Singapore Conference on Group Theory, Walter de Gruyter, pp (1989). 3. Shao, C.; Shi, W.; Jiang, W.Q.: A new characterization of simple K 4 -groups. Front. Math. China 3(3), (2008)

6 26 Arab. J. Math. (2018) 7: Shen, R.; Shao, C.; Jiang, Q.; Shi, W.; Mazurov, V.: A new characterization of A5. Monatsh. Math. 160, (2010) 5. Herzog, M.: Finite simple groups divisible by only three primes. J. Algebra 10, (1968) 6. Jafarzadeh, A.; Iranmanesh, A.: On simple K n - groups for n = 5, 6. In: Trlifaj, J. (ed) Groups St. Andrews 2005 in Oxford, vol. 2. Cambridge University Press, pp (2007) 7. Khalili Asboei, A.R.S.S.S.; Amiri, A.; Iranmanesh, A.; Tehranian, A.: Characterization of sporadic simple groups by NSE and order. J. Algebra Appl. 12(2), (2013) 8. Shao, C.; Jiang, Q.: A new characterization of some linear groups by nse. J. Algebra Appl. 13(2), (2014) 9. Khatami, M.; Khosravi, B.; Akhlaghi, Z.: A new characterization for some linear groups. Monatsh Math. 163, (2011) 10. Liu, S.: A characterization of L 3 (4). Sci. Asia 39, (2013) 11. Liu, S.: NSE characterization of projective special group L 5 (2). Rend. Sem. Mat. Univ. Padova 132, 132 (2014) 12. Liu, S.: A characterization of projective special unitary group U 3 (5) by nse. Arab. J. Math. Sci. 20(1), (2014) 13. Frobenius, G.: Verallgemeinerung des sylowschen satze. Berliner Sitz, pp (1895) 14. Miller, G.: Addition to a theorem due to Frobenius. Bull. Am. Math. Soc. 11, 6 7 (1904) 15. Hall, M.: The Theory of Groups. Macmilan, New York (1959) 16. Shi, W.J.: On simple K 4 -group. Chin. Sci. Bull. 36(17), (1991) Publisher s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.