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