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

Normal subgroup

  • Thread starter hsong9
  • Start date
80
1
1. Homework Statement
If H is a normal subgroup of G and |H| = 2, show that H is a subgroup of Z(G).
Is this true when |H| = 3?


3. The Attempt at a Solution
Since H is a normal subgroup of G and |H| = 2 = {1,a},
a in Z(G), also aa = a2 = 1 in Z(G)
aa-1 = a in Z(G). Therefore H is a subgroup of Z(G).
I am not sure my approach is correct.
and I have no idea next question when |H| =3, is it false? why??
 

matt grime

Science Advisor
Homework Helper
9,394
3
In your attempt at a solution what is it that you're trying to show? What do the steps you've written mean in relation to what you're trying to show?

In other words, what does it mean for H to be in Z(G)? Because at no point have you addressed what that is. In fact the first thing you assert is that a is in Z(G), but that is part of the result that you're trying to show.

When you correctly prove this part, it will lead you to why it is false for |H|=3.
 
80
1
hmm..
To show that H is a subgroup of Z(G),
1Z(G) in H
whenever a,b in H then ab in H
whenever a in H then a-1 in H.

Since both H and Z(G) are normal in G, 1Z(G) is clearly in H.
Since |H| = 2, H={1,a}. So 1,a in H then a1=1a in H
also since aa = a2 = 1 = aa-1, so a = a-1 self-inverse.

When |H|=3, we can't determine whether a2 in Z(G) or not.

how about this approach??
 

matt grime

Science Advisor
Homework Helper
9,394
3
I'll ask again: what is the definition of Z(G)? You have to show that H is a subgroup of Z(G), so at some point using the definition of Z(G) will be necessary. You have assumed that H is a subset of Z(G) without any justification for this.

What you have shown is that if H<G, and H is a subset of K for K<G, then H<K. Well, that is trivially true and immaterial.
 

HallsofIvy

Science Advisor
Homework Helper
41,683
865
1. Homework Statement
If H is a normal subgroup of G and |H| = 2, show that H is a subgroup of Z(G).
Is this true when |H| = 3?


3. The Attempt at a Solution
Since H is a normal subgroup of G and |H| = 2 = {1,a},
a in Z(G), also aa = a2 = 1 in Z(G)
Here is the crucial point: you start by asserting that a is in Z(G). How do you know that is true? As matt grime said, you have not used the definition of Z(G). You have also not used the fact that H is a normal subgroup of G.

aa-1 = a in Z(G). Therefore H is a subgroup of Z(G).
I am not sure my approach is correct.
and I have no idea next question when |H| =3, is it false? why??
 

Related Threads for: Normal subgroup

Replies
0
Views
4K
  • Posted
Replies
2
Views
2K
  • Posted
Replies
2
Views
2K
  • Posted
Replies
1
Views
814
  • Posted
Replies
2
Views
849

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top