 Research
 Open Access
 Published:
A characterization of L _{3}(4) by its character degree graph and order
SpringerPlus volume 5, Article number: 242 (2016)
Abstract
Let G be a finite group. The character degree graph \(\Gamma (G)\) of G is the graph whose vertices are the prime divisors of character degrees of G and two vertices p and q are joined by an edge if pq divides the character degree of G. Let \(L_n(q)\) be the projective special linear group of degree n over a finite field of order q. Khosravi et. al. have shown that the simple groups \(L_2(p^2)\), and \(L_2(p)\) where \(p\in \{7,8,11,13,17,19\}\) are characterizable by the degree graphs and their orders. In this paper, we give a characterization of \(L_3(4)\) by using the character degree graph and its order.
Background
In this paper all groups are finite. Let G be a finite group and let Irr(G) be the set of all irreducible characters of G. Denote by \({\mathrm {cd}}(G)=\{\chi (1):\chi \in {\mathrm {Irr}}(G)\}\) the set of character degrees of G.
The graph \(\Gamma (G)\) is called character degree graph whose vertices are the prime divisors of character degrees of the group G and two vertices p and q are joined by an edge if pq divides some character degree of G (Manz et al. 1988). Khosravi et al. (2015) proved that the group \(L_2(p^2)\), where p is a prime, is characterizable by its character degree graph and its order. Khosravi et al. (2014) invested the influence of the character degree graph and order of the simple groups of order less than 6000, on the structure of group. Let \(L_n(q)\) be the projective special linear group. By Theorem 3.2(1) of White (2006), we know that \(\Gamma (L_3(q))\), where \(q>2\) is a power of a prime p, is complete if and only if q is odd and \(q1=2^i3^j\) for some \(i\ge 1,j\ge 0\); also we know that \(\Gamma (L_3(4))\) has neither an edge between 2 and 3 nor an edge between 2 and 7.
We know from Khosravi et al. (2014), that the linear groups \(L_3(2)\cong L_2(7)\) and \(L_3(3)\) are characterized by the character degree graphs and their orders. As a continue of this topics, we will prove the following main theorem.
Main Theorem Let \(L:=L_3(4)\). If G is a finite group such that \(\Gamma (G)=\Gamma (L)\) and \(G=L\), then \(G\cong L\).
We introduce some notation here. Let \(S_n\) and \(A_n\) be the symmetric and alternating groups of degree n, respectively. Let \(L_n(q)\) be the special linear group of degree n over finite field of order q. If \(N\unlhd G\) and \(\theta \in {\mathrm {Irr}}(N)\), then the inertia group of \(\theta \) in G is \(I_G(\theta )=\{g\in G\mid \theta ^g=\theta \}\). If n is an integer and r is a prime divisor of n, then we write either \(n_r=r^a\) or \(r^a\Vert n\) if \(r^a\mid n\) but \(r^{a+1}\not \mid n\). Let G be a group and let r be a prime, then denote the set of Sylow rsubgroups \(G_r\) of G by \({\mathrm {Syl}}_r(G)\). If H is a characteristic subgroup of G, we write \(H\,{\mathrm {ch}}\,G\). All other notations are standard (see Conway et al. 1985).
Some preliminary results
In this section, we give some lemmas to prove the main theorem.
Lemma 1
(Isaacs 1994, Theorem 6.5) Let \(A\unlhd G\) be abelian. Then \(\chi (1)\) divides G : A for all \(\chi \in {\mathrm {Irr}}(G)\).
Lemma 2
(Isaacs 1994, Theorem 6.2, 6.8 and 11.29) Let \(N\unlhd G\) and let \(\chi \in {\mathrm {Irr}}(G)\) . Let \(\theta \) be an irreducible constituent of \(\chi _N\) and suppose that \(\theta _1,\ldots ,\theta _t\) are distinct conjugates of \(\theta \) in G. Then \(\chi _N=e\sum \nolimits _{i=1}^t\theta _i\) , where \(e=[\chi _N,\theta ]\) and \(t=G:I_G(\theta )\) . Also \(\theta (1)\mid \chi (1)\) and \(\frac{\chi (1)}{\theta (1)}\mid \frac{G}{N}\).
Lemma 3
(Xu et al. 2014, Lemma 1) Let G be a nonsoluble group. Then G has a normal series \(1\unlhd H\unlhd K\unlhd G\) , such that K/H is a direct product of isomorphic nonabelian simple groups and \(G/K\mid {\mathrm {Out}}(K/H)\).
Lemma 4
(Xu et al. 2013, Lemma 2) Let G be a finite soluble group of order \(p_1^{a_1}p_2^{a_2}\ldots p_n^{a_n}\) , where \(p_1,p_2,\ldots , p_n\) are distinct primes. If \(kp_n+1\not \mid p_i^{a_i}\) for each \(i\le n1\) and \(k>0\) , then the Sylow \(p_n\) subgroup is normal in G.
We also need the structure of nonabelian simple group whose largest prime divisor is less than 7.
Lemma 5
(Zavarnitsine 2009) If S is a finite nonabelian simple group such that \(\pi (S)\subseteq \{2,3,5,7\}\) , then S is isomorphic to one of the following simple groups in Table 1.
The proof of Main Theorem
In this section, we give the proof of main theorem.
The proof of Main Theorem
Proof
We know from Conway et al. (1985, p. 23), that \({\mathrm {cd}}(L_3(4))=\{1, 20,35,45,63,64\}\). So the graph \(\Gamma (G)\) is the graph with vertex set \(\{2,3,5,7\}\) and the vertices 5 and 7, and the vertices 2 and 7 have no edge. Therefore there is a character \(\chi \in {\mathrm {Irr}}(G)\) with \(5\cdot 7\mid \chi (1)\).
It is easy to prove that \(O_5(G)=1\) and \(O_7(G)=1\). In fact, if \(O_7(G)\ne 1\), then \(O_7(G)\) is a normal abelian Sylow 7subgroup of G of order 7 by hypotheses. Then by Lemma 1, \(\chi (1)\mid G:O_7(G)\) for all \(\chi (1)\in {\mathrm {cd}}(G)\), a contradiction. Similarly we can prove that \(O_5(G)=1\).
Suppose first that G is soluble. Let \(M\ne 1\) be a minimal normal subgroup of G. Then M is an elementary abelian pgroup with p = 2 or 3. Note that \(G_p = p\) for p = 5, 7 and in \(\Gamma (G)\), there is a character \(\chi \) of G such that \(5\cdot 7\) divides \(\chi (1)\). Then by Lemma 1, p = 2 or 3. So two cases are considered.

