Study your flashcards anywhere!
Download the official Cram app for free >
 Shuffle Toggle OnToggle Off
 Alphabetize Toggle OnToggle Off
 Front First Toggle OnToggle Off
 Both Sides Toggle OnToggle Off
 Read Toggle OnToggle Off
How to study your flashcards.
Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key
Up/Down arrow keys: Flip the card between the front and back.down keyup key
H key: Show hint (3rd side).h key
A key: Read text to speech.a key
25 Cards in this Set
 Front
 Back
Define what a normal subgroup is

A subgroup H of a group G is called a normal subgroup of G if aH=Ha for all a in G


What is the normal subgroup test?

A subgroup H of G is normal in G if and only if xHx^(1) is contained in H for all x in G


What are some examples of groups that we are familiar with that are always normal?

(a) Every subgroup of an Abelian group is Normal
(b) The center of a group is always normal (c) The alternating group An of even permutations is a normal subgroup of Sn 

What is the significance of normal groups?

If a subgroup H is normal, then the set of left (or right) cosets of H in G is itself a group (called the factor or quotient group)


If G is a group and H is a normal subgroup of G, how do we define the factor group G/H?

The set G/H= { aH : a<G } is a group under the operation (aH)(bH)=abH


What is the G/Z Theorem?

Let G be a group and Z(G) be the center. If G/Z(G) is cyclic, then G is Abelian


For any group G, G/Z(G) is isomorphic to...

...Inn(G)


What is Cauchy's Theorem for Abelian Groups?

Let G be a finite Abelian group and let p be a prime that divides the order of G. Then G has an element of order p


Let G be a group and let H and K be subgroups. We say G is the internal direct product of H and K...

...and write G=H*K if H and K are normal subgroups of G and G=HK and H^K={e}


Definition of internal direct product H1*H2*...*Hn

Let H1,...,Hn be a finite collection of normal subgroups of G. We say that G is the internal direct product of H1,...,Hn and write G=H1*...*Hn, if
(1) G=H1H2...Hn= {h1h2...hn: hi<Hi} (2) (H1H2...Hi)^H(i+1)={e} for i=1,2,...,n1 

Every group of order p^2 where p is a prime...

...is isomorphic to Zp^2 or the external direct product of Zp and Zp


If a group G is the internal direct product of a finite number of subgroups, then...

...G is isomorphic to the external direct product of those subgroups


If G is a group of order p^2, where p is a prime...

...then G is abelian


A homomorphism R is...

...a mapping from G to G' that preserves the group operation; that is R(ab)=R(a)R(b) for all a, b in G


The kernel of a homomorphism R is...

...is the set from group G that maps to the identity in G'


What are the first three properties of elements under homomorphisms? (Let R be a homomorphism from G to G' and let g be in G)

(1) R carries the identity of G to the identity of G'
(2) R(g^n)=R(g)^n for all n in Z (3) If g is finite, then R(g) divides g 

What are the last three properties of elements under homomorphisms? (Let R be a homomorphism from G to G' and let g be in G)

(4) Ker R is a subgroup of G
(5) R(a)=R(b) IFF a(Ker R)=b(Ker R) (6) If R(g)=g', then R^1(g')={ x<G  R(x)=g'}= g(Ker R) 

What are the first three properties of subgroups under homomorphisms? (Let R be a homomorphism from G to G' and let H be a subgroup of G)

(1) R(H) is a subgroup of G'
(2) If H is cyclic, R(H) is cyclic (3) if H is abelian, R(H) is abelian 

What are the middle three properties of subgroups under homomorphisms? (Let R be a homomorphism from G to G' and let H be a subgroup of G

(4) If H is normal in G, then R(H) is normal in G'
(5) If Ker R= n, then R is an n to 1 mapping from G onto R(G) (6) if H=n, then R(H) divides n 

What are the last three properties of subgroups under homomorphisms? (Let R be a homomorphism from G to G' and let H be a subgroup of G

(7) If K' is a subgroup of G', then R^(1) [K'] is a subgroup of G
(8) If K' is a normal subgroup of G', then R^(1) [K'] is a normal subgroup of G (9) If R is onto and Ker R= {e}, then R is an isomorphism 

State the first Isomorphism Theorem

Let R be a homomorphism from G to G'. Then the mapping G/Ker R to R(G) given by gKer R > R(g) is an isomorphism


Corollary to First Isomorphism Theorem

If R is a homomorphism from a finite group G to G', then R(G) divides G and G'


Every normal subgroup of a group is...

...the kernel of a homomorphism. In particular, a normal subgroup N is the kernel of the mapping g > gN from G to G/N


State the Fundamental Theorem of Finite Abelian Groups

Every finite Abelian group is a direct product of cyclic groups of primepower order. Moreover, the number of terms in the product and the orders of the cyclic groups are uniquely determined by the group


If m divides the order of a finite Abelian group...

...then G has a subgroup of order m
