If the Quotient is an Infinite Cyclic Group, then Exists a Normal Subgroup of Index $n$
Problem 557
Let $N$ be a normal subgroup of a group $G$.
Suppose that $G/N$ is an infinite cyclic group.
Then prove that for each positive integer $n$, there exists a normal subgroup $H$ of $G$ of index $n$.
Add to solve later 
