hasTrivialGroup

P195770 predicate

Indicates that the associated group is trivial, meaning it contains only the identity element and no other distinct elements.

Sample triples (1)

Subject Object
Witt group of quadratic forms for algebraically closed fields of characteristic not 2