Higher Algebra Lecture Notes

Size: px
Start display at page:

Download "Higher Algebra Lecture Notes"

Transcription

1 Higher Algebra Lecture Notes October 2010 Gerald Höhn Department of Mathematics Kansas State University 138 Cardwell Hall Manhattan, KS USA This are the notes for my lecture Higher Algebra which I taught several times at Kansas State University. Students are expected to have some previous knowledge of algebra, although only basic knowledge of set theory and elementary number theory together with some mathematical maturity is all what is required. Parts of the lecture notes are based on the book Einführung in die Algebra by G. Fischer and R. Sacher. I also used the books Algebra by S. Lang and Abstract Algebra by D. Dummit and R. Foote as well as some randomly found notes on the internet. I tried to resist the temptation to add additional material to the notes. Most of the problems at the end of each section are standard. Some have a computational flavor. Results are numbered continuously in each chapter. For results marked with a star no proof is given. Please send corrections, remarks, etc. to the above address. 1

2 Contents 1 Group Theory Basics Normal subgroups Cyclic and solvable groups Group actions Sylow subgroups Products Examples of finite groups Ring Theory 17 3 Module Theory 18 2

3 Chapter 1 Group Theory 1.1 Basics Definition. Let M be a non-empty set. (a) A map : M M M, (a, b) a b, is called a binary operation or product in M. (b) A product in M is called associative if (a b) c = a (b c) for all a, b, c M and commutative if a b = b a for all a, b M. Remarks: Often one writes ab for a b. If M is finite, say M = {a 1,..., a n }, a product can be described by a product table: a 1 a 2... a j... a n a 1 a 1 a 1.. a i... a i a j. a n... a n a n Let M be a set with product. For every a M one has the maps l a : M M, x ax (left translation), r a : M M, x xa (right translation). M is associative if and only if l a b = l a l b for all a, b M. Definition. A semigroup is a nonempty set M together with an associative product in M. Examples: N = {1, 2, 3,...} with addition or multiplication as product. 3

4 Map(X) = {f : X X} for a set X with composition as product, i.e. (f g)(x) = f(g(x)) for f, g Map(X) and x X. Let a 1,..., a n be elements in a set with product. We write n a i = a 1 a 2... a n = (...((a 1 a 2 )a 3 )...a n 1 )a n. Lemma 1. In a semigroup H one has ( m )( m+n ) a i a i = i=m+1 m+n a i for any a 1,..., a n+m H. Proof: By definition this is true for n = 1. Assume it is true for n = k and consider n = k + 1. ( m )( m+k+1 ) ( m )(( m+k ) ) a i a i = a i a i a m+k+1 i=m+1 = = (( m ( m+k i=m+1 ) ( m+k a i i=m+1 a i ) a n+k+1 = a i ))a m+k+1 m+k+1 Corollary. Let w = [a 1,..., a n ] be a product of a 1,..., a n given by some choice of brackets. Then w does not depend on this choice. Proof: One has w = ([a 1,..., a m ]) ([a m+1,..., a n ]) for some m < n and some choice of brackets for a 1,..., a m and a m+1,..., a n. By induction we may assume [a 1,..., a m ] = m a i, [a m+1,..., a n ] = n i=m+1 a i. The Lemma gives w = n a i and w is therefore well-defined. This allows us to forget about brackets in a semigroup. We write a n for n a. One has a n a m = a n+m, (a m ) n = a nm. Lemma 2. In a commutative semigroup H one has n a i = n a π(i) for any a 1,..., a n+m H and bijective map π : {1,..., n} {1,..., n}. Proof: Exercise. Definition. (a) An identity (or unit element) of a semigroup H is an element e H such that e a = a e = a for all a H. a i. 4

