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.
