Commutative ring/Principal ideal/Definition

Principal ideal

An ideal ${}{\mathfrak {a}}$ in a commutative ring ${}R$ of the form

${}{\mathfrak {a}}=(a)=Ra=\{ra:\,r\in R\}\,$

is called a principal ideal.