Ideal

An ideal of a commutative ring $(R,+,\times)$ is an abelian subgroup of $(R,+,\times)$ with the following stability condition : for all $r\in R$ and all $a\in A$,$\;$$ra\in I$.

Examples