Modules and integral ring extensions

Roughly speaking, a module over a ring R is an abelian group on which R acts linearly. Let us give the precise definition and some examples before we explain why we are introducing the concept of a module at this point.