For a simple -module , matrix units show that every nonzero vector of generates all coordinates, so is a simple -module. Conversely, if is simple over the matrix ring, is a simple -module andthrough the maps induced by and . These constructions are inverse on isomorphism classes; this is the basic Morita equivalence for a matrix ring.
The Jacobson radical is the intersection of annihilators of all simple left modules. On , a matrix annihilates every vector exactly when each entry annihilates . Intersecting over all simple gives
Articles by others on the same topic
There are currently no matching articles.