ScalingStacks

Remark 7.5 . [03J7]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Remark 7.5.

Given a finitely generated nilpotent group 𝒩\mathcal{N}, let 𝒩=𝒩0⊳𝒩1⊳…⊳𝒩m={e}\mathcal{N}=\mathcal{N}_{0}\rhd\mathcal{N}_{1}\rhd\ldots\rhd\mathcal{N}_{m}=\{e\} be the lower central series with abelian factor groups 𝒩j−1/𝒩j\mathcal{N}_{j-1}/\mathcal{N}_{j}, where 𝒩j+1≡[𝒩,𝒩j]\mathcal{N}_{j+1}\equiv[\mathcal{N},\mathcal{N}_{j}] are the commutator subgroups. Then the nilpotent rank of 𝒩\mathcal{N} is defined as the sum of the ranks of the abelian factors, i.e.

(7.40) rank⁡(𝒩)≡∑j=1mrank⁡(𝒩j−1/𝒩j).\rank(\mathcal{N})\equiv\sum\limits_{j=1}^{m}\rank(\mathcal{N}_{j-1}/\mathcal{N}_{j}).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.