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

Similar documents
Section II.2. Finitely Generated Abelian Groups

Section 11 Direct products and finitely generated abelian groups

Fundamental Theorem of Finite Abelian Groups

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

5.2.8: Let A be a finite abelian group written multplicatively, and let p be a prime. Define

The primitive root theorem

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

Section II.1. Free Abelian Groups

Kevin James. MTHSC 412 Section 3.4 Cyclic Groups

Converse to Lagrange s Theorem Groups

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

Rings and Fields Theorems

The classification of torsion-free abelian groups up to isomorphism and quasi-isomorphism

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

4 Powers of an Element; Cyclic Groups

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

Lecture 7 Cyclic groups and subgroups

120A LECTURE OUTLINES

Math 547, Exam 1 Information.

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

Chapter 5. Modular arithmetic. 5.1 The modular ring

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

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

HOMEWORK Graduate Abstract Algebra I May 2, 2004

Stab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.

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.

5: The Integers (An introduction to Number Theory)

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

Algebra Exercises in group theory

Theorems and Definitions in Group Theory

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Name: Solutions Final Exam

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

Chapter 5: The Integers

Zeta Functions of Burnside Rings for Symmetric and Alternating Groups

Algebra Homework, Edition 2 9 September 2010

ABSTRACT ALGEBRA 1 COURSE NOTES, LECTURE 11: SYLOW THEORY.

In the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.

Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)

Algebra Prelim Notes

ISOMORPHISM OF COMMUTATIVE MODULAR GROUP ALGEBRAS. P.V. Danchev

arxiv: v2 [math.gr] 17 Dec 2017

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

1. Group Theory Permutations.

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

MA441: Algebraic Structures I. Lecture 18

Groups and Symmetries

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Near supplements and complements in solvable groups of finite rank

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

Abstract Algebra Study Sheet

FINITE ABELIAN GROUPS Amin Witno

A talk given at the Institute of Mathematics (Beijing, June 29, 2008)

MINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES

Modules Over Principal Ideal Domains

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009)

Lecture 22 More on Rings

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

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Lecture 24 Properties of deals

Math 546, Exam 2 Information.

13 More on free abelian groups

ALGEBRA QUALIFYING EXAM SPRING 2012

On some numerical invariants of finite groups. Jan Krempa Institute of Mathematics, University of Warsaw

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

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.

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

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

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Zeta Function of the Burnside Ring for Cyclic Groups

TC10 / 3. Finite fields S. Xambó

Rohit Garg Roll no Dr. Deepak Gumber

Rings, Integral Domains, and Fields

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

Algebraic Structures Exam File Fall 2013 Exam #1

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

Landau s Theorem for π-blocks of π-separable groups

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

Hamburger Beiträge zur Mathematik

Left Metacyclic Ideals

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

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

ISOMORPHISM OF MODULAR GROUP ALGEBRAS OF ABELIAN GROUPS WITH SEMI-COMPLETE p-primary COMPONENTS

QUALIFYING EXAM IN ALGEBRA August 2011

Definition 1.2. Let G be an arbitrary group and g an element of G.

SOME NORMAL EXTENSIONS OF THE DIOPHANTINE GROUP

5 Group theory. 5.1 Binary operations

Automorphisms of strongly regular graphs and PDS in Abelian groups

Mathematics for Cryptography

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

The power graph of a finite group, II

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

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

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

MA441: Algebraic Structures I. Lecture 26

1 p mr. r, where p 1 < p 2 < < p r are primes, reduces then to the problem of finding, for i = 1,...,r, all possible partitions (p e 1

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2

Transcription:

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 sequence) 2. Is Z 3 Z 3 cyclic? How about Z 3 Z 2? n i

Proposition Let m, n P Z. 1. Z m Z n Z mn if and only if pm, nq 1. 2. If n p α 1 1... pα k k then Z n Z p α 1 1 Z α p k. k

Last time: 1. A group G is finitely generated if there is a finite subset A of G such that G xay.

Last time: 1. A group G is finitely generated if there is a finite subset A of G such that G xay. 2. For each r P Z with r 0, let Z r Z Z Z be the direct product of r copies of the group Z, where Z 0 1. The group Z r is called the free abelian group of rank r.

