diff options
| author | Fabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com> | 2011-02-10 10:00:05 +0100 |
|---|---|---|
| committer | Fabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com> | 2011-02-10 10:00:05 +0100 |
| commit | ee7a381036b46772c5de78db7ebaafb19ad61eba (patch) | |
| tree | 9eccb164c9f301ca545225a509348027acdd34c1 | |
| parent | 59f4e074bd6e57ecf994fec82aea4e1b51a75786 (diff) | |
| download | galois-ee7a381036b46772c5de78db7ebaafb19ad61eba.tar.gz galois-ee7a381036b46772c5de78db7ebaafb19ad61eba.tar.bz2 galois-ee7a381036b46772c5de78db7ebaafb19ad61eba.zip | |
[Spec] clarification sur ∨ et idéaux
| -rw-r--r-- | chapitres/spectre.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chapitres/spectre.tex b/chapitres/spectre.tex index dbad3a2..678a167 100644 --- a/chapitres/spectre.tex +++ b/chapitres/spectre.tex @@ -445,7 +445,8 @@ Tout idéal de type fini d'une algèbre de Boole est principal. \begin{démo} Cela résulte immédiatement du fait que tout ensemble fini -a une borne inférieure pour l'ordre défini ci-dessus. +a une borne inférieure pour l'ordre défini ci-dessus et du fait +qu'un idéal est stable par l'opération $∨$. Voir aussi \ref{exercice-idéal idempotent engendré par idempotent}. \end{démo} |