Let be an abelian group, let be a commutative ring, and let be a left multiplicative -action on and be a right multiplicative -action on . is a left -module if is a bilinear function, and is a right -module if is a bilinear function.
Properties
Every abelian group is a left -module and a right -module.