- #1
danthaman857
- 3
- 0
Let H be a normal subgroup of a finite group G. The order of G/H (quotient/factor group) is m. Show g^m is in H for all g in G.
Lagrange's Thm says that o(G) = o(H) * o(G/H)
xH = Hx for all x in G, since H is a normal subgroup of G
Ok, I've got a lot of statements that i believe to be true, how relevant they are is what i can't decide.
- let o(G) = k, o(H) = j, o(G/H) = m
so k = mj by Lagrange
- the quotient group is broken up into m disjoint partitions of G
- each partition has j elements
- I know that the o(g) | o(G)
Lagrange's Thm says that o(G) = o(H) * o(G/H)
xH = Hx for all x in G, since H is a normal subgroup of G
Ok, I've got a lot of statements that i believe to be true, how relevant they are is what i can't decide.
- let o(G) = k, o(H) = j, o(G/H) = m
so k = mj by Lagrange
- the quotient group is broken up into m disjoint partitions of G
- each partition has j elements
- I know that the o(g) | o(G)