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

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. }