isCompactRealFormOf
P128198
predicate
Indicates that one Lie group or Lie algebra is the compact real form corresponding to another (typically complex) Lie group or Lie algebra, sharing the same complexification.
Sample triples (1)
| Subject | Object |
|---|---|
|
rotation group SU(2)
surface form:
SU(2)
|
SL(2,C) NERFINISHED ⓘ |