 Research
 Open Access
 Published:
Recognizing {L}_{2}(p) by its order and one special conjugacy class size
Journal of Inequalities and Applications volume 2012, Article number: 310 (2012)
Abstract
In the past thirty years, many authors investigated some quantitative characterizations of finite groups, especially finite simple groups, such as quantitative characterizations by group order and element orders, by the set of lengths of conjugacy classes, by dimensions of irreducible characters, etc. In this article the projective special linear group {L}_{2}(p) is characterized by its order and one special conjugacy class size, where p is a prime. This work implies that Thompson’s conjecture holds for {L}_{2}(p).
MSC:20D08, 20D60.
1 Introduction
All groups considered in this paper are finite, and simple groups are nonAbelian. For convenience, we use \pi (n) and {n}_{p} to denote the set of prime divisors and ppart of the nature number n, respectively. For any group G, we also denote by N(G) the set of conjugacy class sizes of G and by \pi (G)=\pi (G).
In 1970s, a simple graph called prime graph of the group G was introduced: the vertex set of this graph is \pi (G), two vertices p and q are joined by an edge if and only if G contains an element of order pq (see [1]). Denote the connected components of the prime graph of the group G by T(G)=\{{\pi}_{i}(G)1\u2a7di\u2a7dt(G)\}, where t(G) is the number of the prime graph components of G. If the order of G is even, we always assume that 2\in {\pi}_{1}(G). Then G can be expressed as a product of {m}_{1},{m}_{2},\dots ,{m}_{t(G)}, where {m}_{i}’s are positive integers with \pi ({m}_{i})={\pi}_{i}(G). These {m}_{i}’s are called the order components of G. In particular, if {m}_{i} is an odd number, then we call it an oddorder component of G.
In 1988, Thompson posed the following conjecture (ref. to [[2], Problem 12.38]).
Thompson’s conjecture Let G be a group with trivial central. If L is a simple group satisfying N(G)=N(L), then G\cong L.
In 1994, Chen proved in his Ph.D. dissertation [3] that Thompson’s conjecture holds for all simple groups with a nonconnected prime graph (also ref. to [4–6]). In 2009, Vasil’ev first dealt with the simple groups with a connected prime graph and proved that Thompson’s conjecture holds for {A}_{10} and {L}_{4}(4) (see [7]). Later on, Ahanjideh in [8] proved that Thompson’s conjecture is true for some projective special linear groups. Recently, Chen and Li contributed their interests on Thompson’s conjecture under a weak condition. They only used group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s Ph.D. dissertation [9]) and simple {K}_{3}groups (a finite simple group is called a simple {K}_{n}group if its order is divisible by exactly n distinct primes), by which they checked Thompson’s conjecture for sporadic simple groups and simple {K}_{3}groups. Hence, it is an interesting topic to characterize simple groups with their orders and few conjugacy class sizes. In this paper, we characterize the projective special linear group {L}_{2}(p) by its order and one special conjugacy class length, where p is a prime. This work partially generalizes Chen and Ahanjideh’s work [4, 8], which proved that Thompson’s conjecture holds for all the projective special linear group {L}_{n}(q).
For convenience, we use ϵ to denote ±1. In addition, we denote by {G}_{p} and {Syl}_{p}(G) a Sylow psubgroup of the group G and the set of all of its Sylow psubgroups for p\in \pi (G), respectively. We also denote by A:B an extension of a normal subgroup A by another subgroup B. The other notation and terminologies in this paper are standard and the reader is referred to [10] and [11] if necessary.
2 Some lemmas
A group G is called a 2Frobenius group if there exists a normal series 1\u25c1H\u25c1K\u25c1G such that K and G/H are Frobenius groups with kernels H and K/H, respectively. Now, we quote some known lemmas which are useful in the sequel.
Lemma 2.1 [[12], Theorem 1]
Suppose that G is a Frobenius group of even order and H, K are the Frobenius kernel and the Frobenius complement of G, respectively. Then t(G)=2, T(G)=\{\pi (H),\pi (K)\} and G has one of the following structures:

(i)
2\in \pi (H) and all Sylow subgroups of K are cyclic;

(ii)
2\in \pi (K), H is an Abelian group, K is a solvable group, the Sylow subgroups of K of odd order are cyclic groups, and the Sylow 2subgroups of K are cyclic or generalized quaternion groups;

(iii)
2\in \pi (K), H is Abelian, and there exists a subgroup {K}_{0} of K such that
K:{K}_{0}\u2a7d2,\phantom{\rule{1em}{0ex}}{K}_{0}=Z\times SL(2,5),(Z,2\times 3\times 5)=1,
and the Sylow subgroups of Z are cyclic.
Lemma 2.2 [[12], Theorem 2]
Let G be a 2Frobenius group of even order. Then t(G)=2 and G has a normal series 1\u25c1H\u25c1K\u25c1G such that \pi (K/H)={\pi}_{2}(G), \pi (H)\cup \pi (G/K)={\pi}_{1}(G), the order of G/K divides the order of the automorphism group of K/H, and both G/K and K/H are cyclic. Especially, G/K<K/H and G is solvable.
Lemma 2.3 Let G be a group of order {2}^{s}({2}^{s}1)({2}^{s1}1), where {2}^{s}1 is a Mersenne prime and s is a natural number. Assume that G is a 2Frobenius group with a normal series 1\u25c1H\u25c1K\u25c1G, where H is an elementary Abelian 2group of order {2}^{s} and K/H is a cyclic group of order {2}^{s}1. Then G\cong ({Z}_{2}\times {Z}_{2}\times {Z}_{2}:{Z}_{7}):{Z}_{3}.
Proof By hypothesis, G/K={2}^{s1}1, and so (K,G/K)=1. By the Zassenhaus theorem, there exists a complement subgroup C of K in G such that G=KC. Let B be a complement subgroup of H in K. Then G=HBC, where H and HB are normal subgroups of G; HB and BC are Frobenius groups with kernels H, B and complements B, C, respectively. Let F=GF({2}^{s}) and so H is the additive group of F. Also, B={2}^{s}1 and so B is the multiplicative group of F. Now, C acts by conjugation on H and similarly C acts by conjugation on B, and this action is faithful. Therefore, C keeps the structure of the field F and so C is isomorphic to a subgroup of the automorphism group of F. Hence, C=({2}^{s1}1)Aut(F)=s. Since {2}^{s}1 is a Mersenne prime, s is a prime. It follows that s=2 or 3. If s=2, then G is a group of order 12. By the structures of groups of order 12, we have that any group of order 12 is not a 2Frobenius group, a contradiction. Hence, s=3, and then G is a group of order 168 that contains eight subgroups of order seven. By [13], we have that the total number of groups of order 168 with eight subgroups of order seven is three, which are ({Z}_{2}\times {Z}_{2}\times {Z}_{2}:{Z}_{7}):{Z}_{3}, ({Z}_{2}\times {Z}_{2}\times {Z}_{2}:{Z}_{7})\times {Z}_{3}, and {L}_{2}(7). Since G is a 2Frobenius group, we obtain that G\cong ({Z}_{2}\times {Z}_{2}\times {Z}_{2}:{Z}_{7}):{Z}_{3}. □
Lemma 2.4 [[1], Theorem A]
Let G be a group with more than one prime graph component. Then G is one of the following:

