In a noncommutative ring R, a left ideal is a subset I which is an additive subgroup of R and such that for all r element R and all a element I, r a element I. A left ideal of R can be characterized as a right ideal of the opposite ring of R. In a commutative ring, the notions of right ideal and left ideal coincide.

ideal | one-sided ideal | two-sided ideal