is a maximal compact subgroup of
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:orthogonal_group_SO(n) | gptkb:general_linear_group_GL(n,_R) |