(i)
a Frobenius or 2Frobenius group;

(ii)
G has a normal series 1\subseteq H\subseteq K\subseteq G, where H is a nilpotent {\pi}_{1}group, K/H is a simple group and G/K is a {\pi}_{1}group such that G/K divides the order of the outer automorphism group of K/H. Besides, each oddorder component of G is also an oddorder component of K/H.
Lemma 2.5 [[11], Theorem 4.5.3]
Let G be a pgroup with order {p}^{n}, n\ge 1, and d is the number of minimal generators of G. Then Aut(G){p}^{d(nd)}({p}^{d}1)({p}^{d}p)\cdots ({p}^{d}{p}^{d1}).
Lemma 2.6 Let G be a simple group with a disconnected prime graph. Then its order components are exhibited in Tables 13, where p is an odd prime and q is a prime power.
Proof By [1, 14, 15] and the definition of order component, we easily get order components of G in Tables 13. Note that some mistakes and misprints in [1, 14, 15] are amended in this paper. □
3 Characterization of {L}_{2}(p) by its order and one special conjugacy class size
By Lemma 2.3, we know that {L}_{2}(7) is some special such that we have to choose a different way from other cases to deal with it. In fact, Chen and Li have characterized {L}_{2}(7) by its order and the smallest conjugacy class size larger than one in their unpublished paper which characterized simple {K}_{3}groups. The following theorem is their one result.
Theorem 3.1 Let G be a group with G={2}^{3}\cdot 3\cdot 7. Then G\cong {L}_{2}(7) if and only if G has a conjugacy class size of 21.
Proof The necessity of the theorem can be checked easily, so we only need to prove the sufficiency.
By hypothesis, there exists an element x of G such that {x}^{G}=G:{C}_{G}(x)=3\cdot 7. In view of Z(G)\u2a7d{C}_{G}(x), one has that Z(G) is a proper subgroup of G, and 3,7\notin \pi (Z(G)). We assert that every minimal normal subgroup of \overline{G}=G/Z(G) is nonsolvable. Let S be any minimal normal subgroup of \overline{G}. Suppose that S is solvable. Then S is an elementary Abelian group, from which we get the preimage T of S in G is a nilpotent group. If S={r}^{t}, then the Sylow rsubgroup R of T is normal in G. Moreover, R cannot be contained in Z(G). Thus, there exists an element y of R which is not contained in Z(G) such that 1<{y}^{G}\u2a7dR<3\cdot 7, a contradiction. Hence, every minimal normal subgroup of \overline{G} is nonsolvable, as desired. It follows that M\u2a7d\overline{G}\u2a7dAut(M), where M={S}_{1}\times \cdots \times {S}_{k} and {S}_{i} is a direct product of isomorphic nonAbelian simple groups for i=1,2,\dots ,k.
It is clear that 3 and 7 must belong to \pi (M). Otherwise, M is solvable, a contradiction. Hence, M is a simple {K}_{3}group and \pi (M)=\{2,3,7\}. By checking possible order of M, M must be isomorphic to {L}_{2}(7), which implies that G\cong {L}_{2}(7), as claimed. □
Theorem 3.2 Let G be a group. Then G\cong {L}_{2}(p) if and only if G=p({p}^{2}1)/(2,p1) and G has a special conjugacy class size of ({p}^{2}1)/(2,p1), where p is a prime and not equal to seven.
Proof Since the necessity of the theorem can be checked easily, we only need to prove the sufficiency.
If p=2,3, then G is a group of order six or twelve and not an element of order six. By the structures of the groups of order six and twelve, one has that G\cong {S}_{3} or {A}_{4}, where {S}_{3} is a symmetric group of degree three and {A}_{4} is an alternating group of degree four. Note that {L}_{2}(2)\cong {S}_{3} and {L}_{2}(3)\cong {A}_{4}, as desired.
Let p\ge 5 but not equal to seven. By hypothesis, there exists an element x of order p in G such that {C}_{G}(x)=\u3008x\u3009 and {C}_{G}(x) is a Sylow psubgroup of G. By the Sylow theorem, we have that {C}_{G}(y)=\u3008y\u3009 for any element y in G of order p. So, \{p\} is a prime graph component of G and t(G)\u2a7e2. Therefore, G has one of the structures in Lemma 2.4. In addition, p is the maximal prime divisor of G and an oddorder component of G.
Suppose that G is a Frobenius group with a kernel H and a complement K. Then K(H1). If p\in \pi (H), then by Lemma 2.1, H=p and K=({p}^{2}1)/2. It follows that \frac{{p}^{2}1}{2}(p1), and thus p=1, a contradiction. If p\in \pi (K), then K=p and H=({p}^{2}1)/2 by Lemma 2.1, and so p\frac{{p}^{2}3}{2}. Since p is odd, we have that p({p}^{2}3), which implies p=3, a contradiction. Hence, G is not a Frobenius group.
Assume that G is a 2Frobenius group. By Lemma 2.2, we have that G has a normal series 1\u25c1H\u25c1K\u25c1G such that \pi (K/H)=\{p\}={\pi}_{2}(G), \pi (H)\cup \pi (G/K)={\pi}_{1}(G), and G/K(p1). Then we have that K/H is of order p and \pi ((p+1)/2)\subseteq \pi (H).

