Proving orthogonal matrices are a subgroup
30877
How to show that the set of orthogonal n x n matrices forms a group under multiplication
97994
Orthogonality Relations Exercise, Brezis' Book Functional Analysis
136389
Finding an isomorphic subring of matrices
118117
Conjugacy Class in a matrix group with columns of standard basis
42141
Proving Distributivity of Matrix Multiplication
121047
Proof: Sum of dimension of orthogonal complement and vector subspace
2174
Proving that HK is a subgroup when K is normal
1865
Sub-determinants of an orthogonal matrix
90332
Prove that that $U(n)$ is an abelian group.
133449
A proof that an orthogonal matrix with a determinant 1 is a rotation matrix
127882
Proofs involving orthonormal basis
112353
Prove that all 2x2 orthogonal matrices can be expressed as Rotation or Reflection
48369
discrete subgroups of euclidean space
44898
Help with commutative property of matrices problem
115204
Show that SO(n) is a normal subgroup of O(n)
142097
Finding the dimension of the orthogonal complement
123610
How to show that the commutator subgroup is a normal subgroup