INTRODUCTION TO THE GROUP THEORY

Size: px
Start display at page:

Download "INTRODUCTION TO THE GROUP THEORY"

Transcription

1

2 Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc Mathematics Education Study Program Faculty of Teacher Training and Education The University of Jember

3 Acknowledgments Thanks to the Lord, because of His Mercy, this book has been finished. This book is written as one of the resources of the subject of Algebra Structure. The discussion focus in this book are group and homomorphism. The description is started with the concepts of set and function, that are basic of all concepts in this book. After getting a good knowledge in the concepts of set and function, the students can continue to the chapter 2 that provides construction, properties and order of a group and its subgroup. The next discussion on group including cyclic group, the group of permutations and the Lagrange theorem, that will be available in the chapter 3, 4, dan 5, respectively. The second part of the discussion is about homomorphism. This second part is started with the chapter 6 that provides homomorphism, isomorphism and Cayley theorem. Finally, the last chapter provides the concept of factor group. Jember, August 2010 Antonius C. Prihandoko i

4 Table of Contents Acknowledgments Table of Contents i iii 1 SET AND FUNCTION Set Partition and Equivalence Relation Function Binary Operation Exercise on Set and Function GROUP Definition of Group Properties of Group Order of Group and Element Subgroup The Exercise for Concepts of Group CYCLIC GROUP Concept and Basic Properties Subgroup of Finite Cyclic Group Exercises on Cyclic Group GROUP OF PERMUTATIONS Permutation ii

5 4.2 Orbit and Cycle Exercises on Group of Permutation COSET AND THE LAGRANGE THEOREM Coset The Lagrange Theorem Exercises on Coset and the Lagrange Theorem GROUP HOMOMORPHISM Homomorphism Isomorphism dan Cayley Theorem Exercises on group Homomorphism THE FACTOR GROUP Factor Group Development by a Homomorphism Factor Group Development by Normal Subgroup The Fundamental Homomorphism Theorem Exercises on the Factor Group iii

6 Chapter 1 SET AND FUNCTION This chapter provides the materials needed to reach the main substances: (group and homomorphism), in the subject of Structure of Algebra. As a group is basically a set and a homomorphism is a function, it is important to describe set theory and function first before discussing the main contents of this subject. The aim of this chapter is that the students have understanding on set, function, partition, equivalence relation and binary operation. Outcome of this chapter is that the students are able to 1. solve the set operation; 2. show an equivalence relation; 3. show a partition of a set; 4. construct a function; 5. show a binary operation; 1.1 Set Not all concepts in mathematics can be well defined, sometime a concept can be understood by identifying its properties. The concept of set for instance, if set is identified as group of certain objects, then there will be a question about definition of group. If group is identified as unity of things, then there will be a question about definition of unity. This sequence of questions will be unstopped, or we will repeat the words in previous definition. Therefore, in this chapter, set will not be defined, but it will be identified by analyzing its characteristics. Briefly, several things related to set can be described below. 1

7 I. Set and Function antonius cp 2 1. A set S consists of elements, and if a is an element of S, then it can be notated as a S. 2. There is exactly one set that has no element. It is called empty set, dan be notated as φ. 3. A set can be described by identifying its properties, or by listing its elements. For example, set of prime numbers less than or equal to 5, can be described as {2, 3, 5}, or {x x primes 5}. 4. A set is called well-defined, if it can be decided definitely whether an object is element or not. Let S = {some natural numbers }, then S is not welldefined set because it can not be decided whether 5 S or 5 S. If S = {the first four natural numbers}, then elements of S can be definitely described, that is 1, 2, 3, 4. Definition A set B is subset of set A and be notated B A or A B, if every element of B is also element of A. Note : For every set A, Both of A and φ are subset of A. A is improper subset, while the others are proper subset. Example Let S = {a, b, c}, then S has 8 subsets that is φ, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}. The concept of subset can be used to prove the equality of two sets, i.e. two sets A and B are same if A B and B A. 1.2 Partition and Equivalence Relation Definition A partition of set A is a family set consisting of disjoint non empty subsets which is union of them constructs the set A Example {{a, b}, {c}} is a partition of set S = {a, b, c}.

8 I. Set and Function antonius cp 3 Based on that definition, proving that a family set {A 1, A 2, A 3,..., A n } is a partition of set A, can be shown below : 1. i, j {1, 2, 3,..., n}, if i j then A i A j = φ; 2. n i=1a i = A Example The integers set, Z, can be partitioned to set of odd integers and set of even integers. 2. Z can be partitioned into classes of residues. Another concept closely related to the partition is equivalence relation. If a set is partitioned then there is an equivalence relation that can be found in that set. Vice versa, if an equivalence relation is applied to a set, then the set of all equivalence classes forms a partition on the set. Definition A relation on a set A is an equivalence relation if and only if it is: 1. reflexive; i.e x A, x x; 2. symmetric; i.e if x y then y x; 3. transitive; i.e if x y and y z then x z. Example relation. 1. Relation same as in the real set, R, is an equivalence 2. Let on the rational numbers set, Q, we define a relation: a/b c/d if and only if ad = bc, then is an equivalence relation. 3. If on the integers set, Z, we define a relation: x y if and only if xy 0, then is not an equivalence relation. Show it!

9 I. Set and Function antonius cp 4 4. If Z be partitioned, then the relation is in a same partition class with is an equivalence relation on Z. Definition Let is an equivalence relation on a set A, and x is an element of A. Set of all elements equivalent to x is called equivalence class of x, and be denoted by [x]. It is formally written as [x] = {a A a x}. Theorem If x y then [x] = [y]. Prove the theorem above using the principal of the equality of two sets, i.e it has to be shown that [x] [y] and [y] [x]. Theorem If is an equivalence relation on a set A, then the set of all equivalence classes, {[x] x A}, forms a partition on A. For every n Z + there is an important equivalence relation on Z that is called as congruence modulo n. Definition Let a and b be two integers on Z and n be any positive integer. a is congruent to b modulo n, and be denoted a b (mod n), if a b is evenly divisible by n, so that a b = nk, for some k Z. Equivalence classes for congruence modulo n are residue classes modulo n. Example We see that 7 12 (mod 5) since 7 12 = 5( 1). Residue class containing 7 and 12 is {5n + 2 n Z} = {..., 13, 8, 3, 2, 7, 12, 17,...} 1.3 Function Definition A function φ from a set A to a set B is a relation that assigns all elements of A into exactly one element of B.

