1. ## abelian groups

Let G be an abelian group (possibly infinite and let the set T={a in G|a^m=e, m>1 depending on a}. Prove that:

a) T is a subgroup of G.
b) G/T has no element - other than its identity element - of finite order.

Please show steps. This section confuses me so much.

Thank you.

2. ## Subgroup

All you gotta do to show something is a subgroup is show it is closed under the group operation and closed under inverses (the rest is inherited from the mother group).

This is the torsion subgroup. Let $\displaystyle a,b\in T$. Then $\displaystyle \exists m, n \in \mathbb{N}$ such that $\displaystyle a^m=1=b^n$. We wish to show $\displaystyle ab\in T$.
This is particularly easy because G is assumed to be abelian. $\displaystyle (ab)^{mn}=a^{mn}b^{mn}=(a^m)^n(b^n)^m=1^n 1^m=1$
Thus $\displaystyle ab\in T$ as desired.

Let $\displaystyle a\in T \subset G \Rightarrow a^{-1}\in G$, suppose $\displaystyle a^n=1$.

$\displaystyle (a^{-1})^n=a^{-n}=(a^n)^{-1}=1^{-1}=1$

Thus $\displaystyle a^{-1}\in T$ as desired
T is a subgroup of G.

You just modded out by everything of finite order by definition of T. G/T cannot have anything other than the coset 1T itself of finite order, think about it. G is abelian so every subgroup is normal so this is a well defined group.

Just a note, if G were finite everything is torsion by LaGrange, so G/T is trivial. The only interesting things are for infinite abelian groups.