En caso de que exista, con lo cual el anillo es un anillo con uno, se dice que formula_120 es un módulo sobre formula_38.