Solution

ID: past-exam-of-the-groups-and-representations-course-of-the-university-of-oxford/2023/3/d/solution

Write and partition a matrix into blocks. The equation makes its off-diagonal blocks obey and for every . Choosing any with forces both blocks to vanish. Conversely, every block diagonal matrix commutes with every . Intersecting with the special unitary group gives the exact centralizer
Its Lie algebra is . At the group level there is a finite central identification. The surjective group homomorphism
has kernel . Surjectivity follows by choosing with for any target pair , and setting , . Thus
The six distinct kernel elements give a concrete reason the displayed map does not identify the centralizer with an unquotiented product.

New to topics? Read the docs here!