Given a module over a unit ring , the set of its module endomorphisms is a ring with respect to the addition of maps,
and the product given by map composition,
The endomorphism ring of is, in general, noncommutative, but it is always a unit ring (its unit element being the identity map on ).