Weak binilpotency

From Groupprops

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

Definition

Suppose is a non-associative ring and is an endomorphism of the additive group of . Suppose is a positive integer. We say that is -step-weak binilpotent if the following holds:

for all and all positive integers with .

Note that if , then this is equivalent to checking that:

for all and all positive integers with .

The weak binilpotency of is defined as the smallest for which is -step-weak binilpotent.