1.
Let M be a 3group.
Since there is a character \(\chi \) with \(\chi (1)=21\), then \(M=3\). Let H / M be a Hall subgroup of G / M of order \(2^6\cdot 5\cdot 7\). Then \(G/M:H/M=3\). It follows that \((G/M)/(L/M)\hookrightarrow S_3\), where \(S_3\) is the symmetric group of degree 3 and \(L/M={\mathrm {Core}}_{G/M}(H/M):=\bigcap _{gM\in G/M}(H/M)^{gM}\), the core of H / M in G / M. So we have \(L/M\mid 2^6\cdot 5\cdot 7\) and \(Q/M\unlhd L/M\), where \(Q/M\in {\mathrm {Syl}}_p(L/M)\) with p = 5 or 7. Hence since \(L\,{\mathrm {ch}}\,G\), \(Q\unlhd G \) and so \(Q=3\cdot p\). Therefore \(O_p(G)\ne 1\) with p = 5 or 7, a contradiction.

2.
Let M be a 2group.
If \(M=2^6\), then by Lemma 1, \(\chi (1)\mid G:M\), a contradiction. Hence \(M=2^k\) with \(1\le k\le 5\). Let H / M be a Hall subgroup of order \(3^2\cdot 5\cdot 7\). Then \(G/M:H/M=G:H=2^k\le 32\).

