hasMaximalCompactSubalgebra
2
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:split_real_form_of_E_8 | so(16) |
| gptkb:e_{7(-133)}_Lie_algebra | su(8) |