Module automorphism (${\mathrm{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.