My Math Forum Subgroup/Normal Subgroup/Automorphism Questions

 Abstract Algebra Abstract Algebra Math Forum

 October 3rd, 2009, 06:35 PM #1 Newbie   Joined: Oct 2009 Posts: 14 Thanks: 0 Subgroup/Normal Subgroup/Automorphism Questions In this problem, assume (important!) that G is an Abelian. Set H = {g in G : g^5 = e}. (Warning: Expressions such as x^1/5 are not well defined. Do not use them!) (a) Show H is a subgroup of G. (b) Show H is a normal subgroup of G. (c) Assume further that G is finite and that H = {e}. Show that the map phi : G --> G given by phi(g) = g^5 is an automorphism. (Definition: An automorphism is an isomorphism from a group to itself.)
October 4th, 2009, 03:12 AM   #2
Senior Member

Joined: Oct 2007
From: Chicago

Posts: 1,701
Thanks: 3

Re: Subgroup/Normal Subgroup/Automorphism Questions

Quote:
 Originally Posted by envision In this problem, assume (important!) that G is an Abelian. Set H = {g in G : g^5 = e}. (Warning: Expressions such as x^1/5 are not well defined. Do not use them!) (a) Show H is a subgroup of G.
Use a subgroup test.

Quote:
 (b) Show H is a normal subgroup of G.
You need to show that Hg = gH for all g in G. This comes almost directly from the Abelian-ness of G.
Quote:
 (c) Assume further that G is finite and that H = {e}. Show that the map phi : G --> G given by phi(g) = g^5 is an automorphism.
Show that it is operation preserving. This gives you a homomorphism. Have you learned any properties of homomorphism yet? If so, there's one about the kernel of phi. This shows it's a bijection.
If not, show it is injective: show that a?b -> phi(a)?phi(b). An injective function from A->A must be bijective for any finite set A.

Cheers.

October 4th, 2009, 08:14 PM   #3
Newbie

Joined: Oct 2009

Posts: 14
Thanks: 0

Re: Subgroup/Normal Subgroup/Automorphism Questions

Quote:
Originally Posted by cknapp
Quote:
 Originally Posted by envision In this problem, assume (important!) that G is an Abelian. Set H = {g in G : g^5 = e}. (Warning: Expressions such as x^1/5 are not well defined. Do not use them!) (a) Show H is a subgroup of G.
Use a subgroup test.

Quote:
 (b) Show H is a normal subgroup of G.
You need to show that Hg = gH for all g in G. This comes almost directly from the Abelian-ness of G.
[quote:16v4wr01]
(c) Assume further that G is finite and that H = {e}. Show that
the map phi : G --> G given by phi(g) = g^5 is an automorphism.
Show that it is operation preserving. This gives you a homomorphism. Have you learned any properties of homomorphism yet? If so, there's one about the kernel of phi. This shows it's a bijection.
If not, show it is injective: show that a?b -> phi(a)?phi(b). An injective function from A->A must be bijective for any finite set A.

Cheers.[/quote:16v4wr01]

concerning part c...
we've learned about homomorphisms. isn't the kernel of phi = e or something like that? i don't really know how to even begin showing part c.

 October 4th, 2009, 10:37 PM #4 Senior Member   Joined: Oct 2007 From: Chicago Posts: 1,701 Thanks: 3 Re: Subgroup/Normal Subgroup/Automorphism Questions The kernel is the set of elements which map to e. You should have learned that a homomorphism is n-1: every element in the range has the same number (n) of elements map to it. If you can show that only one element maps to e, then you have a 1-1, homomorphism. And since the sets are finite and the same size, this is a bijective homomorphism-- an isomorphism.

### questions based on automorphism like phi(C(a))=C(phi(a))

Click on a term to search for related topics.
 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post tinynerdi Abstract Algebra 5 March 4th, 2010 04:14 AM ragnar Abstract Algebra 1 January 2nd, 2010 05:53 AM HairOnABiscuit Abstract Algebra 1 November 25th, 2009 09:46 AM envision Abstract Algebra 1 October 4th, 2009 03:24 AM fakie6623 Abstract Algebra 3 October 1st, 2007 04:24 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top