Infinite nilpotent group, any normal subgroup intersects the center nontrivially

Having problems with the following statement:

If $N$ is a nontrivial normal subgroup of a nilpotent group $G$ then $N \cap Z(G) \neq \langle e \rangle$

Here $Z(G)$ denotes the center of $G$.

I’ve solved the finite case, where I reduced the problem to proving that a p-$group$ has this property. The infinite case resists my attempts though.

Since $G$ is nilpotent, the ascending central series ends with $G$ itself:
$\langle e\rangle \subseteq Z_1(G) \subseteq \ldots \subseteq Z_n(G) = G$ where $Z_1(G) = Z(G)$. Since $N \subseteq G$, there must be a smallest $i$ such that $N \cap Z_i(G) \neq \langle e \rangle$. I would like to show that $i = 1$ in this case, or perhaps just show that $N \cap Z_i(G)$ commutes with elements of $G$. Could somebody give me a tip in the right direction?

Solutions Collecting From Web of "Infinite nilpotent group, any normal subgroup intersects the center nontrivially"

From the discussion in the comments two possible solutions arised, here is the first:

Since the group is nilpotent, upper central series terminates. Then for some $n$, $Z_n(G) = G$ and there must be a smallest $i$ such that $N \cap Z_i(G) = \langle e \rangle$ but $N \cap Z_{i+1}(G) \neq \langle e \rangle$. The goal is to show that $N \cap Z_{i+1}(G) \subseteq Z_1(G) = Z(G)$.

I will denote $Z_i(G),Z_{i+1}(G)$ simply by $Z_i, Z_{i+1}$.

We notice that the subgroup $[G,N]$ generated by the elements $\{ gng^{-1}n^{-1}\mid g \in G, n \in N\}$ is contained in the normal subgroup $N$. This is because for every generator $gng^{-1}n^{-1}$ of $[G,N]$, $gng^{-1}n^{-1} = (gng^{-1})n^{-1} \in N$. So in conclusion $[G,N] \subseteq N$.

Further we notice that since $Z(G/Z_i) = Z_{i+1}/Z_i$, then for any $c \in Z_{i+1}, g \in G$ we have that $Z_igc = Z_icg$, which implies $Z_igcg^{-1}c^{-1} = Z_i$ and $gcg^{-1}c^{-1} \in Z_i$ for all $g \in G, c \in Z_{i+1}$. These are exactly the generators of the group $[G, Z_{i+1}]$, therefore $[G, Z_{i+1}] \subseteq Z_i$

Now we look again at the nontrivial group $N \cap Z_{i+1}$. We established earlier that $[G,N] \subseteq N$ and $[G, Z_{i+1}] \subseteq Z_i$. This gives $[G, N \cap Z_{i+1}] \subseteq [G,N] \cap [G,Z_{i+1}] \subseteq N \cap Z_i = \langle e\rangle$. So actually the subgroup $[G, N \cap Z_{i+1}]$ is trivial, which happens when $N \cap Z_{i+1} \subseteq Z_1 = Z(G)$. This gives that $N \cap Z(G) \neq \langle e \rangle$.

And a perhaps a bit simpler one, relying on an alternative characterisation of nilpotent groups:

By an exercise in my book (Hungerford’s Algebra, chapter 2, section 7, exercise 4), a group is nilpotent if and only if the $\gamma_m(G) = \langle e \rangle$ for some $m$, where $\gamma_1(G)=G,\gamma_2(G)=[G,G]$ and $\gamma_i(G)=[\gamma_{i−1}(G),G]$.

Given this, we define a sequence $N_1(G) = N, N_2(G) = [N,G]$ and $N_i(G) = [N_{i-1}(G),G]$, where $N$ is any proper normal subgroup of $G$.

Obviously for any $i$, $N_i(G) \subset N$ by normality of $N$.

It is also clear that $N_1(G) = N \subset G = \gamma_1(G)$. Assume inductively that $N_i(G) \subset \gamma_i(G)$. By definition, $N_{i+1}(G) = [N_{i}(G),G]$ and $\gamma_{i+1}(G)=[\gamma_{i}(G),G]$. It is clear then that $N_{i+1}(G) \subset \gamma_{i+1}(G)$.

But since $G$ is nilpotent, for some $m$, $N_m(G) \subset \gamma_m(G) = \langle e \rangle$ So in particular we get that $[N_{m-1}(G), G] = \langle e \rangle$. This can only be if $N_{m-1}(G) \subset Z(G)$, and since $N_{m-1}(G) \subset N$, we have that $N \cap Z(G) \neq \langle e \rangle$.


First we prove that there exists $\{e\}=G_0^*\subset G_1^*\subset …\subset G_k^*=G$, were $G_{i+1}/G_i=Z(G/G_i)$ and $G_i^*$ is normal subgroup in $G$. To see this we can change groups $\{e\}=G_0\subset G_1\subset …\subset G_k=G$ to $G_i^{1}=<G_i,Z(G)>,G_0^{1}=\{e\}$, then easy to see that $\{e\}=G_0^{1}\subset G_1^{1}\subset …\subset G_k^{1}=G$ and $G_1^{1}/G_0^{1}=Z(G)$, like the same define $G_i^2, G_i^3,…$, then $G_i^*=G_i^{k}$.

Now use Induction on $k$, take homomorfism $\pi: G\to G/Z(G)$, then from Induction we get that $\pi(H)\cap \pi(G_2^*)=\pi(H)\cap Z(\pi(G))\not= \{e\}$, so $\exists g\in Z(\pi(G))\not= \{e\}$, $\pi^{-1}(g)= g_2Z(G), g_2\in G_2^*$, $\pi^{-1}(g)\subset HZ(G)$, so $g_2\in HZ(G)$ and $H\cap G_2^*\not= \{e\}$, and we can take $H^*=H\cap G_2^*$, $H^*$ normal subgroup in $G_2$, $G_2/G_1$ is Abelian, $H^*\cap H_1= \{e\}$ so $H^*$ is Abelian.

$\forall g\in G, h^*\in H^*$, $gh^*g^{-1}h^{*-1}\in H^*\cap G’$, $G_2/G_1=Z(G/G_1)$, so $[h^*,g]\in G_1$, but $H\cap G_1=\{e\}$, so $gh^*=hg^*$, $H^*\subset Z(G)=G_1$, so $H\cap Z(G)\not= \{e\}$. done