hasIsometryGroup
P14251
predicate
Indicates that one entity possesses or is associated with a particular isometry group describing all distance-preserving transformations of that entity.
Observed surface forms (3)
- automorphismGroup ×2
- hasAutomorphismGroup ×1
- symmetryGroupType ×1
Sample triples (7)
| Subject | Object |
|---|---|
| Euclidean space | E(n) → |
| Klein quartic | PSL(2,7) via predicate surface "automorphismGroup" → |
| Klein quartic | projective special linear group of 2x2 matrices over field with 7 elements via predicate surface "automorphismGroup" → |
|
Conway groups
surface form:
Leech lattice
|
Conway groups
via predicate surface "hasAutomorphismGroup"
self-linksurface differs
→
surface form:
automorphism group of the Leech lattice
|
| Platonic solids | finite rotation groups via predicate surface "symmetryGroupType" → |
| Reissner–Nordström metric | R × SO(3) → |
| de Sitter spacetime | SO(1,4) → |