Deje $S$ ser un grupo abelian en virtud de una operación que se denota por a $+$. Supongamos, además, que $S$ es cerrado bajo una conmutativa, asociativa, la ley de la multiplicación que se denota por a $\cdot$. Decir que $\cdot$ distribuye más de $+$ en la forma habitual. Por último, para cada $s\in S$, supongamos que existe algún elemento $t$, no necesariamente único, de tal manera que $s\cdot t=s$.
Esencialmente, $S$ es un paso desde que se separó de un anillo; el único problema es que la multiplicación de la identidad no es única. Aquí es un ejemplo.
Deje $S=\{\text{Continuous functions} f: \mathbb{R}\rightarrow \mathbb{R} \ \text{with compact support}\}$ con la suma y la multiplicación se define pointwise. Es claro que este es un grupo abelian con la necesaria ley de la multiplicación. Ahora, vamos a $f\in S$ ser admitidos en $[a,b]$. Deje $S'\subset S$ el conjunto de funciones continuas de manera compacta, apoyado en los intervalos que contengan $[a,b]$ que son idénticamente 1 en $[a,b]$. Claramente, si $g\in S'$, $f\cdot g=f$ todos los $x$. Además, no existe una única identidad multiplicativa en esta colección, ya que la función constante 1 no es de forma compacta compatible.
He observado que este ejemplo es de un aumento de la unión de los anillos, pero no sé si esto es válido para cada conjunto con la propiedad de que he definido.