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

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"