Euclidean vector
By choosing an orthonormal basis of a Euclidean vector space, the orthogonal group can be identified with the group (under matrix multiplication) of orthogonal matrices, which are the matrices such that