# 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 .