Principal ideal

Definition for commutative rings

Symbol-free definition

An ideal in a commutative unital ring is termed a principal ideal if it is the ideal generated by a single element of the ring.

Definition with symbols

An ideal $I$ in a ring $R$ is termed a principal ideal if there exists an $x$ in $R$ such that $I=Rx$.

Definition for noncommutative rings

Fill this in later