isUnipotent

P160548
predicate

Indicates that an element (typically a linear operator or matrix) differs from the identity by a nilpotent part, so that some power of (element − identity) equals zero.

Sample triples (1)

Subject Object
T:z ↦ z+1
surface form: T : z ↦ z + 1
true