invariantUnder
P4235
predicate
Indicates that a property, structure, or quantity remains unchanged when a specified transformation or operation is applied.
All labels observed (31)
| Label | Occurrences |
|---|---|
| symmetry | 110 |
| invariantUnder canonical | 107 |
| isInvariantUnder | 36 |
| hasSymmetryGroup | 18 |
| invarianceProperty | 8 |
| isTranslationInvariant | 3 |
| invariance | 2 |
| isGaugeInvariantUnder | 2 |
| isScalarInvariantUnder | 2 |
| metricPreserved | 2 |
| symmetryConstraint | 2 |
| LorentzInvariant | 1 |
| actsTriviallyOn | 1 |
| coordinateInvariance | 1 |
| hasInvariance | 1 |
| impliesInvarianceUnder | 1 |
| invarianceGroup | 1 |
| isAreaPreservingBecause | 1 |
| isConformalInvariant | 1 |
| isConformallyInvariant | 1 |
| isHolomorphicallyInvariant | 1 |
| isHomogeneousUnder | 1 |
| isInvariant | 1 |
| isRotationInvariant | 1 |
| isTimeReversalInvariant | 1 |
| isTranslationInvariantOn | 1 |
| preservesBoundedness | 1 |
| preservesClosedness | 1 |
| preservesConvexity | 1 |
| preservesSmoothStructure | 1 |
| shiftInvariance | 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: invariantUnder
Generated description
Indicates that a property, structure, or quantity remains unchanged when a specified transformation or operation is applied.
Sample triples (312)
| Subject | Object |
|---|---|
| Witten index | continuous deformations of parameters ⓘ |
| Witten index | renormalization group flow ⓘ |
| Weil pairing | isogenies of elliptic curves up to compatibility ⓘ |
| Hadamard fractional integral | multiplicative scaling of the variable ⓘ |
|
Clebsch diagonal surfaces
surface form:
Clebsch diagonal surface
|
S5 via predicate surface "hasSymmetryGroup" ⓘ |
| Clebsch–Aronhold invariants | SL(2) action on binary quartic forms ⓘ |
| Clebsch–Aronhold invariants | change of homogeneous coordinates on the projective line ⓘ |
| Dehn invariant | rigid motions of ℝ³ ⓘ |
| Dehn invariant | isometries of Euclidean 3-space ⓘ |
| Lambert azimuthal equal-area projection | azimuthally symmetric via predicate surface "symmetry" ⓘ |
| Lebesgue measure | true via predicate surface "isTranslationInvariant" ⓘ |
| Lebesgue measure | true via predicate surface "isRotationInvariant" ⓘ |
| Lebesgue measure | translations in R^n via predicate surface "isInvariantUnder" ⓘ |
| Lebesgue measure | orthogonal transformations in R^n via predicate surface "isInvariantUnder" ⓘ |
| Whitney sum | true via predicate surface "preservesSmoothStructure" ⓘ |
| Einstein–Hilbert action | diffeomorphisms ⓘ |
| Weyl tensor | in dimension 4 via predicate surface "isConformallyInvariant" ⓘ |
| Plücker coordinates | projective transformations ⓘ |
| Plücker coordinates | change of basis in the underlying vector space ⓘ |
| El Misti | nearly symmetrical cone via predicate surface "symmetry" ⓘ |
| Tukey's lambda distribution | symmetric about location parameter via predicate surface "symmetry" ⓘ |
| Einstein–Yang–Mills equations | diffeomorphism invariance via predicate surface "symmetry" ⓘ |
| Einstein–Yang–Mills equations | local gauge invariance via predicate surface "symmetry" ⓘ |
| D0 | nearly hermetic detector coverage via predicate surface "symmetry" ⓘ |
| Minkowski metric η_{μν} | Poincaré group via predicate surface "invarianceGroup" ⓘ |
| Minkowski metric η_{μν} |
Lorentz transformation
via predicate surface "isInvariantUnder"
ⓘ
surface form:
Lorentz transformations
|
| Minkowski metric η_{μν} | spacetime translations via predicate surface "isInvariantUnder" ⓘ |
| Epipona | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Parapolybia | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Todd class | holomorphic isomorphisms via predicate surface "isInvariantUnder" ⓘ |
| Branchiobdellida | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Chaetognatha | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Laplacian spectrum | isometries of the manifold ⓘ |
| Laplacian spectrum | Riemannian isometries ⓘ |
| Entoprocta | bilateral symmetry (adult often secondarily asymmetrical) via predicate surface "symmetry" ⓘ |
| Rhabditidae | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Onchocercidae | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Stauromedusae | radial symmetry via predicate surface "symmetry" ⓘ |
| Obelia | radial symmetry via predicate surface "symmetry" ⓘ |
| Aequorea victoria | radial symmetry via predicate surface "symmetry" ⓘ |
| Trachylinae | radial symmetry via predicate surface "symmetry" ⓘ |
| Medusozoa | radial symmetry via predicate surface "symmetry" ⓘ |
| Meganyctiphanes norvegica | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Hydra | radial symmetry via predicate surface "symmetry" ⓘ |
| Chrysaora quinquecirrha | radial symmetry via predicate surface "symmetry" ⓘ |
| Banach–Mazur distance | linear isomorphisms via predicate surface "isInvariantUnder" ⓘ |
| Banach limit | L((x_{n+1}))=L((x_n)) via predicate surface "shiftInvariance" ⓘ |
| Banach limit | translation invariance on index set ℕ via predicate surface "invarianceProperty" ⓘ |
| Banach limit | finite permutations of coordinates of a sequence (for some constructions) ⓘ |
| Remipedia | bilateral symmetry via predicate surface "symmetry" ⓘ |