Last time: 1. A group G is finitely generated if there is a finite subset A of G such that G xay. 2. For each r P Z with r 0, let Z r Z Z Z be the direct product of r copies of the group Z, where Z 0 1. The group Z r is called the free abelian group of rank r. Theorem (FUNDAMENTAL Theorem of Finitely Generated Abelian Groups) If G is a finitely generated abelian group, then G Z r Z n1 Z n2 Z ns for some integers r, n 1 n s 2 such that r 0 and ni. Moreover, this expression is unique. n i 1

Theorem (FTFGAG) If G is a finitely generated abelian group, then G Z r Z n1 Z n2 Z ns for some integers r, n 1 n s 2 such that r 0 and ni. Moreover, this expression is unique. n i 1 The integer r is called the free rank or Betti number of G and the integers n 1, n 2,..., n s are called the invariant factors of G. The description is called the invariant factor decomposition of G. If G is finite, we call s the rank, and G is of type pn 1,..., n s q.

Theorem (FTFGAG) If G is a finitely generated abelian group, then G Z r Z n1 Z n2 Z ns for some integers r, n 1 n s 2 such that r 0 and ni. Moreover, this expression is unique. n i 1 The integer r is called the free rank or Betti number of G and the integers n 1, n 2,..., n s are called the invariant factors of G. The description is called the invariant factor decomposition of G. If G is finite, we call s the rank, and G is of type pn 1,..., n s q. Proposition Every prime divisor of n must divide the first invariant factor n 1.

Theorem (FTFGAG) If G is a finitely generated abelian group, then G Z r Z n1 Z n2 Z ns for some integers r, n 1 n s 2 such that r 0 and ni. Moreover, this expression is unique. n i 1 The integer r is called the free rank or Betti number of G and the integers n 1, n 2,..., n s are called the invariant factors of G. The description is called the invariant factor decomposition of G. If G is finite, we call s the rank, and G is of type pn 1,..., n s q. Proposition Every prime divisor of n must divide the first invariant factor n 1. Corollary If n is the product of distinct primes, then up to isomorphism the only abelian group of order n is Z n, the cyclic group of order n.

Theorem (Primary decomposition theorem) Let G be an abelian group of order n 1 where n factors into primes as n p α 1 1... pα k. Then k G A 1 A 2 A k with A i p α i i.

Theorem (Primary decomposition theorem) Let G be an abelian group of order n 1 where n factors into primes as n p α 1 1... pα k. Then k G A 1 A 2 A k with A i p α i i. Moreover, for each A P ta 1,..., A k u with A p α, A Z p β 1 Z p β t for some partition β 1 β t 1 of α.

Theorem (Primary decomposition theorem) Let G be an abelian group of order n 1 where n factors into primes as n p α 1 1... pα k. Then k G A 1 A 2 A k with A i p α i i. Moreover, for each A P ta 1,..., A k u with A p α, A Z p β 1 Z p β t for some partition β 1 β t 1 of α. Finally, these decompositions are unique.

Theorem (Primary decomposition theorem) Let G be an abelian group of order n 1 where n factors into primes as n p α 1 1... pα k. Then k G A 1 A 2 A k with A i p α i i. Moreover, for each A P ta 1,..., A k u with A p α, A Z p β 1 Z p β t for some partition β 1 β t 1 of α. Finally, these decompositions are unique. The integers p β j are called the elementary divisors of G. This description of G is called its elementary divisor decomposition.

G A 1 A 2 A k with A i p α i i. Note: A i is the unique Sylow p i -subgroup of G, so the primary decomposition theorem really says Every finite abelian group is isomorphic to a direct product of its Sylow p-subgroups.

PART II: RING THEORY 1. A ring R is a set together with two binary operations and such that 1.1 pr, q is an abelian group, 1.2 is associative: pa bq c a pb cq, 1.3 the distributive laws hold for R pa bq c pa cq pb cq and a pb cq pa bq pa cq.

PART II: RING THEORY 1. A ring R is a set together with two binary operations and such that 1.1 pr, q is an abelian group, 1.2 is associative: pa bq c a pb cq, 1.3 the distributive laws hold for R pa bq c pa cq pb cq and a pb cq pa bq pa cq. 2. The ring R is commutative if is commutative.

PART II: RING THEORY 1. A ring R is a set together with two binary operations and such that 1.1 pr, q is an abelian group, 1.2 is associative: pa bq c a pb cq, 1.3 the distributive laws hold for R pa bq c pa cq pb cq and a pb cq pa bq pa cq. 2. The ring R is commutative if is commutative. 3. The ring R is said to have an identity if there is an element 1 P R with 1 a a 1 a for all a P R.