A Simple Classification of Finite Groups of Order p 2 q 2
|
|
- Eleanor York
- 6 years ago
- Views:
Transcription
1 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 p where p > are prime numbers and suppose P and Q are Sylow p-subgroup and Sylow -subgroup of G, respectively. In this paper, we show that up to isomorphism, there are four groups of order p when Q and P are cyclic, three groups when Q is a cyclic and P is an elementary abelian group, p + 3p/ + 7 groups when Q is an elementary abelian group and P is a cyclic group and finally, p+5 groups when both Q and P are elementary abelian groups. Keywords: Semi-direct product, p-group, Sylow subgroup. 010 Mathematics Subject Classification: 0D0. 1. Introduction All finite groups can be broken down into a series of finite simple groups which have been called the building blocks of finite groups. The history of finite simple groups originated in the 1830 s with Evariste Galois and the solution of fifth degree polynomial euations. In the twentieth century, the recognition of the importance of finite simple groups inspired a huge effort to find all finite simple groups, see [9] for more details. But the classification of finite groups is still an open problem. In this paper, by using the notation of [1], we determine all groups of order p by a simple method.. Preliminaries and Notations In this section, we first recall some concepts, notations and results in group theory, which are used in the next section. We use standard basic group theory terminol- Corresponding author ( mghorbani@srttu.edu Academic Editor: Ali Reza Ashrafi Received 10 November 015, Accepted 31 May 016 DOI: 10.05/mir c 017 University of Kashan
2 74 A. Seyyed Hadi, M. Ghorbani and F. Nowroozi Larki ogy and notations, see [, 4, 5, 7, 10, 11] as well as [6, 8]. The set of all Sylow p-subgroups of G are denoted by Syl p (G. A semi-direct product is a generalization of a direct product. Let N be a normal subgroup of G, each element g G defines an automorphism of N, n gng 1, and this defines a homomorphism θ : G Aut(N, g i g N. If there exists a subgroup Q of G such that G G/N maps Q isomorphically onto G/N, then we can reconstruct G from N, Q and the restriction of θ to Q. Indeed, an element g G can be written uniuely in the form g = n, n N, Q. must be the uniue element of Q mapping to gn G/N and n must be g 1. Thus, we have a one-to-one correspondence of sets If g = n and g = n, then G N Q. gg = (n(n = n(n 1 = nθ((n.. Euivalently, G is a semi-direct product of subgroups N and Q if N G, NQ = G, N Q = {1}. Note that Q need not be a normal subgroup of G. When G is the semi-direct product of subgroups N and Q, we write G = N Q or N ϕ Q. Theorem.1. [8] Let P be a p-group, Q be a -group and ψ, ϕ : Q Aut(P be two homomorphisms. Then Q ϕ P = Q ψ P if and only if ψ γ and ϕ are conjugate in Aut(P for some γ Aut(Q. Lemma.. [8] Up to isomorphism, there is a 1-1 correspondence between groups G = Q ϕ P and the number of orbits of action Aut(P Aut(Q on the set Hom(Q, Aut(P where for all α Aut(P, β Aut(Q and y Q, we have ϕ (α,β (y = α [ϕ β 1 (y] α 1. Suppose Q = y is a cyclic -group. For every non-trivial homomorphism ϕ : Q Aut(P, Q y = ϕ(y is a subgroup of Aut(P of order Q. On the other hand, all automorphisms of Q map y to y j for some j and hence Q y j = (Q y j = Q y. Thus, we can deduce the following result. Lemma.3. Let Q be a cyclic group, then up to isomorphism, all groups of form G = Q P are corresponding to conjugacy classes of subgroups of Aut(P of order dividing Q.
3 A Simple Classification of Finite Groups of Order p 75 The general linear group of degree n is the set of n n non-singular matrices, together with ordinary multiplication of matrices as its binary operation. Because the product of two non-singular matrices is again non-singular, and the inverse of a non-singular matrix is non-singular, then it forms a group. Generally, the general linear group of degree n over any field F is the set of n n non-singular matrices with entries from F denoted by GL n (F or GL(n, F. A field F that contains a finite number of elements is called Galois field. A finite field of order exists if and only if the is a prime power p k where p is a prime number and k is a positive integer. All fields of a given order are isomorphic. By this notation, if F is a finite field with = p n elements, then the general linear group of degree n over the filed F is denoted by GL(n,. Theorem.4. [8] The conjugacy classes of GL(, p are as reported in Table 1. In this table ρ, σ are primitive elements of GF (p and GF (p, respectively. Table 1: Conjugacy classes of group GL(, p. Conjugacy ( classes Number of such classes No. Elements ρ a 0 0 ρ a (p 1 1 ( ρ a 1 0 ρ a (p 1 (p 1(p + 1 ( ρ a 0 1 (p 1(p p(p + 1 ( 0 ρ b σ a 0 0 σ ap 1 p(p 1 p(p 1 3. Main Results In this section, the conseuences of the Sylow Theorems are cases where the size of G forces it to have a non-trivial normal subgroup. Theorem 3.1. Let G be a group of order p. If p = 6, then G is isomorphic with one of the following groups: 1. C 36,. C 18 C, 3. C 6 C 6, 4. C 1 C 3, 5. D 6 C 6 = S3 C 6 = D1 C 3,
4 76 A. Seyyed Hadi, M. Ghorbani and F. Nowroozi Larki 6. D 6 D 6 = S3 S 3, 7. D 18 C, 8. A 4 C 3, 9. D 36, 10. H C 3, 11. K C, 1. a, b, c a 3 = b 3 = c 4 = [a, b] = 1, c 1 ac = b, c 1 bc = a 1, 13. a, b, c a = b = c 9 = [a, b] = 1, c 1 ac = b, c 1 bc = ab, 14. a, b, c a 3 = b 3 = c 4 = [a, b] = 1, c 1 ac = a 1, c 1 bc = b 1, where and H = x, y x 4 = y 3 = 1, x 1 yx = y 1 K = a, b, c a = b = c = (abc = (ab 3 = (ac 3 = 1. If p 6, then G has one of the following structures: C C p, C (C p C p, (C C C p, (C C (C p C p. Proof. If p = 6, then the proof is clear. Suppose p 6, since p > according to Sylow theorem, it is clear that Sylow p-subgroup of G is normal. We assume that P Syl p (G and Q Syl (G. This implies that Q P = 1, P G, G = P Q. Hence, G is isomorphic with semi-direct product Q ϕ P, where ϕ : Q Aut(P is a homomorphism. Since, every group of order p is abelian, then Syl p (G = {C p, C p C p } and Syl (G = {C, C C }. By using Lemma. and Theorem.1, the group G is isomorphic with one of the following presentation: C ϕ C p, (C C ϕ C p, C ϕ (C p C p, (C C ϕ (C p C p. In continuing, we determine the presentation of all these groups. To do this, we can consider the following cases: 1. G = C ϕ C p, then Aut(C p = C p(p 1 and consider the homomorphism ϕ : C C p(p 1. If Imϕ = 1, then G = C C p. If Imϕ = C and (p 1, since Aut(P is cyclic, according to Lemma.3 there exists only one group with the following presentation: G = a, b a = b p = 1, a 1 ba = b r, r 1(mod p = a, b a = b p = 1, a 1 ba = b r (p 1p, r = r0,
5 A Simple Classification of Finite Groups of Order p 77 where r 0 is p -th root of unity. If Imϕ = C and (p 1, since Aut(P is cyclic, by Lemma.3, there exists only one group with the following presentation: G = a, b a = b p = 1, a 1 ba = b r, r 1(mod p (p 1p = a, b a = b p = 1, a 1 ba = b r, r = r 0, where r 0 is p -th root of unity.. G = (C C ϕ C p and assume that the image of ϕ is not trivial where ϕ : C C Aut(C p. If Imϕ = 1, then G = C C C p. Let Imϕ = C and (p 1. Since Aut(P is cyclic, by using Lemma 1.3, there exists only one group with the following presentation: G = a, b, c a = b = c p = 1, [a, b] = [b, c] = 1, a 1 ca = c r, where r 0 is p -th root of unity and r 1(mod p. 3. G = C ϕ (C p C p Aut(C p C p = GL(, p. If Imϕ = 1, then G = C (C p C p G is abelian. If Imϕ = C, then for given homomorphism ϕ : C GL(, p, Imϕ = 1 or C or C. Suppose the subgroups of order are in the first class in Table 1. Hence, p 1 and α is a primitive root of unity of F p This implies that Imϕ = C = ( β 0 0 β β = α p 1. G = a, b, c a = b p = c p = 1, a 1 ba = b β, a 1 ca = c β, bc = cb. Let the subgroups of order be in the second class of Table 1. Clearly, in this case, one can not find a new presentation for G. Let subgroups of order be in the third class. If =, then Imϕ = C = ( G = a, b, c a = b p = c p = 1, ab = ba, a 1 ca = c 1, bc = cb. Let (p 1 and, then α is a p-th root of unity and β = α p 1. All solutions of euation x 1( mod p are x 1 = 1, x = β, x 3 = β,..., x = β 1.
6 78 A. Seyyed Hadi, M. Ghorbani and F. Nowroozi Larki This means that there are +1 non-conjugate cyclic groups of order as follows: ( β ( β 0, 0 β i where i =, 3,..., 1 and 1. Hence in this case, one can verify that G = a, b, c a = b p = c p = 1, ab = ba, a 1 ca = c β, bc = cb, G = a, b, c a = b p = c p = 1, a 1 ba = b β, a 1 ca = c βi, bc = cb. Finally, let the subgroups of order be in the fourth row in Table 1. For = there is no group of order two. If and p 1, then there is no a subgroup of order, but if divides p + 1, then we can construct a subgroup of order as follows: p 1 Suppose σ be a primitive root of GF (p and α 0 = σ, then p 1 a 0 = σ = α + β D : α, β, D GF (p, β 0, D is not suare ( α0 0 0 α p 0 ( α βd [ β α ] where for an element g G, [g] means the conjugacy class of g in G. This means that G = a, b, c a = b p = c p = 1, a 1 ba = b α c βd, a 1 ca = b β c α, bc = cb. Suppose Imϕ = C, then all non-conjugate cyclic subgroups of order in GL(, p are as follows: (a The cyclic subgroups of order are in the first row in Table 1. Further, divides p 1 and α is a p-primitive root of unity in F p, thus Hence Imϕ = C = ( β 0 0 β, β = α p 1. G = a, b, c a = b p = c p = 1, a 1 ba = b β, a 1 ca = c β, bc = cb. (b The cyclic subgroups of order are in the second row. In this case, there is no a cyclic subgroup of order.
7 A Simple Classification of Finite Groups of Order p 79 (c The cyclic subgroups of order are in the third row. If divides p 1, then the euation x 1 (mod p has exactly roots. Among them, ( 1 subgroups are of order there are + non-conjugate subgroups of order as follows: Let α be a p-primitive root of unity, then ( β = α p 1 β 0 and C i = 0 β i, where i ( 1/ or i = k (k ( + 1/ or i = 1. Thus, there are ( + / groups with the following presentation: G i = a, b, c a = b p = c p = 1, a 1 ba = b β, a 1 ca = c βi, bc = cb. (d The cyclic subgroups of order are in the fourth row. If =, then two following cases hold: 1 p = 4k + 1 (p 1/ = k(k + 1. Hence, there is not a cyclic group of order. p = 4k + 3 p 1 = 8(k + 1(k + 1. This leads us to verify that (p 1/ = (k + 1(k + 1. In this case, we can construct a cyclic subgroup as follows: Let σ be a generator of multiplicative group GF (p, then p 1 4 σ = α + β D : α, β, D GF (p, β 0, D is not suare G = a, b, c a 4 = b p = c p = 1, a 1 ba = b α c βd, a 1 ca = b β c α, bc = cb. Let and p + 1 or p 1. If p 1, then p 1 we can not construct a new presentation. Suppose p + 1 and σ is a multiplicative subgroup of GF (p. Then G = a, b, c a = b p = c p = 1, a 1 ba = b α c βd, a 1 ca = b β c α, bc = cb. 4. G = (C C ϕ (C p C p, first notice that Aut(C p C p = GL(, p. We are interested about all automorphism of the form ϕ : (C C Aut(C p C p = GL(, p. If Imϕ = 1, then G = C C C p C p is an abelian group of order p. If Imϕ = C, then all non-conjugate subgroups of order in GL(, p are as follows: (a Subgroups belonging to the first row in Table 1. If (p 1 and α is a p-primitive root of unity, then ( Imϕ = C β 0 =, β = α p 1 0 β
8 80 A. Seyyed Hadi, M. Ghorbani and F. Nowroozi Larki and hence G = a, b, c, d a = b = c p = d p = 1, b 1 cb = c β, b 1 db = d β where [a, c] = [a, d] = [a, b] = [c, d] = 1. (b Subgroups belonging to the second row in Table 1. In this case there is no element of order. (c Subgroups belonging to the third row in Table 1. If =, then ( Imϕ = C 1 0 = 0 1 G = a, b, c, d a = b = c p = d p = 1, b 1 cb = c 1, where [a, b] = [a, c] = [a, d] = [b, d] = [c, d] = 1. If, (p 1, then α is a root of unity and β = α p 1. Thus, all roots of the euation x 1(mod p are x 1 = 1, x = β, x 3 = β,..., x = β 1. Hence, there are ( + 1/ non-conjugate cyclic subgroups ( ( 1 0 β 0, 0 β 0 β i, where i =, 3, 4,..., 1 or i = 1. Similar to our last discussion, we get two presentations for G which are not new. (d Subgroup of order belonging to the fourth row in Table 1. It is not difficult to see that in this case a group of order exists if, p 1 k and p + 1. Let σ be a root of unity in GF (p and α 0 = σ p 1 = α + β D : α, β, D GF (p, β 0, D is not suare. Then ( α0 0 0 α p 0 and hence ( α βd [ β α G = a, b, c, d a = b = c p = d p = 1, b 1 cb = c α d βd, b 1 db = c β d α, where [a, b] = [a, c] = [a, d] = [c, d] = 1. Finally, suppose Imϕ = C C and α is p-th primitive root of unity, β = α p 1, and p 1. Then ( ( C C β =, β ]
9 A Simple Classification of Finite Groups of Order p 81 G = a, b, c, d a = b = c p = d p = 1, a 1 ca = c β, b 1 db = d β, where [a, b] = [b, c] = [c, d] = [a, d] = 1. This completes the proof. References [1] W. Burnside, Theory of Groups of Finite Order, d ed. Dover Publications, Inc., New York, [] D. S. Dummit, R. M. Foote, Abstract Algebra, Third Edition, John Wiley & Sons, Inc., Hoboken, NJ, 004. [3] M. Hall, On the number of Sylow subgroups in a finite group, J. Algebra 7 ( [4] B. Huppert, Endliche Gruppen I., Springer-Verlag, Berlin, [5] C. Leedham-Green, S. McKay, The Structure of Groups of Prime Power Order, London Mathematical Society Monographs. New Series, 7. Oxford Science Publications. Oxford University Press, Oxford, 00. [6] L. Pyber, Enumerating finite groups of given order, Ann. of Math. 137 ( [7] D. J. S. Robinson, A Course in the Theory of Groups, Springer-Verlag, New York, 198. [8] J. J. Rotman, An Introduction to the Theory of Groups, Fourth edition, Graduate Texts in Mathematics, 148, Springer-Verlag, New York, [9] R. Solomon, A brief history of the classification of the finite simple groups, Bull. Amer. Math. Soc. (N.S. 38 ( [10] M. Suzuki, Group Theory I., Springer-Verlag, Berlin-New York, 198. [11] M. Suzuki, Group Theory II., Springer-Verlag, Berlin-New York, Aziz Seyyed Hadi, Modjtaba Ghorbani and Farzaneh Nowroozi Larki Department of Mathematics, Faculty of Science, Shahid Rajaee Teacher Training University, Tehran, , I. R. Iran aziz.saidhadi@gmail.com mghorbani@srttu.edu fnowroozi@gmail.com
An arithmetic theorem related to groups of bounded nilpotency class
Journal of Algebra 300 (2006) 10 15 www.elsevier.com/locate/algebra An arithmetic theorem related to groups of bounded nilpotency class Thomas W. Müller School of Mathematical Sciences, Queen Mary & Westfield
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
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 information3-Designs from PSL(2, q)
3-Designs from PSL(, q P. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b a School of Mathematical Sciences, Queen Mary, University of London, U.K. b Institute for Studies in Theoretical
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 informationP. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b
3-designs from PSL(, q P. J. Cameron a,1 H. R. Maimani b,d G. R. Omidi b,c B. Tayfeh-Rezaie b a School of Mathematical Sciences, Queen Mary, University of London, U.K. b Institute for Studies in Theoretical
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 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 informationPrimitive arcs in P G(2, q)
Primitive arcs in P G(2, q) L. Storme H. Van Maldeghem December 14, 2010 Abstract We show that a complete arc K in the projective plane P G(2, q) admitting a transitive primitive group of projective transformations
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
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 informationTRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS
Journal of Algebra and Related Topics Vol. 2, No 2, (2014), pp 1-9 TRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS A. GHARIBKHAJEH AND H. DOOSTIE Abstract. The triple factorization
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 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 informationGENERALIZED QUATERNIONS
GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q 8 is one of the two non-abelian groups of size 8 (up to isomorphism). The other one, D 4, can be constructed as a semi-direct
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationOn the energy of non-commuting graphs
Journal of Linear Topological Algebra Vol 06 No 17 135-146 On the energy of non-commuting graphs M Ghorbani a Z Gharavi-Alkhansari a a Department of Mathematics Faculty of Science Shahid Rajaee Teacher
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
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 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 informationON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul...,..., f... DOI: 10.2478/aicu-2013-0013 ON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS BY MARIUS TĂRNĂUCEANU and
More informationSection II.6. Classification of Finite Groups
II.6. Classification of Finite Groups 1 Section II.6. Classification of Finite Groups Note. In this section, based largely on Sylow s three theorems, we classify all groups of order up to 15. First, we
More informationALGEBRA HOMEWORK SET 2. Due by class time on Wednesday 14 September. Homework must be typeset and submitted by as a PDF file.
ALGEBRA HOMEWORK SET 2 JAMES CUMMINGS (JCUMMING@ANDREW.CMU.EDU) Due by class time on Wednesday 14 September. Homework must be typeset and submitted by email as a PDF file. (1) Let H and N be groups and
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
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 informationNOTES Edited by Ed Scheinerman
NOTES Edited by Ed Scheinerman Why is PSL(2, 7) = GL(3, 2)? Ezra Brown and Nicholas Loehr 1. INTRODUCTION. The groups of invertible matrices over finite fields are among the first groups we meet in a beginning
More informationCharacter tables for some small groups
Character tables for some small groups P R Hewitt U of Toledo 12 Feb 07 References: 1. P Neumann, On a lemma which is not Burnside s, Mathematical Scientist 4 (1979), 133-141. 2. JH Conway et al., Atlas
More informationSimple 3-(q + 1, 5, 3) designs admitting an automorphism group PSL(2, q) with q 1 (mod 4)
Simple -(q + 5 ) designs admitting an automorphism group PSL( q) with q (mod 4) Weixia Li School of Mathematical Sciences Qingdao University Qingdao 667 China Dameng Deng Department of Mathematics Shanghai
More informationABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS
ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian
More informationA note on some properties of the least common multiple of conjugacy class sizes
Proceeding of ICA 2010 pp. xx xx. A note on some properties of the least common multiple of conjugacy class sizes Alan Camina 1 & Rachel Camina 2 1 School of Mathematics, University of East Anglia, Norwich,
More informationSOME DESIGNS AND CODES FROM L 2 (q) Communicated by Alireza Abdollahi
Transactions on Combinatorics ISSN (print): 2251-8657, ISSN (on-line): 2251-8665 Vol. 3 No. 1 (2014), pp. 15-28. c 2014 University of Isfahan www.combinatorics.ir www.ui.ac.ir SOME DESIGNS AND CODES FROM
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 informationIIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1
IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then
More informationA SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC
A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC SIDDHI PATHAK Abstract. This note gives a simple proof of a famous theorem of Burnside, namely, all groups of order n are cyclic
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 informationEigenvalues of Random Matrices over Finite Fields
Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract
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 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 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 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 informationMATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups
MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups 1. Let G be a group with 56 elements. Show that G always has a normal subgroup. Solution: Our candidates for normal subgroup are the
More informationA NOTE ON SPLITTING FIELDS OF REPRESENTATIONS OF FINITE
A NOTE ON SPLITTING FIELDS OF REPRESENTATIONS OF FINITE GROUPS BY Let @ be a finite group, and let x be the character of an absolutely irreducible representation of @ An algebraic number field K is defined
More information7 Semidirect product. Notes 7 Autumn Definition and properties
MTHM024/MTH74U Group Theory Notes 7 Autumn 20 7 Semidirect product 7. Definition and properties Let A be a normal subgroup of the group G. A complement for A in G is a subgroup H of G satisfying HA = G;
More informationA Note on Integral Non-Commuting Graphs
Filomat 31:3 (2017), 663 669 DOI 10.2298/FIL1703663G Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat A Note on Integral Non-Commuting
More informationTABLE OF MARKS OF FINITE GROUPS
Journal of Algebraic Systems Vol 5, No 1, (2017), pp 27-51 TABLE OF MARKS OF FINITE GROUPS M GHORBANI, AND F ABBASI-BARFARAZ Abstract Let G be a finite group and C(G) be a family of representative conjugacy
More informationRecognising nilpotent groups
Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk
More informationAbstract Algebra: Supplementary Lecture Notes
Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair
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 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 informationThe Outer Automorphism of S 6
Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements
More informationProblem 1.1. Classify all groups of order 385 up to isomorphism.
Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5
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 informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More informationQUALIFYING EXAM IN ALGEBRA August 2011
QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring
More informationA Note on Subgroup Coverings of Finite Groups
Analele Universităţii de Vest, Timişoara Seria Matematică Informatică XLIX, 2, (2011), 129 135 A Note on Subgroup Coverings of Finite Groups Marius Tărnăuceanu Abstract. In this note we determine the finite
More informationAM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11
AM 106/206: Applied Algebra Madhu Sudan 1 Lecture Notes 11 October 17, 2016 Reading: Gallian Chapters 9 & 10 1 Normal Subgroups Motivation: Recall that the cosets of nz in Z (a+nz) are the same as the
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 information1 Chapter 6 - Exercise 1.8.cf
1 CHAPTER 6 - EXERCISE 1.8.CF 1 1 Chapter 6 - Exercise 1.8.cf Determine 1 The Class Equation of the dihedral group D 5. Note first that D 5 = 10 = 5 2. Hence every conjugacy class will have order 1, 2
More informationPart IV. Rings and Fields
IV.18 Rings and Fields 1 Part IV. Rings and Fields Section IV.18. Rings and Fields Note. Roughly put, modern algebra deals with three types of structures: groups, rings, and fields. In this section we
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
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 informationFrank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:
Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,
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 information(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G.
(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G. (2) Determine all groups of order 21 up to isomorphism. (3) Let P be s Sylow
More informationMath 370 Spring 2016 Sample Midterm with Solutions
Math 370 Spring 2016 Sample Midterm with Solutions Contents 1 Problems 2 2 Solutions 5 1 1 Problems (1) Let A be a 3 3 matrix whose entries are real numbers such that A 2 = 0. Show that I 3 + A is invertible.
More informationSylow structure of finite groups
Sylow structure of finite groups Jack Schmidt University of Kentucky September 2, 2009 Abstract: Probably the most powerful results in the theory of finite groups are the Sylow theorems. Those who have
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationSylow subgroups of GL(3,q)
Jack Schmidt We describe the Sylow p-subgroups of GL(n, q) for n 4. These were described in (Carter & Fong, 1964) and (Weir, 1955). 1 Overview The groups GL(n, q) have three types of Sylow p-subgroups:
More informationBibliography. Groups and Fields. Matrix Theory. Determinants
Bibliography Groups and Fields Alperin, J. L.; Bell, Rowen B. Groups and representations. Graduate Texts in Mathematics, 162. Springer-Verlag, New York, 1995. Artin, Michael Algebra. Prentice Hall, Inc.,
More informationDefinition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson
Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
More informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationOn a subalgebra of the centre of a group ring
Journal of Algebra 295 (2006) 293 302 www.elsevier.com/locate/jalgebra On a subalgebra of the centre of a group ring Harald Meyer Universität Bayreuth, Lehrstuhl IV für Mathematik, 95440 Bayreuth, Germany
More informationThe number of homomorphisms from a finite group to a general linear group
The number of homomorphisms from a finite group to a general linear group Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England m.liebeck@ic.ac.uk Aner Shalev Institute of
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 informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationU.P.B. Sci. Bull., Series A, Vol. 74, Iss. 4, 2012 ISSN ALTERNATING -GROUPS. Ion ARMEANU 1, Didem OZTURK 2
U.P.B. Sci. Bull., Series A, Vol. 74, Iss. 4, 2012 ISSN 1223-7027 ALTERNATING -GROUPS Ion ARMEANU 1, Didem OZTURK 2 In acest articol studiem structura grupurilor alternate finite şi demonstrăm că dintre
More informationarxiv: v4 [math.gr] 2 Sep 2015
A NON-LEA SOFIC GROUP ADITI KAR AND NIKOLAY NIKOLOV arxiv:1405.1620v4 [math.gr] 2 Sep 2015 Abstract. We describe elementary examples of finitely presented sofic groups which are not residually amenable
More informationIrreducible characters taking root of unity values on p-singular elements
Irreducible characters taking root of unity values on p-singular elements by Gabriel Navarro Departament d Àlgebra Universitat de València 46100 Burjassot SPAIN E-mail: gabriel.navarro@uv.es and Geoffrey
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationFinite groups with planar subgroup lattices
J Algebr Comb (2006) 23: 207 223 DOI 10.1007/s10801-006-7392-8 Finite groups with planar subgroup lattices Joseph P. Bohanon Les Reid Received: July 8, 2004 / Revised: June 30, 2005 / Accepted: July 25,
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 informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
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 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 informationON A GROUP OF THE FORM 3 7 :Sp(6, 2) Communicated by Mohammad Reza Darafsheh
International Journal of Group Theory ISSN (print): 51-7650, ISSN (on-line): 51-7669 Vol 5 No (016), pp 41-59 c 016 University of Isfahan wwwtheoryofgroupsir wwwuiacir ON A GROUP OF THE FORM 3 7 :Sp(6,
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 informationLANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv: v1 [math.gr] 26 Jun 2015
LANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv:1506.08169v1 [math.gr] 26 Jun 2015 MARK L. LEWIS Abstract. When G is solvable group, we prove that the number of conjugacy classes
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationAlgebraic subgroups of GL 2 (C)
Indag. Mathem., N.S., 19 (2, 287 297 June, 2008 Algebraic subgroups of GL 2 (C by K.A. Nguyen, M. van der Put and J. Top Department of Mathematics, University of Groningen, P.O. Box 07, 9700 AK Groningen,
More informationAN INVERSE MATRIX OF AN UPPER TRIANGULAR MATRIX CAN BE LOWER TRIANGULAR
Discussiones Mathematicae General Algebra and Applications 22 (2002 ) 161 166 AN INVERSE MATRIX OF AN UPPER TRIANGULAR MATRIX CAN BE LOWER TRIANGULAR Waldemar Ho lubowski Institute of Mathematics Silesian
More informationDifference Sets Corresponding to a Class of Symmetric Designs
Designs, Codes and Cryptography, 10, 223 236 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Difference Sets Corresponding to a Class of Symmetric Designs SIU LUN MA
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationarxiv: v4 [math.co] 12 Feb 2017
arxiv:1511.03511v4 [math.co] 12 Feb 2017 On the signed graphs with two distinct eigenvalues F. Ramezani 1 Department of Mathematics, K.N.Toosi University of Technology, Tehran, Iran P.O. Box 16315-1618
More informationEXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd
EXAM 3 MAT 23 Modern Algebra I Fall 201 Name: Section: I All answers must include either supporting work or an explanation of your reasoning. MPORTANT: These elements are considered main part of the answer
More informationMATH 323, Algebra 1. Archive of documentation for. Bilkent University, Fall 2014, Laurence Barker. version: 17 January 2015
Archive of documentation for MATH 323, Algebra 1 Bilkent University, Fall 2014, Laurence Barker version: 17 January 2015 Source file: arch323fall14.tex page 2: Course specification. page 4: Homeworks and
More information