• Support PF! Buy your school textbooks, materials and every day products Here!

Onto Homomorphism to cyclic group

  • #1
784
11

Homework Statement


If P: G-->C_6 is an onto group homomorphism and |ker(p)| = 3, show that |G| = 18 and G has normal subgroups of orders 3, 6, and 9.

C_6 is a cyclic group of order 6.

Homework Equations


none

The Attempt at a Solution


I determined that |G| = 18 by taking the factor group G/Ker(p) and realizing it is isormorphic to C_6 and so they must have equal order, then using Lagranges law (I think) I solved for |G| = |Ker(p)|*|C_6| = 18.

G must have a normal subgroup of order 3 because Ker(p) is a normal subgroup of G with order 3. How do I show that G has normal subgroups of order 6 and 9? Do I find a way to show that homomorphisms exist where the order of the kernals are 6 and 9?
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618

Homework Statement


If P: G-->C_6 is an onto group homomorphism and |ker(p)| = 3, show that |G| = 18 and G has normal subgroups of orders 3, 6, and 9.

C_6 is a cyclic group of order 6.

Homework Equations


none

The Attempt at a Solution


I determined that |G| = 18 by taking the factor group G/Ker(p) and realizing it is isormorphic to C_6 and so they must have equal order, then using Lagranges law (I think) I solved for |G| = |Ker(p)|*|C_6| = 18.

G must have a normal subgroup of order 3 because Ker(p) is a normal subgroup of G with order 3. How do I show that G has normal subgroups of order 6 and 9? Do I find a way to show that homomorphisms exist where the order of the kernals are 6 and 9?
Write down a homomorphism Q:C_6-->C_6 such that ker(Q) has order 2. Suppose you consider the composition QP?
 
Last edited:
  • #3
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
G must have a normal subgroup of order 3 because Ker(p) is a normal subgroup of G with order 3. How do I show that G has normal subgroups of order 6 and 9? Do I find a way to show that homomorphisms exist where the order of the kernals are 6 and 9?
Hint: ##C_6## has normal subgroups of orders 1, 2, and 3. (Why?) Now apply the correspondence theorem.
 

Related Threads on Onto Homomorphism to cyclic group

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
0
Views
953
Replies
5
Views
1K
Replies
1
Views
836
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
3
Views
623
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
9
Views
2K
Top