10 I. Set and Function antonius cp 5 As notation, φ : A B is a function if ( a A)(!b B), φ(a) = b. Therefore, to show that a relation is a function, it needs to be proved that ( a 1, a 2 A), a 1 = a 2 = φ(a 1 ) = φ(a 2 ) Definition A function from a set A to a set B is injective if for each element of B there is at most one element of A that be connected to it; and is surjective if for each element of B there are at least one element of A that be connected to it. Technically, proving on that two kinds of function can be described below. 1. To show that φ is injective, it has to be proved that φ(a 1 ) = φ(a 2 ) implies a 1 = a To show that φ is surjective, it has to be proved that for every b B, there exist a A such that φ(a) = b. 1.4 Binary Operation Definition Binary operation on a set, S, is a function that assigns each ordered pair of elements of S, (a, b) to an element of S. This definition show that the set S has to be closure under a binary operation. It means that if a, b S and is binary operation on S such that a b = c then c S. Besides that the term ordered pairs has an important role, since element that be connected to (a, b) is not necessary same as the element that be connected to (b, a). Example Addition and multiplication on the set (R), on the set (Z), on the set (C), or on the set (Q) are binary operation. 2. Let M(R) be the set of all matrices with real entries, then usual matrix addition is not a binary operation. Why?

11 I. Set and Function antonius cp 6 3. The usual addition is not a binary operation on the set R = R {0}. Why? For identifying a binary operation on a set S, there are two things should be considered, that is for every ordered pairs (a, b) in S, 1.!c such that a b = c; 2. c S. Definition A binary operation on a set S is commutative if and only if a b = b a, a, b S; and associative if and only if (a b) c = a (b c), a, b, c S. Example Addition and multiplication on the set (R), on the set (Z), on the set (C), or on the set (Q) are commutative and associative. 2. Let M 2,2 (R) is the set of all 2 2 matrices with real entries, then matrix multiplication on M 2,2 (R) is associative but not commutative. Please inspect this! 3. Substraction on R is not associative and also not commutative. Why? 1.5 Exercise on Set and Function 1. If A = {1, 2, 3, 4}, how many subsets of A? Mentione it! 2. Prove that: (a) If M φ, then M = φ. (b) If K L, L M dan M K, then K = M. (c) A (A B) (d) If A B = φ then A = φ dan B = φ. (e) (A B) A (f) A B if and only if (A B) = B (g) (A B) A

12 I. Set and Function antonius cp 7 (h) (A B) B = φ (i) M N if and only if M N = φ (j) M = N if and only if M N = φ dan N M = φ 3. Describe all elements of the following sets. (a) {x R x 2 = 3} (b) {a Z a 2 = 3} (c) {x Z xy = 60 for some y Z} (d) {x Z x 2 x < 115} 4. Determine whether the following relation is an equivalence relation? If yes, describe the partition constructed by the equivalence relation! (a) x y on the set Z if xy > 0 (b) x y on the set R if x y (c) x y on the set R if x = y (d) x y on the set R if x y 3 (e) x y on the set Z + if x and y have the same digits. (f) x y on the set Z + if x and y have the same last digit. (g) x y on the set Z + if n m is divisible by Let n be any integer in Z +. Show that the congruence modulo n is an equivalence relation on Z. 6. Describe all residue classes on Z modulo n, for n = 1,2,3,4 or 8 7. Compute all possible partition on a set S containing 1,2,3,4 or 5 elements. 8. If function f : A B has inverse function f 1 : B A, mention all properties of f. 9. If A = [ 1, 1] and function f 1 (x) = x 2, f 2 (x) = x 3, f 3 (x) = sin x, f 4 (x) = x 5, f 5 (x) = φ x, observe which function that has inverse function!

13 I. Set and Function antonius cp Prove that f : A B and g : B C have inverse function f 1 : B A and g 1 : C B, then function composition g f : A C is also has inverse function f 1 g 1 : C A 11. Let f : A B and g : B A and g f = I A, where I A is the identity function on A. Determine whether the following statement is true or false. (a) f is injective. (b) g is injective. (c) g = f 1 (d) g is surjective. (e) f is surjective. 12. Determine whether the following binary operator is commutative or associative. (a) defined on Z by a b = a b (b) defined on Q by a b = ab + 1 (c) defined on Q by a b = ab 2 (d) defined on Z + by a b = 2 ab (e) defined on Z + by a b = a b 13. Let a set S has exactly one element. How many different binary operation can be defined on S? exactly 3 elements; exactly n elements. Answer the question if S has exactly 2 elements; 14. Determine whether the following operation is binary or not. If not, describe which axiom that is not covered. (a) On the set Z +, define by a b = a b. (b) On the set Z +, define by a b = a b. (c) On the set R, define by a b = a b.

14 I. Set and Function antonius cp 9 (d) On the set Z +, define by a b = c, where c is the smallest integer greater than botha and b. (e) On the set Z +, define by a b = c, where c is at least 5 more than a + b. (f) On the set Z +, define by a b = c, where c is the largest integer less than ab. 15. Determine the following true or false and give the reason. (a) If is a binary operation on a set S, then a a = a, a S. (b) If is a commutative binary operation on a set S, then a, b, c S, a (b c) = (b c) a. (c) If ia an associative binary operation on a set S, then a, b, c S, a (b c) = (b c) a. (d) A binary operation in a set S is commutative if there exists a, b S, such that a b = b a. (e) Every binary operation defined on a set with exactly 1 element is commutative and associative. (f) A binary operation on a set S assigns at least 1 element of S to each ordered pair of elements of S. (g) A binary operation on a set S assigns at most 1 element of S to each ordered pair of elements of S. (h) A binary operation on a set S assigns exactly 1 element of S to each ordered pair of elements of S. 16. Show that if be commutative and associative binary operation on a set S, then (a b) (c d) = [(d c) a] b, a, b, c, d S. 17. Determine the following true or false and give the reason. (a) Every binary operation on a set with one element, is commutative and associative.

15 I. Set and Function antonius cp 10 (b) Every commutative binary operation on a set with exactly 2 elements, is associative. (c) If F is the set of all real function, then function composition on F is commutative. (d) If F is the set of all real function, then function composition on F is associative. (e) If F is the set of all real function,, then function addition on F is associative. (f) If dan be any binary operation on a set S, then a (b c) = (a b) (a c), a, b, c S

16 Chapter 2 GROUP This chapter provides opening material of the first part of the substance of the subject of Algebra Structure (also be known as Abstract Algebra). It contains the definition, properties, order, and concepts of group and its elements. 2.1 Definition of Group An algebra structure is a system that consists of two components, that is a set and a binary operation defined on the set. A system that consists of a non empty set G and a binary operation defined on the set is called grupoid. If the binary operation on the grupoid is associative, then the system is called by semi group. If the semi group consists of identity element, e, such that for every a G satisfy a e = e a = a, then the system is called monoid. And if each element of monoid has own inverse, that is for each a G, a 1 G such that a a 1 = a 1 a = e, then the system is now calledgroup. Now we go the formal definition of group. Definition A group < G, > is a set G, together with a binary operation on G, such that the following axioms are satisfied: 1. G is closed under the operation. That is, a, b G, a b G. 2. The binary operation is associative, that is, ( a, b, c G), (a b) c = a (b c). 11

17 II. Group antonius cp There is an identity element, e, in G. That is, ( e G), ( a G), a e = e a = a. 4. Each element of G has own inverse, that is ( a G), ( a 1 G), a a 1 = a 1 a = e, where e is the identity element in G. Example The set R under usual addition operation, form a group. 2. Z 5 = {0, 1, 2, 3, 4} under addition operation modulo 5, form a group. 3. {a + b 3 a, b Z} under addition defined as follow: (a 1 + b 1 3) + (a2 + b 2 3) = (a1 + a 2 ) + (b 1 + b 2 ) 3, form a group. 4. The set of all 2 2 real matrices can not form a group under matrix multiplication. Why? 5. The set Z can not form a group under multiplication. Why? 6. The set Q under multiplication, form a group. 7. Define the operation, so that G = {a, b, c, d} forms a group. Definition A group < G, > is commutative if ( a, b G), a b = b a. Example The set of integers forms a commutative group under usual addition operation. 2.2 Properties of Group On understanding of the concepts of group, this section provides some basic properties of group. The proof of some theorems will be left as exercise. Theorem The identity element in a group is unique. Proof: If identity element is not unique then there are e and e and both of them are identity elements. If e as the identity element then e e = e. If e as the identity element then e e = e. Since is a binary operation then e = e.

18 II. Group antonius cp 13 Theorem The inverse of each element of a group is unique. Proof: If the inverse of a is not unique, then there are two different elements b and c, where both of them are inverse of a. So that (b a) c = c dan b (a c) = b. Thus, b = c. Theorem If G is a group under binary operation, then G satisfies the left cancelation law and the right cancelation law. That is, a b = a c implies b = c, and a b = c b implies a = c, a, b, c G. Proof for the left cancelation law: a b = a c = a 1 a b = a 1 a c = e b = e c = b = c Using the analog way, prove the right cancelation law! Theorem If G is a group and a 1, a 2,, a n is any n elements of G, then. (a 1 a 2 a n ) 1 = a 1 n a 1 n 1 a 1 1 Theorem If G is a group then for all element a in G (a 1 ) 1 = a. Theorem In a group G, the equation ax = b, where a, b G dan x is a variable, has unique solution, that is x = a 1 b. Theorem If an empty set G under binary operation satisfy the axioms: closed, associatif, and the equation a x = b and y a = b have solution for every a, b G, then (G, ) is a group. 2.3 Order of Group and Element This section provides the definition of order group and elements and its properties.

19 II. Group antonius cp 14 Definition The result of operation of m factors, a a a a a is represented by a m ; The result of operation of m factors, a 1 a 1 a 1 a 1 a 1 is represented by a m ; and a 0 = e, where e is the identity element in G. Theorem If m is a positif integer then a m = (a 1 ) m = (a m ) 1 Example In the group (Z, +), 4 7 = = 28; 4 1 = 4 so that 4 5 = ( 4) + ( 4) + ( 4) + ( 4) + ( 4) = 20; 4 0 = 0, since 0 is the identity element under addition of integers. 2. In the group (R, ), 2 3 = = 8; 2 1 = 1 so that = = 1; = 1, since 1 is the identity element under multiplication of real numbers. Theorem If m and n are integers then a m a n = a m+n and (a m ) n = a mn Definition The order of a finite group G is the number of elements of G. If the number of elements of G is infinite, then the order of G is infinite. The order of G is denoted as G. Definition Let a is an element of a group G. The order of a is n if and only if n is the least positive integer such that a n = e, where e is identity element in group G. If there is no such positive integer, then the order of a is infinite. The order of a is denoted O(a). Example In the group (Z 5, +), O(2) = 5, since 5 is the least positive integer such that 2 5 = (mod5). 2. In the group (Z 5, ), O(2) = 4, since 4 is the least positive integer such that 2 4 = (mod5). Theorem Let a be an element of a group G. If the order of a is n then there exist n variation of power of a in G, they are a 1, a 2, a 3,, a n 1, a n Note that the power here depends on the defined binary operation. Example In (Z 5, +), O(2) = 5, so that there exist 5 variation of power of 2, that is 2 1 = 2; 2 2 = 4; 2 3 = 1; 2 4 = 3; dan 2 5 = 0.

20 II. Group antonius cp In (Z 5, ), O(2) = 4, so that there exist 4 variation of power of 2, that is 2 1 = 2; 2 2 = 4; 2 3 = 3; dan 2 4 = 1. Theorem If the order of a is infinite then all power of a are distinct, that is if r s than a r a s. Example In the (Z, +), O(2) is infinite, so that every power of 2 is different. Prove the following two theorem and give an example for each. Theorem Let O(a) = n. (a k = e) n k (n is a factor of k). Theorem Let O(a) = n then O(a 1 ) = n 2.4 Subgroup Definition Let < G, > be a group and H be a non empty subset of G. H is a subgroup of G if and only if < H, > is also a group. Base on the definition, a subgroup is a group inside the other group. Furthermore, since H is a subset of G then the axiom associative also works on H. Theorem Let < G, > be a group and H be a non empty subset of G. H is a subgroup of G if it satisfy these three axioms. 1. Closed. 2. Identity element 3. Inverse. It also can be analyzed that if the system satisfy axiom closed and inverse, than the identity element will be automatically satisfied. Therefore the theorem above can be simplify to the following theorem.

21 II. Group antonius cp 16 Theorem Let < G, > be a group and H be non empty subset of G. H is a subgroup of G if it satisfy the two axioms below. 1. Closed. That is ( c, d H), c d H. 2. Inverse. That is ( c H), c 1 H. Finally, those two axioms in above theorem can be combined to achieve the following theorem. Theorem Let < G, >be a group and H be a non empty subset of G. H is a subgroup of G if ( c, d H), c d 1 H. Example Both of {0, 3} and {0, 2, 4} are subgroup of Z 6, +). Show it! Definition Let < G, > be a group. Both of H and K are subset of G. Then H K = {a G a = h k, h H k K} and H 1 = {a G a = h 1, h H} Those definition can be used on proving the next theorems. Theorem If < H, > is a subgroup of a group < G, >, then H H = H and H 1 = H. Theorem If both of H and K are subgroup of a group < G, >, then H K is also a subgroup if and only if H K = K H. Theorem If both of H and K are subgroup of a group (G, ), then H K is also a subgroup on < G, >. Theorem Let G be a group and a G. If H is the set of all power of a in G, then H is a subgroup of G. Example In the (Z 5, ), there are 4 variation of power of 2, that is 2 1 = 2; 2 2 = 4; 2 3 = 3; and 2 4 = 1, so that {1, 2, 3, 4} is a subgroup of (Z 5, ).

