2
Ich habe dir hier mal eben alle Ringe und alle Algebren ausgerechnet mit \(\Omega = \{a,b,c\} \). Jede Zeile steht für einen Ring/eine Algebra.
Ringe:
{\( \varnothing \)}
{\( \varnothing \),{abc}}
{\( \varnothing \),{ab}}
{\( \varnothing \),{ac}}
{\( \varnothing \),{a}}
{\( \varnothing \),{bc}}
{\( \varnothing \),{bc},{a},{abc}}
{\( \varnothing \),{b}}
{\( \varnothing \),{b},{ac},{abc}}
{\( \varnothing \),{b},{a},{ab}}
{\( \varnothing \),{c}}
{\( \varnothing \),{c},{ab},{abc}}
{\( \varnothing \),{c},{a},{ac}}
{\( \varnothing \),{c},{b},{bc}}
{\( \varnothing \),{c},{b},{bc},{a},{ac},{ab},{abc}}
Algebren:
{\( \varnothing \),{abc}}
{\( \varnothing \),{bc},{a},{abc}}
{\( \varnothing \),{b},{ac},{abc}}
{\( \varnothing \),{c},{ab},{abc}}
{\( \varnothing \),{c},{b},{bc},{a},{ac},{ab},{abc}}
Beachte, dass die Algebren eine Teilmenge der Ringe ist, für die gilt \(\Omega \in R \)
Ringe:
{\( \varnothing \)}
{\( \varnothing \),{abc}}
{\( \varnothing \),{ab}}
{\( \varnothing \),{ac}}
{\( \varnothing \),{a}}
{\( \varnothing \),{bc}}
{\( \varnothing \),{bc},{a},{abc}}
{\( \varnothing \),{b}}
{\( \varnothing \),{b},{ac},{abc}}
{\( \varnothing \),{b},{a},{ab}}
{\( \varnothing \),{c}}
{\( \varnothing \),{c},{ab},{abc}}
{\( \varnothing \),{c},{a},{ac}}
{\( \varnothing \),{c},{b},{bc}}
{\( \varnothing \),{c},{b},{bc},{a},{ac},{ab},{abc}}
Algebren:
{\( \varnothing \),{abc}}
{\( \varnothing \),{bc},{a},{abc}}
{\( \varnothing \),{b},{ac},{abc}}
{\( \varnothing \),{c},{ab},{abc}}
{\( \varnothing \),{c},{b},{bc},{a},{ac},{ab},{abc}}
Beachte, dass die Algebren eine Teilmenge der Ringe ist, für die gilt \(\Omega \in R \)
Diese Antwort melden
Link
geantwortet
cunni
Punkte: 705
Punkte: 705
aaaah , jetzt sehe ich um was es geht !!! Vielen Dank. Ich war wirklich verwirrt. Wir haben nur die Definition erhalten , aber ich habe nicht gewusst, dass ich das alles so kombinieren darf. So wie du es jetzt gezeigt hast macht alles Sinn. Ich kann die Sets einfach selbst zusammenstellen, so dass trotzdem jede Bedinnung erfüllt ist.
─
bünzli
30.09.2021 um 16:33
So habe ich das übrigens auch berechnet. Ich habe einfach ein Haskell-Programm geschrieben, dass alle Teilmengen von \(\mathcal P(\Omega)\) erstellt und dann die Axiome prüft. Ist eines nicht erfüllt fliegt aus aus der Liste. Wenn du das Programm haben willst, sag bescheid.
PS: Ich freue mich immer über Upvotes und "Antwort akzeptiert"-flags. ─ cunni 30.09.2021 um 16:47
PS: Ich freue mich immer über Upvotes und "Antwort akzeptiert"-flags. ─ cunni 30.09.2021 um 16:47
Ich würde mich sehr über das Programm freuen! Vielen Dank für die Hilfe und sorry ich habe den Upvote ganz vergessen vor lauter Freude! Habe es gerade nachgeholt
─
bünzli
30.09.2021 um 17:22
Schön, dass der Quellcode tatsächlich nochmal betrachtet wird ^^. Dann fühlt sich das nicht so zeitverschwenderisch an.
https://github.com/guslav/mastheorie ─ cunni 30.09.2021 um 18:51
https://github.com/guslav/mastheorie ─ cunni 30.09.2021 um 18:51
haha :) Herzlichen Dank! LG
─
bünzli
30.09.2021 um 19:54