Explanation why an abelian tower admits a cyclic refinement Now that school is wrapping up, I'm trying to crack down and get better at algebra. This proposition from Lang's Algebra loses me at the end.

Proposition 3.1. Let $G$ be a finite group. An abelian tower of $G$ admits a cyclic refinement. Let $G$ be a finite solvable group. Then $G$ admits a cyclic tower, whose last element is $\{e\}$.
Proof. The second assertion is an immediate consequence of the first, and it clearly suffices to prove that if $G$ is finite, abelian, then $G$ admits a cyclic tower. We use induction on the order of $G$. Let $x$ be an element of $G$. We may assume that $x \neq e$. Let $X$ be the cyclic group generated by $x$. Let $G' = G/X$. By induction, we can find a cyclic tower in $G'$, and its inverse image is a cyclic tower in $G$ whose last element is $X$. If we refine this tower by inserting $\{e\}$ at the end, we obtain the desired cyclic tower.

Here is my understanding so far: (Please excuse me if a lot of the things I say are very obvious/wrong, I'm trying to be detailed for my own understanding.) If $|G|=1$, then $\{e\}$ is the desired cyclic tower. So suppose the result holds for $|G|\leq n-1$. Suppose $|G|=n$. Letting $G'$ be as above, $|G'|=|G|/|X|\lt|G|$, so by the induction hypothesis, there exists a cyclic tower in $G'$, say
$$
G'=G/X\supset G_1'\supset G_2'\supset\cdots\supset G_m'.
$$
I'm not quite sure what Lang means by "its inverse image is a cyclic tower in $G$ whose last element is $X$." Is there some assumed homomorphism $f\colon G\to G'$, and then the inverse image of the tower would be
$$
f^{-1}(G')\supset f^{-1}(G_1')\supset\cdots\supset f^{-1}(G_m')?
$$
Why is the last element of the tower $X$, as Lang claims? Also, Lang says a normal tower is cyclic if each factor group $G_i/G_{i+1}$ in the tower is cyclic. Does this mean all the $G_i$ themselves are cyclic, or is it possible for the factor group to be cyclic, but the normal subgroup being modded out is not? Thanks for any explanation.
 A: The assumed homomorphism $G\rightarrow G'=G/X$ is the quotient map: $g\mapsto gX$. One of the isomorphism theorems says that this map establishes a bijection between subgroups of $G/X$ and subgroups of $G$ that contain $X$. Moreover, this bijection preserves inclusions, normality, and quotients. In other words if $\bar{U}$ is a subgroup of $G'$ with subgroup $\bar{U}'$, and if the corresponding subgroups of $G$ are $U$ and $U'$, then $U'\leq U$, it is normal in $U$ if and only if $\bar{U}'$ is normal in $\bar{U}$, and if they are, then $\bar{U}/\bar{U}'\cong U/U'$. All this is easy to prove, and Lang is using all of this in his proof.
The subgroup of $G$ corresponding to the trivial subgroup of $G'$ is indeed $X$ - the smallest subgroup of $G$ containing $X$.
As for the last question, it means exactly what it says: all factor groups are cyclic. It would be pointless to introduce this notion if it was simply a reformulation of "$G$ is cyclic". E.g. $1\leq \mathbb{Z}/2\mathbb{Z} \leq \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ is a cyclic tower where the top term is not cyclic.
A: What Lang actually meant to say is that "it clearly suffices to prove that if $G$ is finite, abelian, then $G$ admits a cyclic tower whose last element is $\{ e \}$". Indeed, otherwise one does not know that the cyclic tower of $G' = G/X$ that we obtained using the induction hypothesis ends at $\{ \bar{e} \}$, and so we cannot conclude that the pullback of this tower by the canonical map $G \to G'$ is a cyclic tower ending at $X$.
