Weak binilpotency
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.