Sigue de la primera condición que los ideales son subgrupos del grupo aditivo del anillo.