How can we show that x^m is in a normal subgroup N of G if |G/N| = m?

[afirican]

If N is a normal subgroup of G and |G/N| = m, show that x^m is in N for all x in G

 

[Hurkyl]

Well, clearly G/N should have some pivotal role in this statement. Maybe you should move the problem from G to G/N to see if that helps.

 

[M98Ranger]

Sure, no problem! Let's start by defining some terms to make sure we're on the same page.

A subgroup N of a group G is called a normal subgroup if for every element x in G, xN = Nx. In other words, the left and right cosets of N are equal.

Now, let's look at the given information. We know that N is a normal subgroup of G, and |G/N| = m. This means that there are m distinct cosets of N in G.

Now, let's take any element x in G. Since N is a normal subgroup, we know that xN = Nx. This means that xN is one of the m distinct cosets of N in G.

Since there are m distinct cosets, we can write the product of all m cosets as (xN)^m. By definition, this product is equal to x^mN^m.

Now, since N is a subgroup, N^m is also a subgroup of G. And since N is a normal subgroup, we know that N^m is also a normal subgroup of G.

Therefore, x^mN^m is also equal to Nx^m. But we already know that xN = Nx, so this means that x^mN^m = Nx^m.

But we also know that Nx^m is one of the m distinct cosets of N in G. This means that x^mN^m is equal to one of the m distinct cosets of N in G.

But since N is a subgroup, this means that x^mN^m is equal to N itself. And since N is a normal subgroup, this means that x^m is in N for all x in G.

Hope this helps! Let me know if you have any other questions.