The class of all monolithic (that is, subdirectly irreducible) groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences.

中文翻译：

---

各种幂群中单片群类的公理化

属于由有限幂零群生成的变体的所有整体（即次直接不可约）群的类可以通过有限的基本句子集公理化。