www.Les-Mathematiques.net
p=ab =⇒aet b∈ Dp=USpU
alors (a,b)/∈ U2.Sinon on aurait p=ab ∈ U ce qui contredirait (II)
On a aussi (a,b)/∈(A\U)2.Sinon aet b /∈ U et comme aet b∈ Dp=USpUon au-
rait donc aet b∈pUsoit a=p,b =pθ puis ab =p=p2θ et p(1 −pθ) = 0 enfin
comme Aest intègre et p6= 0 1 = pθ
On aurait donc p∈ U ce qui contredirait (II).
Finalement (I) est vérifiée.
(I)=⇒?(II)
p6= 0 sinon p= 0.0avec (0,0) ∈(A\U)2ce qui contredirait (I).
p /∈ U sinon p=p.1avec (p,1) ∈ U2ce qui contredirait (I).
Dp⊂ U SpU
En effet a∈ Dp=⇒p=ab d’où d’après (I) (a,b)/∈ U2S(A\U)2.
D’autre part on a l’alternative:
ou bien a∈ U et alors a∈ U SpU
ou bien a /∈ U et alors b∈ U sinon (a,b)∈(A\U)2ce qui contredirait (I).
Donc il existe c∈Atel que bc = 1 d’où p=ab =⇒pc =abc =a.1 = a
et a∈pUvu que c∈ U.Par conséquent a∈ U SpU
Finalement l’inclusion annoncée est prouvée et comme l’inclusion contraire est im-
médiate on a montré que (II) est vérifiée ce qui termine la preuve de l’équivalence
annoncée.
Malgré l’équivalence des propositions (II) et (I) dans un acui,où l’intégrité a été utili-
sée, on peut remarquer que (II) fait référence à la structure d’anneau à cause de 0qui
y figure alors que ce n’est pas le cas de (I) qui se réfère seulement à un demi-groupe
abélien multiplicatif.
On pourrait aussi définir un élément premier ,hors intégrité ,dans un acu grâce à (I)
mais on perdrait la règle des degrés deg(PQ)=deg(P)+deg(Q) pour P et Q non nuls qui
découle de l’intégrité or cette règle est fondamentale pour l’arithmétique dans les an-
neaux de polynômes A[X1,X2,...Xn].
Il semble dès lors raisonnable de définir un élément premier dans un acui avec la pro-
position (II) ou la (I) c’est le choix fait dans ce qui suit.
Montrons qu’avec la proposition (I) on retrouve les caractérisations usuelles des élé-
ments premiers dans Net dans les demi-groupes multiplicatifs d’anneaux(acui) clas-
siques comme Z, et A[X1,X2...Xn]avec n≥1et Aun acui , éventuellement un
corps.
Ici je préfère dire polynôme premier que polynôme irréductible qui pourrait faire ré-
férence à la notion d’élément irréductible d’un acui dont je préfère ne pas parler ici ,
même si ,pour p6= 0 les 2 notions coïncident sur un acui factoriel([2] page 50).
4 G Philippe