A principal ideal is an ideal 
of a ring 
for which there is an element 
of 
such that
 |
In other words, the ideal is generated by the element 
. For example, the ideals 
of the ring
of integers 
are all principal, and in fact all ideals of 
are principal.