5 (b) A monoid is a semigroup with identity. Remarks: An identity e is unique; for if e is another identity we have e = e e = e. Often one writes just 1 for e; if H is written additively usually the case if H is commutative one writes 0 for e. Examples: (N, ) with identity 1. Map(X) with identity id X : X X, x x. The set of isomorphism classes of n-dimensional differentiable manifolds with the commutative connected sum # as product. Identity is the standard n-sphere S n. Definition. Let G be a monoid.... (a) An inverse of x G is an element y G such that xy = yx = e. (b) If every element of G has an inverse, G is called a group. Remark. Let G be a group. (a) The inverse of x G is unique. One denotes the inverse of x by x 1. (b) xy = e yx = e for x, y G. (c) (xy) 1 = y 1 x 1 and (x 1 ) 1 = x. (d) For a, b G there exist unique elements x, y G solving the equations ax = b and ya = b. (e) For a, x, y G one has ax = ay x = y and xa = ya x = y. Proof: (a) If y is another inverse of x we have y = y e = y (xy) = (y x)y = ey = y. (b) Let xy = e. Choose z G with zx = e. Then yx = (ey)x = ((zx)y)x = z(xy)x = zex = zx = e. (c) (y 1 x 1 )(xy) = y 1 (x 1 x)y = y 1 y = e. (x 1 ) 1 x 1 = (xx 1 ) 1 = e 1 = e since ee = e. (d) Eq. 1 x = a 1 b and Eq. 2 y = ba 1. (e) Multiplication of eq. with a 1 from left or right. Examples: 5

6 (Z, +) the integers with addition. (C, ) the nonzero complex numbers with multiplication. Perm(X) Map(X) the set of bijective maps of a set X onto itself with composition. Gl n (k) the set of invertible n n-matrices with components in a field k with matrix multiplication. Definition. Let (G, ) and (G, ) be (semi)groups. A map ϕ : G G is called a (semi)group homomorphism if ϕ(a b) = ϕ(a) ϕ(b) for all a, b G. If there is also a homomorphism ψ : G G such that ψ ϕ and ϕ ψ are the identity mappings of G and G, respectively, ϕ is called an isomorphism For G = G a homomorphism ϕ is called an endomorphism, an isomorphism ϕ is called an automorphism. mm mm Remark. Proof: Examples: f a : N G, n a n, for G a semigroup and a G is a semigroup homomorphism. f a : Z G, n a n, for G a group and a G (here a n := (a 1 ) n for n N) is a group homomorphism. For G a group, a G, the map ϕ a : G G, x axa 1 is an (so called inner) automorphism of G. exp : (C, +) (C, ), z exp(z) = n=0 zn n!, is a group homomorphism. Theorem 3. Let H be an abelian semigroup written additively. Then: (a) There exists an abelian group G and a semigroup homomorphism ι : H G such that the following universal property is satisfied: For every semigroup homomorphism ϕ : H G there exists a unique group homomorphism ψ : G G such that the following diagram is commutative...,i.e. ψ ι = ϕ. (b) For x G there exist a, b H such that x = ι(a) ι(b). (c) ι is injective if the cancellation law is valid in H (x + a = y + a x = y). Proof: Lemma 4. Theorem 5 (Lagrange). 6

7 Exercises 1. Prove Lemma 2 from Chapter 1: In a commutative semigroup H one has n a i = n a π(i) for any a 1,..., a n H and bijective map π : {1,..., n} {1,..., n}. 2. A left identity in a semigroup G is an element e such that ea = a for all a G. A left inverse of a G is an element x G such that xa = e, with e a left identity. Prove that a semigroup which has a left identity and every element has a left inverse is in fact a group and the left identity is an identity and a left inverse is an inverse. 3. (i) Is the additive group of integers isomorphic to the additive group of rationals? (ii) Is the additive group of rationals isomorphic to the multiplicative group of non-zero rationals? 4. Prove part (iv) and (v) of the list of subgroup examples: (iv) H is a subgroup of the additive group of integers if and only if there exists a n Z such that H = nz := {nk k Z}. (v) The set Q = {±E, ±I, ±J, ±K} with E = ( ) ( ) ( ) 1 0, I = i 0 0 i, J = , K = ( 0 i i 0 ), is a subgroup of GL 2 (C) of size 8. Furthermore, determine all subgroups of the quaternion group Q. 5. (Calculation problem) Let M be a set with a binary composition. (a) Calculate for n = 6 how many essentially different product expressions w = [a 1, a 2,...,a n ] (i.e., taking into account ordering and bracketing) can be formed with elements a 1, a 2,..., a n M provided that the product in M is assumed to be: (i) associative and commutative, (ii) associative but not commutative, (iii) commutative but not associative, (iv) neither associative nor commutative. (b) List for n = 4 all expressions w as in (a). (Remarks: It is recommended to use a computer. But for any solution by hand, full credit is given. Part (i) and (ii) are worth 0 points but you should try them first. The form in which the products in (b) are listed can be freely chosen. You may solve (b) first.) 1.2 Normal subgroups Theorem 6. Theorem 7 (Homomorphism theorem). Theorem 8 (First isomorphism theorem). Theorem 9 (Second isomorphism theorem)

