Linear representation of finite group over reals has invariant symmetric positive-definite bilinear form
For finite-dimensional vector space
Suppose is a finite group and (with finite-dimensional) is a linear representation of over a vector space over , the field of real numbers. Then, there exists a symmetric positive-definite bilinear form such that
In other words, we can think of as a dot product invariant under the action of .
Further, if we choose a basis for that is an orthonormal basis for , then in this basis, all the matrices for , are orthogonal matrices, i.e., as elements of where is the dimension of (and hence the degree of ). Thus, another formulation is that every finite-dimensional linear representation over the real numbers is an orthogonalizable linear representation.
For infinite-dimensional vector spacePLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
Related facts for infinite groups
- Continuous linear representation of compact group over reals has invariant symmetric positive-definite bilinear form
Analogue for complex numbers
Not true for all subfields of reals
It is possible to have a subfield of the real numbers with the property that a linear representation can be realized over that subfield, but it cannot be realized using orthogonal matrices of that subfield, because it does not possess an invariant inner product. Note that all examples of this kind must involve representations of degree more than one.
Here are some examples:
|Representation||Degree||Group||Linear representation theory of group||Smallest subfield of reals where the representation is realized||Degree of extension of rationals||Smallest subfield of reals where the representation is realized using orthogonal matrices||Degree of extension of rationals|
|standard representation of symmetric group:S3||2||symmetric group:S3||linear representation theory of symmetric group:S3||1||(quadratic extension of )||2|
|faithful irreducible representation of dihedral group:D10||2||dihedral group:D10||linear representation theory of dihedral group:D10||2||4|