Let $G$ be a finite abelian group and $x$ an element of maximal order. Show that$\langle x \rangle$is a direct summand of $G$. Use this to obtain another proof of Theorem 2.1.
Theorem 2.1: Every finitely generated abelian group $G$ is isomorphic to a finite direct sum of cyclic groups in which the finite cyclic summands (if any) are of orders $m_1,...,m_t$, where $m_1>1$and $m_1|m_2|...|m_t$.
I want to show that $G\cong \langle x \rangle \oplus G/\langle x \rangle$. But I have difficulties in constructing the isomorphism.
The question has been answered with a method using the theorem about the structure of finite abelian groups (Finite abelian groups - direct sum of cyclic subgroup). But I don't think this exercise can be done with the theorem (or its corollaries). Thank you!