Le terme "quaternions" peut désigner deux choses (au moins...) :
- Le
groupe des quaternions qui a effectivement 8 éléments en général notés
sur lequel on a
une seule opération (la multiplication)
- Le
corps des quaternions qui est l'ensemble des
avec
sur lequel on a
deux opération (addition et multiplication)
Ici, vu le contexte où on parle de polynômes, ce qui demande a avoir
deux opérations (addition et multiplication), c'est forcément du deuxième qu'il s'agit et le corps en question est clairement infini vu qu'il s'agit d'un
-e.v. de dim. 4 (on peut aussi plus simplement dire qu'il est infini vu qu'il contient
)
Concernant l'autre exemple, il n'y a rien "à définir" : lorsqu'on dit "l'anneau Z/4Z", ça signifie que, sur cet ensemble là, les opérations sont celles contenues dans la définition générale de "l'anneau Z/nZ" que tu doit avoir dans ton cours.
Puis, lorsqu'on dit "l'anneau des polynômes à coeff. dans Z/4Z", ça signifie que, sur cet ensemble là, les opérations sont celles contenues dans la définition de "l'anneau A[X] des polynômes à coeff. dans l'anneau A" qui doit aussi être dans ton cours.
Concernant le "théorème" disant que, si A est commutatif et intègre alors tout polynôme de A[X] de degré d admet au plus d racines, cela résulte du fait que, si A est commutatif, si P(X) est dans A[X] et que xo est une racine de P(X) alors P(X)=(X-xo)Q(X) pour un certain Q de A[X]. Ensuite, vu que A est intègre, on a P(x)=0 ssi x=x0 ou bien Q(X)=0 et on conclue par récurrence.
Je ne connais pas de "nom" a ce résultat (en a-t-il un ?) ni de référence (vu que la preuve tient une ligne...)