22 II. Group antonius cp The Exercise for Concepts of Group 1. Determine whether the following algebra structure is a grupoid, semigrup, monoid or group! (a) The set of natural numbers under usual addition. (b) The set of natural numbers under usual multiplication. (c) The set of integers under usual addition. (d) G = {ma a Z} under integers addition, where m is any integer. (e) G = {m a a Z} under multiplication, where m is any integer. (f) G = {a + 2b a, b Q} under addition. (g) The set of non zero rational numbers under multiplication. (h) The set of non zero complex numbers under multiplication. (i) {0, 1, 2, 3,...} under addition. (j) The set M 2 (R) under addition matrix. (k) The set M 2 (R) under multiplication matrix. (l) The set of all integers divisible by 5, under addition. (m) The set of all vectors in R 2 of the form (x, 3x) under addition vector. (n) The set of all vectors in R 2 of the form (0, y) or (x, 0) under addition vector. (o) G = {f 1, f 2, f 3, f 4 } under transformation composition, where f 1 (z) = z, f 2 (z) = z, f 3 (z) = 1, f z 4(z) = 1, for every complex numbers, z. z 2. Let S be the set of all real numbers except 1. On S define by a b = a + b + ab. (a) Show that is a binary operation. (b) Show whether S is a group or not. (c) Compute the solution of 2 x 3 = 7 in S.

23 II. Group antonius cp If G is a group with binary operation, show that a, b G, (a b) 1 = b 1 a 1! 4. Determine true or false the following statements and give the reason. (a) A group may has more than one identity element. (b) On a group, every linear equation has solution. (c) Every finite group containing at most 3 elements is abelian. (d) The empty set can be considered as a group. 5. If G is a finite group with identity element e and of even order, show that there exists a e in G such that a a = e! 6. Let be a binary operation on a set S, an element x S is called idempotent for if x x = x. Show that a group has exactly one idempotent element. 7. If G is a group with identity element eand x G, x x = e, show that G is an abelian group. 8. Show that if (a b) 2 = a 2 b 2, for a and b in G, then a b = b a! 9. Let G be a group and a, b G. Show that (a b) 1 = a 1 b 1 if and only if a*b = b*a! 10. Determine true or false the following statements and give the reasons. (a) Associative law is always satisfied on every group. (b) There may exist a group which is not satisfy the cancelation law. (c) Every group is a subgroup of itself. (d) Every group has exactly two improper subgroup. (e) Every set of numbers that is a group under addition, is also a group under multiplication. (f) Every subset of a group is a subgroup under the same binary operation. (g) If b 2 = e then b = e, where e is the identity element.

24 II. Group antonius cp 19 (h) If c 2 = c then c = e. (i) On every group, a n b n = (a b) n. 11. If both of H and K are subgroup of an abelian group G, show that HK = {hk h H, k K} is also subgroup of G. 12. Show that a non empty subset H of a group G is a subgroup of G if and only if ab 1 H, a, b H! 13. Show that if G is an abelian group with identity element e, then all element x G satisfying the equation x 2 = e forms a subgroup H of G! 14. Let G be a group and a is an element in G. Show that H a = {x G xa = ax} is a subgroup of G! 15. Let H be a subgroup of a group G. For a, b G, let a b if and only if ab 1 H. Show that is an equivalence relation on G. Describe the partition formed by such equivalence relation. 16. Show that if H is a subgroup of G and K is a subgroup of G, then H K is also a subgroup of G!

25 Chapter 3 CYCLIC GROUP As discussed before that the set of all power of an element of a group forms a subgroup. It derives the concept of a group containing all power of an element in it. Such group is then called cyclic group. 3.1 Concept and Basic Properties In the end of previous chapter, it has been described that the set of all power of an element in group forms subgroup. Let G be a group and a G, then H = {h G h = a k, k Z} is a subgroup of G. Therefore a is also in H since a = a 1 and all elements of H can be presented as a power of a. It can be said that a generates the set H, which is a group. This concept is a basic of forming cyclic group. Definition A group G is cyclic if there exists elements a G such that every element x G, can be represented by x = a m, where m is integer. The element a is called by generator and G is a cyclic group developed by a and denoted : G =< a >. Theorem Every cyclic group is abelian. Theorem If G =< a > and b G then O(b) O(a). 20

26 III. Cyclic Group antonius cp 21 Proving on the next theorems of cyclic group need division algorithm on integers (Z). This algorithm is based on the theorem that if b is a positive integer and a be any integer, then there exists unique integers q dan r such that a = bq + r where 0 r < b. Theorem Every subgroup of cyclic group is cyclic. Corollary Subgroups of Z under addition are precisely the groups nz under addition for n Z. Definition Let r and s be two positive integers. The positive generator /(d/) of the cyclic group G = {nr + ms n, m Z} under addition is the greatest common divisor (gcd) of r and s. To understanding that definition, firstly we have to show that G is a subgroup of Z. This is easy to do. Since (Z, +) =< 1 > then G is also cyclic and has a positive generator d. Note from the definition that d is a divisor of r and s since both r = 1r + 0s and s = 0r + 1s are in G. Since d G, then it can be written as d = nr + ms for any integers n and m. It can be shown that every integer that divides r and s will also divides d. Therefore d is the greatest common divisor of r and s. Theorem If G =< a > is of order non prime n, then every proper subgroup of G is generated by a m where m is proper divisor of n. In converse, if m is a proper divisor of n then G has a proper subgroup generated by a m. Theorem If G =< a > and O(a) = n then G = n. Theorem If G =< a > then G =< a 1 >.

27 III. Cyclic Group antonius cp Subgroup of Finite Cyclic Group Let G =< a >, then G may be finite or infinite. 1. If G is infinite, then all power of a are different. Prove it! 2. If G is finite and of order n, then there are exactly n different power of a. Why? Definition Let n be a fixed positive integer and let h and k be any integers. The remainder r when h + k is divided by n in accord with the division algorithm is the sum of h and k modulo n. Example = 31 = 5(6) + 1. So that (mod 5). Theorem The set {0, 1, 2, 3,, n 1} is the cyclic group Z n under addition modulo n. Theorem Let G =< a > and G = n. generate a cyclic subgroup H of G containing n d If b G and b = a s, then b elements, where d is gcd of n and s. Example Consider Z 12 with generator a = 1. Since8 = 8 1 and gcd of 12 and 8 is 4 then 8 generate a subgroup containing 12 4 = 3 elements, that is < 8 >= {0, 4, 8}. Theorem If G =< a > and G = n then the other generators for G are of the forms a r, where r is relatively prime to n. Example as we know that Z 12 =< 1 >. Then the other generators for Z 12 are 5 = 5 1, 7 = 7 1, dan 11 = Exercises on Cyclic Group 1. Prove that every cyclic group is abelian! 2. Show that a group having no proper non trivial subgroup is a cyclic group!

28 III. Cyclic Group antonius cp Compute the gcd of 32 and 24, 48 and 88, 360 and Let + n be notation of addition modulo n. Compute: , , , and Compute the number of generator of cyclic group of order : 5, 8, 12, and Compute the order of a cyclic subgroup of Z 30 generated by Find all subgroup of : Z 12, Z 36, and Z 8, and draw their lattice diagram. 8. Determine all possibilities order of subgroups of the group : Z 6, Z 8, Z 12, Z 60, and Z Determine true or false the following statement and give the reason! (a) In every cyclic group, every element is a generator. (b) Z 4 is a cyclic group. (c) Every abelian group is cyclic. (d) Q under addition is cyclic. (e) Every element of cyclic group is generator. (f) There is at least one abelian group of every finite order > 0. (g) All generators of Z 20 are prime numbers. (h) Every cyclic group of order > 2 has at least two distinct generators. 10. Give an example of a group with the property described, or explain why no example exists. (a) A finite group that is not cyclic. (b) An infinite group that is not cyclic. (c) A cyclic group having only one generator. (d) An infinite cyclic group having four generators. (e) A finite cyclic group having four generators.

