Past exam of the groups and representations course of the University of Oxford 2019 1 b Solution 2026-10-25
Nonzero scalar matrices form a subgroup of the general linear group, since products and inverses remain nonzero scalar matrices. Moreover, for every invertible ,Thus lies in the center of a group and is a normal subgroup. The quotient group is the complex projective linear group , whose elements identify invertible matrices differing by a nonzero scalar.
The canonical group homomorphism obeys . Composing it with the given group representation givesConsequentlyThis is the projective representation associated with : a nonzero scalar acts trivially on each line in the projective space of . Its kernel of a group homomorphism consists of those for which is scalar, which can be larger than the kernel of a group homomorphism of itself.
Let and . They generate the dihedral group of a square, realized by . Its image in the projective linear group has four elements, since opposite matrices become equal. The projective classes of commute because , and each squares to the identity. Sending to gives the Klein four-group. This is an example in which a nontrivial scalar commutator disappears after passing to a projective representation.
Projective representation Created 2026-10-14 Updated 2026-10-18
A projective representation is a group homomorphism into the projective linear group of a vector space. Choosing invertible linear representatives makes multiplication hold up to nonzero scalar factors. A projective unitary representation chooses unitary operators as representatives, whose scalar factors have modulus one.
Projective unitary representation Created 2026-09-24 Updated 2026-10-14
Because state vectors differing by a quantum phase represent the same ray, a unitary realization of a group action need only satisfy
A projective unitary representation is a projective representation whose chosen representatives are unitary operators. The phase factors disappear on rays.