This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Tarleton State University March 4, 2010 Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Overview Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Fibers (no, not the cotton kind) Definition 1 Let ϕ : G → H be a homomorphism and suppose h ∈ H . Then the fiber over h is defined to be X h = { g ∈ G  ϕ ( g ) = h } = ϕ 1 ( h ) . Remark 2 Let ϕ : G → H be a homomorphism. 1. Let h 1 , h 2 ∈ H. Then X h 1 = X h 2 ⇐⇒ h 1 = h 2 . 2. G = uniondisplay h ∈ H X h . Thus, the group G is partitioned by the fibers over elements of H. 3. Let h 1 , h 2 ∈ H. Then we define a natural product on the fibers by X h 1 X h 2 = X h 1 h 2 . 4. Using the above product, the set of fibers forms a group. Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Example Example 3 Consider the additive group G = Z . Let H = Z n = ( x ) , the cyclic group of order n . Define ϕ ( a ) = x a . Find the fiber of ϕ over x a . Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Basic Ideas Definition 4 If ϕ is a homomorphism ϕ : G → H , the kernel of ϕ is the set Ker ( ϕ ) = { g ∈ G  ϕ ( g ) = 1 H } . Proposition 5 Let G and H be groups and let ϕ : G → H be a homomorphism. 1. ϕ ( 1 G ) = 1 H . 2. ϕ ( g 1 ) = ϕ ( g ) 1 for all g ∈ G. 3. ϕ ( g n ) = ϕ ( g ) n for all n ∈ Z . 4. Ker ( ϕ ) is a subgroup of G. 5. Im ( ϕ ) , the image of G under ϕ , is a subgroup of H. Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program Quotient Groups Definition 6 Let ϕ : G → H be a homomorphism with kernel K . The quotient group or factor group , G / K , read G modulo K or G mod K , is the group whose elements are the fibers of ϕ with group operation defined by: X a X b = X ab for elements a , b ∈ H . Chapter 3: Quotient Groups and Homomorphisms Keith E. Emmert Definition and Examples More on Cosets and Lagrange’s Theorem The Isomorphism Theorems Composition Series and the Holder Program...
View
Full
Document
This note was uploaded on 01/16/2012 for the course MATH 508 taught by Professor Staff during the Spring '08 term at Tarleton.
 Spring '08
 Staff
 Sets

Click to edit the document details