invariantOf
P29145
predicate
Indicates that one element is an invariant (a property or quantity that remains unchanged) with respect to another element, system, or transformation.
All labels observed (13)
| Label | Occurrences |
|---|---|
| invariantOf canonical | 11 |
| maintainsInvariant | 7 |
| haveInvariant | 3 |
| hasInvariantAssociated | 2 |
| invariant | 2 |
| isFixedPointOf | 2 |
| associatedInvariant | 1 |
| centralInvariant | 1 |
| hasJInvariant | 1 |
| invariantConcept | 1 |
| invariantProperty | 1 |
| isInvarianceProperty | 1 |
| isInvariantOf | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: invariantOf
Generated description
Indicates that one element is an invariant (a property or quantity that remains unchanged) with respect to another element, system, or transformation.
Sample triples (34)
| Subject | Object |
|---|---|
| Conway polynomial | oriented knots ⓘ |
| Conway polynomial | oriented links ⓘ |
| von Klitzing constant | topological robustness of quantum Hall plateaus via predicate surface "isInvarianceProperty" ⓘ |
| Galilean group | inertial frame via predicate surface "invariantConcept" ⓘ |
| Brill–Noether theory |
Brill–Noether theory
via predicate surface "centralInvariant"
self-linksurface differs
ⓘ
surface form:
Brill–Noether number
|
| splay tree | inorder traversal yields keys in sorted order via predicate surface "invariant" ⓘ |
| golden ratio | x ↦ 1 + 1/x via predicate surface "isFixedPointOf" ⓘ |
| golden ratio | x ↦ 1/(x - 1) via predicate surface "isFixedPointOf" ⓘ |
| Lefschetz fibration | monodromy representation via predicate surface "associatedInvariant" ⓘ |
| Dirac adjoint field | physical observables are representation independent via predicate surface "invariantProperty" ⓘ |
| Thurston norm | oriented compact 3-manifolds ⓘ |
| Yamabe problem | Yamabe constant via predicate surface "hasInvariantAssociated" NERFINISHED ⓘ |
| Yamabe problem | sigma invariant of a manifold via predicate surface "hasInvariantAssociated" ⓘ |
| Krull–Gabriel dimension | abelian categories up to equivalence ⓘ |
| Krull–Gabriel dimension | module categories of rings ⓘ |
| Mordell curve | j = 0 via predicate surface "hasJInvariant" ⓘ |
| HOMFLY-PT homology | oriented links in S^3 ⓘ |
| HOMFLY-PT homology | links in R^3 ⓘ |
| Kolmogorov–Sinai entropy | measure-preserving transformation via predicate surface "isInvariantOf" ⓘ |
| Graham–Pollak theorem | bipartite dimension of K_n equals n−1 regardless of the partition chosen. via predicate surface "invariant" ⓘ |
| Hilbert polynomial | projective scheme up to isomorphism ⓘ |
| Hecke characters | conductor via predicate surface "haveInvariant" ⓘ |
| Hecke characters | infinity type via predicate surface "haveInvariant" ⓘ |
| Hecke characters | ramification data via predicate surface "haveInvariant" ⓘ |
| Herbrand quotient | pair (G,M) ⓘ |
| Stiefel–Whitney classes | smooth manifold up to homeomorphism ⓘ |
| Stiefel–Whitney classes | topological manifold ⓘ |
| AVL tree | binary search tree order property via predicate surface "maintainsInvariant" ⓘ |
| AVL tree | balance factor constraint via predicate surface "maintainsInvariant" ⓘ |
| red-black tree | every node is either red or black via predicate surface "maintainsInvariant" ⓘ |
| red-black tree | the root is black via predicate surface "maintainsInvariant" ⓘ |
| red-black tree | all leaves (NIL nodes) are black via predicate surface "maintainsInvariant" ⓘ |
| red-black tree | red nodes have black parents via predicate surface "maintainsInvariant" ⓘ |
| red-black tree | every path from a node to descendant leaves has the same number of black nodes via predicate surface "maintainsInvariant" ⓘ |