8 Theorem 10 (Jordan-Hölder). Exercises 1. Prove the following remark from the lecture about the centralizer and normalizer of a subset S of a group G: (a) Cent(S) < Nor(S) < G. (b) H < G implies H Nor(H). (c) K < G and H K implies K < Nor(H), i.e., Nor(H) is the largest subgroup of G in which H is normal. 2. Let c : G Perm(G) be the map defined for a G by c(a) : G G, g aga 1. (a) Show that c is a homomorphism from G into Aut(G) < Perm(G), the subgroup of automorphisms of G. (b) Is the image of c normal in Aut(G)? (c) Determine the kernel of c. 3. The Monster M is a finite simple group of order Can the Monster act non-trivially on a set X of cardinality 48, i.e. does there exist a group homomorphism ϕ : M Perm(X) with trivial kernel? 4. (a) Let G be group and H be a group of finite index. Show that there exists a normal subgroup N of G contained in H and also of finite index. (Hint: If [G : H] = n, find a homomorphism of G into S n (the group of permutations of the set {1,..., n}) whose kernel is contained in H.) (b) Let G be a group and let H 1, H 2 be subgroups of finite index. Prove that H 1 H 2 has finite index. 5. Determine a composition series for the group S 4, the group of permutations of the set {1, 2, 3, 4}. 6. Let G 1,..., G n be finite simple groups. Show that G 1,..., G n are the composition factors of the direct product G 1 G n. 1.3 Cyclic and solvable groups Lemma 11. Theorem 12. Theorem 13. Corollary 14. 8

