Es decir que es un grupo abeliano (grupo aditivo del anillo) y es un semigrupo.