29
Posons
u=mn
et
v=x
1
x
2
.
Alors:
vau
et
vbu.
()
x
1
x
2
a
u
et
x
1
x
2
b
u
Aussi:
uI
0
puisque
mI
0
et
nI
0
et
I
0
est un idéal.
vP
puisque
x
1
,x
2
P
et
P
est un filtre.
Alors
v(ab)=(va)(vb)
distributivité
u par ()
Nous avons supposé que
abP,
P est un filtre, donc
uP.
Mais
uI0
et par
hypothèse
PI
0
=.
Donc si
abP,
alors
aP
ou
bP,
P est premier.
Preuve (théorème d’existence des filtres premiers):
Soit
F=F:F est un filtre de A, F
0F, FI=
{}
.
Manifestement
F
est ordonné par l’inclusion. Nous allons appliquer le lemme de Zorn
à
F.
Si C est une chaîne non-vide dans
F,
alors
CF,
i.e.
C
est un filtre,
F
0C
et
C
I=.
Soit
xC
,
xF
i
,
F
i
est dans la chaîne. Si
xy,
alors
yF
i
puisque
F
i
est un filtre.
Si
x,yC,
alors il existe
F
i,FjC
tels que
xF
i
et
yFj.
Puisque C est une chaîne,
soit
F
i
F
j
ou
F
j
F
i
.
Par conséquent, x et y appartiennent tous deux soit à
F
i
soit à
F
j
.
Il s’ensuit que
xy
appartient soit à
F
i
soit à
Fj
puisque ce sont des filtres.
Mais puisque
F
i
C
,
F
j
C
,
alors
xyC
.
Nous devons montrer que
IC
=.
(Allons-y par l’absurde)
Si
aI et aC
,
alors il existe
FC
tel que
aF,
ce qui est impossible puisque
FF.
Manifestement
F
0
C
.
Pour toute chaîne non-vide
F,
F
est une borne
supérieure. Pour la chaîne vide, nous posons
F
0
F
et elle peut servir de borne
supérieure. Puisque
F
0
I=, F
0
F.
Le lemme de Zorn implique qu’il existe un
élément maximal P de
F,
()
.
Par le critère, tout filtre maximal parmi les filtres qui
contiennent
F
0
et disjoints de
I0
est premiers.