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.
Articles by others on the same topic
There are currently no matching articles.