Random triples
| Subject | Object |
|---|---|
| gptkb:O(7,_R) | gptkb:SO(7,_R) |
| gptkb:SO(1,n) | gptkb:SO^+(1,n) |
| gptkb:orthogonal_group_O(10) | gptkb:special_orthogonal_group_SO(10) |
| gptkb:O(2) | gptkb:SO(2) |
| gptkb:orthogonal_group_O(3) | gptkb:SO(3) |
| gptkb:orthogonal_group_O(n) | gptkb:special_orthogonal_group_SO(n) |
| gptkb:SO(p+1,q+1) | gptkb:SO^0(p+1,q+1) |
| gptkb:SO(2,_n-1) | SO^+(2, n-1) |
| gptkb:GL_n(R) | matrices with positive determinant |
| gptkb:Abelian_Lie_groups | isomorphic to R^n × T^m |
| gptkb:O(n,_R) | gptkb:SO(n,_R) |
| gptkb:orthogonal_group_O(n,_R) | gptkb:SO(n,_R) |