Nilpotent elements #
Main definitions #
An element is said to be nilpotent if some natural-number-power of it equals zero.
Note that we require only the bare minimum assumptions for the definition to make sense. Even
monoid_with_zero is too strong since nilpotency is important in the study of rings that are only
A structure that has zero and pow is reduced if it has no nonzero nilpotent elements.