Intereting Posts

Does a non-abelian semigroup without identity exist?
Isometries preserve geodesics
Sum of combinations with varying $n$
$-4\zeta(2)-2\zeta(3)+4\zeta(2)\zeta(3)+2\zeta(5)=S$
Surface area with cavalier's principle
Prove that every function that verifies $|f(x)-f(y)|\leq(x-y)^2$ for all $x,y$ is constant.
Why a smooth surjective morphism of schemes admits a section etale-locally?
Repeated roots for polynomial in $\overline{ \mathbb F_{p}}$
Order topology on the set $X = \{ 1,2 \} \times \mathbb{Z}_{+}$
Computing expectation of: $\small E\left $
When are finite-index subgroups of a Lie group closed?
Why are these two expressions equivalent?
Nonabelian semidirect products of order $pq$?
Semi-direct product Lie algebra
The importance of modular forms

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$.

- Prove that the additive group $ℚ$ is not isomorphic with the multiplicative group $ℚ^*$.
- How are composition series for two isomorphic groups related?
- Probability that $xy = yx$ for random elements in a finite group
- Commutator subgroup of rank-2 free group is not finitely generated.
- How can we show that an abelian group of order <1024 has a set of generators of cardinality <10
- Understanding Lagrange's Theorem (Group Theory)

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?

- $\phi \times \theta$ is faithful iff $(|Z(H)| ,|Z(K)|)=1$ for faithful characters $\phi \in Irr(H)$ and $\theta \in Irr(K)$ .
- The kernel of an action on blocks, specifically the action on the orbits of normal subgroup
- Direct product of two nilpotent groups is nilpotent and direct product of two solvable groups is solvable
- $G$ finite group, $H\leq G$ such that $C_G(x)\subseteq H\quad\forall x\in H$ such that $p\mid o(x)$
- How to find all subgroups of $(\mathbb{Q},+)$
- Simple group of order $660$ is isomorphic to a subgroup of $A_{12}$
- Probability that $xy = yx$ for random elements in a finite group
- What are all conditions on a finite sequence $x_1,x_2,…,x_m$ such that it is the sequence of orders of elements of a group?
- Aut$(G)\cong \Bbb{Z}_8$
- Maximal size of independent generator set in simple group

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$.

Solution:

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

- what functions or classes of functions are Riemann non-integrable but Lebesgue integrable
- A question regarding existence and uniqueness in IVP
- Specific way of showing $\Bbb Z$ is not a Euclidean Domain when $d>2$
- Sequence of convex functions
- Spectrum of idempotent element
- Equilateral triangle inscribed in a triangle
- What's wrong with this “backwards” definition of limit?
- Newton's sum help
- Is the opposite of the Second Derivative Test also true?
- Hippopede Parametrization
- Entire $f$ and $g$ constant if $e^{f(z)}+e^{g(z)}=1$
- Functions between topological spaces being continuous at a point?
- Is Cross Product Defined on Vector Space?
- Rewriting triple integrals
- Find $\lim_{n \to \infty} \left$ (a question asked at trivia)