Los ideales (izquierdos, derechos, bilaterales) son subgrupos aditivos del anillo.