Is it true that the center of a finitely generated nilpotent group is finitely generated?

231 Views Asked by At

Let $G$ be a finitely generated nilpotent group. Let $Z = Z(G)$ be the center of the group $G$. Is $Z$ finitely generated?

1

There are 1 best solutions below

3
On

Yes it is true. A finitely generated nilpotent group is Noetherian, i.e. any subgroup is finitely generated. In particular the center is finitely generated.

To see why a finitely generated nilpotent group is Noetherian, first show that the property of being Noetherian is closed under group extensions. Next, any term in the lower central series is finitely generated. The factors of this series are finitely generated abelian groups. These are Noetherian by the structure theorem for finitely generated abelian groups.