Es decir que formula_21 tiene una estructura de grupo, que es un subgrupo del semigrupo multiplicativo del anillo.