principal ideal ring noun2 •A commutative ring in which every ideal is a principal ideal. •A noncommutative ring in which every left ideal is a principal ideal and so is every right ideal. formsprincipal ideal rings