We looking at the definition the orthogonal group is the group of all matrices that preserve the dot product, we notice that the dot product is one example of positive definite symmetric bilinear form, which in turn can also be represented by a matrix as shown at: Section "Matrix representation of a symmetric bilinear form".
By looking at this more general point of view, we could ask ourselves what happens to the group if instead of the dot product we took a more general bilinear form, e.g.:The answers to those questions are given by the Sylvester's law of inertia at Section "All indefinite orthogonal groups of matrices of equal metric signature are isomorphic".
- : another positive definite symmetric bilinear form such as ?
- what if we drop the positive definite requirement, e.g. ?