hasElementOfOrder

P77145 predicate

Indicates that a structure (such as a group) contains an element whose order (the smallest positive integer n such that the element raised to the n-th power is the identity) equals a specified value.

Sample triples (48)