fullAutomorphismGroupOf
P97227
predicate
Indicates that one entity is the complete group of all automorphisms (structure-preserving bijections from an object to itself) of the other entity.
Observed surface forms (2)
- automorphismGroupIs ×1
- isFullAutomorphismGroupOf ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Fischer–Griess Monster | Griess algebra via predicate surface "isFullAutomorphismGroupOf" NERFINISHED ⓘ |
| GF(p^m) | generated by Frobenius automorphism via predicate surface "automorphismGroupIs" ⓘ |
| PSL(2,7) | Klein quartic ⓘ |