isMaximalCompactSubgroupOf
3
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:projective_unitary_group_PU(n) | gptkb:PGL(n,_C) |
| gptkb:SO(n+1,_R) | gptkb:SO(n+1,_C) |
| gptkb:SO(n+1,_R) | SL(n+1, R) |