Module automorphism (source code)

= Module automorphism
{title2=$\operatorname{Aut}_R(M)$}

A module automorphism is an invertible <module endomorphism>. Equivalently, it is a bijective <module homomorphism> from a <module> to itself; its inverse is automatically a <module homomorphism>. They form a <group> under composition.