hasAutomorphism
P72959
predicate
Indicates that there exists a structure-preserving bijection from an entity to itself that maintains all relevant relations and operations.
Observed surface forms (1)
- hasInvolution ×1
Sample triples (4)
| Subject | Object |
|---|---|
|
CM fields
surface form:
CM field
|
complex conjugation ⓘ |
| Gaussian rationals ℚ(i) | complex conjugation ⓘ |
|
Kummer surfaces
surface form:
Kummer surface
|
x ↦ −x on the abelian surface via predicate surface "hasInvolution" ⓘ |
| Mordell curve | (x,y) ↦ (ζx, y) for ζ^3 = 1 ⓘ |