29 III. Cyclic Group antonius cp If G =< a > and o(a) = n, prove that G = n. 12. If G =< a >, prove that G =< a 1 >. 13. If a group of order n containing an element of order n, prove that the group is cyclic. 14. In a cyclic group of order n, show that there exists element of order k, where k is a factor of n. 15. Show that a group having finite number of subgroup, is finite. 16. Let p and q be two prime numbers. Compute the number of generators of cyclic group Z pq. 17. Let p be a prime number. Compute the number of generators of cyclic group Z p r, where r is an integer Show that in a finite cyclic group Gof order n, the equation x m = e has exactly m solutions in G for each positive integer m that divides n. 19. Show that Z p has no proper subgroup if p is a prime number. 20. Prove that the order of a cyclic group same as the order of its generator. 21. How many generators of a cyclic group of order 10?

30 Chapter 4 GROUP OF PERMUTATIONS In this chapter we describe a group containing permutations defined in a set. Such group has special characteristics. 4.1 Permutation Definition Permutation in a set A is a one to one function from A onto A. Example Let A = {x, y, z} then α = a b c c a b is a permutation, where α(a) = c; α(b) = a; and α(c) = b. 2. Let B = {1, 2, 3, 4, 5}. Given two permutations in B, φ = and β = then permutation multiplication (= function composition) φβ is : φβ = =

31 IV. Group of Permutations antonius cp 26 Theorem Let A be a non empty set and S A be the set of all permutation in A. Then S A is a group under permutation multiplication. Definition Symmetric Group. Let A = {1, 2, 3,, n}, then group of all permutations on A is called symmetric group n, and be denoted as S n. Note : S n has n! elements. Example Let A = {1, 2, 3} then S 3 has 3! = 6 elements. All permutations on A can be described below. ρ 0 = 1 2 3, µ 1 = 1 2 3, ρ 1 = 1 2 3, µ 2 = 1 2 3, ρ 2 = 1 2 3, µ 3 = 1 2 3, It can be proved that S 3 = {ρ 0, ρ 1, ρ 2, µ 1, µ 2, µ 3 } is a group under permutation multiplication. 4.2 Orbit and Cycle Every permutation σ of a set A determines a natural partition of A into cells with the property that a, b A are in the same cell if and only if b = σ n (a), for some n Z. It can be proved that relation defined by a b b = σ n (a), is a equivalence relation. Definition Let σ be a permutation of a set A. The equivalence classes determined by the equivalence relation a b b = σ n (a) are the orbits of σ.

32 IV. Group of Permutations antonius cp 27 Example The orbits of permutation σ = of S 8 can be found by applying σ repeatedly, obtaining symbolically hence the orbits of σ are {1, 2, 8}, {3, 4, 6}, {5, 7} Each orbit in the example above determines a new permutation in S 8 by acts on the orbit members and leaves the remaining elements fixed. For example the orbit {1, 2, 8} with arrow direction forms the permutation µ = The permutation µ has only 1 orbit containing more than 1 element. Such permutation is called cycle. Let say the formal definition. Definition A permutation σ S n is a cycle if σ has at most one orbit containing more than one element. The length of a cycle is the number of elements in its largest orbit. Example As mentioned in previous example, permutation µ is a cycle of length 3 and be denoted as µ = (1, 8, 2)

33 IV. Group of Permutations antonius cp 28 Note, unlike in the orbit notation, the order of elements in the cycle notation determines moving flow. For example, (1, 8, 2) = (8, 2, 1) = (2, 1, 8) but (1, 8, 2) (1, 2, 8). As described before that the set of orbits of a permutation is a partition on S n, therefore the orbits of a permutation are disjoint sets. Furthermore, since an orbit determines a cycle, then we can derive the following theorem. Theorem Each permutation σ in a finite set is a product of disjoint cycles. Example σ = = (1, 8, 2)(3, 6, 4)(5, 7) Definition A cycle of length 2 is called transposition. Each cycle can be described as a product of transpositions, (a 1, a 2, a 3,, a n 1, a n ) = (a 1, a n )(a 1, a n 1 ) (a 1, a 3 )(a 1, a 2 ). Therefore, a permutation is also a product of transpositions. Theorem Let σ S n and τ be a transposition on S n. orbits of σ and the number of orbits of τσ differ by 1. The number of Let τ = (i, j), then the above theorem can be proved by analyzing the possibilities below. 1. i and j are in the different orbits of σ; 2. i and j are in the same orbit of σ. Definition A permutation of a finite set is even or odd according to whether it can be expressed as a product of an even number of transposition or the product of an odd number of transposition, respectively. Example Determine whether even or odd the following permutations.

34 IV. Group of Permutations antonius cp σ = 2. µ = Definition The subgroup of S n consisting even permutations is called alternating group, A n on n letters. Example Determine the alternating group of S 3! 4.3 Exercises on Group of Permutation 1. Compute the number of elements of the set below. (a) {α S 4 α(3) = 3}. (b) {α S 5 α(2) = 5}. 2. Determine true or false the following statements and give the reason. (a) Every permutation is a one to one function. (b) Every function is permutation if and only if it is one to one. (c) Every function from a set onto itself should be one to one. (d) The symmetric group S 10 has 10 elements. (e) The symmetric groups 3 is cyclic. (f) S n is not cyclic for each n. 3. Show that the symmetric group S n is not abelian for n Find all orbits of the following permutations: (a) α : Z Z, where α(n) = n + 1. (b) α : Z Z, where α(n) = n + 2. (c) α : Z Z, where α(n) = n 3.

35 IV. Group of Permutations antonius cp For permutation on {1, 2, 3, 4, 5, 6, 7, 8}, compute the product of cycles below. (a) (1, 4, 5)(7, 8)(2, 5, 7) (b) (1, 3, 2, 7)(4, 8, 6) (c) (1, 2)(4, 7, 8)(2, 1)(7, 2, 8, 1, 5) 6. Express the following permutations as a product of disjoint cycles, and then express them as product of transpositions. (a) (b) (c) Determine true or false the following statements and give the reason. (a) Every permutation is a cycle. (b) Every cycle is a permutation. (c) Alternating group A 5 has 120 elements. (d) Alternating group A 3 is a commutative group. (e) The symmetric group S n is not cyclic for every n Show that if H is a subgroup of S n, for n 2, then all permutation in H is even or exactly half of them are even. 9. Let G be a group and a be a fixed element in G. Show that map λ a : G G, where λ a (g) = ag, g G, is a permutation in G.