2.1.
If \(1\le k\le 2\), then \(G/H_G\hookrightarrow S_{2^k}\) and so \(7\mid H_G\). Let \(Q/M\in {\mathrm {Syl}}_7(H/M)\). Also \(H_G/M\mid H/M=3^2\cdot 5\cdot 7\). If \(H_G/M<3^2\cdot 5\cdot 7\), then \(Q/M\,{\mathrm {ch}}\,H_G/M\unlhd G/M\) and so \(Q\unlhd G\). It follows that \(G_7\) is normal in G, a contradiction. Hence \(H_G/M=H/M=3^2\cdot 5\cdot 7\). By hypotheses, we can choose a character \(\chi \in {\mathrm {Irr}}(G)\) with \(\chi (1)=35\). Let \(\theta \in {\mathrm {Irr}}(H)\) with \(e=[\chi _H,\theta ]\ne 0\). Then \(35=et\theta (1)\) with \(t=G:I_G(\theta )\). Since the numbers e and t are divisors of \(G:H=2^{6k}\), then \(e=t=1\) and so \(\chi _H=\theta \) by Lemma 2. Since \(\theta (1)^2=5\cdot 7\cdot 5\cdot 7<H=2^k\cdot 3^2\cdot 5\cdot 7\) and \(1\le k\le 2\), then k = 2 and \(M=4\), \(M\subseteq H\). Let \(\eta \in {\mathrm {Irr}}(M)\) such that \(e'=[\theta _M,\eta ]\ne 0\). Therefore \(35=e't'\) with \(t'=H:I_H(\eta )\) Also we know that M has 4 linear characters and so \(t'\le 4\). So \((e',t')=(35,1)\). It follows that \(35^2\le [\theta _M,\theta _M]=e'^2t'\le H:M=3^2\cdot 5\cdot 7\), a contradiction.

2.2.
If \(3\le k\le 5\), then \(M\le H_G\le H\). Therefore \(\pi (H_G)=\{2,3\}\), \(\{2,5\}\), \(\{2,7\}\), \(\{2,3,5\}\), \(\{2,3,7\}\), \(\{2,5,7\}\) or \(\{2,3,5,7\}\).

2.2.1.
Let \(\pi (H_G)=\{2,3\}\).
Since there is no character \(\chi \) with \(6\mid \chi (1)\) and M is abelian, then \({\mathrm {cd}}(H_G)=2\) and \(3\mid \chi (1)\) for some character \(\chi \in {\mathrm {Irr}}(H_G)\). It folows from Isaacs (1994, Theorem 12.5), G either has an abelian normal subgroup of index 3 or 9 or is the product of a 3group K and an abelian. If the former, k = 4 (otherwise, the Sylow 3subgroup is normal in \(H_G\)) and \(K=3\). It means \(3\cdot 2^2\mid H/H_G\) and \(2\cdot 3\in {\mathrm {cd}}(G)\), a contradiction. If the latter, then \(H_G=(Z_3\rtimes Z_3)\times M\) and so \(3\in {\mathrm {cd}}(H_G)\). It follows that there is also an character \(\chi \) such that \(2\cdot 3\mid \chi (1)\), a contradiction.

2.2.2.
Let \(5\in \pi (H_G)\).
Let \(Q/M\in {\mathrm {Syl}}_5(H_G/M)\). Then \(Q\unlhd H_G\,{\mathrm {ch}}\,G\) and so \(G_5\unlhd G\), a contradiction.

2.2.3.
Let \(7\in \pi (H_G)\).
Let \(Q/M\in {\mathrm {Syl}}_7(H_G/M)\). Then \(Q\unlhd H_G\,{\mathrm {ch}}\,G\) and so \(G_7\unlhd G\), a contradiction.

2.2.4.
Let \(5,7\in \pi (H_G)\).
We can rule out this case as Case 2.2.2 or Case 2.2.3.

2.2.5.
\(H_G\) is a 2group.
Then \(M=H_G\). If G is an elementary abelian, then by Webb (1983, p. 238), \({\mathrm {Aut}}(G)\) is an extension of an elementary abelian pgroup of rank \(\frac{n^2(n1)}{2}\) by a subgroup of GL(n, p) (the question of what subgroups of GL(n, p), the general linear group of degree n over finite field of order p, can arise in this way is still far from a solution). We know that \(\frac{G}{C_G(M)}=\frac{N_G(M)}{C_G(M)}\lessapprox {\mathrm {Aut}}(M)\). If k = 3, then \(5\mid C_G(M)\) and the Sylow 5subgroup \(G_5\) of G is also a Sylow 5subgroup of \(C_G(M)\). So \(G_5\unlhd G\), a contradiction. if k = 4 or 5, then \(7\mid C_G(M)\). Similarly we have \(G_7\unlhd G\), a contradiction.

2.2.1.

2.1.
Therefore G is insoluble and so by Lemma 3, G has a normal series \(1\unlhd H\unlhd K\unlhd G\), such that K/H is a direct product of isomorphic nonabelian simple groups and \(G/K\mid {\mathrm {Out}}(K/H)\).
We will prove that \(5,7\in \pi (K/H)\). Assume the contrary, then obviously by Kondrat’ev and Mazurov (2000, Lemma 6(d)) and Liu (2015, Lemma 2.13) apply to almost simple groups \(K/H\le G/H \le {\mathrm {Aut}}(K/H)\), where K/H has a disconnected prime graph. We have that \({\mathrm {Out}}(K/H)\) is divisible by neither 5 nor 7. If \(5,7\mid H\), then there is a Hall \(\{5,7\}\)subgroup L of H, then L is cyclic and so L is abelian. By Lemma 1, \(\chi (1)\mid G:L\), a contradiction. If 5 divides the order H but \(7\nmid H\), then \(G_5\) is cyclic and so get a contradiction by Lemma 1. Similarly, \(7\nmid H\).
Therefore by Lemma 5 and considering group orders, K/H is isomorphic to one of the simple groups: \(A_7\), \(A_8\) or \(L_3(4)\).
If \(K/H\cong A_7\), then \(A_7\le G/H\le {\mathrm {Aut}}(A_7)\). If \(G/H\cong A_7\), then there is an edge between the vertices 2 and 3 in \(\Gamma (G)\), a contradiction since \({\mathrm {cd}}(A_7)=\{1, 6, 10, 14, 15, 21, 35\}\). Similarly, we can rule out when \(G/H\cong S_7\).
If \(K/H\cong L_3(4)\), then \(L_3(4)\le G/H\le {\mathrm {Aut}}(L_3(4))\). If \(G/H\cong L_3(4)\), then \(H=1\) and so \(G\cong L_3(4)\). For the other cases, we rule out by considering their orders.
If \(K/H\cong A_8\), then \(A_8\le G/H\le S_8\). If \(G/H\cong A_8\), then \(H=1\) and so \(G\cong A_8\). But \(\Gamma (L_3(4))\) has no edge between the vertices 2 and 7, a contradiction. If \(G/H\cong S_8\), then order consideration rules out.
So G is isomorphic to \(L_3(4)\).
This completes the proof. \(\square \)
Corollary
Let G be a finite group with \({\mathrm {cd}}(G)={\mathrm {cd}}(L_3(4))\) and \(G=L_3(4)\) , then G is isomorphic to \(L_3(4)\).
Proof
We know from Conway et al. (1985, p. 23), that \({\mathrm {cd}}(L_3(4))=\{1, 20,35,45,63,64\}\). Since \(G_7\) is a Sylow 7subgroup of G with order 7, then \(O_7(G)=1\). In fact, if \(O_7(G)\ne 1\), then there is a character \(\chi \) such that \(\chi (1)=70\). So \(\chi (1)\mid G:O_7(G)\) by Lemma 1. Similarly, \(O_5(G)=1\).
Let G be a soluble and M be a normal minimal subgroup of G. Then M is an elementary abelian pgroup. From above arguments, we have p = 2, 3. If p = 2, then \(M\ge 2\) and since M is abelian, there is no character \(\chi \) such that \(64\mid \chi (1)\), a contradiction. If p = 3, then similarly, there is no character \(\chi \) such that \(9\mid \chi (1)\), a contradiction.
Therefore G is insoluble and so by Lemma 5, G has a normal series \(1\unlhd H\unlhd K\unlhd G\), such that K/H is a direct product of isomorphic nonabelian simple groups and \(G/K\mid {\mathrm {Out}}(K/H)\). By Kondrat’ev and Mazurov (2000, Lemma 6(d)) and Liu (2015, Lemma 2.13), \({\mathrm {Out}}(K/H)\) is divisible by neither 5 nor 7. Also \(5,7\not \mid H\) since \(O_5(G)=1=O_7(G)\). Hence K/H is isomorphic to \(A_7\), \(A_8\) or \(L_3(4)\). If \(K/H\cong A_7\), then \(\Gamma (G)\) is complete, a contradiction since \(\Gamma (A_7)\) is complete. If \(K/H\cong L_3(4)\), then \(G\cong L_3(4)\), the desired result. If \(K/H\cong A_8\), then \(G\cong A_8\), a contradiction since the vertices 2 and 7 are joined by an edge.
This completes the proof. \(\square \)
Conclusion
The projective special linear group \(L_3(4)\) can be characterized by the character degree graph and its order. Also we get that \(L_3(4)\) is characterized by its order and character degrees.
References
Conway JH, Curtis RT, Norton SP, Parker RA, Wilson RA (1985) Atlas of finite groups. Oxford University Press, Eynsham Maximal subgroups and ordinary characters for simple groups, With computational assistance from J. G. Thackray
Isaacs IM (1994) Character theory of finite groups. Dover Publications Inc, New York, p 303. Corrected reprint of the 1976 original [Academic Press, New York. MR0460423 (57 #417)]
Khosravi B, Khosravi B, Khosravi B, Momen Z (2014) Recognition by character degree graph and order of simple groups of order less than 6000. Miskolc Math Notes 15(2):537–544
Khosravi B, Khosravi B, Khosravi B, Momen Z (2015) Recognition of the simple group PSL\((2,p^2)\) by character degree graph and order. Monatsh Math. doi:10.1007/s0060501406783
Kondrat’ev AS, Mazurov VD (2000) Recognition of alternating groups of prime degree from the orders of their elements. Sib Mat Zh 41(2):359–369. doi:10.1007/BF02674599
Liu S (2015) ODcharacterization of some alternating groups. Turk J Math 39(3):395–407. doi:10.3906/mat140753
Manz O, Staszewski R, Willems W (1988) On the number of components of a graph related to character degrees. Proc Am Math Soc 103(1):31–37. doi:10.2307/2047522
Webb UM (1983) The number of stem covers of an elementary abelian pgroup. Math Z 182(3):327–337. doi:10.1007/BF01179753
White DL (2006) Degree graphs of simple linear and unitary groups. Commun Algebra 34(8):2907–2921. doi:10.1080/00927870600639419
Xu H, Chen G, Yan Y (2014) A new characterization of simple \(K_3\)groups by their orders and large degrees of their irreducible characters. Commun Algebra 42(12):5374–5380. doi:10.1080/00927872.2013.842242
Xu H, Yan Y, Chen G (2013) A new characterization of Mathieugroups by the order and one irreducible character degree. J Inequal Appl 2013–2096. doi:10.1186/1029242X2013209
Zavarnitsine AV (2009) Finite simple groups with narrow prime spectrum. Sib Èlektron Mat Izv 6:1–12
Authors’ contributions
SL and YX contributed this paper equally. Both authors read and approved the final manuscript.
Acknowledgements
Shitian Liu was supported by the Opening Project of Sichuan Province University Key Laborstory of Bridge Nondestruction Detecting and Engineering Computing (Grant Nos: 2013QYJ02 and 2014QYJ04); the Scientific Research Project of Sichuan University of Science and Engineering (Grant Nos: 2014RC02) and by the Department of Sichuan Province Eduction (Grant Nos: 15ZA0235 and 16ZA0256). Yunxia Xie was supported by the Scientific Research Project of Sichuan University of Science and Engineering (Grant No: 2013RC08). The authors are very grateful for the helpful suggestions of the referee.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://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.
About this article
Cite this article
Liu, S., Xie, Y. A characterization of L _{3}(4) by its character degree graph and order. SpringerPlus 5, 242 (2016). https://doi.org/10.1186/s4006401617855
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4006401617855
Keywords
 Character degree graph
 Projective special linear group
 Simple group
 Character degree
Mathematics Subject Classification
 20C15
 20C33