Homework 2 /Solutions
|
|
- Lynn Summers
- 5 years ago
- Views:
Transcription
1 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 of K. Proof. Suppose first that K is a subgroup of G and let x, y K with Hx = Hy. Then xy 1 K H = 1 and so x = y. Suppose next that each coset H contains at most one element of K. Let g G. Since K is a normal subset of G we conclude that also each coset of H g contains at most one element of K. Let x, y K. Note that either xy 1 K or xy 1 H g for some g G. In the latter case H g x = H g y and so x = y and xy 1 = 1 K. We proved that xy 1 K for all x, y K. Also 1 K and so K is subgroup of G. #2. Let G be a finite Frobenius group with complement H and kernel K. (a) If H is even, then H contains a unique element t of order 2. In particular, t Z(H). (b) K is a subgroup of G if and only if each coset of H in G contains at least one element of K. (c) If K is a subgroup of G and p is a prime, then H normalizes a Sylow p-subgroup of K. (d) If H is a maximal subgroup of G and K is a subgroup of G, then K is an elementary abelian p-group for some prime p. Proof. (a) Since H has even order, there does exist an element r of order 2 on H. Let t be any element of order 2 in H. By (***) in the proof of Theorem K = tt S for some S G. Let k K. Then k = tt s with s S and so Lemma shows that k t = k 1. So also k r = k 1 and k rt = (k r ) t = (k 1 ) t = k Thus K = C K (rt). By Theorem K is a normal subgroup of G and G is the internal semidirect product of K by H. Thus we can apply 1.3.9f and conclude that C K (h) = 1 for all h H. It follows that rt = 1 and so r = t. Thus t is the unique element of order 2 in H. In particular t H = {t} and so t Z(H). (b) By Lemma K = G/H. As G/H is finite we see that each coset of H in G contains at least one element of K if and only if each coset of H in G contains at most one element of K, and so by Exercise #1 if and only if K is a subgroup of G. (c) Let P be a Sylow p-subgroup of K. If P = 1 (c) holds. So suppose P 1. Observe that G acts on Syl p (K) be conjugation and by Sylow s Theorem K acts transitively on Syl p (K). Hence the Frattini Argument a shows that G = KN G (P ) Put U := N G (P ). Then P U and G = KU. In particular, exists g G with N G (P ) H g 1. Hence N G (P g 1 ) H = 1. Replacing P by P g 1 we may assume that N G (P ) H 1. Put U := N G (P ). Then P U, G = KU, and U H 1. Since 1 P K we have P H and so also U H. Thus shows that U is Frobenius group with complement U H and kernel U K. In particular, U K = U/(U H. Note that U K is a subgroup of U and (U K) (U H) K H = 1. Thus U = (U K)(U H). Hence 1
2 G = KU = K(U K)(U H) = K(U H) and so H = (H K)(U H) = U H. Thus H U = N G (P ) and so H normalizes P. (d) Let p be a prime integer dividing K. By (d) we know that H normalizes a Sylow p subgroup P of K. Since P is non-trivial p-group Z(P ) 1. Put A := {z Z(P ) z p = 1}. Then A is a non-trivial elementary abelian p-subgroup of K. As H normalizes P it also normalizes Z(P ) and A. Thus AH is a subgroup of G. Since A P K we have A H = 1 and so A H. Thus H AH G and since H is maximal subgroup of G we get G = AH. Hence A K AH and so K = A(K H) = A. Thus K is an elementary abelian p-group. #3. Let G be group, H a subgroup of G, A = G/H and S a transversal to H in G. Suppose H acts on a set B and define an action of G on A B as in class. (a) Let B = {H} B. Show that the action of H on B is isomorphic to the action of H on B. (b) Let T be another transversal to H in G. Show that the actions of G on A B defined via S and via T are isomorphic. Proof. (a) Follows from 1.5.7e. (b) Let T 1 = T and T 2 = S. Let {i, j} = {1, 2}. Let Ω i be the G-set obtained from the set A B with the action of G-defined via the transversal T i. Let λ i : B {H} B Ω i be H- isomorphism from 1.5.7e. By Lemma there exists a unique G-equivariant function ɛ i : Ω i Ω j with λ i ɛ i = λ j. Then λ i (ɛ i ɛ j ) = λ i. Since also λ i id Ωi = λ i the uniqueness assertion in implies that ɛ i ɛ j = id Ωi. Hence ɛ 1 is a G-isomorphism from Ω 1 to Ω 2 (with inverse ɛ 2 ). #4. Let G be a group acting transitively on the sets A and B. Let a A and b B. Show that A and B are G-isomorphic if and only if G a = G g b for some g G. Proof. Suppose first that σ : A B is a G-isomorphism. If g G, then a = a g aσ = (a g )σ aσ = (aσ) g and so G a = G aσ. Since G acts transitively on B we know that aσ = b g for some g G and so G ασ = G b g = G g b. Thus G a = G g b. Suppose next that G a = G g b for some g G. As Gg b = G b g we get G a = G b g. By Lemma A = G/G a and B = G/G b g as G-sets. As G b g = G a this shows that A and B are isomorphic G-sets. #5. Let G := Sym(5), A := Syl 5 (G), H := G A and B := Sym(A)/H. (a) G acts faithfully and 3-transitively on A. (b) A = B = 6, Sym(A) acts faithfully on B and Sym(A) B = Sym(B). (c) The action of Sym(A) on A is not isomorphic to the action of Sym(A) on B. 2
3 Proof. (a): Note first that there are six 5-Sylow subgroups of G. Indeed the non-trivial elements in a Sylow 5 subgroup consists of four 5-cycles, there are 5! 24 5 = 24 five cycles and so 4 = 6 5-Sylow subgroups. Thus A = 6. Let X A. By Sylow s Theorem G acts transitively on A. Hence G/G X = 6 and so G X = 20. A Sylow 5-subgroup cannot normalizes another Sylow 5-subgroup, so X has a unique fixed-point on A, namely itself. Put A = A \ {X}. It follows that any orbit of X on A has size 5. As A = 5 this shows that X acts transitively on A. Hence also G X acts transitively on A. Let Y A. Then G X /G XY = A = 5 and so G XY = 4 and G XY X = 1. Let Z A with Z Y. Since X is transitive on A we have Z = Y x for some x X. Note that G x XY Z Gx XY = G XY x = G XZ. Thus [G XY Z, x] G 1 XY Z, Gx XY Z G XZ On the other hand G XY Z G X = N G (X) and so [G XY Z, x] X G XZ = 1. Thus G XY Z C G (x). Observe that all twenty-four 5 cycles in G are conjugate, so G/C G (x) = 24. Thus C G (x) = 5 and since X C G (x) we get C G (x) = X. Thus G XY Z X and since G XY X = 1 we get G XY Z = 1. In particular, C G (A) G XY Z = 1 and so G acts faithfully on A. Let ω = (X, Y, Z) A 3. Then G ω = G XY Z = 1. Hence ω G = G/G ω = G = 120 = = A ( A 1)( A 2) = A 3 Thus G acts transitively on A 3 and so 3-transitively on A. (b) We already proved that A = 6. Thus Sym(A) = A! = 6!. Since G acts faithfully on A we have H = G A = G = 5! and so B = Sym(A)/H = 6! 5! = 6. Note that C Sym(A) (B) H and so C Sym(A) (B) H = 120. The only non-trivial proper normal subgroup of Sym(A) is Alt(A) and so has order 360. Thus C Sym(A) (B) = 1. Hence Sym(A) acts faithfully on B and Sym(A) B = Sym(A) = Sym(6) = Sym(B). As Sym(A) B Sym(B) we get Sym(A) B = Sym(B). (c) As H = G A and A acts transitively on A, also H acts transitively on A. On the other hand H fixes the element H of B, and so does not act transitively on B. Thus A and B are not isomorphic as H-sets and so also not isomorphic as Sym(A)-sets. #6. (Comment: The two words in boldface were typos which I corrected) (a) Let G be the internal semidirect product of K by H and let N be a normal subgroup of H. Show that N is normal in G if and only if N centralizes K. If N centralizes K, put H = H/N, observe that H acts on K via k Nh = k h and show that G/N = H K. (b) Let H be a group acting on a set Ω and let K be a group. Let N be a normal subgroup of H acting trivially on Ω. Put H = H/N and observe that H acts on Ω via ω Nh = ω h. Show that N {1} is a normal subgroup of H Ω K and (H Ω K)/(N {1}) = H Ω K. Proof. (a) As G = KH and N H we see that N G if and only of K normalizes N. The latter holds if and only if [K, N] N. Since K G we have [K, N] K and so [K, N] N if and only if [K, N] K N. As K N = 1, this holds if and only if [K, N] = 1, that is if and only if N centralizes K. Thsu the first statement in (a) holds. Suppose now that N centralizes K. Since N H we have KN H = (K H)N = 1N = N and so K H = 1. Also G = KH = K H and so G is the internal semidirect product of K by H. Hence by Homework 1, G = H K with respect to the action of H on K by conjugation. For g G, let g = Ng G. Since K H = 1, the function σ : K K, k k 3
4 is an isomorphism of groups. Let k K and h = hn H. Then and so σ is also an isomorphism of H-sets. Thus (k h )σ = k h σ = k h = k h H K = H K = G (b) Proof 1: As N acts trivially Ω it also acts trivially on H Ω. Identify H with H {1} and K Ω with {1} K Ω in H Ω K = H K Ω. Then H Ω K is the internal semidirect product of K Ω by H, and N centralizes K Ω in H Ω K. Part (a) now shows that N is normal in H Ω K and H Ω K/N = H K Ω Let h H, f K Ω and ω Ω. With the action (ω, h) ω h of H on Ω as defined in (b) and the action (f, h) f h of H on K Ω as defined in (a) we have ωf h = ωf h = ω h 1 f = ω h 1 f Thus the action of H on K Ω is exactly the action of H on K Ω used in the definition of H Ω K as a external semidirect product of K Ω by H. Hence (b) holds. Proof 2 For h H let h = Nh H. Define φ : H Ω K H Ω K, (h, f) (h, f) We will fist show that φ is a homomorphism. Recall that the action of H on K Ω used in the definition of the wreathed product H Ω K is defined by ωf h = ω h 1 f for all ω Ω, f K ω and h H. If h H with h = Nh, then ω h 1 = ω h 1 = ω h 1 and so ωf h = ω h 1 f = ω h 1 f = ωf h Thus f h = f h Let f 1, f 2 K Ω and h 1, h 2 H. Then ((h 1, f 1 )(h 2, f 2 ))φ = (h 1 h 2, f h2 1 f 2)φ = (h 1 h 2, f h2 1 f 2) = (h 1 h 2, f h2 1 f 2) = (h 1, f 1 )(h 2, f 2 ) = (h 1, f 1 )φ (h 2, f 2 )φ 4
5 Hence φ is a homomorphism. Observe that φ is surjective and Kerφ = N {1}. The First Isomorphism Theorem nows shows that N {1} is normal in H Ω K and (H Ω K)/(N {1}) = H Ω K #7. Let G be group acting on the sets A and B and let be a G-invariant relation on A and B. Assume that for each a A there exists d B with a d, and that for all b B there exists c A with c b. Let a A and b B. Show that the following three statements are equivalent: (a) G acts transitively on A and G a acts transitively on {d B a d}. (b) G acts transitively on {(c, d) A B c d}. (c) G acts transitively on B and G b acts transitively on {c A c b}. Proof. (a) = (b): : Suppose (a) holds and for i = 1, 2 let a i A and b i B with a i b i. Since G acts transitively on A, there exists g i G with a gi i = a. Put d i = b gi i. Since a i b i and is G equivariant we have a g i bg i, and so a d i. Since G a acts transitively on {d B a d}, there exists g G a with d g 1 = d 2. Put h = g 1 gg2 1. Then and a h 1 = a g1gg = a gg 1 2 = a g 1 2 = a 2 b h 1 = b g1gg = d gg = d g = b 2 Thus (a 1, b 2 ) h = (a 2, b 2 ) and G acts transitively on {(c, d) A B c d} and (b) holds. (b) = (a): Suppose now that (b) holds. For i = 1, 2 let a i A. Then there exists b i B with a i b i. Moreover, for any such b i, there exists g G with (a 1, b 1 ) g = (a 2, b 2 ). Thus a g 1 = a 2 and b g 1 = b 2. In particular, G acts transitively on A. In the case that a 1 = a 2 = a we have a g = a g 1 = a 2 = a and so g G a. Since b g 1 = b 2 we conclude that G a acts transitively on {d B a d}. We proved that (a) and (b) are equivalent. By symmetry, (b) and (c) are equivalent. #8. Let G be finite group acting n-transitive on a set A and let p be a prime. Let B A with B = n and let P be a Sylow p-subgroup of C G (B). Show that N G (P ) acts n-transitive on C A (P ). Proof. Let A = A n, D = { X A X = n } and B = X D Syl p(c G (X)). Define a relation on A and B by ω P if P G ω. We will now show 1. Let ω A. Then {P B ω P } = Syl p (G ω ). In particular, G ω acts transitively on {P B ω P }. Observe that ω = n and so ω D. Also G ω = C G (ω). So if P Syl p (G ω ), then P ( Syl p CG (ω) ) B and ω P. Conversely let P B with ω P. Then P G ω. Also, since P B, we have P Syl p (C G (X)) for some X D. Pick µ X n. Then µ = X and C G(X) = G µ. Also as G acts n-transitively on A, there exists g G with ω g = µ. Thus C G (X) = G µ = G g ω = G ω. 5
6 In particular, G ω = C G (X) and since P Syl p (C G (X) and P G ω we conclude that P Syl p (G ω ). 2. C A (P ) n = {ω A ω P }. Note that C A (P ) n An = A and P B. Let ω A. Then ω P iff P G ω iff P C G (ω) iff ω C A (P ) and iff ω C A (P ) n. So (2 ) holds. We now can proof #8. By hypothesis G acts n-transitively on A, that is G acts transitively on A n. By (1 ) G ω acts transitively on {P B ω P } and so Exercise #7 shows that G P acts transitively on {ω A ω P }. Using (1 ) and G P = N G (P ), we conclude that N G (P ) acts transitively on C A (P ) n, that is N G(P ) acts n-transitively on C A (P ). 6
MTH Abstract Algebra II S17. Review for the Final Exam. Part I
MTH 411-1 Abstract Algebra II S17 Review for the Final Exam Part I You will be allowed to use the textbook (Hungerford) and a print-out of my online lecture notes during the exam. Nevertheless, I recommend
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 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 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 information3. G. Groups, as men, will be known by their actions. - Guillermo Moreno
3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h
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 informationMath 4400, Spring 08, Sample problems Final Exam.
Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that
More informationSection 15 Factor-group computation and simple groups
Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group
More informationHOMEWORK 3 LOUIS-PHILIPPE THIBAULT
HOMEWORK 3 LOUIS-PHILIPPE THIBAULT Problem 1 Let G be a group of order 56. We have that 56 = 2 3 7. Then, using Sylow s theorem, we have that the only possibilities for the number of Sylow-p subgroups
More informationAlgebra I: Final 2012 June 22, 2012
1 Algebra I: Final 2012 June 22, 2012 Quote the following when necessary. A. Subgroup H of a group G: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of a group G.
More informationLECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS
LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS Recall Lagrange s theorem says that for any finite group G, if H G, then H divides G. In these lectures we will be interested in establishing certain
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 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 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 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 informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationCLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz
CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz Remark: This is a long problem, and there are many ways to attack various of the steps. I am not claiming this is the best way to proceed, nor the
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
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 informationExtra exercises for algebra
Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session
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 informationOvergroups of Intersections of Maximal Subgroups of the. Symmetric Group. Jeffrey Kuan
Overgroups of Intersections of Maximal Subgroups of the Symmetric Group Jeffrey Kuan Abstract The O Nan-Scott theorem weakly classifies the maximal subgroups of the symmetric group S, providing some information
More informationPermutation Group Algorithms
Permutation Group Algorithms 2016 1 / 32 Permutation Group Algorithms Zoltán Halasi Eötvös Loránd University 2016 More group theory Permutation Group Algorithms 2016 2 / 32 Going into deeper to the structure
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 informationHomework Problems, Math 200, Fall 2011 (Robert Boltje)
Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.
ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition
More informationCourse 311: Abstract Algebra Academic year
Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................
More informationSaturated fusion systems with parabolic families
Saturated fusion systems with parabolic families Silvia Onofrei The Ohio State University AMS Fall Central Sectional Meeting, Saint Louis, Missouri, 19-21 October 2013 Basics on Fusion Systems A fusion
More informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More informationLecture 5.6: The Sylow theorems
Lecture 5.6: The Sylow theorems Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 5.6:
More informationfor all i = 1,..., k and we are done.
FINITE PERMUTATION GROUPS AND FINITE CLASSICAL GROUPS 23 5. Primitivity and related notions In this section we study some key properties of group actions. We will use this material in the next chapter
More informationSection III.15. Factor-Group Computations and Simple Groups
III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationModern Algebra Homework 9b Chapter 9 Read Complete 9.21, 9.22, 9.23 Proofs
Modern Algebra Homework 9b Chapter 9 Read 9.1-9.3 Complete 9.21, 9.22, 9.23 Proofs Megan Bryant November 20, 2013 First Sylow Theorem If G is a group and p n is the highest power of p dividing G, then
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 informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)
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 informationGROUP ACTIONS EMMANUEL KOWALSKI
GROUP ACTIONS EMMANUEL KOWALSKI Definition 1. Let G be a group and T a set. An action of G on T is a map a: G T T, that we denote a(g, t) = g t, such that (1) For all t T, we have e G t = t. (2) For all
More informationTeddy Einstein Math 4320
Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective
More informationAlgebra I: Final 2018 June 20, 2018
1 Algebra I: Final 2018 June 20, 2018 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of
More information1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.
1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e
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 informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More information1 p mr. r, where p 1 < p 2 < < p r are primes, reduces then to the problem of finding, for i = 1,...,r, all possible partitions (p e 1
Theorem 2.9 (The Fundamental Theorem for finite abelian groups). Let G be a finite abelian group. G can be written as an internal direct sum of non-trival cyclic groups of prime power order. Furthermore
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Handout 0: Course Information
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT4003 Groups. Lectures: Mon (odd), Wed & Fri 10am, Lecture
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
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 information1.5 Applications Of The Sylow Theorems
14 CHAPTER1. GROUP THEORY 8. The Sylow theorems are about subgroups whose order is a power of a prime p. Here is a result about subgroups of index p. Let H be a subgroup of the finite group G, and assume
More informationWritten Homework # 2 Solution
Math 516 Fall 2006 Radford Written Homework # 2 Solution 10/09/06 Let G be a non-empty set with binary operation. For non-empty subsets S, T G we define the product of the sets S and T by If S = {s} is
More informationElements of solution for Homework 5
Elements of solution for Homework 5 General remarks How to use the First Isomorphism Theorem A standard way to prove statements of the form G/H is isomorphic to Γ is to construct a homomorphism ϕ : G Γ
More informationMATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis
MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.
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 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 informationSolutions of exercise sheet 4
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationif G permutes the set of its subgroups by conjugation then Stab G (H) = N G (H),
1 0.1 G-sets We introduce a part of the theory of G-sets, suitable for understanding the approach GAP uses to compute with permutation groups, using stabilizer chains. Rotman s book describes other results
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 informationABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY
ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY John A. Beachy Northern Illinois University 2000 ii J.A.Beachy This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and
More informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationSUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.
SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set
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 informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationCONJUGATE FACTORIZATIONS OF FINITE GROUPS. Communicated by Patrizia Longobardi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 4 No. 2 (2015), pp. 69-78. c 2015 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CONJUGATE FACTORIZATIONS
More informationMethods For Identifying Finite Groups. Sarah Astill
Methods For Identifying Finite Groups Sarah Astill - 321130 April 2005 I warrant that the content of this dissertation is the direct result of my own work and that any use in it of published or unpublished
More informationMost rank two finite groups act freely on a homotopy product of two spheres
Most rank two finite groups act freely on a homotopy product of two spheres Michael A. Jackson University of Rochester mjackson@math.rochester.edu Conference on Pure and Applied Topology Isle of Skye,
More informationAlgebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...
Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2
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 informationChapter 25 Finite Simple Groups. Chapter 25 Finite Simple Groups
Historical Background Definition A group is simple if it has no nontrivial proper normal subgroup. The definition was proposed by Galois; he showed that A n is simple for n 5 in 1831. It is an important
More informationOn Maximal Subgroups of a Group with Unique Order
Available online at wwwscholarsresearchlibrarycom European Journal of Applied Engineering and Scientific Research, 208, 6():2-3 On Maximal Subgroups of a Group with Unique Order ISSN: 2278-004 M Bello
More information3.8 Cosets, Normal Subgroups, and Factor Groups
3.8 J.A.Beachy 1 3.8 Cosets, Normal Subgroups, and Factor Groups from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Define φ : C R by φ(z) = z, for
More informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationM3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA
M3P10: GROUP THEORY LECTURES BY DR. JOHN BRITNELL; NOTES BY ALEKSANDER HORAWA These are notes from the course M3P10: Group Theory taught by Dr. John Britnell, in Fall 2015 at Imperial College London. They
More informationII. Products of Groups
II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product
More informationAlgebra. Travis Dirle. December 4, 2016
Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
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 informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationStab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.
1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group
More informationTHE SYLOW THEOREMS AND THEIR APPLICATIONS
THE SYLOW THEOREMS AND THEIR APPLICATIONS AMIN IDELHAJ Abstract. This paper begins with an introduction into the concept of group actions, along with the associated notions of orbits and stabilizers, culminating
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 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 informationAlgebra-I, Fall Solutions to Midterm #1
Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the
More informationSolution 9. G. Hiß, M. Künzer. Group theory, WS 07/08. Problem 31
G. Hiß, M. Künzer Problem 31 Group theory, WS 07/08 Solution 9 Note that for h H and g G, we have ξgh) ξg) and ηgh) ηg)h. In particular, ξh) 1 and ηh) h. Moreover, note that ξt) t and ηt) 1 for t T. Suppose
More informationFall /29/18 Time Limit: 75 Minutes
Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages
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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationDEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY
HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both
More informationSYMMETRIC GRAPHS OF VALENCY 5
SYMMETRIC GRAPHS OF VALENCY 5 by G. L. MORGAN A thesis submitted to The University of Birmingham for the degree of MASTER OF PHILOSOPHY School of Mathematics College of Engineering and Physical Sciences
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of
More informationLast time: Recall that the fibers of a map ϕ : X Ñ Y are the sets in ϕ 1 pyq Ď X which all map to the same element y P Y.
Last time: Recall that the fibers of a map ϕ : X Ñ Y are the sets in ϕ 1 pyq Ď X which all map to the same element y P Y. Last time: Recall that the fibers of a map ϕ : X Ñ Y are the sets in ϕ 1 pyq Ď
More information