formula_52 es un grupo con el producto del anillo formula_24.