anneau principal non commutatif

Par anneau principal non commutatif on entend ici un anneau qui généralise la notion classique d'anneau principal au cas non commutatif. Ce qui suit est donc valide dans le cas commutatif également. Les exemples d'anneaux principaux non commutatifs abondent, et l'on peut citer notamment l'anneau des opérateurs différentiels à coefficients dans où est un corps commutatif.