hasUniqueIrreducibleUnitaryRepresentationUpToEquivalence

P140363
predicate

Indicates that there exists exactly one irreducible unitary representation of the entity (up to unitary equivalence), so any two such representations are equivalent.

Sample triples (1)

Subject Object
Heisenberg Lie algebra true (for fixed central character)