Module homomorphism

Endomorphism ring

Let be a ring and be an -module. Then forms a ring called the endomorphism ring, under composition, #m/def/module so for and

If is a commutative ring this becomes an -monoid, so for

Proof

Let Clearly

if is commutative then

as required.

Properties

#state/tidy | #lang/en | #SemBr