Dessinez le diagramme de treillis pour l’ensemble des parties de \(X = \{ a, b, c, d \}\) avec la relation d’inclusion d’ensembles, \(\subset\text{.}\)
Soit \(B\) l’ensemble des entiers positifs qui sont diviseurs de \(210\text{.}\) Définissez un ordre sur \(B\) par \(a \preceq b\) si \(a \mid b\text{.}\) Prouvez que \(B\) est une algèbre de Boole. Trouvez un ensemble \(X\) tel que \(B\) soit isomorphe à \({\mathcal P}(X)\text{.}\)
Soit \(X\) un ensemble fini contenant \(n\) éléments. Prouvez que \(|{\cal P}(X)| = 2^n\text{.}\) Concluez que l’ordre de toute algèbre de Boole finie doit être \(2^n\) pour un certain \(n \in {\mathbb N}\text{.}\)
Pour chacun des circuits suivants, écrivez une expression booléenne. Si le circuit peut être remplacé par un circuit avec moins d’interrupteurs, donnez l’expression booléenne et dessinez un diagramme pour le nouveau circuit.
Soit \(L\) un ensemble non vide avec deux opérations binaires \(\vee\) et \(\wedge\) satisfaisant les lois commutatives, associatives, idempotentes et d’absorption. Nous pouvons définir un ordre partiel sur \(L\text{,}\) comme dans le Théorème 19.1.14, par \(a \preceq b\) si \(a \vee b = b\text{.}\) Prouvez que la borne inférieure de \(a\) et \(b\) est \(a \wedge b\text{.}\)
Soit \(G\) un groupe et \(X\) l’ensemble des sous-groupes de \(G\) ordonné par l’inclusion ensembliste. Si \(H\) et \(K\) sont des sous-groupes de \(G\text{,}\) montrez que la borne supérieure de \(H\) et \(K\) est le sous-groupe engendré par \(H \cup K\text{.}\)
Soit \(R\) un anneau et supposons que \(X\) est l’ensemble des idéaux de \(R\text{.}\) Montrez que \(X\) est un poset ordonné par l’inclusion ensembliste, \(\subset\text{.}\) Définissez l’intersection de deux idéaux \(I\) et \(J\) dans \(X\) par \(I \cap J\) et la réunion de \(I\) et \(J\) par \(I + J\text{.}\) Prouvez que l’ensemble des idéaux de \(R\) est un treillis sous ces opérations.
Soient \(I, J\) des idéaux de \(R\text{.}\) Nous devons montrer que \(I + J = \{ r + s : r \in I \text{ et } s \in J \}\) est le plus petit idéal de \(R\) contenant à la fois \(I\) et \(J\text{.}\) Si \(r_1, r_2 \in I\) et \(s_1, s_2 \in J\text{,}\) alors \((r_1 + s_1) + (r_2 + s_2) = (r_1 + r_2) +(s_1 + s_2)\) est dans \(I + J\text{.}\) Pour \(a \in R\text{,}\)\(a(r_1 + s_1) = ar_1 + as_1 \in I + J\) ; donc \(I + J\) est un idéal de \(R\text{.}\)
En dessinant les diagrammes appropriés, complétez la preuve du Théorème 19.3.7 pour montrer que les fonctions à interrupteurs forment une algèbre de Boole.
Soit \(X\) un poset tel que pour tout \(a\) et \(b\) dans \(X\text{,}\) soit \(a \preceq b\) soit \(b \preceq a\text{.}\) On dit alors que \(X\) est un ensemble totalement ordonné.
La relation \(a \mid b\) est-elle un ordre total sur \({\mathbb N}\) ?
Prouvez que \({\mathbb N}\text{,}\)\({\mathbb Z}\text{,}\)\({\mathbb Q}\text{,}\) et \({\mathbb R}\) sont des ensembles totalement ordonnés sous l’ordre usuel \(\leq\text{.}\)
Soient \(X\) et \(Y\) des posets. Une application \(\phi : X \rightarrow Y\) est préservant l’ordre si \(a \preceq b\) implique que \(\phi(a) \preceq \phi(b)\text{.}\) Soient \(L\) et \(M\) des treillis. Une application \(\psi: L \rightarrow M\) est un homomorphisme de treillis si \(\psi( a \vee b ) = \psi(a) \vee \psi(b)\) et \(\psi( a \wedge b ) = \psi(a) \wedge \psi(b)\text{.}\) Montrez que tout homomorphisme de treillis préserve l’ordre, mais qu’il n’est pas vrai que tout homomorphisme préservant l’ordre est un homomorphisme de treillis.
\(( \Rightarrow)\text{.}\)\(a = b \Rightarrow (a \wedge b') \vee (a' \wedge b) = (a \wedge a') \vee (a' \wedge a) = O \vee O = O\text{.}\)\(( \Leftarrow)\text{.}\)\(( a \wedge b') \vee (a' \wedge b) = O \Rightarrow a \vee b = (a \vee a) \vee b = a \vee (a \vee b) = a \vee [I \wedge (a \vee b)] = a \vee [(a \vee a') \wedge (a \vee b)] = [a \vee (a \wedge b')] \vee [a \vee (a' \wedge b)] = a \vee [(a \wedge b') \vee (a' \wedge b)] = a \vee 0 = a\text{.}\) Un argument symétrique montre que \(a \vee b = b\text{.}\)
Soient \(L\) et \(M\) des treillis. Définissez une relation d’ordre sur \(L \times M\) par \(( a, b) \preceq (c, d)\) si \(a \preceq c\) et \(b \preceq d\text{.}\) Montrez que \(L \times M\) est un treillis sous cet ordre partiel.