[SOLVED] Normal Subgroups: Prove g^2 is in H for all g in G.

**yvonnehr** · June 3rd 2009, 10:10 AM

Can someone help me with this proof?

Let H be a subgroup of G with index 2.
Prove that g² ∈ H for all g ∈ G.

Thanks!

**TheAbstractionist** · June 3rd 2009, 11:24 AM

Originally Posted by yvonnehr

Can someone help me with this proof?

Let H be a subgroup of G with index 2.
Prove that g² ∈ H for all g ∈ G.

Thanks!

A subgroup of index 2 is normal, and the factor group $G/H$ is a group of order 2. Hence for any $g\in G,$ $g^2H=(gH)^2=H$ $\implies$ $g^2\in H.$

In general, if $|G:H|=2,$ then $\forall\,x,y\in G,$ $xy\in H\ \iff\ x,y\in H\ \mbox{or}\ x,y\notin H.$ The result you are proving is a special case with $x=y.$

**yvonnehr** · June 3rd 2009, 02:18 PM

Thanks for the help. That was very clear!

**yvonnehr** · June 3rd 2009, 02:32 PM

Originally Posted by TheAbstractionist

A subgroup of index 2 is normal, and the factor group $G/H$ is a group of order 2. Hence for any $g\in G,$ $g^2H=(gH)^2=H$ $\implies$ $g^2\in H.$

In general, if $|G:H|=2,$ then $\forall\,x,y\in G,$ $xy\in H\ \iff\ x,y\in H\ \mbox{or}\ x,y\notin H.$ The result you are proving is a special case with $x=y.$

One more question, how did you get from

(gH)^2=H ?

Thanks.

**Gamma** · June 3rd 2009, 03:06 PM

In a factor group $G/H$ the group operation is defined to be $(aH)(bH)=abH$ . As long as H is normal, this is well defined and is a group.

You are given that $2=[G:H]=|G/H|$

By Lagrange's theorem since $|G/H|=2$ any element of G/H must have order dividing 2, so in this case $g^2H=(gH)(gH)=(gH)^2=1H=H$ since $gH \in G/H$ $\forall g\in G$ .

This means $g^2H=H \Rightarrow g^2h_1=h_2 \Rightarrow g^2=h_2h_1^{-1}\in H$ as desired.

Thread: [SOLVED] Normal Subgroups: Prove g^2 is in H for all g in G.

LinkBack

Thread Tools

Display

[SOLVED] Normal Subgroups: Prove g^2 is in H for all g in G.

Very nice!

(gH)^2=H ?

Similar Math Help Forum Discussions

Subgroups and Intersection of Normal Subgroups

subgroups and normal subgroups

[SOLVED] Prove a finite subgroup is normal, given order conditions.

Subgroups and Normal Subgroups

Subgroups and normal subgroups

Search Tags