General Ring Theory/Principal ideals
Definition (left principal ideal):
Let be a ring. A left principal ideal of is an ideal of the form with .
Analogously, one may define a right principal ideal.
Definition (two-sided principal ideal):
Let be a ring. A two-sided principal ideal is an ideal of the form for some .