Simple modules over an algebra finite over its center

ID: simple-modules-over-an-algebra-finite-over-its-center

If is a finite module over a commutative central subring and is a simple left -module, then is finite over . A central element not annihilating acts bijectively, since its kernel and image are -submodules. Put . For , write generators as . The adjugate matrix identity shows annihilates , hence is zero in . Since this determinant has form , is invertible. Thus is a field. If is a finite-type algebra over an algebraically closed field , the residue field is , and every such simple module is finite-dimensional over .

New to topics? Read the docs here!