Integrité des algèbres de séries formelles sur un alphabet partiellement commutatif (Q1072712)

L'A. démontre que l'anneau des séries formelles sur un alphabet partiellement commutatif est intègre. Ceci découle simplement du résultat analogue pour les polynômes; ce dernier résultat est une conséquence du théorème de Poincaré-Birkhoff-Witt, moyennant une proposition, qui est en fait déjà contenue dans: \textit{J. Dixmier: ''Algèbres enveloppantes'' (1974; Zbl 0308.17007), prop. 2.2.14 et 2.2.15. }