Un módulo consiste en un valor de un anillo, otro conjunto, normalmente distinto del conjunto subyacente llamado el conjunto subyacente del módulo, una operación sobre pares de elementos del conjunto subyacente del módulo y una operación que toma un elemento del anillo y un elemento del módulo y da un elemento del módulo.