9 Lemma 15. Theorem 16. Theorem 17. Theorem 18. Theorem 19. Exercises 1. Show that if the automorphism group of the finite cyclic group of order n is itself cyclic that n must be contained in the set S = {2, 4, p k, 2 p k } with p an odd prime and k a positive integer. (Hint: Show Z/nZ = Z/p a 1 1 Z Z/pa l l Z where p a 1 1 pa l l is the prime factorization of n and use this to investigate the ϕ(n) = ϕ(p a 1 ) ϕ(p a l) = (p a (p 1 1)) (p a 1 1 l (p l 1)) generators of Z/nZ. Identify the automorphism group of Z/nZ with the multiplicative group (Z/nZ) of residue classes modulo n of the ϕ(n) non-negative integers m < n which are relatively prime to n.) 2. If K is a normal subgroup of the group G and K is cyclic, prove that the commutator G is a subgroup of the centralizer C(K) of K. (Hint: Use from Problem 2 that the automorphism group of a cyclic group is abelian.) 3. Let G be a finite solvable group. Prove that there exists a chain G = N 0 > N 1 > > N n = {e} of subgroups of G such that N i is normal in G and N i /N i+1 is abelian for i = 0, 1,..., n 1. (Hint: Prove that a minimal nontrivial normal subgroup M of G is necessarily abelian and use induction. To see that M is abelian, let N be a normal subgroup of M of prime index and show that [x, y] N for all x, y M. Apply the same argument to gng 1, g G, to show that [x, y] lies in the intersection of all G-conjugates of N, and use minimality of M to conclude that [x, y] = e.) 4. Let SL 2 (Z) be the group of 2 2-matrices of determinant 1. Show that the commutator subgroup of SL 2 (Z) has index 12. (Hint: Construct a homomorphism from SL 2 (Z) ) to Z/12Z. You can use that SL 2 (Z) is generated by the two matrices S = and T = ( ).) ( (this problem is more number theoretic) Show that the automorphism group of the finite cyclic group of order n is itself cyclic if n is contained in the set S = {2, 4, p k, 2 p k } with p an odd prime and k a positive integer. 1.4 Group actions Lemma 20. Theorem 21. Theorem 22. Lemma 23. 9

10 Lemma 24. Lemma 25. Theorem 26. Lemma 27. Theorem 28. Exercises 1. Let G be a finite group acting on a finite set X. For g G, let X g be the fixpoints of g, i.e., X g = {x X gx = x}. Prove Burnside s formula X/G = 1 G X g for the number of G-orbits. (Hint: Count the subset F = {(g, x) gx = x} G X in two different ways.) 2. Let N be a normal subgroup of a finite group G. Let S G be a conjugacy class of elements in G, and assume that S N. Prove that S is a union of n conjugacy classes in N, all having the same cardinality, where n equals the index [G : N.Cent(x)] of the group generated by N and the centralizer Cent(x) in G of any element x S. 3. Let σ S n such that in the cycle decomposition of σ there are λ i cycles of length i for i = 1,..., n. g G (a) Describe the centralizer of σ in S n and determine its order. (b) Describe the normalizer of the cyclic group σ generated by σ in S n and determine its order. (c) Determine the number of pairs of commuting elements in S n, i.e., the number of pairs (σ, τ) with σ, τ S n and στ = τσ. 4. Let H be a proper subgroup of a finite group G. Show that G g G ghg (the conjugacy classes of A n ) Let T S n be a conjugacy class in S n, i.e., the set of all permutations σ S n which have the same cycle type and assume that T A n. Show that each such conjugacy class T is either also a conjugacy class in A n or decomposes in two conjugacy class of A n of the same size; the second case happens if and only if the cycle type of an element of T consists of distinct odd integers. 6. Prove that A n, the alternating group of degree n, is simple for n 5. (Hint: Use that A n is generated for n 5 by 3-cycles. Let σ N \ {e} be an element of a normal subgroup N of A n with a maximal number of fixpoints. Show that σ is conjugated to a 3-cycle or an element with more fixpoints. Distinguish the two cases that all orbits of σ have size 1 and 2 or that there is at least one orbit of size 3 or larger.) 10

11 1.5 Sylow subgroups Definition. Let p be a prime. (a) A p-group is a finite group of order p k for some integer k 0. (b) A p-subgroup H of a finite group G is a subgroup of G which is a p-group. (c) A p-sylow subgroup H of a finite group G is a p-subgroup of G of order p k such that p k is the highest power of p dividing the order of G. Lemma 29. Let G be a finite abelian group and p be a prime divisor of the order of G. Then G has an element of order p. Proof: By induction on G. For G = p, G is cyclic and the Lemma is true. Let a G, not be the identity. If ord(a) is divisible by p, say ord(a) = p t, then b = a t has order p. If otherwise ord(a) is relatively prime to p, then the order of G/ a is divisible by p and smaller than G. Hence the factor group contains an element b a of order p. We claim that the order s of b is divisible by p, for we have (b a ) s = b s a = a. Hence p = ord(b a ) divides s. Since p ord(b), we obtain an element of prime order as before. Theorem 30 (Sylow I). Let G be a finite group and p be a prime number dividing the order of G. Then there exists a p-sylow subgroup of G. Proof: By induction on G. The case G = p is again clear. Assume therefore that for all subgroups H of a given group G, G > p, with H G the theorem is proven. Consider the class equation G = Z + g i S[G : Cent(g i )]. If p Z, then there is a g i with p [G : Cent(g i )]. Since g i Z we have that Cent(g i ) is a subgroup of G different from G. By induction assumption, Cent(g i ) has a p-sylow subgroup which is also a p-sylow subgroup of G and we are done. So we suppose p Z. By Lemma 29, Z contains an element a of order p. If p n is the highest power of p dividing G, then p n 1 is the highest power of p dividing the order of the factor group G/ a. By induction assumption, G/ a contains a p-sylow subgroup P. The inverse image P under the canonical projection π is a p-sylow subgroup of G: π P : P P/ a = P is surjective with kernel a, hence P = a P : a = p p n 1 = p n. Lemma 31. Let P be a p-sylow subgroup of G and H be a p-subgroup contained in the normalizer of P. Then H < P. Proof: Since H is a subgroup of Nor(P) and P is a normal subgroup of Nor(P), HP is a subgroup and HP/P = H/H P by the first isomorphism theorem. So if HP P, then HP has a power of p as order, and the order is larger than P, contradicting the hypothesis that P is a p-sylow subgroup. Hence HP = P and H P. Theorem 32 (Sylow II+III). Let G be a finite group and p be a prime number dividing the order of G. Then: 11

12 (a) Any two p-sylow subgroups of G are conjugated. (b) The number of p-sylow subgroups in G is a divisor of the index of any p-sylow subgroup in G and is 1 (mod p). (c) Any p-subgroup is contained in a p-sylow subgroup. Proof: Let Π be the set of p-sylow subgroups and let G act on Π by conjugation. Let Σ be one orbit under this action. If P Π we can restrict the action of G on Π to P and decompose Σ into P-orbits. Each one of these has cardinality a power of p since the cardinality is a divisor of P. If P Σ then {P } is a P-orbit of size 1 and this is the only orbit with this property: If {P } is a P-orbit then P Nor(P ) and so, by Lemma 31, P P and hence P = P. This shows Σ 1 (mod p). If P Σ then the same argument shows that all P-orbits contained in Σ have size divisible by P. Then Σ is divisible by p. This is a contradiction: The normalizer of a P Σ contains P and has therefore index prime to p. So there are no P Σ and so Σ = Π, which means that G acts transitively on Π. This proves (a) and we also have Π 1 (mod p) proving the second part of (b). For the first, note that Π = [G : Nor(P)] which divides [G : P] since G > Nor(P) > P. For H a p-subgroup, restrict the G-action on Π to H. Since the size of any H-orbit is a power of p and since Π 1 (mod p), there exists an orbit {P } containing one element. Then H < Nor(P) and so H < P by Lemma 31. This proves part (c). Applications of Sylow theorems Exercises 1. Prove Cauchy s Theorem: Let p be a prime divisor of the order of a finite group G. Then there exists an element a G of order p. 2. Prove that there is no simple group of order pqr, where p, q and r are distinct primes. 3. Prove that there is no simple group of order Let A be a finite abelian group and let p be a prime. The p th -power map is the homomorphism defined by ϕ : A A, a ϕ(a) = a p. Let A p be the image and let A p be the kernel of ϕ, respectively. Prove that A/A p = A p. (Hint: Show that both groups are elementary abelian p-groups of the same order. An elementary abelian p-group is an abelian group where each element besides the identity has order p.) 5. Prove that there is no simple group of order (Hint: Find all possible values for the numbers n p of p-sylow subgroups and exclude them one by one. Finally, use a permutation representation of degree 819 to exclude the last case.) 6. (Calculation problem): Use a computer and general results from the lecture and this problem set to eliminate all n smaller than 1000 (or 10000) for which no simple group of order n can exist. Analyze the remaining n further. 12

13 7. (Abelian Groups) (a) Determine the number of non-isomorphic abelian groups of order (b) Determine the number of subgroups of order 1000 of Z/1000Z Z/1000Z. 1.6 Products For G 1, G 2,..., G n, we considered already the direct product G 1... G n, which is the group whose underlying set is the cartesian product and the group structure is defined componentwise. Inside G 1... G n there is for i = 1,..., n the subgroup Lemma 33. bla bla. Proof: H i = {} Next, we generalize the direct product to arbitrary many factors: Theorem 34. Let. Proof: One can reverse the direction of all arrow in Theorem?? and ask if the so obtained universal problem has a solution. This is indeed the case and the corresponding product is called the coproduct or free product of the groups G i. Before we can prove this, we need some preparation: Theorem 35. Let X be a set. Then: (a) There exists a group F(X) and a map ι : X F(X) such that the following universal property is satisfied: For every group G and map f : X G there exists a unique homomorphism ϕ : F(X) G such that the diagram commutes. (b) ι is injective. (c) The image ι(x) generates F(X)....(f = ϕ ι) Proof: Let Y = X {+, } and W(X) = n=0 Y n. The elements of W(X) can be identified with the words x ǫ 1 1 x ǫ 2 2 x ǫn n where n Z and n 0, x 1,..., x n X and ǫ 1,..., ǫ n {+, }. For n = 0 one gets the empty word which we denote by e. A word is called { reduced if there is no i = 1,..., n 1 such that (*) x i+1 = x i and ǫ i+1 = ǫ i = if ǫi = +, Let F(X) W(X) be the set of reduced words. One defines the reduction + if ǫ i =. 13

14 map r : W(X) F(X) by omitting from a word successively beginning from the left all strings x ǫ i i xǫ i+1 i+1 satisfying (*). On F(X) we define now a product by (x ǫ 1 1 x ǫn n ) (y δ 1 1 yδm m ) := r(x ǫ 1 1 x ǫn n y δ 1 1 yδm m ). This binary composition makes F(X) into a group: 1. The empty word e F(X) is the identity. 2. The inverse of x ǫ 1 1 x ǫn n is x ǫn n x ǫ For the associativity law consider for x X {+, } the map σ x : F(X) F(X) defined by { σ x (x ǫ 1 1 x ǫ 2 xx ǫ 1 2 x ǫn n ) = 1 x ǫ 2 2 x ǫn n, if x x ǫ 1 1, x ǫ 2 2 x ǫn n, if x = x ǫ 1 1. Since σ x 1 σ x is the identity map of F(X), σ x is a permutation of F(X). Let A(X) be the subgroup of the permutation group of F(X) which is generated by {σ x x X}. One easily checks that the map σ : W(X) A(X), x ǫ 1 1 x ǫn n σ ǫ x 1 σ 1 x ǫn n restricted to F(X) is a bijection, which respects the binary operation. The point is that σ = σ r and so σ(r(x ǫ 1 1 x ǫn n y δ 1 1 yδm m )) = σ ǫ x 1 σ ǫ 1 x 1 σ δ 1 y 1 σ 1 y δm m = σ(x ǫ 1 1 x ǫn n ) σ(y δ 1 1 yδm m ). Since A(X) is a group, hence associative, so is F(X). We define ι : X F(X) by ι(x) = x + which is clearly injective and ι(x) generates F(X) by construction. This proves part (b) and (c). For the universal property, note that the map ϕ must satisfy ϕ(x ǫ 1 1 x ǫn n ) = f(x 1 ) ǫ 11 f(x n ) ǫn1, hence ϕ is unique. By defining ϕ in this way, one gets indeed a homomorphism since the reduction map does not change the value of ϕ. Definition. The group F(X) is called the free group generated by X. Remark: One has F( ) = {e}, the trivial group; F({x}) = Z, the infinite cyclic group; F({x, y}) is non-abelian. Theorem* (Schreier). Subgroups of a free group are free groups. Definition. Let S be a subset of a group G. The intersection N G S N N of all normal subgroups of G containing S is called the normal hull of S and denoted by S. Remark. (a) S is the smallest normal subgroup containing S. (b) S = {a G a = gxg 1 with g G and x S }. Definition. Let G be a group. A presentation for G is a pair (S, R), where S is a subset of G and R is a subset of F(S) such that F(S)/ R = G and the projection map extends the identity map of S. One writes G = S R. G is said to be finitely generated (resp. finitely presented) if there is a presentation (S, R) of G such that S is finite (resp. S and R are finite). 14

15 It is clear that if G = S R one has G = S, i.e. S generates G. Remark. Every group has a presentation. Proof: Take S = G and consider the identity map S G. By the universal property of the free group F(S) there is a homomorphism ϕ : F(S) G extending this map. Hence ϕ is surjective and G = F(S)/ ker ϕ. So G = G ker ϕ. In fact, one has kerϕ = {a b (ab) 1 a, b G}. Examples: Z/nZ = {x} {x n } = x x n for short. Z Z = x, y [x, y]. Theorem 36. Let I be a nonempty index set and let {G i } i I be a family of groups. Then: (a) There exists a unique group i I G i together with a family {ι i } i I of homomorphisms ι j : G j i I G i such that the following universal property is satisfied: For every group G and every family {α i } i I of homomorphisms α j : G j G there exists a unique homomorphism ϕ : i I G i G such that for all j I the diagram (b) The homomorphisms ι i are injective....(ϕ ι j = α j )commutes. (c) i I G i is generated by the images of the ι i. Proof: Exercises 1. (Presentations) Prove the following group presentations: (a) a, b a 2 b 2, a 1 bab = Q 8, the quaternion group of order 8 defined in Section 1.1. (b) τ 1,..., τ n 1 τ 2 i for 1 i n 1; (τ i τ i+1 ) 3 for 1 i n 2; (τ i τ j ) 2 for 1 i, j n 1 with i j 2 = S n, the symmetric group of degree n. (Hint: τ i is the transposition (1 i+1). Use induction on n.) (c) a, b, c bab 1 a 2, cbc 1 b 2, aca 1 c 2 = {e}, the trivial group with one element. 2. (Coproducts for Abelian Groups) Prove the existence of coproducts for abelian groups, i.e., prove Theorem 39 with each occurrence of the word group replaced by abelian group. 3. (Pushouts) Let F, H and G be groups and f : G F, h : G H be homomorphisms. Prove the existence of a group F G H (called the pushout of f and h) and homomorphisms q 1 : F F G H, q 2 : H F G H with q 1 f = q 2 g such that the following universal property is satisfied: For any group J and homomorphisms j 1 : F J, j 2 : H J with j 1 f = j 2 g there exists a homomorphism ϕ : F G H J such that j 1 = q 1 ϕ and j 2 = q 2 ϕ. 15

16 4. Show that the group S, T S 2, (ST) 3 is isomorphic to the group PSL 2 (Z) = SL 2 (Z)/{±( )}, where SL 2(Z) is the group of 2 2-matrices with integer entries and determinant 1. (Hint: Consider the action of SL 2 (Z) by Möbius transformations on the upper halfplane H = {z C I(z) > 0} of complex numbers given by (( a b az+b b c ), z) cz+d ; cf. the book by J.-P. Serre: A course in Arithmetic.) 5. Show that there are at most two non-isomorphic groups G of order pq, where p and q are primes with p < q. (Hint: G is either a direct or a semidirect product of its Sylow subgroups.) 6. Let G and F be groups and ϕ : G F be a surjective group homomorphism. Let N = kerϕ be the kernel of ϕ. Prove that G is a semidirect product with normal subgroup N if and only if there is a homomorphism s : F G such that ϕ s = id F, the identity map on F. One says in this case that the short exact sequence splits and s is called a split of ϕ. 1.7 Examples of finite groups {e} N G ϕ F {e} 16

17 Chapter 2 Ring Theory 17

18 Chapter 3 Module Theory 18

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(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 information

Exercises on chapter 1

Exercises 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 information

Algebra. Travis Dirle. December 4, 2016

Algebra. 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 information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY 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 information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra 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 information

120A LECTURE OUTLINES

120A 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 information

ENTRY 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. 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 information

SF2729 GROUPS AND RINGS LECTURE NOTES

SF2729 GROUPS AND RINGS LECTURE NOTES SF2729 GROUPS AND RINGS LECTURE NOTES 2011-03-01 MATS BOIJ 6. THE SIXTH LECTURE - GROUP ACTIONS In the sixth lecture we study what happens when groups acts on sets. 1 Recall that we have already when looking

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

Introduction to Groups

Introduction 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 information

Math 121 Homework 5: Notes on Selected Problems

Math 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 information

Math 120: Homework 6 Solutions

Math 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 information

Algebra Exercises in group theory

Algebra 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 information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. 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 information

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

School 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 information

Groups and Symmetries

Groups 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 information

Algebra SEP Solutions

Algebra 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 information

Solutions to Assignment 4

Solutions 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 information

ALGEBRA QUALIFYING EXAM PROBLEMS

ALGEBRA 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 information

Math 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 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 information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES 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 information

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV. Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

More information

ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY

ABSTRACT 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 information

SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.

SUMMARY 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 information

Math 210A: Algebra, Homework 5

Math 210A: Algebra, Homework 5 Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b, MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence

More information

Homework #5 Solutions

Homework #5 Solutions Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

II. Products of Groups

II. 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 information

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely

More information

Homework Problems, Math 200, Fall 2011 (Robert Boltje)

Homework 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 information

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

1.5 Applications Of The Sylow Theorems

1.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 information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Introduction to abstract algebra: definitions, examples, and exercises

Introduction to abstract algebra: definitions, examples, and exercises Introduction to abstract algebra: definitions, examples, and exercises Travis Schedler January 21, 2015 1 Definitions and some exercises Definition 1. A binary operation on a set X is a map X X X, (x,

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

Stab(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.

Stab(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 information

its image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1

its 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 information

Course 311: Abstract Algebra Academic year

Course 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 information

Theorems and Definitions in Group Theory

Theorems and Definitions in Group Theory Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3

More information

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK 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 information

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents

DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Math 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. 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 information

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

FINITE 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 information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA 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 information

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1. MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection

More information

Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #3 Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition

More information

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation. 1. Show that the set G = multiplication. Assigment 1 1 a b 0 1 c a, b, c R 0 0 1 is a group under matrix 2. Let U be a set and G = {A A U}. Show that G ia an abelian group under the operation defined by

More information

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups

Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups Exercises MAT2200 spring 2013 Ark 4 Homomorphisms and factor groups This Ark concerns the weeks No. (Mar ) and No. (Mar ). Plans until Eastern vacations: In the book the group theory included in the curriculum

More information

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

LECTURES 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 information

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Definition 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 information

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

CSIR - Algebra Problems

CSIR - 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 information

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University

Group Theory. Hwan Yup Jung. Department of Mathematics Education, Chungbuk National University Group Theory Hwan Yup Jung Department of Mathematics Education, Chungbuk National University Hwan Yup Jung (CBNU) Group Theory March 1, 2013 1 / 111 Groups Definition A group is a set G with a binary operation

More information

Chapter I: Groups. 1 Semigroups and Monoids

Chapter I: Groups. 1 Semigroups and Monoids Chapter I: Groups 1 Semigroups and Monoids 1.1 Definition Let S be a set. (a) A binary operation on S is a map b : S S S. Usually, b(x, y) is abbreviated by xy, x y, x y, x y, x y, x + y, etc. (b) Let

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

Two subgroups and semi-direct products

Two 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 information

BASIC GROUP THEORY : G G G,

BASIC GROUP THEORY : G G G, BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e

More information

Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

2MA105 Algebraic Structures I

2MA105 Algebraic Structures I 2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 7 Cosets once again Factor Groups Some Properties of Factor Groups Homomorphisms November 28, 2011

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected 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 information

Extra exercises for algebra

Extra 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 information

A 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 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 information

PROBLEMS FROM GROUP THEORY

PROBLEMS FROM GROUP THEORY PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE 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 information

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Shyamashree Upadhyay Contents 1 Lecture 1 4 1.1 Properties of Integers....................... 4 1.2 Sets, relations and

More information

Homework 10 M 373K by Mark Lindberg (mal4549)

Homework 10 M 373K by Mark Lindberg (mal4549) Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients

More information

Pseudo Sylow numbers

Pseudo 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 information

SCHOOL OF DISTANCE EDUCATION

SCHOOL OF DISTANCE EDUCATION SCHOOL OF DISTANCE EDUCATION B. Sc. MATHEMATICS MM5B06: ABSTRACT ALGEBRA (Core Course) FIFTH SEMESTER STUDY NOTES Prepared by: Vinod Kumar P. Assistant Professor P. G.Department of Mathematics T. M. Government

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 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 information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

A Little Beyond: Linear Algebra

A Little Beyond: Linear Algebra A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two

More information

Teddy Einstein Math 4320

Teddy 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 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. (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 information

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

IIT 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 information

Elements of solution for Homework 5

Elements 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 information

Algebra Qualifying Exam, Fall 2018

Algebra Qualifying Exam, Fall 2018 Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the

More information

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G. Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the

More information

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

INTRODUCTION TO SEMIGROUPS AND MONOIDS

INTRODUCTION TO SEMIGROUPS AND MONOIDS INTRODUCTION TO SEMIGROUPS AND MONOIDS PETE L. CLARK We give here some basic definitions and very basic results concerning semigroups and monoids. Aside from the mathematical maturity necessary to follow

More information

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache GROUPS AS GRAPHS W. B. Vasantha Kandasamy Florentin Smarandache 009 GROUPS AS GRAPHS W. B. Vasantha Kandasamy e-mail: vasanthakandasamy@gmail.com web: http://mat.iitm.ac.in/~wbv www.vasantha.in Florentin

More information

Math 451, 01, Exam #2 Answer Key

Math 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 information

Group Theory (Math 113), Summer 2014

Group Theory (Math 113), Summer 2014 Group Theory (Math 113), Summer 2014 George Melvin University of California, Berkeley (July 8, 2014 corrected version) Abstract These are notes for the first half of the upper division course Abstract

More information

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ

More information

Fall /29/18 Time Limit: 75 Minutes

Fall /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 information

Permutation groups H. W. Lenstra, Fall streng/permutation/index.html

Permutation groups H. W. Lenstra, Fall streng/permutation/index.html Permutation groups H. W. Lenstra, Fall 2007 http://www.math.leidenuniv.nl/ streng/permutation/index.html Solvable groups. Let G be a group. We define the sequence G (0) G (1) G (2)... of subgroups of G

More information

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

MATH 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 information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

Groups 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 information