Random triples
| Subject | Object |
|---|---|
| gptkb:SO(n+1,_R) | determinant = 1 |
| gptkb:GL(n,Z) | determinant is ±1 |
| gptkb:GL(n+1,_ℝ) | determinant ≠ 0 |
| gptkb:GL(3,Z) | determinant is ±1 |
| gptkb:GL(3,_Z) | determinant is ±1 |
| gptkb:General_Linear_Group_of_2x2_real_matrices | determinant not zero |