R´eciproquement, supposons que πsoit r´eductible, par exemple π=γδ avec γ,δnon
inversibles. Les id´eaux γet δadmettent des d´ecompositions en produits d’id´eaux premiers
et d’inverses d’id´eaux premiers. Par unicit´e de la d´ecomposition de (π) en produit d’id´eaux
premiers (et d’inverses d’id´eaux premiers), les pr´ec´edents sont des sous-produits stricts de
p1...pr.
Lemme 2. Soit pun id´eal premier de Adont la classe ¯
pest d’ordre rdans Pic(A). Alors
pr= (π) avec πirr´eductible.
¯
pr= 0 (dans Pic(A)) donc prest principal : pr= (π) avec πnon inversible. D’apr`es le lemme
pr´ec´edent, πest irr´eductible. En effet, s’il existait un sous-produit strict principal de pr,
alors ¯
pserait d’ordre < r.
Passons maintenant `a la preuve du th´eor`eme.
Si #Pic(A) = 1, alors Aest principal donc factoriel et a fortiori semi-factoriel.
Supposons maintenant que #Pic(A) = 2. Soit xun ´el´ement non nul et non inversible de A
ayant une d´ecomposition en produit d’´el´ements irr´eductibles x=π1...πrτ1...τs, o`u on a not´e
πiles facteurs premiers et τiceux qui ne le sont pas. Il s’agit de montrer que l’entier r+s
est enti`erement d´etermin´e par x.
On ´ecrit que Ax = (Aπ1)...(Aπr)(Aτ1)...(Aτs). L’id´eal Aτin’´etant pas premier, il se
d´ecompose en produit d’id´eaux premiers qi1...qitiavec ti>2. Le produit de deux id´eaux
non principaux ´etant principal (car #Pic(A) = 2), on a en fait ti= 2 en vertu du premier
lemme, par irr´eductibilit´e de τi. L’id´eal Ax se d´ecompose alors en produit d’id´eaux premiers
(Aπ1)...(Aπr)qi1qi2...qs1qs2. Cette d´ecomposition ´etant unique, le nombre de facteurs
principaux l’est aussi ainsi que le nombre de facteurs non principaux, ce qui d´etermine ret
s.
Enfin, supposons que #Pic(A)>3, il s’agit d’exhiber des ´el´ements de Aqui contredisent sa
semi-factorialit´e. On distingue deux cas :
– Il existe un ´el´ement gde #Pic(A) d’ordre m>3. La classe −gest ´egalement d’ordre
m. Soit pet qdes repr´esentants premiers de ces deux classes. Les id´eaux pmet qmsont
principaux, engendr´es par des ´el´ements irr´eductibles πet τ(d’apr`es le second lemme).
D’autre part, le produit pq est principal et engendr´e par un ´el´ement irr´eductible θd’apr`es
le premier lemme. On remarque que (pq)m=qmqmsoit encore Aθm=Aπτ , ce qui
signifie qu’il existe uinversible tel que θm=uπτ. Comme m>3, l’anneau An’est pas
semi-factoriel.
– S’il n’existe pas d’´el´ements d’ordre >3 dans #Pic(A), alors Pic(A)≈(Z/2Z)davec d>2.
On peut alors trouver des classes get htelles que la classe g+hsoit non nulle et distincte
de get de h. Consid´erons alors des id´eaux premiers p,qet rrespectivement dans les classes
g,het g+h. Ces trois classes sont d’ordre 2 dans Pic(A) donc les id´eaux p2,q2et r2sont
53