36 Chapter 5 COSET AND THE LAGRANGE THEOREM A subgroup of a group has cosets. The set of the cosets determines a partition on the group. Furthermore, there is a one to one correspondence between the subgroup and its coset. This concept leads the relationship between the order of a group and the order of subgroup. 5.1 Coset Theorem Let H be a subgroup of a group G. The relation L determined by a L b a 1 b H and the relation R determined by a R b ab 1 H are an equivalence relation. Prove the theorem above! The relation L or R determine equivalence classes in G. For example, the class containing a formed by L is [a] = {x G a L x} or equivalently equal to {x G a 1 x H}, or equivalently equal to {x G a 1 x = h, h H}, or equivalently equal to {x G x = ah, h H}. So that [a] = {ah h H} = ah. Please observe the class containing a formed by R. 31

37 V. Coset and the Lagrange Theorem antonius cp 32 Definition Let G be a group and H be a subgroup of G. For any element a G; ah = {x G x = ah, h H} is called left coset of H containing a; and Ha = {y G y = ha, h H} is called right coset of H containing a. Example Z is a group under integer addition and 3Z= {, 6, 3, 0, 3, 6, 9, } is a subgroup of Z. The left cosets of 3Z in Z are 3Z= {, 6, 3, 0, 3, 6, 9, } 1 + 3Z= {, 5, 2, 1, 4, 7, 10, } 2 + 3Z= {, 4, 1, 2, 5, 8, 11, } It can be shown that {3Z, 1 + 3Z, 2 + 3Z} is a partition of Z. Whether we use left coset or right coset, there is no significantly different,as long as we are consistent. In the next description we use left coset, which is analog to the right coset. Here are some theorems regarding the coset. Theorem Coset ah = bh if and only if a bh. Theorem Let G be a group and H be a subgroup of G. The family set of all coset of H is a partition of G. Theorem If ah is a coset of H, then H and ah are one to one correspondence. 5.2 The Lagrange Theorem If G be a group and H be a subgroup of G, then the set of all cosets of H forms a partition on G and H is one to one corresponds to each coset. For finite set, the concept of one to one correspondence indicates the equality of the number of elements. Therefore, in a finite group, there is a relationship between the group order and its subgroup order. Theorem The Lagrange Theorem. If G be a finite group and H subgrup of G, then the order of H is a factor of the order of G.

38 V. Coset and the Lagrange Theorem antonius cp 33 Example If G is of order 8, then the possible order for H are 1, 2, 4, or 8. If H = 1 then H = {e}, where e is the identity element of G. If H = 8 then H = G. 2. It can be observe that subgroups of Z 6 = {0, 1, 2, 3, 4, 5} are {0}, {0, 3}, {0, 2, 4}, dan Z 6 itself. The following are some theorems as corollary of the Lagrange theorem. Theorem If G be a prime ordered group then G is a cyclic group and each element except the identity element is a generator. Theorem The order of each element of a finite group is a factor of the order of the group. Definition If G be a group and H be a subgrup of G then index of H is the number of cosets of H in G, and be denoted. Therefore, a finite group satisfies (G : H) (G : H) = G H 5.3 Exercises on Coset and the Lagrange Theorem 1. Find all cosets of the following subgroups. (a) 4Z of group Z. (b) 4Z of group 2Z. (c) < 2 > of group Z 12. (d) < 4 > of group Z 12.

39 V. Coset and the Lagrange Theorem antonius cp 34 (e) < 18 > of group Z 36. (f) {ρ 0, ρ 2 } of group D 4. (g) {ρ 0, µ 2 } of group D Compute the index of each subgroup below. (a) < 3 > of group Z 24. (b) < µ 1 > of group S 3. (c) < µ 3 > of group D Determine true or false the following statements and give the reason. (a) Every subgroup of every group has coset. (b) The number of coset of subgroup in a finite group divides the order of the group. (c) Every group of prime order is abelian. (d) A subgroup is a coset for itself. (e) There only subgroup of a finite group that has coset. 4. Let H be a subgroup of a group G such that g 1 hg H, g G and h H. Show that each left coset of H, gh, same as the right coset, Hg! 5. Let H be a subgroup of a group G. Show that if the partition on G by the left coset of H same as the partition on G by the right coset of H, then g 1 hg H is satisfied, g G and h H! 6. Give the proof if the following is true, or give acounter-example if it is false. (a) If ah = bh then Ha = Hb (b) If Ha = Hb then b Ha (c) If ah = bh then Ha 1 = Hb 1 (d) If ah = bh then a 2 H = b 2 H

40 V. Coset and the Lagrange Theorem antonius cp If G be a group of order pq, where both of p and q are prime, show that each proper subgroup of G is cyclic. 8. Show that a group having at least two elements but no proper non trivial subgroup, must be a finite group of prime order. 9. Show that if H be a subgroup of index 2 in a finite group G, then each left coset of H is also its right coset. 10. Show that if a group G with identity elemente and of finite order, n, then a n = e, a G! 11. Let H and K be two subgroup of a group G. Define a relation in G determined by a b if and only if a = hbk, for any h H dan k K. (a) Prove that is an equivalence relation in G! (b) Describe all elements of the equivalence class containing a!

41 Chapter 6 GROUP HOMOMORPHISM This chapter is the beginning of second part of the subject of Algebra Structure. In the first part, we discuss about group and its properties. In this second part we will discuss about a kind of function that assigns a group to another group. This chapter provides the definition of homomorphism and its properties. 6.1 Homomorphism Definition A map φ from a group (G, ) into a group (G, #) is called homomorphism if φ(a b) = φ(a)#φ(b) for all a and b in G. The equation in the above definition shows a relationship between two binary operations and #, and thus a relationship between two groups G and G. Notes : For simplify the notation we will not write the binary operation symbol. Let G be a group and a, b G then binary operation on a and b be written as ab. Between any two groups G and G, there is at least a homomorphism φ : G G called trivial homomorphism defined by φ(g) = e for each g G where e is the identity element of G. Example Let α : Z Z n defined by α(m) = r, where r is the remainder when m is divided by n. Then α is a homomorphism. 36

42 VI. Group Homomorphism antonius cp 37 Example Let S n be a symmetric group on n letters, and let φ : S n Z 2 defined by 0 if ρ is an even permutation, φ(ρ) = 1 if ρ is an odd permutation Then φ is a homomorphism. Prove it!! Example Let F be an addition group of all function in R, and R be an addition group of real numbers, and let c be a real number. Let φ c : F R defined by φ c (f) = f(c) for each f F. Then φ c is a homomorphism and is called evaluation homomorphism. Definition Let φ be a mapping of a set X into a set Y, and let A X and B Y. The image of A in Y is φ(a) = {φ(a) a A}. The set φ(x) is called the range of φ. The inverse image of B in X is φ 1 (B) = {x X φ(x) B} Theorem Let φ be a homomorphism of a group g into a group G, 1. If e is the identity in G, then φ(e) is the identity e in G ; 2. If a G, then φ(a 1 ) = φ(a) 1 ; 3. If H is a subgroup of G, then φ(h) is a subgroup of G ; 4. If S is a subgroup of G, then φ 1 (S ) is a subgroup of G; Loosely speaking, φ preserves the identity, inverses, and subgroups. Definition Let φ : G G be a homomorphism, then the kernel of φ, denoted by Ker(φ), is defined as Ker(φ) = φ 1 ({e }) = {a G φ(a) = e } where e is the identity of G.

43 VI. Group Homomorphism antonius cp 38 Theorem If φ : G G is a homomorphism, then Ker(φ) is a subgroup of G. Prove it! Theorem Let φ : G G be a homomorphism and H = Ker(φ). Let a G. Then φ 1 {φ(a)} = {x G φ(x) = φ(a)} is the left coset ah of H and is also the right coset Ha of H. Consequently, the two partitions of G into left cosets and into right cosets of H are the same. Corollary A group homomorphism φ : G G is a one-to-one map if and only if Ker(φ) = {e}. Prove it! Definition One-to-one homomorphism is called monomorphism, onto homomorphism is called epimorphism. Definition A subgroup H of a group G) is normal if gh = Hg for all g G. 6.2 Isomorphism dan Cayley Theorem Definition An isomorphism φ : G G is a one-to-one homomorphism of G onto G. If so then we say that G and G are isomorph and be denoted as G G. Theorem Let ζ be a set of groups. The relation in ζ is a equivalence relation. Prove it! The steps to show two groups that are isomorph is as follows. 1. Define a function φ.

