TU Wien:Mathematik 1 UE (diverse)/Übungen SS10/Beispiel 19

Man vergleiche die Hassediagramme der beiden Halbordnungen $\langle {\mathfrak {P}}(\{a,b,c\}),\subseteq \rangle$ und $\langle T_{165},|\rangle$.

Wurde bis auf die Werte 1:1 von TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 94 kopiert.

Lösung für $\langle {\mathfrak {P}}({a,b,c}),\subseteq \rangle$

Die Potenzmenge der Menge {a,b,c}, also ${\mathfrak {P}}(\{a,b,c\})=\{\emptyset ,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},\{a,b,c\}\}$.

Das Hasse-Diagramm sieht daher wie folgt aus:

Das bedeutet: $\emptyset \subseteq \{a\}$, $\emptyset \subseteq \{b\}$, $\emptyset \subseteq \{c\}$, $\{a\}\subseteq \{a,b\}$ etc.

Lösung für $\langle T_{165},|\rangle$

Die Menge $T_{165}$ bezeichnet die Menge aller Teiler von 165. Alle Zahlen sind durch 1 und durch sich selbst teilbar. Nicht-Primzahlen wie 165 sind zusätzlich noch durch ihre Primfaktoren (in diesem Fall 3, 5 und 11) und durch die Kombinationen dieser Primfaktoren ($3\cdot 5=15$, $3\cdot 11=33$, $5\cdot 11=55$) teilbar. Daher ist

$T_{165}=\{1,3,5,11,15,33,55,165\}$

Das Hasse-Diagramm dazu:

(Von Deez):

Das bedeutet: $1|3$, $1|5$, $1|11$, $3|15$, $3|33$ etc.

Die Ähnlichkeit sehe ich wie folgt: Setzt man die Mengen wie folgt {1,3,5,11} {0,a,b,c} und sieht das als 1 = 0 (leere menge) 3 = a 5 = b 11 = c

und damit löst sich das gesamten Hasse Diagramme ineinander auf: 165 = {a,b,c} = 3 * 5 * 11 33 = 3*11 = {a,c}

Das heist < P(3,5,11), |> (ich hoff ich hab das formal richtig definiert) deckt sich mit der Definition von < P(a,b,c), <= ) und 3,5,11 entspricht genau den Primfaktoren von 165!

Nachsatz von Mnemetz : Es handelt sich um einen Isomorphismus!