Let be G a group (no abelian) . I want to prove that a certain subgroup K of G has limited exponent. Suppose that there exists a normal subgroup N (possibly different of K) of G with limited exponent. Can I pass to the quotient G/N and to assume without loss of generality we assume that N=1 to show that K has limited exponent?
Exponent of group-2
-
0The standard way of saying it in English is "bounded exponent", not "limited exponent". – 2012-04-29
1 Answers
You keep talking about "assuming without loss of generality that $N=1$". The fact is that the extra hypothesis that $G$ has a normal subgroup of bounded exponent is vacuous. It gives you absolutely no extra information because every group has a normal subgroup of bounded exponent, namely, the trivial subgroup.
It is true that:
If $G$ is a group, $N$ has bounded exponent, and $KN/N$ (the image of $K$ in the quotient $G/N$) has bounded exponent, then $K$ has bounded exponent.
Which seems to be what you are trying to argue (note that this is not the same as "assuming without loss of generality that $N$ is trivial").
To see the statement above is true, note that $KN/N\cong K/(K\cap N)$. So $K/(K\cap N)$ is of bounded exponent, so there exists $n\gt 0$ such that $k(K\cap N)$ is of exponent $n$ for all $k\in K$. Since $N$ is of bounded exponent, there exists $m\gt 0$ such that for all $n\in N$, $n^m = 1$.
Now let $k\in K$. Then $(k(K\cap N))^m = K\cap N$; so $k^m\in K\cap N$. Since $k^m\in N$, then $(k^m)^n = 1$. Therefore, $k^{nm}=1$ for all $k\in K$, and $nm$ does not depend on $k$. So $K$ is of bounded exponent.
-
0Thank you! I understood your observations. – 2012-04-29