44 VI. Group Homomorphism antonius cp Show that φ is one-to-one function. 3. Show that φ is onto. 4. Show that φ(xy) = φ(x)φ(y), x, y G. Theorem All infinite cyclic group, G, are isomorph to the group of integers, Z, under addition. Prove the above theorem by define a function φ : G Z where φ(a n ) = n, a n G. Now, how to show that two groups are not isomorph? To do that we need to know some structural properties, that is the properties that must be shared by any isomorphic groups. Some examples on the structural properties are cyclic; abelian; finite and infinite; group order; the number of elements with certain order; the solution of an equation on a group. The non structural properties, in other hand, may not be shared by any isomorphic groups. Some example of them are as follows. group containing 5; all elements of group are number; the binary operation on a group is a function composition; the elements of a group are permutations; the group is a subgroup of < R, >

45 VI. Group Homomorphism antonius cp 40 Example It cannot be said that Z and 3Z are not isomorph since 17 Z but 17 3Z. This properties is non structural properties. In the fact Z and 3Z are isomorph since the function φ : Z Z, where φ(n) = 3n, is a isomorphism. 2. It can not be said that Z and Q are not isomorph since 1 Q but 1 Z. 2 2 But it can be said that Z and Q are not isomorph since Z is cyclic, but Q is not cyclic. Theorem Cayley Theorem. Every group isomorphs to a group of permutation. Prove the Cayley theorem above by following steps. 1. Beginning with a group G, collect all permutation in G into a set G 2. Prove that G is a group under permutation multiplication. 3. Define function φ : G G and show that φ is an isomorphism of G to the G. 6.3 Exercises on group Homomorphism 1. Determine whether the following mapping is a homomorphism or not and give the reasons. (a) φ : Z R defined by φ(x) = x. (b) φ : R Z defined by φ(x) = x. (c) φ : Z 6 Z 2 defined by φ(x) = the remainder when x is divided by 2. (d) φ : Z 9 Z 2 defined by φ(x) = the remainder when x is divided by 2. (e) φ : Z Z defined by φ(x) = x (f) φ : F F defined by φ(f) = 3f, where F is the group of all real functions. (g) φ : R Z under addition, and be defined by φ(x) = x, x R.

46 VI. Group Homomorphism antonius cp 41 (h) φ : [R, +] [R, ] defined by φ(x) = 2 x (i) φ i : G i G 1 G 2... G i... G r defined by φ i (g i ) = (e 1, e 2,..., g i,..., e r ), dimana g i G i dan e j elemen identitas dalam G j. (j) φ : G G defined by φ(x) = x 1, x G. (k) φ : F F defined by φ(f) = f, f F, where F is the addition group of all functions R R that are differentiable on all order. (l) φ : F R defined by φ(f) = 4 f(x)dx, where F is the addition group 0 of all continue function R R ; R is the addition group of real numbers. (m) φ : F F defined by φ(f) = 3f, where F is the addition group of all function R R. (n) φ : M n R defined by φ(a) = det(a), where M n the addition group of all matrices 2x2, and R is the addition group of all real numbers. 2. Let F = R R be an addition group, D = {f R R f differentiable }. Is φ : f D f F homomorphism or not? If yes, find Ker(φ). 3. Let G be a group. If φ : Z Z G is a homomorphism and let φ(1, 0) = h and φ(0, 1) = k, compute φ(m, n). 4. Let G be a group and g G. Let φ g : x G gx G. Determine g, in orderφ g be homomorphism. 5. Let G be a group and g G. Let φ g : x G gxg 1 G. Determine g, in order φ g be homomorphism. 6. Let φ : G G be a homomorphism. Show that if G < then φ(g) < and φ(g) G. 7. Let φ : G G be a homomorphism. Show that if G < then φ(g) < and φ(g) G. 8. Let φ : G G be a homomorphism. Show that if G be a prime, then φ must be a trivial homomorphism or monomorphism.

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

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

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

Section 13 Homomorphisms

Section 13 Homomorphisms Section 13 Homomorphisms Instructor: Yifan Yang Fall 2006 Homomorphisms Definition A map φ of a group G into a group G is a homomorphism if for all a, b G. φ(ab) = φ(a)φ(b) Examples 1. Let φ : G G be defined

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

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

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

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

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

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a. Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms

More information

Algebraic Structures Exam File Fall 2013 Exam #1

Algebraic Structures Exam File Fall 2013 Exam #1 Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write

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

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

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

Part II Permutations, Cosets and Direct Product

Part II Permutations, Cosets and Direct Product Part II Permutations, Cosets and Direct Product Satya Mandal University of Kansas, Lawrence KS 66045 USA January 22 8 Permutations Definition 8.1. Let A be a set. 1. A a permuation of A is defined to be

More information

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on

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

5 Group theory. 5.1 Binary operations

5 Group theory. 5.1 Binary operations 5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1

More information

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations

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

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

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

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

Answers to Final Exam

Answers to Final Exam Answers to Final Exam MA441: Algebraic Structures I 20 December 2003 1) Definitions (20 points) 1. Given a subgroup H G, define the quotient group G/H. (Describe the set and the group operation.) The quotient

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

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

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

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

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

FROM GROUPS TO GALOIS Amin Witno

FROM GROUPS TO GALOIS Amin Witno WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2000 ii This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and William D. Blair ISBN 0

More information

B Sc MATHEMATICS ABSTRACT ALGEBRA

B Sc MATHEMATICS ABSTRACT ALGEBRA UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z

More 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

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

