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 
).
