The discussion revolves around a proof in group theory, specifically concerning normal subgroups and factor groups. The original poster is tasked with showing that if K is a normal subgroup of G with index m, then g^m is an element of K for all g in G.
Several participants have provided hints and guidance, particularly regarding the relationship between g^m and the cosets of K in G. There is an ongoing exploration of how to apply the hint effectively, with some participants attempting to reframe the problem in terms of the group G/K.
Participants note the importance of understanding the closure properties of groups and the implications of normality in subgroup structures. There is also mention of the number of cosets of K in G and how this relates to the identity element in the factor group.
Is this what you meant to say? g to any integer power is an element of G because G is closed under multiplication.PsychonautQQ said:Homework Statement
if K is normal in G and has index m, show g^m is an element of K for all g in G
Work (I haven't done much with proofs so bear with me):
|G/K| = |G| / |K| = m
|G| = x
|K| = y
g^m must be an element of G since m|x
This is pretty much the definition of "normal subgroup". But you haven't even said, much less proved, that g is in K.if g^m is an element of G and K is normal to G then
(g^m)K = K(g^m) --> (g^m)K(g^m)^-1 = K for all g^m in G
is this work legit?
I don't see where this is taking you. Try using my hint to reword the problem in terms of the group ##G/K##, i.e. work with cosets of ##K## instead of individual elements of ##G##.PsychonautQQ said:I just saw your clue and will think about it and try to use it to help me figure the problem out, but meanwhile here is what I've done so far on my own.
|G| / |K| = m
|G| = x
|K| = y
x = my
G = {1,g,g^2...,g^(x-1)} are all elements of G so
{1,g,g^2...,g^(x-1)}^x are all elements of G so
{1,g,g^2...,g^(x-1)}^my are all elements of G
is this going in the right direction? I'll start working on this problem again now with the hint you've given
Yes, that's all there is to it.PsychonautQQ said:Solution: There are m cosets of K in G. This means that the group G/K has m elements in it, thus any element of that group raised to the m power would equal the identity element, K. (Kg)^m = Kg^m = K
Is this correct? If it is then wow,, I overthinking this