Caundo el anillo es conmutativo, cualquier ideal es bilateral.