El conjunto subyacente del módulo y su operación deben formar un grupo.