Section 11 Direct products and finitely generated abelian groups

Similar documents
Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)

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

Section 19 Integral domains

Section 15 Factor-group computation and simple groups

Chinese Remainder Theorem explained with rotations

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

Section II.2. Finitely Generated Abelian Groups

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

Homework 6 Solutions to Selected Problems

Homework #5 Solutions

Section 33 Finite fields

120A LECTURE OUTLINES

Section 3 Isomorphic Binary Structures

Converse to Lagrange s Theorem Groups

Consider the following general situation: let G and H be two sets (not. G H = f(g; h)j g 2 G; h 2 Hg:

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Section II.1. Free Abelian Groups

HOMEWORK Graduate Abstract Algebra I May 2, 2004

HOMEWORK 4 SOLUTIONS TO SELECTED PROBLEMS

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

Fundamental Theorem of Finite Abelian Groups

The 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.

Extra exercises for algebra

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

4 Powers of an Element; Cyclic Groups

a = mq + r where 0 r m 1.

Discrete Mathematics with Applications MATH236

Math 546, Exam 2 Information.

0 Sets and Induction. Sets

Math Exam 1 Solutions October 12, 2010

Lecture 7 Cyclic groups and subgroups

MA441: Algebraic Structures I. Lecture 18

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

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups

Math 210A: Algebra, Homework 5

Section VI.33. Finite Fields

Notes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

13 More on free abelian groups

FINITE ABELIAN GROUPS Amin Witno

Theorems and Definitions in Group Theory

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Week Some Warm-up Questions

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

Section 13 Homomorphisms

Kevin James. p-groups, Nilpotent groups and Solvable groups

Section I.6. Symmetric, Alternating, and Dihedral Groups

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

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

Mathematics for Cryptography

MA441: Algebraic Structures I. Lecture 26

M381 Number Theory 2004 Page 1

Algebra I: Final 2015 June 24, 2015

Algebra Exercises in group theory

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald)

Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:

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

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 21. Solvability by Radicals

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Part II Permutations, Cosets and Direct Product

II. Products of Groups

Introduction to Number Theory 1. c Eli Biham - December 13, Introduction to Number Theory 1

Groups in Cryptography. Çetin Kaya Koç Winter / 13

Section 18 Rings and fields

Lagrange s Theorem. Philippe B. Laval. Current Semester KSU. Philippe B. Laval (KSU) Lagrange s Theorem Current Semester 1 / 10

INTRODUCTION TO THE GROUP THEORY

NOTES ON INTEGERS. 1. Integers

FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS

Background Material in Algebra and Number Theory. Groups

LECTURE NOTES IN CRYPTOGRAPHY

Teddy Einstein Math 4320

What is a semigroup? What is a group? What is the difference between a semigroup and a group?

Math 121 Homework 3 Solutions

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

5 Group theory. 5.1 Binary operations

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

FROM GROUPS TO GALOIS Amin Witno

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

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

Rings and Fields Theorems

2MA105 Algebraic Structures I

and this makes M into an R-module by (1.2). 2

Mathematical Foundations of Public-Key Cryptography

Fall /29/18 Time Limit: 75 Minutes

Two subgroups and semi-direct products

Math 4320, Spring 2011

ABELIAN GROUPS WHOSE SUBGROUP LATTICE IS THE UNION OF TWO INTERVALS

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

Answers to Final Exam

SOLUTIONS 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,

Math 581 Problem Set 7 Solutions

m + 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.

Solutions for Homework Assignment 5

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

MATH 403 MIDTERM ANSWERS WINTER 2007

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

Modules Over Principal Ideal Domains

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

Ch 4.2 Divisibility Properties

Transcription:

Section 11 Direct products and finitely generated abelian groups Instructor: Yifan Yang Fall 2006

Outline Direct products Finitely generated abelian groups

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

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.

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.

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.

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.

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.

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.

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 ).

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 60. 2. 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.

In-class exercises 1. Determine whether Z 18 Z 15 Z 12 is isomorphic to Z 9 Z 45 Z 8. 2. Determine whether Z 18 Z 15 Z 12 is isomorphic to Z 9 Z 10 Z 36. 3. Find the order of (2, 6, 3) in Z 12 Z 9 Z 15. 4. Find the order of (3, 4, 8) in Z 12 Z 18 Z 20.

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 2 2... 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.

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.

Example Example Using the above theorem, we find that the only abelian groups of order 360 = 2 3 3 2 5, 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.

Finitely generated abelian groups In general, if the prime factorization of a positive integer n is n = p e 1 1 pe 2 2... 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 = 3 + 1 = 2 + 2 = 2 + 1 + 1 = 1 + 1 + 1 + 1.

Example Consider n = 200 = 2 3 5 2. We have 3 = 3 = 2 + 1 = 1 + 1 + 1, and 2 = 2 = 1 + 1. 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.

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 1 1... 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 1 1... p fn n = m. p e 1 f 1 1 p e 2 f 2 2 p en fn n

Remark The statement in Theorem 11.16 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.

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.