Los ideales (bilaterales) tienen para los anillos un rol semejante al que tienen los subgrupos normales en la teoría de grupos.