Anneau non commutatif de polynômes

On se donne un anneau unitaire A.

On va construire :

• l'ensemble A[X] ;
• une structure d'anneau (unitaire) sur cet ensemble, commutatif si A l'est, et intègre si A l'est ;

On va prouver

• l'existence d'une opération de division euclidienne, ou deux telles opérations à droite et à gauche si A est non-commutatif, par tout polynôme à coefficient dominant inversible dans A, avec quotient et reste uniques,
• et son rapport avec l'évaluation (à droite ou à gauche) des polynômes en un élément de A.

On va considérer les suites d'éléments de A, nulles à partir d'un certain rang. Cet ensemble peut-être vu comme la partie de l'ensemble ${\displaystyle A^{\mathbb {N} }}$ définie ainsi :

${\displaystyle \left\{(a_{n})_{n\in \mathbb {N} }\in A^{\mathbb {N} }\mid \exists N\geq 0:\forall n\geq N:a_{n}=0\right\}}$

C'est notre ensemble A[X].

Commençons par définir ce mystérieux X, appelé indéterminée : il s'agit de la suite nulle partout, sauf à l'indice ${\displaystyle 1}$ où elle vaut ${\displaystyle 1}$. On note par ailleurs que l'on peut envoyer A dans A[X] de façon injective par l'application qui à un élément a associe la suite dont le coefficient à l'indice 0 vaut a, et qui est nulle partout ailleurs.

Pour définir la structure de groupe additif sur A[X], on se contente de reprendre la structure héritée naturellement par le fait que ce sont des suites à valeurs dans un anneau : la suite ${\displaystyle a+b}$ est donnée par ${\displaystyle (a+b)_{n}=(a)_{n}+(b)_{n}}$. L'élément neutre est la suite entièrement nulle. La structure multiplicative est un peu plus compliquée : la suite ${\displaystyle a*b}$ est donnée par

${\displaystyle (a*b)_{n}=\sum _{k+l=n}a_{k}b_{l}\,.}$

Comme les suites a et b n'ont qu'un nombre fini de coefficients non nuls, il en est de même pour ${\displaystyle a+b}$ et ${\displaystyle a*b}$. La formule pour ${\displaystyle a*b}$ définit bien une loi de composition interne associative (et commutative si A l'est), dont l'image de l'élément 1 de A par l'application injective ${\displaystyle A\to A[X]}$ mentionnée est élément unité (il est également noté 1), ainsi que la propriété de distributivité par rapport à l'addition définie précédemment.

Et avec cette addition et cette multiplication, il est clair que l'on a bien une structure d'anneau. Il reste à remarquer que ${\displaystyle X^{n}}$ est la suite nulle partout sauf en n, où elle vaut ${\displaystyle 1}$ ; en particulier, tout polynôme ${\displaystyle P=(a_{n})_{n}}$ s'écrit donc de façon unique : :${\displaystyle P=\sum _{n}a_{n}X^{n}}$ On retrouve là l'écriture habituelle des polynômes.

On se donne deux polynômes P et U. On ne fait pas d'hypothèse sur le premier, mais on demande que le coefficient dominant du second soit inversible.

On souhaite prouver qu'il existe un unique couple de polynômes Q et R réunissant les deux conditions suivantes :

• ${\displaystyle \quad P=UQ+R}$ ;
• ${\displaystyle \quad \deg(R)<\deg(U)}$.

${\displaystyle Q}$ sera le quotient et R le reste dans la division à droite. On dira aussi que Q est le quotient à droite et R le reste à droite.

Si R=0 on dira naturellement que P est divisible à droite par U.

De manière symétrique on désignera par quotient à gauche et reste à gauche les polynômes Q' et R' vérifiant :

• ${\displaystyle \quad P=Q'U+R'}$ ;
• ${\displaystyle \quad \deg(R')<\deg(U)}$.

et si R=0, P sera dit divisible à gauche par U.

Il est évident que ces 2 notions coïncident dans le cas d'un anneau commutatif. Nous ferons la démonstration de l'unicité et de l'existence du quotient et du reste dans le premier cas seulement, l'adaptation au second cas ne posant aucune difficulté.

Comme le coefficient dominant 1 du polynôme ${\displaystyle X-u}$ est évidemment inversible, les divisions à droite et à gauche sont possibles. Soient ${\displaystyle P\in A[X]}$ et ${\displaystyle u\in A}$. On a alors :

Théorème

Le reste de la division à gauche du polynôme P par ${\displaystyle X-u}$ est égal à la valeur à droite ${\displaystyle P_{d}(u)}$.

• Démonstration

Posons ${\displaystyle \quad Q=b_{n-1}X^{n-1}+\dotsb +b_{1}X+b_{0}}$

On a ${\displaystyle P=Q(X-u)+R}$ et en groupant les termes de même degré du second membre :

${\displaystyle \quad P=b_{n-1}X^{n}+(b_{n-2}-b_{n-1}u)X^{n-1}+\dotsb +(b_{0}-b_{1}u)X-b_{0}u+R}$

Si on remplace alors X par u dans le membre de droite (ce qui est bien le calcul de la valeur à droite) on constate immédiatement que les termes provenant du produit ${\displaystyle Q(X-u)}$ s'annulent 2 à 2 et on obtient le résultat annoncé.

Remarquons que, lorsque u n'est pas central, on ne pouvait pas faire appel au théorème précédent et raisonner que ${\displaystyle P_{d}(u)=Q_{d}(u)(X-u)_{d}(u)+R=Q_{d}(u).0+R=R}$. Mais en reprenant la preuve de ce théorème on peut justifier néanmoins cette formule. On observe que dans cette preuve on a écrit ${\displaystyle P[X:=u]}$ sous la forme de la valeur à droite, et que la preuve n'a utilisé que la commutation de u avec les coefficients b_j du polynôme à droite ; or, dans la formule considérée cette commutation est valable car les seuls coefficients du polynôme ${\displaystyle X-u}$ à droite sont ${\displaystyle b_{1}=1}$ et ${\displaystyle b_{0}=u}$, qui commutent avec u.

On a le résultat symétrique :

Le reste de la division à droite du polynôme P par ${\displaystyle X-u}$ est égal à la valeur à gauche ${\displaystyle P_{g}(u)}$.

Corollaire

Le polynôme P est divisible à gauche par ${\displaystyle X-u}$ si et seulement si ${\displaystyle P_{d}(u)=0}$ et le polynôme P est divisible à droite par ${\displaystyle X-u}$ si et seulement si ${\displaystyle P_{g}(u)=0}$