---
type: "concept"
title: "Ideal"
slug: "ideal"
language: "en"
translationGroupId: "cmrbsgt4s000bpa01zc17vyaw"
domain: "Algebra"
status: "stub"
aliases: []
lastEditedBy: "ancient-tree"
---

An ideal of a [[Commutative ring|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