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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| isCompactRealFormOf canonical | 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: isCompactRealFormOf
Generated description
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 ⓘ |