Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 103 / 1 / a / ii / Solution

The projections $P_T$ in the Gelfand–Tsetlin algebra satisfyConsequently the map sending a diagonal element to its scalar on each Gelfand–Tsetlin basis vector is a ring isomorphismEach factor is a simple module over this algebra, and the algebra is their direct sum as a module over itself. This proves that $G{Z}_n$ is a semisimple algebra. The argument uses its explicit diagonal structure; being a subalgebra of a semisimple algebra by itself would not suffice.