Principal ideal (source code)

= Principal ideal
{title2=$(a)$}
{wiki}

= Principal
{synonym}

A principal ideal is generated by one element: $(a)=\{ra:r\in R\}$.