(a)
Let p be not a Mersenne number. Then there exists an odd prime r\in \pi ((p+1)/2) such that {H}_{r}<p. By Lemma 2.5, (p,Aut({H}_{r}))=1, which implies that an element of order p of G can trivially act on {H}_{r}. In other words, r can be connected to p in the prime graph of G, a contradiction.

(b)
Let p be a Mersenne number, and p={2}^{s}1, s\ge 2. Then s is a prime and (p1)/2 is an odd number. Recall that G/K(p1).
If G/K=p1, then H=(p+1)/2={2}^{s1}<p such that (p,Aut(H))=1 by Lemma 2.5. It follows that 2 and p connect in the prime graph of G, a contradiction.
If G/K=(p1)/2, then H=(p+1)={2}^{s}. If H is not an elementary Abelian 2group, then (p,Aut(H))=1 by Lemma 2.5, a contradiction. If H is an elementary Abelian 2group, then by Lemma 2.3, s=3, and thus p=7, a contradiction.
Regarding other cases of G/K, we always can find an odd prime r\in \pi (H) and r\frac{p1}{2} such that (p,Aut({H}_{r}))=1, which implies that G has an element of order pr, a contradiction. Therefore, G is not a 2Frobenius group either.
Now, G has a normal series 1\subseteq H\subseteq K\subseteq G, where H is a nilpotent {\pi}_{1}group, K/H is a simple group, G/K is a {\pi}_{1}group such that G/K divides the order of the outer automorphism group of K/H and each oddorder component of G is also an oddorder component of K/H. It follows that p is an oddorder component of K/H, and t(K/H)\ge t(G)\ge 2, and also K/H\le G/H\le Aut(K/H). We now proceed with the following proof in five steps by the possible number of the prime graph component of K/H in the Tables 13. Note that t(K/H)=2,3,4,5 or 6.
Step 1. Assume that t(K/H)=2. Then K/H is isomorphic to one of simple groups in Table 1. We assert that it is impossible.
1.1. If K/H\cong {A}_{{n}^{\prime}}, where 6<{n}^{\prime}={p}^{\prime},{p}^{\prime}+1,{p}^{\prime}+2, and one of {n}^{\prime}, {n}^{\prime}2 is not a prime, then p={p}^{\prime} and \frac{{n}^{\prime}!}{2}\frac{p({p}^{2}1)}{2}. If {n}^{\prime}={p}^{\prime}, then 2(p2)<p+1, and thus p<5, a contradiction. The cases {n}^{\prime}={p}^{\prime}+1 or {p}^{\prime}+2 can be ruled out similarly.
1.2. If K/H\cong {A}_{{p}^{\prime}1}({q}^{\prime}), where ({p}^{\prime},{q}^{\prime})\ne (3,2),(3,4), then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}1}{({q}^{\prime}1)({p}^{\prime},{q}^{\prime}1)} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}1)}{2}}{\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}i}1)\frac{{p}^{2}1}{2}. Since {p}^{\prime} is an odd prime and {q}^{\prime} is a prime power, we have that {p}^{2}=\frac{{({q}^{\mathrm{\prime}{p}^{\prime}}1)}^{2}}{{[({q}^{\prime}1)({p}^{\prime},{q}^{\prime}1)]}^{2}}<{q}^{\mathrm{\prime}2{p}^{\prime}} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}1)}{2}}<\frac{{p}^{2}1}{2}<{p}^{2}. It follows that {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}1)}{2}}<{q}^{\mathrm{\prime}2{p}^{\prime}}, and so \frac{{p}^{\prime}({p}^{\prime}1)}{2}<2{p}^{\prime}, which implies that {p}^{\prime}=3. Hence, {p}^{2}=\frac{{({q}^{\mathrm{\prime}3}1)}^{2}}{{[({q}^{\prime}1)(3,{q}^{\prime}1)]}^{2}} and {q}^{\mathrm{\prime}3}({q}^{\mathrm{\prime}2}1)({q}^{\prime}1)\le \frac{{p}^{2}1}{2}. Since {p}^{2}\ge 2{q}^{\mathrm{\prime}3}({q}^{\mathrm{\prime}2}1) and 4{q}^{\mathrm{\prime}4}={q}^{\mathrm{\prime}2}{(2{q}^{\prime})}^{2}>{q}^{\mathrm{\prime}2}{({q}^{\prime}+2)}^{2}>{({q}^{\mathrm{\prime}2}+{q}^{\prime}+1)}^{2}\ge \frac{{({q}^{\mathrm{\prime}3}1)}^{2}}{{[({q}^{\prime}1)(3,{q}^{\prime}1)]}^{2}}={p}^{2}, we get that 4{q}^{\mathrm{\prime}4}>2{q}^{\mathrm{\prime}3}({q}^{\mathrm{\prime}2}1), and so {q}^{\mathrm{\prime}2}2{q}^{\prime}1<0. Therefore, {q}^{\prime}=2 if {p}^{\prime}=3, a contradiction.
1.3. If K/H\cong {A}_{{p}^{\prime}}({q}^{\prime}), where ({q}^{\prime}1)({p}^{\prime}+1), then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}1}{{q}^{\prime}1} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}+1)}{2}}({q}^{\mathrm{\prime}{p}^{\prime}+1}1){\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}i}1)\frac{{p}^{2}1}{2}. Since {p}^{2}\le {q}^{\mathrm{\prime}2{p}^{\prime}} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}+1)}{2}}<{p}^{2}, we have that \frac{{p}^{\prime}({p}^{\prime}+1)}{2}<2{p}^{\prime}, and thus {p}^{\prime}<3, a contradiction.
1.4. If K/H{\cong}^{2}{A}_{{p}^{\prime}1}({q}^{\prime}), then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}+1}{({q}^{\prime}+1)({p}^{\prime},{q}^{\prime}+1)} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}1)}{2}}{\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}i}{(1)}^{i})\frac{{p}^{2}1}{2}. Since {p}^{2}<{q}^{\mathrm{\prime}2({p}^{\prime}+1)} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}1)}{2}}<{p}^{2}, we get that \frac{{p}^{\prime}({p}^{\prime}1)}{2}<2({p}^{\prime}+1), and thus {p}^{\mathrm{\prime}2}5{p}^{\prime}4<0. It follows that {p}^{\prime}=3 or 5. If {p}^{\prime}=3, then {p}^{2}=\frac{{({q}^{\mathrm{\prime}3}+1)}^{2}}{{[({q}^{\prime}+1)(3,{q}^{\prime}+1)]}^{2}} and {q}^{\mathrm{\prime}3}({q}^{\mathrm{\prime}2}1)({q}^{\prime}+1)\frac{{p}^{2}1}{2}. Therefore {p}^{2}\le {({q}^{\mathrm{\prime}2}{q}^{\prime}+1)}^{2}\le {q}^{\mathrm{\prime}4} and {q}^{\mathrm{\prime}4}<{q}^{\mathrm{\prime}3}({q}^{\prime}+1)<{p}^{2}, a contradiction. Similarly, if {p}^{\prime}=5, then {p}^{2}\le {q}^{\mathrm{\prime}8} and {q}^{\mathrm{\prime}10}<{p}^{2}, a contradiction.
1.5. If K/H{\cong}^{2}{A}_{{p}^{\prime}}({q}^{\prime}), where ({q}^{\prime}+1)({p}^{\prime}+1) and ({p}^{\prime},{q}^{\prime})\ne (3,3),(5,2), then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}+1}{{q}^{\prime}+1} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}+1)}{2}}({q}^{\mathrm{\prime}{p}^{\prime}}1){\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}i}1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}\le {q}^{\mathrm{\prime}2({p}^{\prime}+1)} and {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}+1)}{2}}<{p}^{2}, and thus {q}^{\mathrm{\prime}\frac{{p}^{\prime}({p}^{\prime}+1)}{2}}<{q}^{\mathrm{\prime}2({p}^{\prime}+1)}. It follows that \frac{{p}^{\prime}({p}^{\prime}+1)}{2}<2({p}^{\prime}+1), which means that {p}^{\prime}=3. Therefore, {q}^{\mathrm{\prime}6}<{p}^{2}={(\frac{{q}^{\mathrm{\prime}3}+1}{{q}^{\prime}+1})}^{2}={({q}^{\mathrm{\prime}2}{q}^{\prime}+1)}^{2}\le {q}^{\mathrm{\prime}4}, a contradiction.
1.6. If K/H\cong {B}_{{n}^{\prime}}({q}^{\prime}), where {n}^{\prime}={2}^{{m}^{\prime}}\ge 4 and {q}^{\prime} is odd, then p=\frac{{q}^{\mathrm{\prime}{n}^{\prime}}+1}{2} and {q}^{\mathrm{\prime}{n}^{\mathrm{\prime}2}}({q}^{\mathrm{\prime}{n}^{\prime}}1){\prod}_{i=1}^{{n}^{\prime}1}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Since {p}^{2}<{q}^{\mathrm{\prime}2({n}^{\prime}+1)} and {q}^{\mathrm{\prime}{n}^{\mathrm{\prime}2}}<{p}^{2}, we have that {n}^{\mathrm{\prime}2}<2({n}^{\prime}+1), and thus {n}^{\mathrm{\prime}2}2{n}^{\prime}2<0, which implies that {n}^{\prime}<3, a contradiction.
1.7. If K/H\cong {B}_{{p}^{\prime}}(3), then p=\frac{{3}^{{p}^{\prime}}1}{2} and {3}^{{p}^{\mathrm{\prime}2}}({3}^{{p}^{\prime}}+1){\prod}_{i=1}^{{p}^{\prime}1}({3}^{2i}1)\frac{{p}^{2}1}{2}. Thus, {p}^{2}<{3}^{2{p}^{\prime}} and {3}^{{p}^{\mathrm{\prime}2}}<{p}^{2}, and so {p}^{\prime}<2, a contradiction.
1.8. If K/H\cong {C}_{{n}^{\prime}}({q}^{\prime}), where {n}^{\prime}={2}^{{m}^{\prime}}\ge 2, then p=\frac{{q}^{\mathrm{\prime}{n}^{\prime}}+1}{(2,{q}^{\prime}1)} and {q}^{\mathrm{\prime}{n}^{\mathrm{\prime}2}}({q}^{\mathrm{\prime}{n}^{\prime}}1){\prod}_{i=1}^{{n}^{\prime}1}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Since {p}^{2}<{q}^{\mathrm{\prime}2({n}^{\prime}+1)} and {q}^{\mathrm{\prime}{n}^{\mathrm{\prime}2}}<{p}^{2}, we have that {n}^{\mathrm{\prime}2}<2({n}^{\prime}+1), and thus {n}^{\mathrm{\prime}2}2{n}^{\prime}2<0, which implies that {n}^{\prime}=2. Therefore, {p}^{\mathrm{\prime}2}\le {({q}^{\mathrm{\prime}2}+1)}^{2}<4{q}^{\mathrm{\prime}4} and {q}^{\mathrm{\prime}4}{({q}^{\mathrm{\prime}2}1)}^{2}<{p}^{\mathrm{\prime}2}, and thus {({q}^{\mathrm{\prime}2}1)}^{2}<4. It follows that {q}^{\prime}=1, a contradiction.
1.9. If K/H\cong {C}_{{p}^{\prime}}({q}^{\prime}), where {q}^{\prime}=2 or 3, then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}1}{(2,{q}^{\prime}1)} and {q}^{\mathrm{\prime}{p}^{\mathrm{\prime}2}}({q}^{\mathrm{\prime}{p}^{\prime}}+1){\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}<{q}^{\mathrm{\prime}2{p}^{\prime}} and {q}^{\mathrm{\prime}{p}^{\mathrm{\prime}2}}<{p}^{2}, and so {p}^{\prime}<2, a contradiction.
1.10. If K/H\cong {D}_{{p}^{\prime}}({q}^{\prime}), where {p}^{\prime}\ge 5 and {q}^{\prime}=2,3, or 5, then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}1}{{q}^{\prime}1} and {q}^{\mathrm{\prime}{p}^{\prime}({p}^{\prime}1)}{\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}<{q}^{\mathrm{\prime}2{p}^{\prime}} and {q}^{\mathrm{\prime}{p}^{\prime}({p}^{\prime}1)}<{p}^{2}, and so {p}^{\prime}({p}^{\prime}1)<2{p}^{\prime}, which implies that {p}^{\prime}<3, a contradiction.
1.11. If K/H\cong {D}_{{p}^{\prime}+1}({q}^{\prime}), where {q}^{\prime}=2 or 3, then p=\frac{{q}^{\mathrm{\prime}{p}^{\prime}}1}{(2,{q}^{\prime}1)} and \frac{1}{(2,{q}^{\prime}1)}{q}^{\mathrm{\prime}{p}^{\prime}({p}^{\prime}+1)}({q}^{\mathrm{\prime}{p}^{\prime}}+1)({q}^{\mathrm{\prime}{p}^{\prime}+1}1){\prod}_{i=1}^{{p}^{\prime}1}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Since {p}^{2}<{q}^{\mathrm{\prime}2{p}^{\prime}} and {q}^{\mathrm{\prime}{p}^{\prime}({p}^{\prime}+1)}<{p}^{2}, we get that {p}^{\prime}({p}^{\prime}+1)<2{p}^{\prime}, and thus 0<{p}^{\prime}<1, a contradiction.
1.12. If K/H{\cong}^{2}{D}_{{n}^{\prime}}({q}^{\prime}), where {n}^{\prime}={2}^{{m}^{\prime}}\ge 4, then p=\frac{{q}^{\mathrm{\prime}{n}^{\prime}}+1}{(2,{q}^{\prime}+1)} and {q}^{\mathrm{\prime}{n}^{\prime}({n}^{\prime}1)}{\prod}_{i=1}^{{n}^{\prime}1}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Therefore, {p}^{2}<{q}^{\mathrm{\prime}2({n}^{\prime}+1)} and {q}^{\mathrm{\prime}{n}^{\prime}({n}^{\prime}1)}<{p}^{2}. Then we have that {n}^{\prime}({n}^{\prime}1)<2({n}^{\prime}+1), and thus {n}^{\mathrm{\prime}2}3{n}^{\prime}2<0, which implies that {n}^{\prime}=2, a contradiction.
1.13. If K/H{\cong}^{2}{D}_{{n}^{\prime}}({q}^{\prime}), where {n}^{\prime}={2}^{{m}^{\prime}}+1\ge 5 if {q}^{\prime}=2 and {n}^{\prime}\ge 9 if {q}^{\prime}=3, then p=\frac{{q}^{\mathrm{\prime}{n}^{\prime}1}+1}{(2,{q}^{\prime}1)} and \frac{1}{(2,{q}^{\prime}1)}{q}^{\mathrm{\prime}{n}^{\prime}({n}^{\prime}1)}({q}^{\mathrm{\prime}{n}^{\prime}}+1)({q}^{\mathrm{\prime}{n}^{\prime}}1){\prod}_{i=1}^{{n}^{\prime}2}({q}^{\mathrm{\prime}2i}1)\frac{{p}^{2}1}{2}. Because {p}^{2}<{q}^{\mathrm{\prime}2{n}^{\prime}} and {q}^{\mathrm{\prime}{n}^{\prime}({n}^{\prime}1)}<{p}^{2}, we have that {n}^{\prime}({n}^{\prime}1)<2{n}^{\prime}, and so 0<{n}^{\prime}<3, a contradiction.
1.14. If K/H{\cong}^{2}{D}_{{p}^{\prime}}(3), where {p}^{\prime}\ne {2}^{{m}^{\prime}}+1 and {p}^{\prime}\ge 5, then p=\frac{{3}^{{p}^{\prime}}+1}{4} and {3}^{{p}^{\prime}({p}^{\prime}1)}{\prod}_{i=1}^{{p}^{\prime}1}({3}^{2i}1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}<{3}^{2({p}^{\prime}+1)} and {3}^{{p}^{\prime}({p}^{\prime}1)}<{p}^{2}. It follows that {p}^{\prime}({p}^{\prime}1)<2({p}^{\prime}+1), and so 0<{p}^{\prime}<4, a contradiction.
1.15. If K/H\cong {G}_{2}({q}^{\prime}), where {q}^{\prime}\equiv \u03f5(mod3) and {q}^{\prime}>2, then p={q}^{\mathrm{\prime}2}\u03f5{q}^{\prime}+1 and {q}^{\mathrm{\prime}6}({q}^{\mathrm{\prime}3}\u03f5)({q}^{\mathrm{\prime}2}1)({q}^{\prime}+\u03f5)\frac{{p}^{2}1}{2}. It follows that {p}^{2}={({q}^{\mathrm{\prime}2}\u03f5{q}^{\prime}+1)}^{2}<{q}^{\mathrm{\prime}6} and {q}^{\mathrm{\prime}6}<{p}^{2}, a contradiction.
1.16. If K/H{\cong}^{3}{D}_{4}({q}^{\prime}), then p={q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1 and {q}^{\mathrm{\prime}12}({q}^{\mathrm{\prime}6}1)({q}^{\mathrm{\prime}2}1)({q}^{\mathrm{\prime}4}+{q}^{\mathrm{\prime}2}+1)\frac{{p}^{2}1}{2}. Therefore, {p}^{2}={({q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1)}^{2}<{q}^{\mathrm{\prime}8} and {q}^{\mathrm{\prime}12}<{p}^{2}, a contradiction.
1.17. If K/H\cong {F}_{4}({q}^{\prime}), where {q}^{\prime} is odd, then p={q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1 and {q}^{\mathrm{\prime}24}({q}^{\mathrm{\prime}8}1){({q}^{\mathrm{\prime}6}1)}^{2}({q}^{\mathrm{\prime}4}1)\frac{{p}^{2}1}{2}. Thus, {p}^{2}<{q}^{\mathrm{\prime}8} and {q}^{\mathrm{\prime}24}<{p}^{2}, a contradiction.
1.18. If K/H\cong {E}_{6}({q}^{\prime}), then p=\frac{{q}^{\mathrm{\prime}6}+{q}^{\mathrm{\prime}3}+1}{(3,{q}^{\prime}1)} and {q}^{\mathrm{\prime}36}({q}^{\mathrm{\prime}12}1)({q}^{\mathrm{\prime}8}1)({q}^{\mathrm{\prime}6}1)({q}^{\mathrm{\prime}5}1)({q}^{\mathrm{\prime}3}1)({q}^{\mathrm{\prime}2}1)\frac{{p}^{2}1}{2}. Since {p}^{2}\le {({q}^{\mathrm{\prime}6}+{q}^{\mathrm{\prime}3}+1)}^{2}<{q}^{\mathrm{\prime}18} and {q}^{\mathrm{\prime}36}<{p}^{2}, a contradiction can be obtained.
1.19. If K/H{\cong}^{2}{E}_{6}({q}^{\prime}), where {q}^{\prime}>2, then p=\frac{{q}^{\mathrm{\prime}6}{q}^{\mathrm{\prime}3}+1}{(3,{q}^{\prime}1)} and {q}^{\mathrm{\prime}36}({q}^{\mathrm{\prime}12}1)({q}^{\mathrm{\prime}8}1)({q}^{\mathrm{\prime}6}1)({q}^{\mathrm{\prime}5}+1)({q}^{\mathrm{\prime}3}+1)({q}^{\mathrm{\prime}2}1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}\le {({q}^{\mathrm{\prime}6}{q}^{\mathrm{\prime}3}+1)}^{2}<{q}^{\mathrm{\prime}12} and {q}^{\mathrm{\prime}36}<{p}^{2}, a contradiction.
1.20. If K/H is isomorphic to one of {}^{2}A_{3}(2), {}^{2}F_{4}{(2)}^{\prime}, {M}_{12}, {J}_{2}, Ru, He, {M}^{c}L, {\mathit{Co}}_{1}, {\mathit{Co}}_{3}, {F}_{22}, and HN, then p=5,7,11,13,17,19,23, or 29, and {K/H}_{2}\frac{{p}^{2}1}{2}. By [10], we have that {K/H}_{2}\ge {2}^{6}, but {(\frac{{p}^{2}1}{2})}_{2}\le {2}^{4}, a contradiction.
Step 2. Suppose that t(K/H)=3. Then K/H is isomorphic to one of simple groups in Table 2. We assert that it is impossible except {A}_{1}(p), where p\ge 5 is an odd prime and not equal to seven.
2.1. If K/H\cong {A}_{{p}^{\prime}}, where {p}^{\prime}>6 such that {p}^{\prime} and {p}^{\prime}2 are primes, then p={p}^{\prime} and \frac{{p}^{\prime}!}{2}\frac{p({p}^{2}1)}{2}. It follows that 2(p2)<p+1, and thus p<5, a contradiction.
2.2. If K/H\cong {A}_{1}({q}^{\prime}), where {q}^{\prime}\equiv \u03f5(mod4) and {q}^{\prime}>3, then p={q}^{\prime},\frac{{q}^{\prime}+\u03f5}{2}.
Let p={q}^{\prime}. Then K/H\cong {A}_{1}(p)={L}_{2}(p). Recall that K/H\le G/H and G=\frac{p({p}^{2}1)}{2}={L}_{2}(p), we have that G\cong {L}_{2}(p), as desired.
Let p=\frac{{q}^{\prime}+1}{2}. Then {q}^{\prime}=2p1 and {q}^{\prime}({q}^{\prime}1)\frac{{p}^{2}1}{2}, and thus 4(2p1)\le p+1. Hence we get that p<1, a contradiction.
Let p=\frac{{q}^{\prime}1}{2}. Then {q}^{\prime}=2p+1 and {q}^{\prime}({q}^{\prime}+1)\frac{{p}^{2}1}{2}. It follows that 4(2p+1)\le p1, and so it is impossible.
2.3. If K/H\cong {A}_{1}({q}^{\prime}), where {q}^{\prime}>4 is even, then p={q}^{\prime}+\u03f5 and {q}^{\prime}({q}^{\prime}\u03f5)\frac{{p}^{2}1}{2}, and thus 4(2p\u03f5)\le p+\u03f5. Therefore, p=5, which means that {q}^{\prime}=4, a contradiction.
2.4. If K/H{\cong}^{2}{D}_{{p}^{\prime}}(3), where {p}^{\prime}={2}^{{m}^{\prime}}+1 and {m}^{\prime}\ge 2, then p=\frac{{3}^{{p}^{\prime}1}+1}{2} or \frac{{3}^{{p}^{\prime}}+1}{4}.
Let p=\frac{{3}^{{p}^{\prime}1}+1}{2}. Then \frac{{3}^{{p}^{\prime}}+1}{2}{3}^{{p}^{\prime}({p}^{\prime}1)}({3}^{({p}^{\prime}1)}1){\prod}_{i=1}^{{p}^{\prime}2}({3}^{2i}1)\frac{{p}^{2}1}{2}. Since {p}^{2}<{3}^{2{p}^{\prime}} and {3}^{{p}^{\prime}({p}^{\prime}1)}<{p}^{2}, we have that {p}^{\prime}({p}^{\prime}1)<2{p}^{\prime}, and so {p}^{\prime}<3, a contradiction.
Let p=\frac{{3}^{{p}^{\prime}}+1}{4}. Then ({3}^{{p}^{\prime}1}+1){3}^{{p}^{\prime}({p}^{\prime}1)}({3}^{({p}^{\prime}1)}1){\prod}_{i=1}^{{p}^{\prime}2}({3}^{2i}1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}<{3}^{2({p}^{\prime}+1)} and {3}^{{p}^{\prime}({p}^{\prime}1)}<{p}^{2}, and thus {p}^{\prime}({p}^{\prime}1)<2({p}^{\prime}+1). It follows that {p}^{\prime}=3 and p=7, contradicting {p}^{2}<{3}^{2({p}^{\prime}+1)}.
2.5. If K/H\cong {G}_{2}({q}^{\prime}), where {q}^{\prime}\equiv 0(mod3), then p={q}^{\mathrm{\prime}2}\u03f5{q}^{\prime}+1 and ({q}^{\mathrm{\prime}2}+\u03f5{q}^{\prime}+1){q}^{\mathrm{\prime}6}({q}^{\mathrm{\prime}2}1)\frac{{p}^{2}1}{2}. It follows that {p}^{2}={({q}^{\mathrm{\prime}2}\u03f5{q}^{\prime}+1)}^{2}<{q}^{\mathrm{\prime}6} and {q}^{\mathrm{\prime}6}<{p}^{2}, a contradiction.
2.6. If K/H{\cong}^{2}{G}_{2}({q}^{\prime}), where {q}^{\prime}={3}^{2{m}^{\prime}+1}>3, then p={q}^{\prime}\u03f5\sqrt{3{q}^{\prime}}+1 and ({q}^{\prime}+\u03f5\sqrt{3{q}^{\prime}}+1){q}^{\mathrm{\prime}3}({q}^{\mathrm{\prime}2}1)\frac{{p}^{2}1}{2}. Therefore, {p}^{2}={({q}^{\prime}\u03f5\sqrt{3{q}^{\prime}}+1)}^{2}<{q}^{\mathrm{\prime}4} and {q}^{\mathrm{\prime}3}({q}^{\mathrm{\prime}2}1)<{p}^{2}, and thus {q}^{\mathrm{\prime}2}1<{q}^{\prime}, a contradiction.
2.7. If K/H\cong {F}_{4}({q}^{\prime}), where {q}^{\prime}>2 is even, then p={q}^{\mathrm{\prime}4}+1 or {q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1. Assume p={q}^{\mathrm{\prime}4}+1. Then {q}^{\mathrm{\prime}24}{({q}^{\mathrm{\prime}6}1)}^{2}{({q}^{\mathrm{\prime}4}1)}^{2}({q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1)\frac{{p}^{2}1}{2}. It follows that {p}^{2}={({q}^{\mathrm{\prime}4}+1)}^{2}<{q}^{\mathrm{\prime}10} and {q}^{\mathrm{\prime}24}<{p}^{2}, a contradiction. Similarly, if p={q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1, then {q}^{\mathrm{\prime}24}{({q}^{\mathrm{\prime}6}1)}^{2}{({q}^{\mathrm{\prime}4}1)}^{2}({q}^{\mathrm{\prime}4}+1)\frac{{p}^{2}1}{2}, and so {p}^{2}={({q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1)}^{2}<{q}^{\mathrm{\prime}8} and {q}^{\mathrm{\prime}24}<{p}^{2}, a contradiction.
2.8. If K/H{\cong}^{2}{F}_{4}({q}^{\prime}), where {q}^{\prime}={2}^{2{n}^{\prime}+1} and {q}^{\prime}>2, then p={q}^{\mathrm{\prime}2}+\u03f5\sqrt{2{q}^{\mathrm{\prime}3}}+{q}^{\prime}+\u03f5\sqrt{2{q}^{\prime}}+1 and {q}^{\mathrm{\prime}12}({q}^{\mathrm{\prime}4}1)({q}^{\mathrm{\prime}3}+1)({q}^{\mathrm{\prime}2}+1)({q}^{\prime}1)({q}^{\mathrm{\prime}2}\u03f5\sqrt{2{q}^{\mathrm{\prime}3}}+{q}^{\prime}\u03f5\sqrt{2{q}^{\prime}}+1)\frac{{p}^{2}1}{2}. Hence, {p}^{2}={({q}^{\mathrm{\prime}2}+\u03f5\sqrt{2{q}^{\mathrm{\prime}3}}+{q}^{\prime}+\u03f5\sqrt{2{q}^{\prime}}+1)}^{2}<{(2{q}^{\mathrm{\prime}2}+2{q}^{\prime}+2)}^{2}<4{({q}^{\mathrm{\prime}3}1)}^{2}<4{q}^{\mathrm{\prime}6}<{q}^{\mathrm{\prime}8} and {q}^{\mathrm{\prime}12}<{p}^{2}, a contradiction.
2.9. If K/H is isomorphic to one of {M}_{11}, {M}_{23}, and {J}_{3}, then p=11,19, or 23 and {K/H}_{2}\frac{{p}^{2}1}{2}. By [10], we have that {2}^{7}\ge {K/H}_{2}\ge {2}^{4}, but {(\frac{{p}^{2}1}{2})}_{2}\le {2}^{3}, a contradiction.
2.10. If K/H is isomorphic to one of {}^{2}A_{5}(2), {E}_{7}(2), {E}_{7}(3), {M}_{24}, HS, Sz, {\mathit{Co}}_{2}, {F}_{23}, {F}_{2}, and {F}_{3}, then p=11,13,19,23,31,47,127, or 1,093, and {K/H}_{2}\frac{{p}^{2}1}{2}. By [10], we have that {K/H}_{2}>{2}^{7}, but {(\frac{{p}^{2}1}{2})}_{2}\le {2}^{7}, a contradiction.
Step 3. Assume that t(K/H)=4. Then K/H is isomorphic to one of simple groups in Table 3 except {E}_{8}({q}^{\prime}), {q}^{\prime}\equiv 0,1,4(mod5) and {J}_{4}. We assert that it is impossible.
3.1. If K/H\cong {J}_{1}, then p=19 and 11\frac{{p}^{2}1}{2}, but \frac{{p}^{2}1}{2}=180, a contradiction.
3.2. If K/H is isomorphic to one of {A}_{2}(4), {}^{2}E_{6}(2), {M}_{22}, ON, Ly, {F}_{24}^{\prime}, and {F}_{1}, then p=7,11,19,29,31,67, or 71 and {K/H}_{2}\frac{{p}^{2}1}{2}. By [10], we have that {K/H}_{2}\ge {2}^{6}, but {(\frac{{p}^{2}1}{2})}_{2}\le {2}^{5}, a contradiction.
3.3. If K/H{\cong}^{2}{B}_{2}({q}^{\prime}), where {q}^{\prime}={2}^{2{m}^{\prime}+1} and {q}^{\prime}>2, then p={q}^{\prime}1 or {q}^{\prime}+\u03f5\sqrt{2{q}^{\prime}}+1.
Let p={q}^{\prime}1. Then {q}^{\mathrm{\prime}2}({q}^{\prime}\sqrt{2{q}^{\prime}}+1)({q}^{\prime}+\sqrt{2{q}^{\prime}}+1)\frac{{p}^{2}1}{2}. It follows that {q}^{\mathrm{\prime}2}<{p}^{2}={({q}^{\prime}1)}^{2}<{q}^{\mathrm{\prime}2}, a contradiction.
Let p={q}^{\prime}\sqrt{2{q}^{\prime}}+1. Then {q}^{\mathrm{\prime}2}({q}^{\prime}1)({q}^{\prime}+\sqrt{2{q}^{\prime}}+1)\frac{{p}^{2}1}{2}. Therefore, {p}^{2}<{q}^{\mathrm{\prime}2} and {q}^{\mathrm{\prime}3}<{p}^{2}, a contradiction.
Let p={q}^{\prime}+\sqrt{2{q}^{\prime}}+1. Then {q}^{\mathrm{\prime}2}({q}^{\prime}1)({q}^{\prime}\sqrt{2{q}^{\prime}}+1)\frac{{p}^{2}1}{2}. Therefore, p={2}^{2{m}^{\prime}+1}+{2}^{{m}^{\prime}+1}+1 and \frac{{p}^{2}1}{2}={2}^{{m}^{\prime}+1}({2}^{{m}^{\prime}}+1)({2}^{2{m}^{\prime}}+{2}^{{m}^{\prime}}+1). Since {K/H}_{2}{(\frac{{p}^{2}1}{2})}_{2}, we have that {2}^{2(2{m}^{\prime}+1)}{2}^{{m}^{\prime}+1}, and thus 2(2{m}^{\prime}+1)\le {m}^{\prime}+1, a contradiction.
3.4. If K/H\cong {E}_{8}({q}^{\prime}), where {q}^{\prime}\equiv 2,3(mod5), then p={q}^{\mathrm{\prime}8}{q}^{\mathrm{\prime}4}+1,{q}^{\mathrm{\prime}8}{q}^{\mathrm{\prime}7}+{q}^{\mathrm{\prime}5}{q}^{\mathrm{\prime}4}+{q}^{\mathrm{\prime}2}{q}^{\prime}+1 or {q}^{\mathrm{\prime}8}+{q}^{\mathrm{\prime}7}{q}^{\mathrm{\prime}5}{q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+{q}^{\prime}+1. Assume that p={q}^{\mathrm{\prime}8}{q}^{\mathrm{\prime}4}+1. Then {p}^{2}<{q}^{\mathrm{\prime}16}, but {q}^{\mathrm{\prime}120}<{p}^{2}, a contradiction. Similarly, for other cases of p, we can always obtain a contradiction.
Step 4. Assume that t(K/H)=5. Then K/H\cong {E}_{8}({q}^{\prime}) in Table 3, where {q}^{\prime}\equiv 0,1,4(mod5), and thus p={q}^{\mathrm{\prime}8}{q}^{\mathrm{\prime}4}+1,{q}^{8}{q}^{\mathrm{\prime}6}+{q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+1,{q}^{\mathrm{\prime}8}{q}^{\mathrm{\prime}7}+{q}^{\mathrm{\prime}5}{q}^{\mathrm{\prime}4}+{q}^{\mathrm{\prime}2}{q}^{\prime}+1 or {q}^{\mathrm{\prime}8}+{q}^{\mathrm{\prime}7}{q}^{\mathrm{\prime}5}{q}^{\mathrm{\prime}4}{q}^{\mathrm{\prime}2}+{q}^{\prime}+1. By the way of 3.4, for all cases of p, we can always obtain a contradiction. Hence, we omit it.
Step 5. Assume that t(K/H)=6. Then K/H\cong {J}_{4} in Table 3. It follows that p=43 and 37\frac{{p}^{2}1}{2}, but \frac{{p}^{2}1}{2}={2}^{2}\cdot 3\cdot 7\cdot 11, a contradiction.
Therefore, we have that G\cong {L}_{2}(p), where p is a prime and not equal to 7, as desired. □
By Theorems 3.1 and 3.2, the following corollary holds.
Corollary 3.3 Thompson’s conjecture holds for the projective special linear group {L}_{2}(p), where p is a prime.
Proof Let G be a group with trivial central and N(G)=N({L}_{2}(p)). Then it is proved in [4] that G={L}_{2}(p). Hence, the corollary follows from Theorems 3.1 and 3.2. □
Remark 3.4 By 2.2 of Theorem 3.2 and Lemma 2.3, the following conclusion is true.
Let G be a group with G={2}^{3}\cdot 3\cdot 7 . Then G has a class size of 24 if and only if G\cong {L}_{2}(7) or ({Z}_{2}\times {Z}_{2}\times {Z}_{2}:{Z}_{7}):{Z}_{3} .
References
Williams JS: Prime graph components of finite groups. J. Algebra 1981, 69: 487–513.
Khukhro EI, Mazurov VD: Unsolved Problems in Group Theory: The Kourovka Notebook. 17th edition. Sobolev Institute of Mathematics, Novosibirsk; 2010.
Chen, GY: On Thompson’s Conjecture. PhD thesis, Sichuan University, Chengdu (1994)
Chen GY: On Thompson’s conjecture for sporadic simple groups. In Proc. China Assoc. Sci. and Tech. First Academic Annual Meeting of Youths. China Sci. & Technol. Press, Beijing; 1992:1–6. (in Chinese)
Chen GY: On Thompson’s conjecture. J. Algebra 1996, 185: 184–193.
Chen GY: Further reflections on Thompson’s conjecture. J. Algebra 1999, 218: 276–285.
Vasil’ev AV: On Thompson’s conjecture. Sib. Electron. Math. Rep. 2009, 6: 457–464.
Ahanjideh N: On Thompson’s conjecture for some finite simple groups. J. Algebra 2011, 344: 205–228.
Li, JB: Finite groups with special conjugacy class sizes or generalized permutable subgroups. PhD thesis, Southwest University, Chongqing (2012)
Conway JH, Curtis RT, Norton SP, Parker RA, Wilson RA: Atlas of Finite Groups. Clarendon, Oxford; 1985.
Xu MY 1. In The Theory of Finite Groups. An Introduction. Science Press, Beijing; 1993.
Chen GY: On Frobenius and 2Frobenius group. J. Southwest China Norm. Univ. 1995, 20: 485–487. (in Chinese)
Miller GA: Determination of all the groups of order 168. Am. Math. Mon. 1902, 9(1):1–5.
Iiyori N, Yamaki H: Prime graph components of the simple groups of Lie type over the field of even characteristic. J. Algebra 1993, 155(2):335–343.
Kondratev AS: On prime graph components of finite simple groups. Math. Sb. 1989, 180(6):787–797.
Acknowledgements
The authors are very grateful to the referee for carefully reading the earlier version of this manuscript and providing valuable suggestions and useful comments. This work was supported by the National Natural Science Foundation of China (Grant Nos. 11271301, 11171364, 11001226), Science and Technology Foundation of Chongqing Education Committee (No. KJ111107), Youth Foundation of Chongqing Three Gorges University (Grant Nos. 12QN22, 12QN23).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Chen, Y., Chen, G. Recognizing {L}_{2}(p) by its order and one special conjugacy class size. J Inequal Appl 2012, 310 (2012). https://doi.org/10.1186/1029242X2012310
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2012310
Keywords
 finite simple groups
 conjugacy class size
 prime graph
 Thompson’s conjecture