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