CHARACTERIZATION OF PSL(3,Q) BY NSE
|
|
- Logan Frank Cummings
- 5 years ago
- Views:
Transcription
1 CHARACTERIZATION OF PSL(,Q) BY NSE S. ASGARY an N. AHANJIDEH Communicate by Alexanru Buium Let G be a group an π e(g) be the set of element orers of G. Suppose that k π e(g) an m k is the number of elements of orer k in G. Set nse(g) := {m k : k π e(g)}. Let M = P SL(, q), where q is a prime power an r = (q + q + 1)/(, q 1) is a prime number an G be a finite group such that r G, r G an G = M. In this paper, we prove that G = M if an only if nse(g) = nse(m). AMS 010 Subject Classification: 0D05, 0D0. Key wors: set of the number of elements of the same orer, prime graph, the classification theorem of finite simple groups. 1. INTRODUCTION If n is an integer, then we enote by π(n) the set of all prime ivisors of n. If G is a finite group, then π( G ) is enote by π(g). We enote by π e (G) the set of element orers of G. Set m k = m k (G) := {g G : the orer of g is k} an nse(g) := {m k (G) : k π e (G)}. Throughout this paper, we enote by φ the Euler totient function. If G is a finite group an r is a prime, then we enote by S r (G) a Sylow r-subgroup of G, by Syl r (G) the set of Sylow r-subgroups of G an n r (G) is the number of Sylow r-subgroups of G. cl G (x) enotes the size of the conjugacy class of G containing x. Let n be a positive integer an p be a prime number. Then n p enotes the p-part of n. The prime graph GK(G) of a finite group G is a graph whose vertex set is π(g) an two istinct primes p an q are joine by an ege if an only if G contains an element of orer pq (we write p q). Let t(g) be the number of connecte components of GK(G) an let π 1, π,..., π t(g) be the connecte components of GK(G). If π(g), then we always suppose that π 1 (G). G can be expresse as a prouct of co-prime positive integers OC i, i = 1,,..., t(g), where π(oc i ) = π i. These OC i s are calle the orer components of G an the set of orer components of G will be enote MATH. REPORTS 19(69), 4 (017), 45 48
2 46 S. Asgary an N. Ahanjieh by OC(G). Also if π(g), we call OC,..., OC t(g) the o orer components of G. The sets of orer components of finite simple groups with isconnecte prime graph can be obtaine using [10] an [17]. Let M t (G) := {g G : g t = 1}. Then G an H are of the same orer type if an only if M t (G) = M t (H), t = 1,,.... In 1987, J.G. Thompson put forwar the following problem: Thompsons Problem. Let T (G) = {(k, m k ) : k π e (G), m k nse(g)}, where m k is the number of elements of G of orer k. Suppose that H is a group with T (G) = T (H). If G is solvable, then is it true that H is also necessarily solvable? It is easy to see that if T (G) = T (H), then nse(g) = nse(h) an G = H. We say that the group G is characterizable by nse (an the orer) if every group H with nse(g) = nse(h) (an G = H ) is isomorphic to G. Note that not all groups can be characterizable by nse. For instance, let G = Z 4 Z 4 an H = Z Q 8. Then G = H an nse(g) = nse(h), while G H. In [1], it is shown that the simple groups P SL(, q), where q 1, are characterizable by nse. In [9] an [15], it is prove that P SL(, p), where p is a prime, is characterizable by nse. Also, in [8], [] an [], the authors respectively showe that for the prime number p, P GL(, p), the alternating groups A n, where n {p, p + 1, p + } an, C n (), D n () an D n+1 (), where n + 1 = p, are characterizable by nse uner some extra conitions. Throughout this paper, let q be a prime power such that q +q+1 (,q 1) is a prime, namely r an M = P SL(, q). In this paper, we are going to stuy the characterization of M by nse. In fact, we prove the following theorem: Main Theorem. Let G be a finite group such that r G, r G an G = M. Then G = M if an only if nse(g) = nse(m).. PRELIMINARIES Definition.1 ([5]). Let a be a natural number an r be a prime such that (a, r) = 1. If n is the smallest natural number such that r (a n 1), then r is name a Zsigmony prime of a n 1. Lemma.1 ([5]). Let a an n be natural numbers, then there exists a Zsigmony prime of a n 1, unless (a, n) = (, 1), (a, n) = (, 6) or n = an a = s 1 for some natural number s. Remark.1. If l is a Zsigmony prime of a n 1, then Fermat s little theorem shows that n l 1. Put Z n (a) = {l : l is a Zsigmony prime of a n 1}. If r Z n (a) an r a m 1, then we can see at once that n m.
3 Characterization of PSL(,Q) by nse 47 Lemma. ([4]). Let G be a Frobenius group of even orer with kernel K an complement H. Then t(g) =, the prime graph components of G are π(h) an π(k) an the following assertions hol: (1) K is nilpotent; () K 1 (mo H ). Lemma.. If x is an element of M {1}, then either cl M (x) r = M r or cl M (x) r < M r an cl M (x) = M (q 1) GL(1, q ) Proof. It follows from [1, Corollary.8]. = GL(, q) GL(1, q ). Lemma.4 ([6]). Let t be a positive integer iviing G. Then t M t (G). From Lemma.4, it may be conclue that: Corollary.1. For a finite group G: (i) if n G, then n s n m s ; (ii) if n π e (G), then m n = φ(n)k, where k is the number of cyclic subgroups of orer n in G. In particular, φ(n) m n. (iii) if R Syl r (G) is cyclic of prime orer r, then m r = n r (G)(r 1); (iv) if P Syl p (G) is cyclic of prime orer p an r π(g) {p}, then m rp = n p (G)(p 1)(r 1)k, where k is the number of cyclic subgroups of orer r in C G (P ). Lemma.5 ([11]). If n 6 is a natural number, then there are at least s(n) prime numbers p i such that (n + 1)/ < p i < n. Here s(n) = 1, for 6 n 1; s(n) =, for 14 n 17; s(n) =, for 18 n 7; s(n) = 4, for 8 n 41; s(n) = 5, for 4 n 47; s(n) = 6, for n 48.. MAIN RESULTS In this section, let G be a finite group such that r G, r G an nse(g) = nse(m). In the following, we are going to bring some useful lemmas which will be use uring the proof of the main theorem:
4 48 S. Asgary an N. Ahanjieh 4 Lemma.1. m r (M) = 1 (r 1)q (q 1)(q 1). Proof. By [7], N M (S r (M)) =. n r (M) = q 1 (q 1)(,q 1) an hence, M N M (S r (M)) = 1 q (q 1)(q 1). Now, since S r (M) is cyclic, Corollary.1(iii) implies that m r (M) = n r (M)(r 1) = 1 (r 1)q (q 1)(q 1), as esire. Lemma.. (i) For u π e (M), either r m u (M) or u = r; (ii) For every u π e (G), r m u (G) if an only if m u (G) = m r (M); (iii) m r (G) = m r (M); (iv) m (G) = m (M). Proof. (i) Obviously, m u (M) = cl M (x k ), where x k s are selecte O(x k )=u from istinct conjugacy classes of M. Thus Lemma. completes the proof of (i). (ii) Since m u (G) nse(g) = nse(m), (i) completes the proof. (iii) By Corollary.1(i), we have r (1 + m r (G)) an hence, r m r (G). Thus m r (G) = m r (M), by (ii). (iv) By Corollary.1(ii), for every u π e (M), φ(u) m u (M). Thus if u >, then m u is even. On the other han, (1 + m (M)) an hence, m (M) is o. Applying the same reasoning shows that the only o number in nse(g) is m (G) an hence, m (G) = m (M), as wante. Lemma.. For every s π(g) {r}, sr π e (G). Proof. Suppose on the contrary, sr π e (G). Since r G, we euce that S r (G) is cyclic an hence, Corollary.1(iv) forces m rs (G) = (r 1)(s 1)n r (G)k, for some natural number k. Thus m rs (G) = m r (G)(s 1)k an hence, one of the following hols: (i) r m rs (G). Then r (s 1)k an hence, m rs (G) > M, along with Lemmas.1 an.(iii). Thus m rs (G) nse(m), which is a contraiction. (ii) r m rs (G). Then Lemma.(ii) shows that m rs (G) = m r (G) an hence, by Corollary.1(iv), s =. On the other han, Corollary.1 (i) an Lemma.(iv) show that r (1 + m (G) + m r (G) + m r (G)) = 1 + m (M) + m r (G). Now, since by Corollary.1 (i) an Lemma.(i), r (1 + m r (G)) an r m (M), we euce that r m r (G), which is a contraiction. Corollary.1. r is an o orer component of G.
5 5 Characterization of PSL(,Q) by nse 49 Proof. It follows from Lemma.. Lemma.4. (i) n r (G) = n r (M) = 1 q (q 1)(q 1); (ii) 1 M G an G 1 r(r 1)q (q 1)(q 1). Proof. Since S r (G) is cyclic, Corollary.1(iii) forces m r (G) = φ(r)n r (G). Thus by Lemma.(iii), φ(r)n r (M) = m r (M) = m r (G) = φ(r)n r (G) an hence (i) follows. Now let s π(g) {r}. By Lemma., S s (G) acts fixe point freely on the set of elements of orer r in G an hence, G s m r (G) = φ(r)n r (G). Also, G r = r an n r (G) = 1 q (q 1)(q 1). Thus M / G an G 1 r(r 1)q (q 1)(q 1). Proof of the main theorem. If G = M, then it is obvious that nse(g) = nse(m). Now we assume that nse(g) = nse(m). In the following, we show that G has a normal series 1 H K G such that K/H is a non-abelian simple group. Let x G be an element of orer r. Since r is the maximal prime ivisor of G an an o orer component of G, C G (x) =< x >. Set H = O r (G), the largest normal r -subgroup of G. Since < x > acts on H fixe point freely, H is a nilpotent group. Suppose that K be a normal subgroup of G such that K/H is a minimal normal subgroup of G/H. Then K/H is a irect prouct of copies of same simple group. Since r K/H an r K/H, K/H is a simple group. On the other han, since < x > is a Sylow r-subgroup of K, G = N G (< x >)K by the Frattini argument an so G/K ivies r 1. Now, it s not too har to prove that K/H r. Therefore, G has a normal series 1 H K G such that K/H is a non-abelian simple group. In the following, assume that = (, q 1) an q = p α, where p is a prime an α is a positive integer. Also, for convenience let f(q) = 1 r(r 1)q (q 1)(q 1). We are going to continue the prove of the main theorem in the following steps: Step 1. K/H is not a Sporaic simple group. Proof. Suppose that K/H is a Sporaic simple group. Thus r = q +q+1 {5, 7, 11, 1, 17, 19,, 9, 1, 7, 41, 4, 47, 59, 67, 71}. If q +q+1 {5, 11}, then since q is a prime power, we get a contraiction. Assume that q +q+1 = 7 an = 1. Thus q =. But P SL(, ) =..7 an K/H {M, J 1, J, HS}, so 5 K/H, which is a contraiction. If =, then q = 4 an P SL(, 4) = Also, K/H {M, J 1, J, HS}. Now, similar to the above we get a contraiction. The same argument rules out the other possibilities of r. Step. K/H cannot be an alternating group A m, where m 5.
6 40 S. Asgary an N. Ahanjieh 6 Proof. If K/H = A m, then since q +q+1 = r π(k/h), r m. Also, since q is a prime power, r 7. Thus by Lemma.5, there exists a prime number u π(a m ) π(g) such that (r + 1)/ < u < r. Lemma.4(ii) forces u 1 r(r 1)q (q 1)(q 1). We can check at once that u q, u q 1 an u r 1. Thus u Z (q). It follows that u = r, where r = 7 an q = 4. So M = P SL(, 4) = Since A m ivies G, we get m {7, 8}. Note that H ivies G / K/H an S 7 (G) acts fixe point freely on H an hence, 7 H 1. Therefore, consiering the orers of G an K/H shows that either H = 8 an m = 7 or H = 1. If H = 8 an m = 7, then we can assume that H is a -elementary abelian group an hence, A 7 GL(, ). Thus A 7 ivies GL(, ), which is a contraiction. If H = 1, then G = A 7, S 7, A 8 or S 8, which in two former cases m 7 (G) = m 7 (A 7 ) = = m 7 (M), which is a contraiction. If G = A 8, then 144 nse(g) nse(m) an if G = S 8, then 76 nse(g) nse(m), contraicting our assumptions. Step. K/H = P SL(, q). Proof. By Steps 1 an, an the classification theorem of finite simple groups, K/H is a simple group of Lie type such that t(k/h) an r OC(K/H). Thus K/H is isomorphic to one of the following groups: Case 1. Let t(k/h) =. Then OC (K/H) = r = q +q+1. Thus we have: 1.1. If K/H = C n (q ), where n = u, then q n +1 (,q 1) = q +q+1. If (, q 1) =, then q n +1 = r, so q n = (q +q+1) an hence, (q, r) = (q, q) = 1. Also, since p is o, we have p q 1 or p q 1 an hence, (p α ) n = K/H p G p 1 (,p ) (q 1) p (q 1) p ( q +q+1 ) p < ( (q +q+1) ) < (p α ) n. Therefore, n <, which is a contraiction. If (, q 1) = 1 an = 1, then we have q n = q(q + 1), which is impossible. If (, q 1) = 1 an =, then q = α an q + 1 = r. Thus α + 1 = q +q+1 an hence, α = (q 1)(q+). Since q 1, q + an hence, α, which is a contraiction. The same reasoning completes the proof in the case when either K/H = B n (q ) or K/H = D n (q ), where n = u If K/H = C s () or B s (), where s is prime, then s 1 = q +q+1. So s = (q + q + + ) an hence, either (, q) = 1 an s+1 > q + q + + or q = s =. In the former case, since s = K/H G = (q 1) (q 1) < ( q +q+1 ) < (s+1), s < (s + 1) an hence, s =. So q(q + 1) {1, 8}. Obviously, q(q + 1) 8. If q(q + 1) = 1, then q =, which is a contraiction. If q = s =, then r = 1 an M = P SL(, ) = 4..1, so 5 G. On the other han, 5 C () = B (), which is a contraiction.
7 7 Characterization of PSL(,Q) by nse If K/H = C s (), where s is prime, then s 1 = q +q+1 an hence, s = q +q+1+. Now, if q {, 4}, then q +q+1 = 7 an hence, s =. In these cases, P SL(, ) =..7 an P SL(, 4) = So 9 G. On the other han, 9 C (), which is a contraiction. If q {, 4}, then (, q) = 1 an hence, s = K/H G ( q 1 s. So s < s, which implies that s =. This forces q +q+1 ) (q 1) ( q +q+1 ) < ( q +q+1+ ) = =, which is impossible If K/H = D s (q ), where s 5 is prime an q =,, 5, then q s 1 Thus q s() (q i 1) q 1 = r. 1 (r 1)q (q 1)(q 1). On the other han, r 5 = (q s 1) 5 < q 5s an q s().q s() (q 1) 5 < q s() (q i 1) 1 (r 1)q (q 1)(q 1) < r 5 s() s()+, which implies that q < q 5s an hence, s < 5, which is a contraiction If K/H = D n (), where 9 n = m + 1 an n is not prime, then n 1 +1 = q +q+1. Thus (, q) = 1 an n 1 = (q + q + ) an hence, n > q + q +. Since n(n 1) = K/H G = (q 1) (q 1) < (q + q + ) < n, we obtain n 1 <, which is impossible If K/H = D n (), where n = m + 1 5, then n = q +q+1. Thus n 1 = q +q+1 an hence, (, q) = 1. Therefore, n(n 1) = K/H G < ( q +q+1 ) = (n 1), so n <, which is impossible If K/H = D s+1 (q ), where s is an o prime an q =,, then q s 1 (,q 1) = r. Thus q s(s+1) (q s + 1)(q s+1 1) (q i 1) 1 (r 1)q (q 1)(q 1). Also, r 5 = (q s 1) 5 < q 5s an q s(s+1) q s(s+1)/ < q s(s+1) (q s + 1)(q s+1 1) (q i (,q 1) 5 1) 1 (r 1)q (q 1)(q 1) < r 5, which implies that q s(s+1)/ < q 5s an hence, s <, which is a contraiction If K/H = D s (), where 5 < s m + 1 an s is an o prime, then s +1 4 = r an s() ( i 1) 1 (r 1)q (q 1)(q 1). Thus r 5 = (s +1) < 5s an s() < s() ( i 1) 1 (r 1)q (q 1)(q 1) < r 5, which implies that s(s 1) < 5s an hence, s 1 < 5, which is a contraiction.
8 4 S. Asgary an N. Ahanjieh If K/H = G (q ), where < q ɛ (mo ) an ɛ = ±1, then q ɛq + 1 = q +q+1. Thus we can check at once that K/H > f(q), which is a contraiction. If K/H = F 4 (q ), where q is o, then similar to the above, we get a contraiction If K/H = F 4 (), then K/H = an q +q+1 = 1. If = 1, then q = an P SL(, ) = 4..1, so 5 G, which is a contraiction. If =, then q(q + 1) = 8, which is impossible If K/H = P SU(4, ), then K/H = Thus q +q+1 = 5, which is impossible If K/H = P SL(s, q ), where (s, q ) (, ), (, 4) an s is an o prime, then r = other han, r 5 = q s s() 1 (s,q 1)(q 1) an q (q s 1) 5 (s,q 1) 5 (q 1) 5 (q i 1) 1 (r 1)q (q 1)(q 1). On the < q 5s an q s(s 1) s < q s() (q i 1) 1 (r 1)q (q 1)(q 1) < r 5, which implies that s(s 1) s < 5s. Hence s =, 5. If s = 5, then q +q+1 = q 4 +q +q +q +1 (5,q 1) an hence, (q, q) = 1. Also, q 10 (q 1)(q 1)(q 1)(q 4 1 1) (r 1)q (q 1)(q 1). But q 10 1 (r 1)q (q 1)(q 1), which is a contraiction. If s =, then q 1 (,q 1)(q 1) = q +q+1 an hence, q +q +1 (,q 1) = q +q+1. Now, we ivie the proof into the following subcases: (i) Suppose that (q, q) 1 an q q. (1) Let (, q 1) = 1 an = 1. Thus q + q + 1 = q + q + 1, so q = q an K/H = P SL(, q). () If (, q 1) = an =, then q +q +1 = q +q+1 an similar to the above, K/H = P SL(, q). () If (, q 1) = 1 an =, then q + q + 1 = q +q+1 an hence, q(q + 1) = q + q +, which implies that q q + q +. Since q q, q, thus q = an hence, q (q + 1) = 4, which is a contraiction. (4) If (, q 1) = an = 1, then q +q +1 = q + q + 1 an hence, q(q + 1) = (q 1)(q +), which implies that q q + q. Thus q ( ) an hence, q =. It follows that 18 = q +q. Hence, q = 4. But (s, q ) (, 4) by assumption, which is a contraiction. The same argument completes the proof when q q. (ii) Assume that (q, q) = 1. (1) If (, q 1) = 1 an = 1, then q + q + 1 = q + q + 1 an hence, q (q + 1) = q(q + 1). Since (q, q) = 1, we get a contraiction.
9 9 Characterization of PSL(,Q) by nse 4 () If (, q 1) = an =, then q +q +1 = q +q+1 an similar to the above, we get a contraiction. () If (, q 1) = an = 1, then q +q +1 = q +q +1 an hence, q +q = q(q + 1). Thus (q 1)(q +) = q(q + 1), which implies that k(k + 1) = q(q + 1). Consiering the ifferent possibilities of q leas us to get a contraiction. (4) If (, q 1) = 1 an =, then similar to the above, we get a contraiction If K/H = P SL(s + 1, q ), where (q 1) (s + 1) an s is an o prime, then r = q s 1 q 1 s(s+1) an q (q s+1 1) (q i 1) 1 (r 1)q (q 1)(q 1). On the other han, r 5 = (q s 1) 5 < q 5s an q s(s+1) s < q s(s+1) (q 1) 5 (q s+1 1) (q i 1) 1 (r 1)q (q 1)(q 1) < r 5 < q 5s, which implies that s + 1 < 6. Hence s =, so q + q + 1 = q +q+1. Since (q 1) (s + 1), q {,, 5}, which implies that K/H = P SL(4, ), K/H = P SL(4, ), K/H = P SL(4, 5). If K/H = P SL(4, ), then since P SL(4, ) = A 8, Step leas us to get a contraiction. If K/H = P SL(4, ), then q +q+1 = 1 an hence q =. So K/H G, which is impossible. The same reasoning rules out the case when K/H = P SL(4, 5) If K/H = E 6 (q ), then r = q 6 +q +1 (,q 1) an q 6 (q 1 1)(q 8 1)(q 6 1)(q 5 1)(q 1) 1 (r 1)q (q 1)(q 1). On the other han, r 5 = (q 6 +q +1) 5 < q 45 (,q 1) 5 an q 6 (q 1 1)(q 8 1)(q 6 1)(q 5 1)(q 1) 1 (r 1)q (q 1)(q 1) < r 5 < q 45, which is a contraiction. The same reasoning rules out the case when K/H = E 6 (q ), where q > If K/H = D 4 (q ), then r = q 4 q + 1 an q 1 (q 4 + q + 1)(q 6 1)(q 1) 1 (r 1)q (q 1)(q 1). But q 1 (q 4 + q + 1)(q 6 1)(q 1) > 1 (r 1)q (q 1)(q 1), which is a contraiction If K/H = P SU(s+1, q ), where (s, q ) (, ), (5, ), (q +1) (s+1) an s is an o prime, then r = q s s(s+1) +1 q +1 an q (q s+1 1) (q i ( 1) i ) 1 (r 1)q (q 1)(q 1). Moreover, r 5 = ( q s +1 q +1 )5 = (q q s ) 5 < q 5() an q s(s+1).q s() +s < q s(s+1) (q s+1 1) (q i ( 1) i ) 1 (r 1)q (q 1)(q 1) < r 5, which implies that s + s < 5(s 1). Thus s <, which is a contraiction If K/H = P SU(s, q ), where s is an o prime, then r = q s +1 (q +1)(s,q +1) an
10 44 S. Asgary an N. Ahanjieh 10 q s() (q i ( 1) i ) 1 (r 1)q (q 1)(q 1). Also, r 5 = q 5() an q s() q s() < q s() (q s +1) 5 (q +1) 5 (s,q +1) 5 < (q i ( 1) i ) 1 (r 1)q (q 1)(q 1) < r 5. This implies that s < 5. Thus s = an hence, r = q q +1 (,q +1). This shows that q = q 1, q(q + 1) = k(k + 1) or q (q 1) = k(k + 1). If q = q + 1, then we can see that K/H G, which is a contraiction. Consiering the ifferent possibilities of k in two latter cases shows that (q, q ) = (4, ), so G 5 = 5. Since 5 Aut(P SU(, )), so H 5 = 5. But S 7 (G) acts fixe point freely on S 5 (H) an hence, 7 5 1, which is a contraiction. Case. Let t(k/h) =. Then r {OC (K/H), OC (K/H)}:.1. If K/H = P SL(, q ), where 4 q, then the o orer components of K/H are q +1 an q 1. If q +1 = r, then q = r 1 = (q +q+1) 1 an hence, either q = q(q + 1) or q = (q 1)(q+), which are impossible. So let q 1 = r. Thus q = α > 4, q = r + 1 = (q +q+1) + 1 an n r (K/H) = q (q +1) n r (G) = 1 q (q 1)(q 1). If = 1, then q(q +1) = ( α 1 1) an hence, either q = or (q (q + 1), K/H ) 6. If q =, then q = 8, so n r (K/H) n r (G), which is a contraiction. In the latter case, q (q + 1) (q 1), which is impossible. Now let =. Then we can see at once that (q + )(q 1) = 6( α 1 1) an either (q, q ) = 1 or q = 4 an q = 8. Thus if (q, q ) = 1, then the above statements show that r + 1 = q 8 q + 1, which is impossible. If q = 4 an q = 8, then H 5 = 5 an hence, 7 5 1, which is a contraiction... If K/H = P SL(, q ), where 4 q 1, then q = r or (q + 1)/ = r. If q = r, then n r (K/H) = (q + 1) n r (G) = 1 q (q 1)(q 1) an either q + 1 = q + q + or q + 1 = (q +q+4). So we can see at once that q + 1, which is a contraiction. If (q +1) = r, then n r (K/H) = 1 q (q 1) n r (G) = 1 q (q 1)(q 1) an q = q + q + 1 or q = (q +q 1). This forces q = 5 an hence, r =, which is impossible. The same reasoning completes the proof when K/H = P SL(, q ) an 4 q If K/H = P SU(6, ) or K/H = P SL(, ), then K/H = or K/H = 7. It follows that q +q+1 {7, 11}. We can check that q +q+1 11 an hence q +q+1 = 7. So q {, 4}. Thus P SU(6, ) G an hence, K/H = P SU(6, ). Also, if K/H = P SL(, ) an q = 4, then as mentione in the previous cases 7 5 1, which is a contraiction. Therefore, K/H = P SL(, ) = M, as esire..4. If K/H = D s (), where s = t + 1 5, then s +1 4 = q +q+1 or +1 =
11 11 Characterization of PSL(,Q) by nse 45 q +q+1. If s +1 4 = r, then s() ( i 1) On the other han, r 5 = (s +1) < 5s an s() s < s() 1 (r 1)q (q 1)(q 1). ( i 1) 1 (r 1)q (q 1)(q 1) < r 5. This implies that s() < 6s an hence, s < 4, which is a contraiction. The same reasoning rules out the other possibility..5. If K/H = D s+1 (), where s = n 1 an n, then s + 1 = q +q+1 or s = q +q+1. If s + 1 = r, then s = q(q + 1) or s = (q 1)(q+), which is impossible. The same reasoning rules out the other possibilities..6. If K/H = G (q ), where q 0 (mo ), then q ± q + 1 = q +q+1. We know that K/H G an G f(q), so K/H f(q). Since K/H = q 6 (q 1)(q 6 1) an either q (q ±1) = q(q +1) or q (q ±1) = 1 (q 1)(q +), we can check at once that q 6 G p, which is a contraiction..7. If K/H = G (q ), where q = t+1 >, then q q + 1 = q +q+1 or q + q + 1 = q +q+1. Let (, q) = 1. If q q + 1 = q +q+1, then q > q +q+1. Thus ( t+1 ) = K/H G < ( q +q+1 ) < ( t+1 ), which is a contraiction. Now let q + q + 1 = q +q+1. If = 1, then t+1 ( t + 1) = q(q + 1). Now, since (, q) = 1, q an hence, q ( t + 1) an (q + 1) = t+1, which is impossible. If =, then q + q + 1 = q +q+1 an hence, t+ ( t + 1) = (q 1)(q + ). Thus either t+1 (q 1) an (q + ) ( t + 1) or t+1 (q + ) an (q 1) ( t + 1). This forces (q 1) = t+1 an (q + ) = ( t + 1). This guarantees that G t+. On the other han, (t+1) = K/H G t+, which is a contraiction. Now assume that (, q) 1. So = 1 an hence, q ± q + 1 = q + q + 1. This forces q = t+1 an q + 1 = t ± 1, which is impossible..8. If K/H = F 4 (q ), where q is even, then q = q +q+1 or q 4 q + 1 = q +q+1. Thus r 6 = (q 4 + 1) 6 < (q 5 ) 6 = q 0 an q 4 (q 1 1)(q 8 1)(q 6 1)(q 1) 1 r(r 1)q (q 1)(q 1). Thus q 6 1 r(r 1)q (q 1)(q 1) < r 6 < q 0, which is a contraiction..9. If K/H = E 7 (), then r {7, 17}. Therefore, either r = 7 an q = 8 or r = 17 an q = 19. So either M = P SL(, 8) = or M = P SL(, 19) = On the other han, 1 E 7 (), so K/H G, which is a contraiction..10. If K/H = E 7 (), then r {757, 109}. One can check at once that (q +q+1) 109. If q +q+1 = 757, then = 1 an q = 7. On the other han, P SL(, 7) = an 5 E 7 (), which is a contraiction.
12 46 S. Asgary an N. Ahanjieh If K/H = F 4 (q ), where q = t+1, then r = q ± q + q ± q + 1. In both cases, one can check at once that K/H > G, which is a contraiction. Case. Let t(k/h) {4, 5}. Then as follows: r {OC (K/H), OC (K/H), OC 4 (K/H), OC 5 (K/H)},.1. If K/H = E 6 (), then q +q+1 {1, 17, 19}. Obviously, q +q If q +q+1 = 19, then = an q = 7. Thus M = P SL(, 7) = On the other han 11 E 6 (), which is a contraiction. The same reasoning rules out the case when r = 1 an q =... If K/H = P SL(, 4), then q +q+1 {5, 7, 9}. It is easy to check that q +q+1 {5, 9}. If q +q+1 = 7, then either q = or q = 4. In the former case, K/H G, which is a contraiction. So q = 4 an hence, K/H = P SL(, 4) = M, as esire... If K/H = B (q ), where q = t+1 an t 1, then r {q 1, q ± q + 1}. Let q 1 = r an = 1. Thus ( t 1) = q(q + 1). If q =, then q + 1 = an hence, t = 1 an M = P SL(, ). Therefore, 5 G an 5 K/H, which is a contraiction. This forces q t 1 or q t + 1 an hence, q(q + 1) ( t + 1)( t 1 + 1). Therefore, t = an q = 5. Thus K/H G, which is a contraiction. If q 1 = r an =, then we can see that (. t 1 1) = q(q + 1). If q =, then q + 1 = 5 an t = 1, which is impossible as escribe above. Thus q + 1 = an hence, q 1 =. Also, r 1 =. So (t+1) K/H G 5, which is a contraiction. Now assume that q + q + 1 = r. If =, then q +q = t+1 ( t + 1) an hence, (q 1)(q + ) =. t+1 ( t + 1). Since q 1, q 1 = k for some positive integer k. Thus k(k + 1) = t+1 ( t + 1) an hence, k(k + 1) = t+1 ( t +1 ). Now, if t+1 k, then k+1 t +1 an if t+1 k+1, then k t +1, which are impossible. If = 1, then q +q +1 = q + q +1 an hence, q(q +1) = t+1 ( t +1), which is impossible. The same reasoning rules out the case when q q + 1 = r..4. If K/H = E 8 (q ), then r { q 10 +q 5 +1 q q +1 = q 8 q 7 + q 5 q 4 + q q + 1, q 10 q 5 +1 = q 8 + q 7 q 5 q 4 q + q + 1, q = q 8 q 6 + q q +1 q +1 q 4 q + 1, q 8 q 4 + 1}. Thus r < q 9. On the other han, r 5 < q 45 an G 1 (r 1)q (q 1)(q 1) < r 5. Since q 10 K/H an K/H G, we get a contraiction. The above cases show that K/H = P SL(, q).
13 1 Characterization of PSL(,Q) by nse 47 Step 4. G = M. Proof. By the previous argument an step, G has a normal series 1 H K G such that K/H = M = P SL(, q). We claim that H = 1. Suppose on the contrary, H 1, so H. Let t π(h). By Frattini s argument N G (S t (H))H = G, so N G (S t (H))/N H (S t (H)) = G/H. Since r G/H, r N G (S t (H)) an hence, N G (S t (H)) contains an element x of orer r. Also, by Lemma., rt π e (G), thus < x > acts fixe point freely on S t (H) {1}, so r S t (H) 1. On the other han, S t (H) H an since G = G/K K/H H an K/H = P SL(, q), H r 1. This forces r r 1, which is impossible. Therefore H = 1 an hence, K = M. We know that G AutM. If q = p m, then since by Lemma., GK(G) is isconnecte, by [14], G/K =< ϕ > < θ >, where ϕ is the fiel automorphism of orer u an θ is the graph automorphism of orer. Since G = M, the orer of ( ϕ is 1 an ) hence, G = K or G = K < θ >. If G = K < θ >, then m K < θ > > m (K), but nse(g) contains exactly one o number m (K), which is a contraiction. Therefore G = K = M. REFERENCES [1] N. Ahanjieh, Thompson s conjecture for some finite simple groups. J. Algebra 44 (011), [] N. Ahanjieh an B. Asaian, NSE characterization of some alternating groups. J. Algebra Appl 14() (015). [] S. Asgary an N. Ahanjieh, NSE characterization of some finite simple groups. To appear in Sci. Ann. Comput. Sci., 015. [4] G.Y. Chen, On Frobenius an -Frobenius group. J. South China Normal Univ. Natur. Sci. E. 0(5) (1995), [5] W. Feit, On large Zsigmony primes. Proc. Amer. Math. Soc. 10(1) (1988), 9 6. [6] G. Frobenius, Verallgemeinerung es Sylowschen Satze. Berliner Sitz (1985), [7] B. Huppert, Enliche Gruppen. Springer-Verlag, [8] A. Khalili Asboei, A new characterization of P GL(, p). J. Algebra Appl. 1(7) (01). [9] A. Khalili Asboei an A. Iranmanesh, A characterization of the linear groups L (p). Czechoslovak Math. J. 64(19) (014), [10] A.S. Konratev, Prime graph components of finite simple groups. Math. USSR-Sb. 67(1) (1990), [11] A.S. Konratev an V.D. Mazurov, Recognition of Alternating groups of prime egree from their element orers. Sib. Math. J. 41() (000), [1] M. Khatami, B. Khosravi an Z. Akhlaghi, A new characterization for some linear groups. Monatsh. Math. 16 (011), [1] P. Kleiman an M. Liebeck, The subgroup structure of the finite classical groups. Lonon Math. Soc. Lecture Note Ser., [14] M.S. Lucio, Prime graph components of finite almost simple groups, Ren. Semin. Mat. Univ. Paova 10 (1999), 1.
14 48 S. Asgary an N. Ahanjieh 14 [15] C. Shao an Q. Jiang, A new characterization of P SL(, p) by nse. J. Algebra Appl. 1(4) (014). [16] R. Shen, C.G. Shao, Q.H. Jiang, W.J. Shi an V. Mazurov, A new characterization of A 5. Monatsh. Math. 160 (010), [17] J.S. Williams, Prime graph components of finite groups. J. Algebra 69 (1981), Receive 19 January 016 Shahrekor University Department of Mathematics Shahrekor, Iran soleyman.asgary@stu.sku.ac.ir Shahrekor University Department of Mathematics Shahrekor, Iran ahanjieh.nea@sci.sku.ac.ir
CHARACTERIZATION OF PROJECTIVE GENERAL LINEAR GROUPS. Communicated by Engeny Vdovin. 1. Introduction
International Journal of Group Theory ISSN (print): 51-7650, ISSN (on-line): 51-7669 Vol. 5 No. 1 (016), pp. 17-8. c 016 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CHARACTERIZATION OF PROJECTIVE
More informationCharacterization of the Linear Groups PSL(2, p)
Southeast Asian Bulletin of Mathematics (2014) 38: 471 478 Southeast Asian Bulletin of Mathematics c SEAMS. 2014 Characterization of the Linear Groups PSL(2, p) Alireza Khalili Asboei Department of Mathematics,
More informationThe influence of order and conjugacy class length on the structure of finite groups
Hokkaido Mathematical Journal Vol. 47 (2018) p. 25 32 The influence of order and conjugacy class length on the structure of finite groups Alireza Khalili Asboei, Mohammad Reza Darafsheh and Reza Mohammadyari
More informationA new characterization of symmetric groups for some n
Hacettepe Journal of Mathematics and Statistics Volume 43 (5) (2014), 715 723 A new characterization of symmetric groups for some n Alireza Khalili Asboei, Seyed Sadegh Salehi Amiri and Ali Iranmanesh
More informationarxiv: v1 [math.gr] 31 May 2016
FINITE GROUPS OF THE SAME TYPE AS SUZUKI GROUPS SEYED HASSAN ALAVI, ASHRAF DANESHKHAH, AND HOSEIN PARVIZI MOSAED arxiv:1606.00041v1 [math.gr] 31 May 2016 Abstract. For a finite group G and a positive integer
More informationA New Characterization of A 11
International Journal of Algebra, Vol. 8, 2014, no. 6, 253-266 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2014.4211 A New Characterization of A 11 Yong Yang, Shitian Liu and Yanhua Huang
More informationNSE characterization of the Chevalley group G 2 (4)
Arab. J. Math. (2018) 7:21 26 https://doi.org/10.1007/s40065-017-0182-4 Arabian Journal of Mathematics Maryam Jahandideh Khangheshlaghi Mohammad Reza Darafsheh NSE characterization of the Chevalley group
More informationA Characterization of Projective Special Unitary Group PSU(3,3) and Projective Special Linear Group PSL(3,3) by NSE
mathematics Article A Characterization of Projective Special Unitary Group PSU(3,3) and Projective Special Linear Group PSL(3,3) by NSE Farnoosh Hajati 1, Ali Iranmanesh 2, * ID and Abolfazl Tehranian
More informationA Characterization of PSL(3,q) for q =2 m
Acta Mathematica Sinica, English Series July, 00, Vol.18, No., pp. 46 47 A Characterization of PSL(,q) for q = m A. IRANMANESH S. H. ALAVI B. KHOSRAVI Department of Mathematics, Tarbiat Modarres University,
More informationA WEAKER QUANTITATIVE CHARACTERIZATION OF THE SPORADIC SIMPLE GROUPS
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (45 54) 45 A WEAKER QUANTITATIVE CHARACTERIZATION OF THE SPORADIC SIMPLE GROUPS Jinbao Li Department of Mathematics Chongqing University of Arts
More informationON THE PRIME GRAPHS OF THE AUTOMORPHISM GROUPS OF SPORADIC SIMPLE GROUPS. Behrooz Khosravi
ARCHIVUM MATHEMATICUM (BRNO) Tomus 45 (2009), 83 94 ON THE PRIME GRAPHS OF THE AUTOMORPHISM GROUPS OF SPORADIC SIMPLE GROUPS Behrooz Khosravi Abstract. In this paper as the main result, we determine finite
More informationSome New Characterizations for PGL(2, q)
CUBO A Mathematical Journal Vol.13, N ō 02, (151 161). June 2011 Some New Characterizations for PGL(2, q) B. Khosravi 12, M. Khatami 2 and Z. Akhlaghi 2 1 School of Mathematics, Institute for Research
More informationOn the prime graph of L 2 (q) where q = p α < Introduction
Quasigroups and Related Systems 14 (2006), 179 190 On the prime graph of L 2 (q) where q = p α < 100 Behrooz Khosravi and Seyyed Sadegh Salehi Amiri Abstract Let G be a nite group. We construct the prime
More informationCharacterizability of Finite Simple Groups by their Order Components: A Summary of Results
International Journal of Algebra, Vol. 4, 2010, no. 9, 413-420 Characterizability of Finite Simple Groups by their Order Components: A Summary of Results Maryam Khademi Department of Mathematics Islamic
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 25 (2009), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 25 (2009), 175 187 www.emis.de/journals ISSN 1786-0091 GROUPS WITH THE SAME PRIME GRAPH AS AN ALMOST SPORADIC SIMPLE GROUP BEHROOZ KHOSRAVI The
More informationRecognition of Some Symmetric Groups by the Set of the Order of Their Elements
Recognition of Some Symmetric Groups by the Set of the Order of Their Elements A. R. Moghaddamfar, M. R. Pournaki * Abstract For a finite group G, let π e (G) be the set of order of elements in G and denote
More informationGroups with the Same Set of Orders of Maximal Abelian Subgroups
Filomat 8:9 (01), 1871 1880 DOI 10.98/FIL109871A Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Groups with the Same Set of Orders
More informationR E N D I C O N T I PRIME GRAPH COMPONENTS OF FINITE ALMOST SIMPLE GROUPS
R E N D I C O N T I del Seminario Matematico dell Università di Padova Vol. 102 Anno 1999 PRIME GRAPH COMPONENTS OF FINITE ALMOST SIMPLE GROUPS Maria Silvia Lucido Dipartimento di Matematica Pura e Applicata
More informationOn W -S-permutable Subgroups of Finite Groups
Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society On W -S-permutable Subgroups of Finite Groups Jinxin Gao Xiuyun Guo
More informationSylow 2-Subgroups of Solvable Q-Groups
E extracta mathematicae Vol. 22, Núm. 1, 83 91 (2007) Sylow 2-Subgroups of Solvable Q-roups M.R. Darafsheh, H. Sharifi Department of Mathematics, Statistics and Computer Science, Faculty of Science University
More informationA dual version of Huppert s conjecture on conjugacy class sizes
A dual version of Huppert s conjecture on conjugacy class sizes Zeinab Akhlaghi 1, Maryam Khatami 2, Tung Le 3, Jamshid Moori 3, Hung P. Tong-Viet 4 1 Faculty of Math. and Computer Sci., Amirkabir University
More informationA CHARACTERISATION OF SIMPLE GROUPS
BULL. AUSTRAL. MATH. SOC. VOL. 65 (2002) [2-222] 20D05, 20D60 A CHARACTERISATION OF SIMPLE GROUPS PSL(5,q) A. IRANMANESH AND S.H. ALAVI Order components of a finite group are introduced in [4]. We prove
More informationOn partially τ-quasinormal subgroups of finite groups
Hacettepe Journal of Mathematics and Statistics Volume 43 (6) (2014), 953 961 On partially τ-quasinormal subgroups of finite groups Changwen Li, Xuemei Zhang and Xiaolan Yi Abstract Let H be a subgroup
More informationPOS-GROUPS WITH SOME CYCLIC SYLOW SUBGROUPS. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulletin of the Iranian Mathematical Society Vol. 39 No. 5 (2013), pp 941-957. POS-GROUPS WITH SOME CYCLIC SYLOW SUBGROUPS R. SHEN, W. SHI AND J. SHI Communicated by Ali Reza Ashrafi Abstract. A finite
More informationFINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE
FINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE COSTANTINO DELIZIA, PRIMOŽ MORAVEC, AND CHIARA NICOTERA Abstract. Finite groups in which a given property of two-generator
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationOn Finite Groups in which Every Solvable Non-cyclic Proper Subgroup is either Self-normalizing or Normal 1
International Journal of Algebra, Vol. 6, 2012, no. 23, 1111-1115 On Finite Groups in which Every Solvable Non-cyclic Proper Subgroup is either Self-normalizing or Normal 1 Shuxia Zhang School of Mathematics
More informationFINITE GROUPS WHOSE SUBNORMAL SUBGROUPS PERMUTE WITH ALL SYLOW SUBGROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 47, Number 1, January 1975 FINITE GROUPS WHOSE SUBNORMAL SUBGROUPS PERMUTE WITH ALL SYLOW SUBGROUPS RAM K. AGRAWAL1 ABSTRACT. As a generalization
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationOn the nilpotent conjugacy class graph of groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 37 (2017) no. 2, 77 89. doi:10.1285/i15900932v37n2p77 On the nilpotent conjugacy class graph of groups A. Mohammadian Department of Pure Mathematics,
More informationNONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in
More informationOn the solvability of groups with four class sizes.
On the solvability of groups with four class sizes. Antonio Beltrán Departamento de Matemáticas, Universidad Jaume I, 12071 Castellón, Spain e-mail: abeltran@mat.uji.es and María José Felipe Instituto
More informationThe Influence of Minimal Subgroups on the Structure of Finite Groups 1
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 14, 675-683 The Influence of Minimal Subgroups on the Structure of Finite Groups 1 Honggao Zhang 1, Jianhong Huang 1,2 and Yufeng Liu 3 1. Department
More informationInternational Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT
International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,
More informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationReview/Outline Review: Basic computations in finite fields Reed-Solomon codes Hamming codes Bose-Chaudhuri-Hocquengham (BCH) codes
Review/Outline Review: Basic computations in finite fiels Ree-Solomon coes Hamming coes Bose-Chauhuri-Hocquengham (BCH) coes Testing for irreucibility Frobenius automorphisms Other roots of equations Counting
More informationHUPPERT S CONJECTURE FOR F i 23
HUPPERT S CONJECTURE FOR F i 23 S. H. ALAVI, A. DANESHKAH, H. P. TONG-VIET, AND T. P. WAKEFIELD Abstract. Let G denote a finite group and cd(g) the set of irreducible character degrees of G. Bertram Huppert
More informationLocally primitive normal Cayley graphs of metacyclic groups
Locally primitive normal Cayley graphs of metacyclic groups Jiangmin Pan Department of Mathematics, School of Mathematics and Statistics, Yunnan University, Kunming 650031, P. R. China jmpan@ynu.edu.cn
More informationELEMENTARY GROUPS BY HOMER BECHTELL
ELEMENTARY GROUPS BY HOMER BECHTELL 1. Introduction. The purpose of this paper is to investigate two classes of finite groups, elementary groups and E-groups. The elementary groups have the property that
More informationA COHOMOLOGICAL PROPERTY OF FINITE p-groups 1. INTRODUCTION
A COHOMOLOGICAL PROPERTY OF FINITE p-groups PETER J. CAMERON AND THOMAS W. MÜLLER ABSTRACT. We define and study a certain cohomological property of finite p-groups to be of Frobenius type, which is implicit
More informationA NOTE ON PRIMITIVE SUBGROUPS OF FINITE SOLVABLE GROUPS
Commun. Korean Math. Soc. 28 (2013), No. 1, pp. 55 62 http://dx.doi.org/10.4134/ckms.2013.28.1.055 A NOTE ON PRIMITIVE SUBGROUPS OF FINITE SOLVABLE GROUPS Xuanli He, Shouhong Qiao, and Yanming Wang Abstract.
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More informationarxiv: v1 [math.co] 15 Sep 2015
Circular coloring of signe graphs Yingli Kang, Eckhar Steffen arxiv:1509.04488v1 [math.co] 15 Sep 015 Abstract Let k, ( k) be two positive integers. We generalize the well stuie notions of (k, )-colorings
More informationThe influence of C- Z-permutable subgroups on the structure of finite groups
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 1, 2018, 160-168 ISSN 1307-5543 www.ejpam.com Published by New York Business Global The influence of C- Z-permutable subgroups on the structure
More informationDepartment of Mathematics, Faculty of Science, King Abdulaziz University, P. O. Box: 80111, Jeddah 21589, Saudi Arabia.
On Product Groups in which S-semipermutability Is atransitive Relation Mustafa Obaid Department of Mathematics, Faculty of Science, King Abdulaziz University, P. O. Box: 80111, Jeddah 21589, Saudi Arabia.
More informationCommunications in Algebra Publication details, including instructions for authors and subscription information:
This article was downloaded by: [Professor Alireza Abdollahi] On: 04 January 2013, At: 19:35 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered
More informationA Simple Classification of Finite Groups of Order p 2 q 2
Mathematics Interdisciplinary Research (017, xx yy A Simple Classification of Finite Groups of Order p Aziz Seyyed Hadi, Modjtaba Ghorbani and Farzaneh Nowroozi Larki Abstract Suppose G is a group of order
More informationHomework 2 /Solutions
MTH 912 Group Theory 1 F18 Homework 2 /Solutions #1. Let G be a Frobenius group with complement H and kernel K. Then K is a subgroup of G if and only if each coset of H in G contains at most one element
More informationMINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES
Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF
More informationHeights of characters and defect groups
[Page 1] Heights of characters and defect groups Alexander Moretó 1. Introduction An important result in ordinary character theory is the Ito-Michler theorem, which asserts that a prime p does not divide
More informationOn pronormal subgroups in finite groups
in finite groups IMM UB RAS and Ural Federal University This is a joint project with W. Guo, A. Kondrat ev, D. Revin, and Ch. Praeger WL2018, Pilsen, July 07, 2018 Definitions Agreement. We consider finite
More informationNILPOTENT NUMBERS JONATHAN PAKIANATHAN AND KRISHNAN SHANKAR
NILPOTENT NUMBERS JONATHAN PAKIANATHAN AND KRISHNAN SHANKAR Introduction. One of the first things we learn in abstract algebra is the notion of a cyclic group. For every positive integer n, we have Z n,
More informationNON-NILPOTENT GROUPS WITH THREE CONJUGACY CLASSES OF NON-NORMAL SUBGROUPS. Communicated by Alireza Abdollahi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 3 No. 2 (2014), pp. 1-7. c 2014 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir NON-NILPOTENT GROUPS
More informationCyclic non-s-permutable subgroups and non-normal maximal subgroups
Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society Cyclic non-s-permutable subgroups and non-normal maximal subgroups
More informationKhukhro, E. I. and Shumyatsky, P. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
Nonsoluble and non-p-soluble length of finite groups Khukhro, E. I. and Shumyatsky, P. 2013 MIMS EPrint: 2013.79 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester
More informationFinite Groups with ss-embedded Subgroups
International Journal of Algebra, Vol. 11, 2017, no. 2, 93-101 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7311 Finite Groups with ss-embedded Subgroups Xinjian Zhang School of Mathematical
More informationWitt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]
Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states
More informationGeneral Linear Groups as Automorphism Groups
International Journal of Algebra, Vol. 5, 2011, no. 27, 1327-1335 General Linear Groups as Automorphism Groups S. Fouladi Department of Mathematics, Arak University, Arak, Iran s-fouladi@araku.ac.ir R.
More informationGroups whose elements are not conjugate to their powers
Groups whose elements are not conjugate to their powers Andreas Bächle and Benjamin Sambale December 28, 2017 Abstract We call a finite group irrational if none of its elements is conjugate to a distinct
More information7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then
7. Localization To prove Theorem 6.1 it becomes necessary to be able to a enominators to rings (an to moules), even when the rings have zero-ivisors. It is a tool use all the time in commutative algebra,
More informationON BEAUVILLE STRUCTURES FOR PSL(2, q)
ON BEAUVILLE STRUCTURES FOR PSL(, q) SHELLY GARION Abstract. We characterize Beauville surfaces of unmixe type with group either PSL(, p e ) or PGL(, p e ), thus extening previous results of Bauer, Catanese
More informationRecognize some structural properties of a finite group from the orders of its elements
Recognize some structural properties of a finite group from the orders of its elements Mercede MAJ UNIVERSITÀ DEGLI STUDI DI SALERNO Cemal Koç - Algebra Days Middle East Technical University April, 22-23,
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationA characterisation of p-soluble groups
A characterisation of p-soluble groups Paul Flavell The School of Mathematics and Statistics The University of Birmingham Birmingham B15 2TT United Kingdom e-mail: p.j.flavell@bham.ac.uk If p is a prime
More informationRamsey Unsaturated and Saturated Graphs
Ramsey Unsaturated and Saturated Graphs P Balister J Lehel RH Schelp March 20, 2005 Abstract A graph is Ramsey unsaturated if there exists a proper supergraph of the same order with the same Ramsey number,
More informationTHE /^-PROBLEM AND THE STRUCTURE OF tf
THE /^-PROBLEM AND THE STRUCTURE OF tf D. R. HUGHES AND J. G. THOMPSON 1* Introduction* Let G be a group, p a prime, and H P (G) the subgroup of G generated by the elements of G which do not have order
More informationOn Pronormal Subgroups of Finite Groups
On Pronormal Subgroups of Finite Groups Natalia V. Maslova Krasovskii Institute of Mathematics and Mechanics UB RAS and Ural Federal University This talk is based on joint papers with Wenbin Guo, Anatoly
More informationTOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH
English NUMERICAL MATHEMATICS Vol14, No1 Series A Journal of Chinese Universities Feb 2005 TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH He Ming( Λ) Michael K Ng(Ξ ) Abstract We
More informationSome results on the reduced power graph of a group
Some results on the reduced power graph of a group R. Rajkumar and T. Anitha arxiv:1804.00728v1 [math.gr] 2 Apr 2018 Department of Mathematics, The Gandhigram Rural Institute-Deemed to be University, Gandhigram
More informationThe Structure of Minimal Non-ST-Groups
2012 2nd International Conference on Industrial Technology and Management (ICITM 2012) IPCSIT vol. 49 (2012) (2012) IACSIT Press, Singapore DOI: 10.7763/IPCSIT.2012.V49.41 The Structure of Minimal Non-ST-Groups
More informationElements with Square Roots in Finite Groups
Elements with Square Roots in Finite Groups M. S. Lucido, M. R. Pournaki * Abstract In this paper, we study the probability that a randomly chosen element in a finite group has a square root, in particular
More informationJournal of Algebra. A class of projectively full ideals in two-dimensional Muhly local domains
Journal of Algebra 32 2009 903 9 Contents lists available at ScienceDirect Journal of Algebra wwwelseviercom/locate/jalgebra A class of projectively full ieals in two-imensional Muhly local omains aymon
More informationLandau s Theorem for π-blocks of π-separable groups
Landau s Theorem for π-blocks of π-separable groups Benjamin Sambale October 13, 2018 Abstract Slattery has generalized Brauer s theory of p-blocks of finite groups to π-blocks of π-separable groups where
More information(This is a sample cover image for this issue. The actual cover is not yet available at this time.)
This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author
More informationSimple groups and the classification of finite groups
Simple groups and the classification of finite groups 1 Finite groups of small order How can we describe all finite groups? Before we address this question, let s write down a list of all the finite groups
More informationZachary Scherr Math 503 HW 5 Due Friday, Feb 26
Zachary Scherr Math 503 HW 5 Due Friay, Feb 26 1 Reaing 1. Rea Chapter 9 of Dummit an Foote 2 Problems 1. 9.1.13 Solution: We alreay know that if R is any commutative ring, then R[x]/(x r = R for any r
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationG/Ge. FINITE p r-nilpotent GROUPS. II. KEY WORDS AND PHRASES. Frattini subgroup, p -nilpotent group, maximal subgroup,
30J Internat. J. Math. & Math. Sci. Vol. 10 No. 2 (1987) 303-309 FINITE p r-nilpotent GROUPS. II S. SRINIVASAN Department of Mathematics and Computer Science Austin Peay State University Clarksville, Tennessee
More informationarxiv: v2 [math.co] 31 Jul 2015
The rainbow connection number of the power graph of a finite group arxiv:1412.5849v2 [math.co] 31 Jul 2015 Xuanlong Ma a Min Feng b,a Kaishun Wang a a Sch. Math. Sci. & Lab. Math. Com. Sys., Beijing Normal
More informationConnectivity of Intersection Graphs of Finite Groups
Connectivity of Intersection Graphs of Finite Groups Selçuk Kayacan arxiv:1512.00361v2 [math.gr] 2 Aug 2016 Department of Mathematics, Istanbul Technical University, 34469 Maslak, Istanbul, Turkey. e-mail:
More informationRecognizing the Automorphism Groups of Mathieu Groups Through Their Orders and Large Degrees of Their Irreducible Characters
Chin. Ann. Math. 37B(4), 2016, 495 502 DOI: 10.1007/s11401-016-1024-y Chinese Annals of Mathematics, Series B c The Editorial Office of CAM and Springer-Verlag Berlin Heidelberg 2016 Recognizing the Automorphism
More informationNAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER
NAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER JAMES P. COSSEY Abstract. Let p be a prime and suppose G is a finite solvable group and χ is an ordinary irreducible character of G. Navarro
More informationGROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER #
Communications in Algebra, 33: 3225 3238, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1081/AB-200066157 ROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER # A. Abdollahi,
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationON SEMINORMAL SUBGROUPS OF FINITE GROUPS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 47, Number 2, 2017 ON SEMINORMAL SUBGROUPS OF FINITE GROUPS A. BALLESTER-BOLINCHES, J.C. BEIDLEMAN, V. PÉREZ-CALABUIG AND M.F. RAGLAND ABSTRACT. All groups
More informationCOUNTING INVOLUTIONS. Michael Aschbacher, Ulrich Meierfrankenfeld, and Bernd Stellmacher
COUNTING INVOLUTIONS Michael Aschbacher, Ulrich Meierfrankenfeld, and Bernd Stellmacher California Institute of Technology Michigan State University Christian-Albrechts-Universität zu Kiel There are a
More informationPossible orders of nonassociative Moufang loops by
Possible orders of nonassociative Moufang loops by Orin Chein Department of Mathematics Temple University 1805 North Broad Street Philadelphia, PA 19122 and Andrew Rajah School of Mathematical Sciences
More informationTRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS
TRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS I. M. Isaacs Department of Mathematics, University of Wisconsin Madison, WI 53706 USA e-mail: isaacs@math.wisc.edu Thomas Michael
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg
More informationA note on cyclic semiregular subgroups of some 2-transitive permutation groups
arxiv:0808.4109v1 [math.gr] 29 Aug 2008 A note on cyclic semiregular subgroups of some 2-transitive permutation groups M. Giulietti and G. Korchmáros Abstract We determine the semi-regular subgroups of
More informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial
More informationA FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS
A FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS TODD COCHRANE, JEREMY COFFELT, AND CHRISTOPHER PINNER 1. Introuction For a prime p, integer Laurent polynomial (1.1) f(x) = a 1 x k 1 + + a r
More informationCentralizers and the maximum size of the pairwise noncommuting elements in nite groups
Hacettepe Journal of Mathematics and Statistics Volume 46 (2) (2017), 193 198 Centralizers and the maximum size of the pairwise noncommuting elements in nite groups Seyyed Majid Jafarian Amiri and Hojjat
More informationarxiv: v2 [math.gr] 17 Dec 2017
The complement of proper power graphs of finite groups T. Anitha, R. Rajkumar arxiv:1601.03683v2 [math.gr] 17 Dec 2017 Department of Mathematics, The Gandhigram Rural Institute Deemed to be University,
More informationArc-transitive pentavalent graphs of order 4pq
Arc-transitive pentavalent graphs of order 4pq Jiangmin Pan Bengong Lou Cuifeng Liu School of Mathematics and Statistics Yunnan University Kunming, Yunnan, 650031, P.R. China Submitted: May 22, 2012; Accepted:
More information-- \x if A is a nonsquare;
TRIPLY TRANSITIVE GROUPS in WHICH ONLY THE IDENTITY FIXES FOUR LETTERS BY DANIEL CORENSTEIN AND D. R. HUGHES Doubly transitive groups in which only the identity fixes three letters have been the subject
More informationA conjugacy criterion for Hall subgroups in finite groups
MSC2010 20D20, 20E34 A conjugacy criterion for Hall subgroups in finite groups E.P. Vdovin, D.O. Revin arxiv:1004.1245v1 [math.gr] 8 Apr 2010 October 31, 2018 Abstract A finite group G is said to satisfy
More informationCLASSIFYING CAMINA GROUPS: ATHEOREMOFDARKANDSCOPPOLA
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 CLASSIFYING CAMINA GROUPS: ATHEOREMOFDARKANDSCOPPOLA MARK L. LEWIS ABSTRACT. Recall that a group G is a Camina group if every nonlinear irreducible
More informationTransitivity of properties of two-generator subgroups of finite groups
Transitivity of properties of two-generator subgroups of finite groups Primož Moravec University of Ljubljana (joint work with Costantino Delizia and Chiara Nicotera) Monash University, 2016 (visit funded
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More information