Anneau non commutatif de polynômes

Anneau non commutatif de polynômes est construit : l'algèbre d'un monoïde. On se donne un anneau unitaire A. On va construire : l'ensemble A ; une structure d'anneau (unitaire) sur cet ensemble, commutatif si A l'est, et intègre si A l'est ; On va prouver l'ex…