TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 426

Man zeige, dass für eine beliebige Menge M die Algebra $⟨(𝔓(M),△,\cap ⟩$ ein kommutativer Ring mit Einselement ist. Für welche M ist dieser Ring sogar ein Körper?

Dieses Beispiel ist als solved markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details: Vorlage:Beispiel)

Definition der symmetrischen Differenz

$A△B=(A\setminus B)\cup (B\setminus A)$

C heißt symmetrische Differenz der Mengen A und B,

$C=A\mathrm{△}B$,

wenn C alle Elemente aus A enthält, die nicht zu B gehören und alle Elemente aus B, die nicht zu A gehören, d.h.:

$A\mathrm{△}B=(A\mathrm{\setminus }B)\cup (B\mathrm{\setminus }A)=(A\cup B)\mathrm{\setminus }(A\cap B)$

VENN-Diagramm:

Theoretische Grundlagen (Zusammenfassung von mnemetz)

Gesetze und Eigenschaften von algebraischen Strukturen

Eine algebraische Struktur ist eine nichtleere Menge G mit einer oder mehreren Operationen.

Folgende Eigenschaften kann eine solche Struktur annehmen:

1. Abgeschlossenheit: $G\times G=G$, für $a,b\in G\to a\circ b\in G$ (d.h. ist eindeutig zugeordnet). Das $\circ$ entspricht einer Funktion von $\circ :G\times G\to G$
2. Assoziativgesetz: $a\circ (b\circ c)=(a\circ b)\circ c$ für alle $a,b,c\in G$.
3. Einheitselement: Es existiert ein $e\in G$, so dass für alle $a\in G$ gilt: $a\circ e=e\circ a=a$.
4. Inverses Element: Für jedes $a\in G$ gibt es ein inverses Element $a^{\prime }\in G$ (oder auch $a^{-1}$) so, dass gilt $a\circ a^{\prime }=a^{\prime }\circ a=e$. Wobei das e das Einheitselement ist.
5. Kommutativgesetz: $a\circ b=b\circ a$ für alle $a,b\in G$.

  Nr.   Gruppoid   Halbgruppe   Monoid   Gruppe   Abelsche Gruppe
  1     X          X            X        X        X
  2                X            X        X        X
  3                             X        X        X
  4                                      X        X
  5                                               X

Lösungsvorschlag von mnemetz

Basierend auf f.thread:38144, etwas editiert und erweitert. --Mnemetz 03:33, 19. Dez 2005 (CET)

Für die symmetrische Differenz

Abgeschlossenheit

Wie schon aus den VENN-Diagrammen hervorgeht, ist eine Abgeschlossenheit gegeben.

Assoziativität

$(A\mathrm{△}B)\mathrm{△}C=A\mathrm{△}(B\mathrm{△}C)$

Es liegt die Assoziativität vor!

Man könnte dies mit der Elementtafel nachweisen (Auszug):

$A$	$B$	$C$	\	$A\mathrm{△}B$	$(A\mathrm{△}B)\mathrm{△}C$	\	$B\mathrm{△}C$	$A\mathrm{△}(B\mathrm{△}C)$
$\in$	$\in$	$\in$	\	$\notin$	$\in$	\	$\notin$	$\in$
$\in$	$\in$	$\notin$	\	$\notin$	$\notin$	\	$\in$	$\notin$

neutrales Element (Einheitselement)

Das neutrale Element existiert', es ist die leere Menge $\varnothing$, denn $A△\varnothing =\varnothing △A=A\mathrm{\forall }A\in 𝔓(M)$.

Inverses Element

Auch das inverse Element existiert, und zwar A' = A: jedes Element ist zu sich selbst invers.

Kommutativität

Auch eine Kommutativität liegt vor.

$𝔓(M):(A△B)=(A\mathrm{\setminus }B)\cup (B\mathrm{\setminus }A)=(B\mathrm{\setminus }A)\cup (A\mathrm{\setminus }B)=(A\cup B)\mathrm{\setminus }(A\cap B))$ - die symmetrische Differenz ist daher kommutativ

Schlussfolgerung

Es liegt ein Abelsche Gruppe vor mit Nullelement $\mathrm{\varnothing }$.

Für den Durchschnitt

Abgeschlossenheit

Falls $A,B\in 𝔓(M)\Rightarrow A\cap B\in 𝔓(M)$: erfüllt

Assoziativität

$A\cap (B\cap C)=(A\cap B)\cap C\mathrm{\forall }A,B\in 𝔓(M)$: erfüllt

neutrales Element (Einheitselement)

$\mathrm{\exists }A\cap e=e\cap A=A\mathrm{\forall }A\in 𝔓(M)$: erfüllt für e = M -> Einselement

Inverses Element

$\mathrm{\exists }A\cap A^{\prime }=A^{\prime }\cap A=e\mathrm{\forall }A,A^{\prime }\in 𝔓(M)$

Existiert i.A. nicht, da $A\cap B\subseteq A$ für alle $A,B\in 𝔓(M)$, d,h, für $A⊊M$ ist auch $A\cap B⊊M$ --- also ist $A\cap B\ne M$ für alle $A,B\in 𝔓(M),A\ne M$

Für $A=M$ ist allerdings $M\cap M=M$, d.h. M hat ein Inverses.

Kommutativität

$A\cap B=B\cap A\mathrm{\forall }A,B\in 𝔓(M)$: erfüllt

Schlussfolgerung

$⟨(𝔓(M),\cap ⟩$ ist ein kommutatives Monoid mit Einselement $M$.

Distributivgesetze müssen gelten

1. $a\ast (b+c)=a\ast b+a\ast c$
2. $(a+b)\ast c=a\ast c+b\ast c$

Am besten überprüft man das Gesetz, indem man die Mengen aufzeichnet, die Schnittmengen markiert und miteinander vergleicht. Analog dazu überprüft man auch das 2. Gesetz -> erfüllt.

Um ganz sicher zu gehen, sollte man sich die Elementtafel (s.o.) aufzeichnen. Man braucht auch nur eines der beiden Gesetze nachzuweisen, da $⟨𝔓(M),\cap ⟩$ abelsch ist.

Bei der algebraischen Struktur $⟨𝔓(M),△,\cap ⟩$ handelt es sich um einen kommutativen Ring mit Einselement.

Körperaxiome

Das ist genau dann ein Körper, wenn $|M|=1$

Beweis:

Sei $M=\{a\}$, dann ist $𝔓(M)=\{\mathrm{\varnothing },\{a\}\}$. Es genügt zu zeigen, dass $⟨𝔓(M)\mathrm{\setminus }\{\mathrm{\varnothing }\},\cap ⟩$ abelsche Gruppe ist. Es ist $\{a\}\cap \{a\}=\{a\}\in \{\{a\}\}$. Damit ist das bereits eine abelsche Gruppe.

Sei umgekehrt $⟨𝔓(M)\mathrm{\setminus }\{\mathrm{\varnothing }\},\cap ⟩$ abelsche Gruppe, dann existiert zu jedem $A\in 𝔓(M)\mathrm{\setminus }\{\mathrm{\varnothing }\}$ ein Inverses in $𝔓(M)\mathrm{\setminus }\{\mathrm{\varnothing }\}$, was nach 4.2.4 bedeutet, dass $𝔓(M)\mathrm{\setminus }\{\mathrm{\varnothing }\}=\{M\}$, d.h. $|M|=1$.

(Für $|M|=0$ ist $𝔓(M)\mathrm{\setminus }\{\mathrm{\varnothing }\}=\mathrm{\varnothing }$, d.h. kein Gruppoid.)