Noun
(algebra, ring theory) A commutative ring in which every ideal is a principal ideal.
(algebra, ring theory) A noncommutative ring in which every left ideal is a principal ideal and so is every right ideal.