Un ideale I in un anello commutativo A è un sottogruppo I di A tale che: