Section 11 Direct products and finitely generated abelian groups
|
|
- Heather Harrington
- 5 years ago
- Views:
Transcription
1 Section 11 Direct products and finitely generated abelian groups Instructor: Yifan Yang Fall 2006
2 Outline Direct products Finitely generated abelian groups
3 Cartesian product Definition The Cartesian product of sets S 1, S 2,..., S n is the set of ordered n-tuples (a 1, a 2,..., a n ), where a i S i for i = 1, 2,..., n. It is denoted by either S 1 S 2... S n or n S i. i=1
4 Direct products Theorem Let G 1, G 2,..., G n be groups. For (a 1, a 2,..., a n ) and (b 1, b 2,..., b n ) in n i=1 G i define (a 1, a 2,..., a n )(b 1, b 2,..., b n ) to be (a 1 b 1, a 2 b 2,..., a n b n ). Then n i=1 G i is a group under this binary operation. Proof. Straightforward. See the textbook. Definition The group n i=1 G i defined above is called the direct product of the groups G i.
5 Direct sums When the groups G i are all abelian with operation +, we sometimes use the notation G 1 G 2 G n = n i=1 G i instead of G 1 G 2 G n = n i=1 G i. Also, we call the group n i=1 G i the direct sum of the groups G i. Remark The changing of the order of the factors in a direct product yields a group isomorphic to the original one. For example, define φ : G 1 G 2 G 2 G 1 by φ((g 1, g 2 )) = (g 2, g 1 ). It is easy to verify that φ is an isomorphism.
6 Example Consider Z 2 Z 3. It has 6 elements, namely (0, 0), (0, 1), (0, 2), (1, 0), (1, 1), and (1, 2). Since it is abelian, it must be isomorphic to Z 6. (A group of order 6 is isomorphic to either Z 6 or S 3.) In fact, if we set g = (1, 1), then we have 2g = (1, 1) + (1, 1) = (0, 2) 3g = 2g + (1, 1) = (0, 2) + (1, 1) = (1, 0) 4g = 3g + (1, 1) = (1, 0) + (1, 1) = (0, 1) 5g = 4g + (1, 1) = (0, 1) + (1, 1) = (1, 2) 6g = 5g + (1, 1) = (1, 2) + (1, 1) = (0, 0). In other words, Z 2 Z 3 is cyclic of order 6, and hence isomorphic to Z 6.
7 Example Consider Z 2 Z 2. It has 4 elements. Thus, it is isomorphic to either Z 4 or Z 8 = {1, 3, 5, 7}. Now for all (a, b) Z 2 Z 2, we have 2(a, b) = (0, 0). Thus, there is no element having order 4. The group must be isomorphic to Z 8.
8 When is a direct sum of abelian groups cyclic? Theorem (11.5) The group Z m Z n is cyclic and isomorphic to Z mn if and only if m and n are relatively prime. Proof. Let (a, b) be an element in Z m Z n. The order of a in Z m divides m, and the order of b in Z n divides n. Thus, if k is a multiple of lcm(m, n), then we have k(a, b) = (0, 0). If lcm(m, n) mn, i.e., if gcd(m, n) 1, then Z m Z n cannot be cyclic. Conversely, assume that gcd(m, n) = 1. Consider the element (1, 1). If k(1, 1) = (0, 0), then k must be both a multiple of m and a multiple of n, i.e., lcm(m, n) k. Since gcd(m, n) = 1, we have lcm(m, n) = mn. Thus (1, 1) = mn = Z m Z n. Therefore Z m Z n is cyclic and isomorphic to Z mn.
9 When is a direct sum of abelian groups cyclic? Corollary (11.6) The group n i=1 Z m i is cyclic and isomorphic to Z m1 m 2...m n if and only if the numbers m i are pairwise coprime. Example 1. The group Z 30 is isomorphic to Z 2 Z 3 Z 5, also to Z 6 Z 5, Z 2 Z 15, and so on. 2. The group Z 12 Z 21 is isomorphic to Z 84 Z 3 because Z 12 Z 21 Z 12 Z 7 Z 3 Z 84 Z 3.
10 Order of an element in a direct product Theorem (11.9) Let (a 1, a 2,..., a n ) n i=1 G i. If a i is of finite order r i in G i, then the order of (a 1, a 2,..., a n ) in n i=1 G i is equal to the least common multiple of all r i. Proof. Since (a 1, a 2,..., a n ) k = (a k 1, ak 2,..., ak n), if (a 1, a 2,..., a n ) k = (e 1, e 2,..., e n ), then r i k for all i. That is, k must be a multiple of lcm(r 1, r 2,..., r n ). This is a necessary and sufficient condition. Therefore, the order of (a 1, a 2,..., a n ) is lcm(r 1, r 2,..., r n ).
11 Examples 1. Consider (9, 5, 7) in the group Z 12 Z 15 Z 20. The element 9 in Z 12 is of order 12/ gcd(9, 12) = 4, the element 5 in Z 15 has order 15/ gcd(5, 15) = 3, and the element 7 in Z 20 has order 20/ gcd(7, 20) = 20. The least common multiple of 4, 3, and 20 is 60. Thus, the order of (9, 5, 7) is Consider (8, 4, 10) in the group Z 12 Z 60 Z 24. The element 8 in Z 12 has order 3 since gcd(8, 12) = 4, the element 4 in Z 60 has order 15, and element 10 in Z 24 has order 12. The least common multiple of 3, 15, and 12 is 60. Thus, the order of (8, 4, 10) is 60.
12 In-class exercises 1. Determine whether Z 18 Z 15 Z 12 is isomorphic to Z 9 Z 45 Z Determine whether Z 18 Z 15 Z 12 is isomorphic to Z 9 Z 10 Z Find the order of (2, 6, 3) in Z 12 Z 9 Z Find the order of (3, 4, 8) in Z 12 Z 18 Z 20.
13 Finitely generated abelian groups Definition An abelian group is finitely generated if it can be generated by a finite number of elements. Theorem (Fundamental theorem of finitely generated abelian groups) Suppose that G is a finitely generated abelian group. Then G is isomorphic to a direct product of cyclic groups in the form Z p e 1 1 Z p e Z p en n Z Z... Z, where p i are primes, not necessarily distinct. The direct product is unqiue except for possible rearrangement of the factors.
14 Finitely generated abelian groups Definition Let G be a finitely generated abelian group. The number of copies of Z in the above theorem is the Betti number of G. In some occasions, it is also called the rank of G.
15 Example Example Using the above theorem, we find that the only abelian groups of order 360 = , up to isomorphism, are Z 2 3 Z 3 2 Z 5 ( Z 360 ), Z 2 2 Z 2 Z 3 2 Z 5, Z 2 Z 2 Z 2 Z 3 2 Z 5, Z 2 3 Z 3 Z 3 Z 5, Z 2 2 Z 2 Z 3 Z 3 Z 5, Z 2 Z 2 Z 2 Z 3 Z 3 Z 5.
16 Finitely generated abelian groups In general, if the prime factorization of a positive integer n is n = p e 1 1 pe pe k k, where p i are distinct primes, then the number of all abelian groups of order n, up to isomorphism, is equal to p(e 1 )p(e 2 )... p(e n ), where p(e) is the number of ways to write an integer e as a sum of positive integers. (For example, Thus p(4) = 5.) 4 = 4 = = = =
17 Example Consider n = 200 = We have 3 = 3 = = , and 2 = 2 = Thus, there are 3 2 non-isomorphic abelian groups of order 200. They are Z 2 3 Z 5 2 ( Z 200 ) Z 2 3 Z 5 Z 5 Z 2 2 Z 2 Z 5 2 Z 2 2 Z 2 Z 5 Z 5 Z 2 Z 2 Z 2 Z 5 2 Z 2 Z 2 Z 2 Z 5 Z 5.
18 Applications Theorem (11.16) If m divides the order of a finite abelian group G, then G has a subgroup of order m. Proof. By the fundamental theorem of finitely generated abelian groups, we have G Z e p 1 Z e 1 p 2 Z p en. If m G, then 2 n m = p f pn fn for some non-negative integers f i. (There may be more than one way to write m since p i are not necessarily distinct.). Then the subgroup has order p f p fn n = m. p e 1 f 1 1 p e 2 f 2 2 p en fn n
19 Remark The statement in Theorem in general is false if G is not abelian. For example, A 4 has 12 elements, but it does not have a subgroup of order 6. To see this, suppose that H < A 4 has order 6. Then it has an element τ of order 2 and an element σ of order 3 with τστ 1 = σ i, where i = 1 or 2. Without loss of generality, we may assume that σ = (1, 2, 3). Now there are 3 elements of order 2 in A 4, namely, τ 1 = (1, 2)(3, 4), τ 2 = (1, 3)(2, 4), and τ 3 = (1, 4)(2, 3). However, τ 1 στ 1 1 = (1, 2)(3, 4)(1, 2, 3)(3, 4)(1, 2) = (1, 4, 2) τ 2 στ 1 2 = (1, 3)(2, 4)(1, 2, 3)(2, 4)(1, 3) = (1, 3, 4) τ 3 στ 1 3 = (1, 4)(2, 3)(1, 2, 3)(2, 3)(1, 4) = (2, 4, 3). Thus, there is no subgroup of order 6 in A 4.
20 Exercises In-class exercises 1. Let p(e) be the number of ways to write a positive integer e as a sum of positive integers. Find p(8). 2. Find all abelian groups of order 144, up to isomorphism. 3. Find all abelian groups of order 216, up to isomorphism. Homework Problems 6, 8, 10, 12, 16, 18, 24, 26, 29, 38, 39, 47 of Section 11.
Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)
Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Warm up: 1. Let n 1500. Find all sequences n 1 n 2... n s 2 satisfying n i 1 and n 1 n s n (where s can vary from sequence to
More informationMATH 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 informationSection 19 Integral domains
Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There
More informationSection 15 Factor-group computation and simple groups
Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group
More informationChinese Remainder Theorem explained with rotations
Chinese Remainder Theorem explained with rotations Reference: Antonella Perucca, The Chinese Remainder Clock, The College Mathematics Journal, 2017, Vol. 48, No. 2, pp. 82-89. 2 One step-wise rotation
More informationALGEBRA 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 informationSection II.2. Finitely Generated Abelian Groups
II.2. Finitely Generated Abelian Groups 1 Section II.2. Finitely Generated Abelian Groups Note. In this section we prove the Fundamental Theorem of Finitely Generated Abelian Groups. Recall that every
More informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationHomework 6 Solutions to Selected Problems
Homework 6 Solutions to Selected Problems March 16, 2012 1 Chapter 7, Problem 6 (not graded) Note that H = {bn : b Z}. That is, H is the subgroup of multiples of n. To nd cosets, we look for an integer
More informationHomework #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 informationSection 33 Finite fields
Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationSection 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 informationConverse to Lagrange s Theorem Groups
Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on
More informationConsider the following general situation: let G and H be two sets (not. G H = f(g; h)j g 2 G; h 2 Hg:
Math 375 Week 8 1.1 (External) Direct Products Consider the following general situation: let G and H be two sets (not necessarily distinct). Consider the set of pairs G H = f(g; h)j g 2 G; h 2 Hg: This
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationHOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS
HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS 1. Chapter 3, Problem 18 (Graded) Let H and K be subgroups of G. Then e, the identity, must be in H and K, so it must be in H K. Thus, H K is nonempty, so we can
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationFundamental Theorem of Finite Abelian Groups
Monica Agana Boise State University September 1, 2015 Theorem (Fundamental Theorem of Finite Abelian Groups) Every finite Abelian group is a direct product of cyclic groups of prime-power order. The number
More informationThe group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.
The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct
More informationExtra exercises for algebra
Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session
More informationNONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationa = mq + r where 0 r m 1.
8. Euler ϕ-function We have already seen that Z m, the set of equivalence classes of the integers modulo m, is naturally a ring. Now we will start to derive some interesting consequences in number theory.
More informationDiscrete Mathematics with Applications MATH236
Discrete Mathematics with Applications MATH236 Dr. Hung P. Tong-Viet School of Mathematics, Statistics and Computer Science University of KwaZulu-Natal Pietermaritzburg Campus Semester 1, 2013 Tong-Viet
More informationMath 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 information0 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 informationMath Exam 1 Solutions October 12, 2010
Math 415.5 Exam 1 Solutions October 1, 1 As can easily be expected, the solutions provided below are not the only ways to solve these problems, and other solutions may be completely valid. If you have
More informationLecture 7 Cyclic groups and subgroups
Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:
More informationMA441: 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 informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
More informationMath 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 informationSection VI.33. Finite Fields
VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,
More informationNotes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013
Notes on Group Theory by Avinash Sathaye, Professor of Mathematics November 5, 2013 Contents 1 Preparation. 2 2 Group axioms and definitions. 2 Shortcuts................................. 2 2.1 Cyclic groups............................
More informationDivisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006
Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18
More information13 More on free abelian groups
13 More on free abelian groups Recall. G is a free abelian group if G = i I Z for some set I. 13.1 Definition. Let G be an abelian group. A set B G is a basis of G if B generates G if for some x 1,...x
More informationFINITE ABELIAN GROUPS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 7 FINITE ABELIAN GROUPS Amin Witno Abstract We detail the proof of the fundamental theorem of finite abelian groups, which states that every
More informationTheorems 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 informationCosets, 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 informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationMATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.
MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups. Binary codes Let us assume that a message to be transmitted is in binary form. That is, it is a word in the alphabet
More informationSection 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 informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationSection I.6. Symmetric, Alternating, and Dihedral Groups
I.6. Symmetric, alternating, and Dihedral Groups 1 Section I.6. Symmetric, Alternating, and Dihedral Groups Note. In this section, we conclude our survey of the group theoretic topics which are covered
More informationGroup 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 informationEXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd
EXAM 3 MAT 23 Modern Algebra I Fall 201 Name: Section: I All answers must include either supporting work or an explanation of your reasoning. MPORTANT: These elements are considered main part of the answer
More informationMathematics 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 informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More informationM381 Number Theory 2004 Page 1
M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +
More informationAlgebra I: Final 2015 June 24, 2015
1 Algebra I: Final 2015 June 24, 2015 ID#: Quote the following when necessary. A. Subgroup H of a group G: Name: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of
More informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial
More informationLecture notes: Algorithms for integers, polynomials (Thorsten Theobald)
Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures
More informationFrank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:
Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,
More informationDefinitions, 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 information1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.
1 2 3 style total Math 415 Examination 3 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. The rings
More informationD-MATH Algebra II FS18 Prof. Marc Burger. Solution 21. Solvability by Radicals
D-MATH Algebra II FS18 Prof. Marc Burger Solution 21 Solvability by Radicals 1. Let be (N, ) and (H, ) be two groups and ϕ : H Aut(N) a group homomorphism. Write ϕ h := ϕ(h) Aut(N) for each h H. Define
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationPart 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 informationII. Products of Groups
II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product
More informationIntroduction to Number Theory 1. c Eli Biham - December 13, Introduction to Number Theory 1
Introduction to Number Theory 1 c Eli Biham - December 13, 2012 206 Introduction to Number Theory 1 Division Definition: Let a and b be integers. We say that a divides b, or a b if d s.t. b = ad. If b
More informationGroups in Cryptography. Çetin Kaya Koç Winter / 13
http://koclab.org Çetin Kaya Koç Winter 2017 1 / 13 A set S and a binary operation A group G = (S, ) if S and satisfy: Closure: If a, b S then a b S Associativity: For a, b, c S, (a b) c = a (b c) A neutral
More informationSection 18 Rings and fields
Section 18 Rings and fields Instructor: Yifan Yang Spring 2007 Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R)
More informationLagrange s Theorem. Philippe B. Laval. Current Semester KSU. Philippe B. Laval (KSU) Lagrange s Theorem Current Semester 1 / 10
Lagrange s Theorem Philippe B. Laval KSU Current Semester Philippe B. Laval (KSU) Lagrange s Theorem Current Semester 1 / 10 Introduction In this chapter, we develop new tools which will allow us to extend
More informationINTRODUCTION 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 informationNOTES ON INTEGERS. 1. Integers
NOTES ON INTEGERS STEVEN DALE CUTKOSKY The integers 1. Integers Z = {, 3, 2, 1, 0, 1, 2, 3, } have addition and multiplication which satisfy familar rules. They are ordered (m < n if m is less than n).
More informationFIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS
FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS LINDSAY N. CHILDS Abstract. Let G = F q β be the semidirect product of the additive group of the field of q = p n elements and the cyclic
More informationBackground 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 informationLECTURE NOTES IN CRYPTOGRAPHY
1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic
More informationTeddy Einstein Math 4320
Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective
More informationWhat is a semigroup? What is a group? What is the difference between a semigroup and a group?
The second exam will be on Thursday, July 5, 2012. The syllabus will be Sections IV.5 (RSA Encryption), III.1, III.2, III.3, III.4 and III.8, III.9, plus the handout on Burnside coloring arguments. Of
More informationMath 121 Homework 3 Solutions
Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting
More informationGroups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group
C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development
More information5 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 informationABSTRACT 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 informationFROM 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 informationMATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis
MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.
More informationJohn 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 informationRings 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 information2MA105 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 informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationMathematical Foundations of Public-Key Cryptography
Mathematical Foundations of Public-Key Cryptography Adam C. Champion and Dong Xuan CSE 4471: Information Security Material based on (Stallings, 2006) and (Paar and Pelzl, 2010) Outline Review: Basic Mathematical
More informationFall /29/18 Time Limit: 75 Minutes
Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages
More informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationMath 4320, Spring 2011
Math 4320, Spring 2011 Prelim 2 with solutions 1. For n =16, 17, 18, 19 or 20, express Z n (A product can have one or more factors.) as a product of cyclic groups. Solution. For n = 16, G = Z n = {[1],
More informationABELIAN GROUPS WHOSE SUBGROUP LATTICE IS THE UNION OF TWO INTERVALS
J. Aust. Math. Soc. 78 (2005), 27 36 ABELIAN GROUPS WHOSE SUBGROUP LATTICE IS THE UNION OF TWO INTERVALS SIMION BREAZ and GRIGORE CĂLUGĂREANU (Received 15 February 2003; revised 21 July 2003) Communicated
More informationGRE 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 informationAnswers 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 informationSOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,
SOLUTIONS TO PROBLEM SET 1 Section 1.3 Exercise 4. We see that 1 1 2 = 1 2, 1 1 2 + 1 2 3 = 2 3, 1 1 2 + 1 2 3 + 1 3 4 = 3 4, and is reasonable to conjecture n k=1 We will prove this formula by induction.
More informationMath 581 Problem Set 7 Solutions
Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that
More informationm + q = p + n p + s = r + q m + q + p + s = p + n + r + q. (m + s) + (p + q) = (r + n) + (p + q) m + s = r + n.
9 The Basic idea 1 = { 0, 1, 1, 2, 2, 3,..., n, n + 1,...} 5 = { 0, 5, 1, 6, 2, 7,..., n, n + 5,...} Definition 9.1. Let be the binary relation on ω ω defined by m, n p, q iff m + q = p + n. Theorem 9.2.
More informationSolutions for Homework Assignment 5
Solutions for Homework Assignment 5 Page 154, Problem 2. Every element of C can be written uniquely in the form a + bi, where a,b R, not both equal to 0. The fact that a and b are not both 0 is equivalent
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
More informationMATH 403 MIDTERM ANSWERS WINTER 2007
MAH 403 MIDERM ANSWERS WINER 2007 COMMON ERRORS (1) A subset S of a ring R is a subring provided that x±y and xy belong to S whenever x and y do. A lot of people only said that x + y and xy must belong
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields
More informationCh 4.2 Divisibility Properties
Ch 4.2 Divisibility Properties - Prime numbers and composite numbers - Procedure for determining whether or not a positive integer is a prime - GCF: procedure for finding gcf (Euclidean Algorithm) - Definition:
More information