Name: Solutions - AI FINAL EXAM

Name: Solutions - AI FINAL EXAM 1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from

More information

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1

Mathematics 331 Solutions to Some Review Problems for Exam a = c = 3 2 1 Mathematics 331 Solutions to Some Review Problems for Exam 2 1. Write out all the even permutations in S 3. Solution. The six elements of S 3 are a =, b = 1 3 2 2 1 3 c =, d = 3 2 1 2 3 1 e =, f = 3 1

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Math 546, Exam 2 Information.

Math 546, Exam 2 Information. Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)

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

MA441: Algebraic Structures I. Lecture 14

MA441: Algebraic Structures I. Lecture 14 MA441: Algebraic Structures I Lecture 14 22 October 2003 1 Review from Lecture 13: We looked at how the dihedral group D 4 can be viewed as 1. the symmetries of a square, 2. a permutation group, and 3.

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

Lecture Note of Week 2

Lecture Note of Week 2 Lecture Note of Week 2 2. Homomorphisms and Subgroups (2.1) Let G and H be groups. A map f : G H is a homomorphism if for all x, y G, f(xy) = f(x)f(y). f is an isomorphism if it is bijective. If f : G

More information

First Semester Abstract Algebra for Undergraduates

First Semester Abstract Algebra for Undergraduates First Semester Abstract Algebra for Undergraduates Lecture notes by: Khim R Shrestha, Ph. D. Assistant Professor of Mathematics University of Great Falls Great Falls, Montana Contents 1 Introduction to

More information

6 Cosets & Factor Groups

6 Cosets & Factor Groups 6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.

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

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually

2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually 2. Groups 2.1. Groups and monoids. Let s start out with the basic definitions. We will consider sets with binary operations, which we will usually write multiplicatively, as a b, or, more commonly, just

More information

Group Theory

Group Theory Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ 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

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G. 10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,

More information

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations (bijections). Definition A bijection from a set A to itself is also

More information

Reducibility of Polynomials over Finite Fields

Reducibility of Polynomials over Finite Fields Master Thesis Reducibility of Polynomials over Finite Fields Author: Muhammad Imran Date: 1976-06-02 Subject: Mathematics Level: Advance Course code: 5MA12E Abstract Reducibility of certain class of polynomials

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6

More information

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018

MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 MATH 4107 (Prof. Heil) PRACTICE PROBLEMS WITH SOLUTIONS Spring 2018 Here are a few practice problems on groups. You should first work through these WITHOUT LOOKING at the solutions! After you write your

More information

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9 Section 0. Sets and Relations Subset of a set, B A, B A (Definition 0.1). Cartesian product of sets A B ( Defintion 0.4). Relation (Defintion 0.7). Function,

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

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

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2006 2 This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair ISBN 1 57766

More information

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

MATH 433 Applied Algebra Lecture 22: Review for Exam 2. MATH 433 Applied Algebra Lecture 22: Review for Exam 2. Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group

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

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

MA441: Algebraic Structures I. Lecture 18

MA441: Algebraic Structures I. Lecture 18 MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :

More information

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the

More information

Homework #11 Solutions

Homework #11 Solutions Homework #11 Solutions p 166, #18 We start by counting the elements in D m and D n, respectively, of order 2. If x D m and x 2 then either x is a flip or x is a rotation of order 2. The subgroup of rotations

More information

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. 23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, H be groups and ϕ : G H a homomorphism.

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

Lecture 3. Theorem 1: D 6

Lecture 3. Theorem 1: D 6 Lecture 3 This week we have a longer section on homomorphisms and isomorphisms and start formally working with subgroups even though we have been using them in Chapter 1. First, let s finish what was claimed

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples: Monoids Definition: A binary operation on a set M is a function : M M M. If : M M M, we say that is well defined on M or equivalently, that M is closed under the operation. Examples: Definition: A monoid

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

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

Section 15 Factor-group computation and simple groups

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

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists. Group Theory a Let G be a set and be a binary operation on G. (G, ) is called a group if it satisfies the following. 1. For all a, b G, a b G (closure). 2. For all a, b, c G, a (b c) = (a b) c (associativity).

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

Name: Solutions Final Exam

Name: 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 information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

Section 0. Sets and Relations

Section 0. Sets and Relations 0. Sets and Relations 1 Section 0. Sets and Relations NOTE. Mathematics is the study of ideas, not of numbers!!! The idea from modern algebra which is the focus of most of this class is that of a group

More information

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. 23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, Q be groups and ϕ : G Q a homomorphism.

More information

Background Material in Algebra and Number Theory. Groups

Background Material in Algebra and Number Theory. Groups PRELIMINARY READING FOR ALGEBRAIC NUMBER THEORY. HT 2016/17. Section 0. Background Material in Algebra and Number Theory The following gives a summary of the main ideas you need to know as prerequisites

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 3.4 J.A.Beachy 1 3.4 Isomorphisms from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Show that Z 17 is isomorphic to Z 16. Comment: The introduction

More information

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

Cosets and Normal Subgroups

Cosets and Normal Subgroups Cosets and Normal Subgroups (Last Updated: November 3, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from

More information

Foundations of Cryptography

Foundations of Cryptography Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a

More information

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

More information

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston Undergraduate abstract algebra is usually focused on three topics: Group Theory, Ring Theory, and Field Theory. Of the myriad

More information

John B. Fraleigh, A first course in Abstract Algebra, 5th edition, Addison-Wesley.

John B. Fraleigh, A first course in Abstract Algebra, 5th edition, Addison-Wesley. MATH222 ALGEBRAIC METHODS I This subject introduces the study of fundamental algebraic structures and the methods of abstract algebra which pervade much of modern mathematics. One of the important aims

More information

Introduction to Abstract Algebra (Math 113)

Introduction to Abstract Algebra (Math 113) Introduction to Abstract Algebra (Math 113) Alexander Paulin Contents 1 Introduction 2 1.1 What is Algebra?................................. 2 1.2 Sets and Functions................................ 3 1.3

More information

MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes.

MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes. MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes. Subgroups Definition. A group H is a called a subgroup of a group G if H is a subset of G and the

More information

Ideals, congruence modulo ideal, factor rings

Ideals, congruence modulo ideal, factor rings Ideals, congruence modulo ideal, factor rings Sergei Silvestrov Spring term 2011, Lecture 6 Contents of the lecture Homomorphisms of rings Ideals Factor rings Typeset by FoilTEX Congruence in F[x] and

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

Section 3 Isomorphic Binary Structures

Section 3 Isomorphic Binary Structures Section 3 Isomorphic Binary Structures Instructor: Yifan Yang Fall 2006 Outline Isomorphic binary structure An illustrative example Definition Examples Structural properties Definition and examples Identity

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

The number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!.

The number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!. The first exam will be on Friday, September 23, 2011. The syllabus will be sections 0.1 through 0.4 and 0.6 in Nagpaul and Jain, and the corresponding parts of the number theory handout found on the class

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition

More information

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

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

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