Sia I un ideale di A. I è principale se

esiste un elemento  a di A tale che I = (a).