Misalkan \(B\) himpunan bilangan bulat positif yang merupakan pembagi dari \(210\text{.}\) Definisikan suatu urutan pada \(B\) dengan \(a \preceq b\) jika \(a \mid b\text{.}\) Buktikan bahwa \(B\) merupakan aljabar Boolean. Carilah himpunan \(X\) sedemikian sehingga \(B\) isomorfik dengan \({\mathcal P}(X)\text{.}\)
Misalkan \(X\) suatu himpunan hingga yang memuat \(n\) unsur. Buktikan bahwa \(|{\cal P}(X)| = 2^n\text{.}\) Simpulkan bahwa orde setiap aljabar Boolean hingga harus berbentuk \(2^n\) untuk suatu \(n \in {\mathbb N}\text{.}\)
Untuk setiap rangkaian berikut, tuliskan suatu ekspresi Boolean. Jika rangkaian tersebut dapat diganti dengan rangkaian yang memiliki lebih sedikit sakelar, berikan ekspresi Boolean dan gambarlah diagram rangkaian yang baru.
Misalkan \(L\) suatu himpunan tak kosong dengan dua operasi biner \(\vee\) dan \(\wedge\) yang memenuhi hukum komutatif, asosiatif, idempoten, dan absorpsi. Kita dapat mendefinisikan urutan parsial pada \(L\text{,}\) sebagaimana dalam Teorema 19.1.14, dengan \(a \preceq b\) jika \(a \vee b = b\text{.}\) Buktikan bahwa batas bawah terbesar dari \(a\) dan \(b\) adalah \(a \wedge b\text{.}\)
Misalkan \(G\) suatu grup dan \(X\) himpunan subgrup dari \(G\) yang diurutkan oleh inklusi himpunan. Jika \(H\) dan \(K\) merupakan subgrup dari \(G\text{,}\) tunjukkan bahwa batas atas terkecil dari \(H\) dan \(K\) adalah subgrup yang dibangkitkan oleh \(H \cup K\text{.}\)
Misalkan \(R\) suatu gelanggang dan \(X\) himpunan ideal dari \(R\text{.}\) Tunjukkan bahwa \(X\) merupakan poset yang diurutkan oleh inklusi himpunan, \(\subset\text{.}\) Definisikan temu dari dua ideal \(I\) dan \(J\) dalam \(X\) sebagai \(I \cap J\) dan gabung dari \(I\) dan \(J\) sebagai \(I + J\text{.}\) Buktikan bahwa himpunan ideal dari \(R\) merupakan latis di bawah operasi-operasi ini.
Misalkan \(I, J\) merupakan ideal dalam \(R\text{.}\) Kita perlu menunjukkan bahwa \(I + J = \{ r + s : r \in I \text{ dan } s \in J \}\) merupakan ideal terkecil dalam \(R\) yang memuat \(I\) dan \(J\text{.}\) Jika \(r_1, r_2 \in I\) dan \(s_1, s_2 \in J\text{,}\) maka \((r_1 + s_1) + (r_2 + s_2) = (r_1 + r_2) +(s_1 + s_2)\) berada dalam \(I + J\text{.}\) Untuk \(a \in R\text{,}\)\(a(r_1 + s_1) = ar_1 + as_1 \in I + J\text{;}\) dengan demikian, \(I + J\) merupakan ideal dalam \(R\text{.}\)
Misalkan \(X\) suatu poset sedemikian sehingga untuk setiap \(a\) dan \(b\) dalam \(X\text{,}\) berlaku \(a \preceq b\) atau \(b \preceq a\text{.}\) Maka \(X\) disebut himpunan terurut total.
Apakah \(a \mid b\) merupakan urutan total pada \({\mathbb N}\text{?}\)
Buktikan bahwa \({\mathbb N}\text{,}\)\({\mathbb Z}\text{,}\)\({\mathbb Q}\text{,}\) dan \({\mathbb R}\) merupakan himpunan terurut total di bawah urutan biasa \(\leq\text{.}\)
Misalkan \(X\) dan \(Y\) merupakan poset. Suatu pemetaan \(\phi : X \rightarrow Y\) disebut mempertahankan urutan jika \(a \preceq b\) mengakibatkan \(\phi(a) \preceq \phi(b)\text{.}\) Misalkan \(L\) dan \(M\) merupakan latis. Suatu pemetaan \(\psi: L \rightarrow M\) disebut homomorfisma latis jika \(\psi( a \vee b ) = \psi(a) \vee \psi(b)\) dan \(\psi( a \wedge b ) = \psi(a) \wedge \psi(b)\text{.}\) Tunjukkan bahwa setiap homomorfisma latis mempertahankan urutan, tetapi tidak setiap homomorfisma yang mempertahankan urutan merupakan homomorfisma latis.
Misalkan \(B\) suatu aljabar Boolean. Buktikan bahwa \(a = b\) jika dan hanya jika \((a \wedge b') \vee ( a' \wedge b) = O\) untuk \(a,
b \in B\text{.}\)
\(( \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{.}\) Argumen yang simetris menunjukkan bahwa \(a \vee b = b\text{.}\)
Misalkan \(B\) suatu aljabar Boolean. Buktikan bahwa \(a = O\) jika dan hanya jika \((a \wedge b') \vee ( a' \wedge b) = b\) untuk semua \(b \in B\text{.}\)
Misalkan \(L\) dan \(M\) merupakan latis. Definisikan suatu relasi urutan pada \(L \times M\) dengan \(( a, b) \preceq (c, d)\) jika \(a \preceq c\) dan \(b \preceq d\text{.}\) Tunjukkan bahwa \(L \times M\) merupakan latis di bawah urutan parsial ini.