has maximal compact subgroup
8
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Lie_group_E_8 | itself (in compact form) |
| gptkb:Lie_algebra_of_type_F4 | Spin(9)/Z2 |
| gptkb:E_7_(split) | gptkb:SU(8)/Z_2 |
| gptkb:Lie_algebra_of_type_F4 | gptkb:Spin(9) |
| gptkb:split_E_6 | Sp(4)/Z_2 |
| gptkb:Spin(9) | gptkb:Spin(9) |
| gptkb:Spin(13) | gptkb:Spin(13) |
| gptkb:E_{7(-133)} | object: (SU(8)/Z_2) |