En efecto formula_24 es un módulo sobre el anillo de grupo formula_28.