Zorn's theorem on Engel groups

This article gives a proof/explanation of the equivalence of multiple definitions for the term finite nilpotent group
View a complete list of pages giving proofs of equivalence of definitions

Statement

The following are equivalent for a finite group:

1. The group is a nilpotent group, i.e., a finite nilpotent group.
2. The group is an Engel group.