hasAdjointRepresentation
P78096
predicate
Indicates that a mathematical object (typically a Lie group or Lie algebra) is associated with its adjoint representation, describing how it acts on its own Lie algebra via the adjoint action.