Jika \(R\) adalah gelanggang komutatif dengan identitas, maka ideal berbentuk \(\langle a \rangle = \{ ar : r \in R \}\) disebut ideal utama.