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

Untersuchen Sie, ob die folgenden Strukturen Ringe, Integritätsringe bzw. Körper sind:

$M=\{0,1\}$ mit der Addition $0+0=0,0+1=1+0=1,1+1=1$ und der Multiplikation modulo $2$ .

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Lösungsvorschlag von neo

$(M,+):$

$+$	$\bar{0}$	$\bar{1}$
$\bar{0}$	$\bar{0}$	$\bar{1}$
$\bar{1}$	$\bar{1}$	$\bar{1}$

Aus der Tabelle lässt sich herauslesen:
$\Rightarrow Abgeschlossenheit$
$\Rightarrow Kommutativitaet$
$e=\bar{1}\Rightarrow neutralesElement$

"EINWAND:" 1 ist doch nicht das neutrale Element, oder irre ich mich? 0 verknüpft mit 1 ergibt nicht wieder 0, sondern 1! 0 sollte das neutrale Element sein. Folglich besitzt 1 kein additives inverses, deshalb kann man bei (M, +) gar nicht von einer Gruppe sprechen, geschweige denn bei (M, +, *) von einem (Integritäts-)ring.

$(\bar{0}{)}^{-1}=\bar{1},(\bar{1}{)}^{-1}=1\Rightarrow Inversion$

$(0+1)+1=0+(1+1)$
$1+1=0+1$
$1=1\Rightarrow Assoziativitaet$

$(M,+)\widehat{=}abelscheGruppe$

Edit: Das neutrale Element der Addition ist ja 0. Daher existiert ja kein inverses Element für 1, da 1 verknüpft mit 0 bzw. 1 nie 0 ergibt.

$(M,\ast ):$

$\ast$	$\bar{0}$	$\bar{1}$
$\bar{0}$	$\bar{0}$	$\bar{0}$
$\bar{1}$	$\bar{0}$	$\bar{1}$

$\Rightarrow Abgeschlossenheit$
$\Rightarrow Kommutativitaet$
$e=\bar{1}\Rightarrow neutralesElement$
$\nexists a\in M\mid \bar{0}\ast a=\bar{1}\Rightarrow keineInversion$

$(0\ast 1)\ast 1=0(1\ast 1)$
$0\ast 1=0\ast 1$
$0=0$
$\Rightarrow Assoziativitaet$

$(M,\ast )\widehat{=}kommutativesMonoid$

$\mathrm{\forall }a\ne 0,b\ne 0\in M\mid a\ast b\ne 0\Rightarrow Nullteilerfreiheit$
$\bar{0}\ast (\bar{1}+\bar{1})=\bar{0}\ast \bar{1}+\bar{0}\ast \bar{1}$
$\bar{0}\ast \bar{1}=\bar{0}+\bar{0}$
$\bar{0}=\bar{0}$
$\bar{1}\ast (\bar{0}+\bar{1}=\bar{1}\ast \bar{0}+\bar{1}\ast \bar{1}$
$\bar{1}\ast \bar{1}=\bar{0}+\bar{1}$
$\bar{1}=\bar{1}$
$\Rightarrow Distributitvitaet$

$(M,+,\ast )\widehat{=}Integritaetsring$

Hilfsmittel von Har203

Abelsche Gruppe

Abelsche Gruppe

Eine Abelsche Gruppe $(G,\circ )$ mit Funktion $\circ :G\times G\to G$ ist

• abgeschlossen bzgl. der Operation $\circ$ in $G$ mit $a,b\in G$ gilt $a\circ b\in G$
• assoziativ: $\mathrm{\forall }a,b,c\in G:a\circ (b\circ c)=(a\circ b)\circ c$
• besitzt ein neutrales Element $e$: $\mathrm{\exists }e\in G:\mathrm{\forall }a\in G:a\circ e=e\circ a=a$
• besitzt inverse Elemente $a^{-1}$ bzw. $a^{\prime }$: $\mathrm{\forall }a\in G:\mathrm{\exists }{a}^{-1}\in G:a\circ a^{-1}=a^{-1}\circ a=e$
• sowie ist in allen Formen kommutativ bzw. abelsch: $\mathrm{\forall }a,b\in G:a\circ b=b\circ a$

Ring

Ring

Ein Ring $(R,+,\cdot )$ ist eine Menge $R$ mit zwei binären Operationen $+$ und $\cdot$, sodass

• $(R,+)$ eine kommutative Gruppe ist,
• $(R,\cdot )$ eine Halbgruppe ist,
• die Distributivgesetze

$a\cdot (b+c)=(a\cdot b)+(a\cdot c)$ und

$(a+b)\cdot c=(a\cdot c)+(b\cdot c)$

für alle $a,b,c\in R$ gelten.

Nullteiler

In einem Ring kann das Produkt zweier von $0$ verschiedener Elemente trotzdem $0$ sein. Z.B. gilt in ${\mathbb{Z}}_6$ die Beziehung $\bar{2}\cdot \bar{3}=\bar{6}=\bar{0}$. Man nennt im Allgemeinen ein Element $a\ne 0$ eines Ringes $R$ Nullteiler, wenn es ein $b\ne 0$ aus $R$ gibt, so dass $a\cdot b=0$ oder $b\cdot a=0$ ist. Dieses $b$ ist damit natürlich auch ein Nullteiler. Ringe ohne Nullteiler werden gesondert betrachtet.

Integritätsring

Integritätsring

Kommutativer Ring mit Einselement ohne Nullteiler.

Körper

Ein kommutativer Ring $⟨K,+,\cdot ⟩$ mit Einselement $1\ne 0$, in dem jedes Element $a\ne 0$ eine Einheit ist, also ein multiplikatives Inverses besitzt, heißt ein Körper.

Lösung von Har203

--Har203 19:27, 27. Feb. 2026 (CET)

Untersuchen Sie, ob die folgenden Strukturen Ringe, Integritätsringe bzw. Körper sind:

$M=\{0,1\}$ mit der Addition $0+0=0,0+1=1+0=1,1+1=1$ und der Multiplikation modulo $2$ .

Z.z.: $⟨M,+⟩$ ist eine abelsche Gruppe:

Wir schauen uns zuerst einmal die Operationstafeln $\mathbf{(}\mathbf{+}\mathbf{)}$ an:

$\begin{array}{ccc}\mathbf{+}& \bar{0}& \bar{1}\\ \bar{0}& \bar{0}& \bar{1}\\ \bar{1}& \bar{1}& \bar{1}\end{array}$

Wir schauen uns jetzt die Operationstafeln $\mathbf{(}\mathbf{\cdot }mod2\mathbf{)}$ an:

$\begin{array}{ccc}\mathbf{\cdot }& \bar{0}& \bar{1}\\ \bar{0}& \bar{0}& \bar{0}\\ \bar{1}& \bar{0}& \bar{1}\end{array}$

Wie aus der Operationstafel der Multiplikation erkennbar ist, gibt es keine Nullteiler:

Anmerkung: D.h. es befindet sich in keiner Zeile oder Spalte der Tafel ungleich dem neutralen Element $\bar{0}$ ein Eintrag $\bar{0}$. In dieser kleinen Tafel gäbe es sowieso nur die Position $\bar{1}\cdot \bar{1}$, an welcher ein Nullteiler stehen könnte.

Für die weiteren Beweise werden wir folgende drei Variablen aus der Menge $M$ verwenden: $a,b,c\in M$.

Gruppe

Zuerst die Gruppe mit den geforderten Gruppenaxiomen in $⟨M,+⟩$:

1. Abgeschlossen: $\mathrm{\forall }a,b\in M$ gilt$:(a+b)\in M$.
2. Assoziativität: $\mathrm{\forall }a,b,c\in M$ gilt$:(a+b)+c=a+(b+c)$.
3. Existenz eines neutralen Elementes bezüglich der Addition: Es gibt ein neutrales Element: $0\in M$ mit $\mathrm{\forall }a\in M$ gilt$:a+0=0+a=a$.
4. Für alle Gruppenelemente $a$ existiert ein inverses Element: $\mathrm{\forall }a\in M$ gilt$:\mathrm{\exists }(-a)\in M$ mit$:a+(-a)=(-a)+a=0$.
5. Kommutativität: Für alle Elemente $a,b\in M$ gilt$:(a+b)=(b+a)$

• Abgeschlossenheit bezüglich $\mathbf{+}$:

Da in der Operationstafel nur Elemente aus $\{\bar{0},\bar{1}\}$ enthalten sind, ist die Operation $(+)$ abgeschlossen.

• Assoziativität bezüglich $\mathbf{+}$:

$\mathrm{\forall }a,b,c\in M$ gilt$:(a+b)+c=a+(b+c)$

Da es sich um die die logische ODER-Operation handelt, welche assoziativ ist, ist auch diese Addition assoziativ.

$:(\bar{0}+\bar{0})+\bar{0}=\bar{0}=\bar{0}+(\bar{0}+\bar{0})$.

• Existenz eines neutralen Elementes bezüglich $\mathbf{+}$: Es gibt ein neutrales Element $\bar{0}\in M$ mit $\mathrm{\forall }a\in M$ gilt$:a+\bar{0}=\bar{0}+a=a$.

• Inverse Element: Für alle Elemente $a\in ⟨M,+⟩$ existiert ein inverses Element:

$\mathrm{\forall }a\in M$ gilt$:\mathrm{\exists }(-a)\in M$ mit$:a+(-a)=(-a)+a=\bar{0}$.

Für $\bar{1}$ gibt es $\text{kein inverses Element}$. Damit ist die Gleichung $\bar{1}+x=x+\bar{1}=\bar{0}$ mit $x\in M$ nicht lösbar.

• Kommutativität bezüglich $\mathbf{+}$: $\mathrm{\forall }a,b\in M$ gilt$:a+b=b+a$.

Da die Operationstafel von der Addition symmetrisch zur Hauptdiagonale ist, folgt daraus, dass $⟨M,+⟩$ kommutativ ist.

$a+b=b+a,\mathrm{\forall }a,b\in M$.

$⟹$ $⟨M,+⟩$ ist eine kommutative Halbgruppe mit neutralem Element, aber keine Gruppe, da es kein inverses Element gibt.

Ring

Für einen Ring $⟨M,+,\cdot ⟩$ werden wir folgende drei Eigenschaften prüfen:

1. $⟨M,+⟩$ ist eine kommutative Gruppe mit neutralem Element $\bar{0}):\text{ diese Voraussetzung ist nicht erfüllt}$.
2. $⟨M,\cdot ⟩$ ist eine Halbgruppe, und
3. es gelten die Distributivgesetze

• Abgeschlossenheit: Die Operationstafel von $(\cdot )$ ist abgeschlossen, da in der Operationstafel nur Elemente aus $\{\bar{0},\bar{1}\}$ enthalten sind.

• Assoziativität bezüglich $\mathbf{\cdot }$:

$\mathrm{\forall }a,b,c\in M$ gilt$:(a\cdot b)\cdot c=a\cdot (b\cdot c)$.

Da das Ergebnis der Multiplikation nur bei $\bar{1}\cdot \bar{1}$ den Wert $\bar{1}$ annimmt, genügt zu zeigen, dass gilt:

$:(\bar{1}\cdot \bar{1})\cdot \bar{1}=\bar{1}=\bar{1}\cdot (\bar{1}\cdot \bar{1})⟹$ Bezüglich der Operation $\cdot$ gilt das Assoziativgesetz.

• Kommutativität bezüglich $\mathbf{\cdot }$: $\mathrm{\forall }a,b\in M$ gilt$:(a\cdot b)=(b\cdot a)$.

Da die einzelnen Elemente $a\in M$ in der Operationstafel an der Hauptdiagonale gespiegelt sind, gilt das Kommutativgesetz bezüglich $\mathbf{\cdot }$.

• Für die beiden Distributivgesetze müssen folgende Eigenschaften gelten:

$\begin{array}{cc}a\cdot (b+c)& =a\cdot b+a\cdot c\\ (a+b)\cdot c& =a\cdot c+b\cdot c\end{array}\}\mathrm{\forall }a,b,c\in M.$

• 1. Distributivgesetz: $a\cdot (b+c)=a\cdot b+a\cdot c$:

$\begin{array}{cc}& \bar{0}\cdot (\bar{0}+\bar{0})=\bar{0}\cdot (\bar{0})=(\bar{0})=(\bar{0}\cdot \bar{0})+(\bar{0}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & \bar{0}\cdot (\bar{0}+\bar{1})=\bar{0}\cdot (\bar{1})=(\bar{0})=(\bar{0}\cdot \bar{0})+(\bar{0}\cdot \bar{1})=(\bar{0})+(\bar{0})=(\bar{0})\\ & \bar{0}\cdot (\bar{1}+\bar{0})=\bar{0}\cdot (\bar{1})=(\bar{0})=(\bar{0}\cdot \bar{1})+(\bar{0}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & \bar{0}\cdot (\bar{1}+\bar{1})=\bar{0}\cdot (\bar{1})=(\bar{0})=(\bar{0}\cdot \bar{1})+(\bar{0}\cdot \bar{1})=(\bar{0})+(\bar{0})=(\bar{0})\\ & \bar{1}\cdot (\bar{0}+\bar{0})=\bar{1}\cdot (\bar{0})=(\bar{0})=(\bar{1}\cdot \bar{0})+(\bar{1}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & \bar{1}\cdot (\bar{0}+\bar{1})=\bar{1}\cdot (\bar{1})=(\bar{1})=(\bar{1}\cdot \bar{0})+(\bar{1}\cdot \bar{1})=(\bar{0})+(\bar{1})=(\bar{1})\\ & \bar{1}\cdot (\bar{1}+\bar{0})=\bar{1}\cdot (\bar{1})=(\bar{1})=(\bar{1}\cdot \bar{1})+(\bar{1}\cdot \bar{0})=(\bar{1})+(\bar{0})=(\bar{1})\\ & \bar{1}\cdot (\bar{1}+\bar{1})=\bar{1}\cdot (\bar{1})=(\bar{1})=(\bar{1}\cdot \bar{1})+(\bar{1}\cdot \bar{1})=(\bar{1})+(\bar{1})=(\bar{1})\\ \end{array}$

$⟹$ Das $1$. Disributivgesetz gilt in dieser Struktur.

• 2. Distributivgesetz: $(a+b)\cdot c=a\cdot c+b\cdot c$:

$\begin{array}{cc}& (\bar{0}+\bar{0})\cdot \bar{0}=(\bar{0})\cdot \bar{0}=(\bar{0})=(\bar{0}\cdot \bar{0})+(\bar{0}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & (\bar{0}+\bar{0})\cdot \bar{1}=(\bar{0})\cdot \bar{1}=(\bar{0})=(\bar{0}\cdot \bar{1})+(\bar{0}\cdot \bar{1})=(\bar{0})+(\bar{0})=(\bar{0})\\ & (\bar{0}+\bar{1})\cdot \bar{0}=(\bar{1})\cdot \bar{0}=(\bar{0})=(\bar{0}\cdot \bar{0})+(\bar{1}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & (\bar{0}+\bar{1})\cdot \bar{1}=(\bar{1})\cdot \bar{1}=(\bar{1})=(\bar{0}\cdot \bar{1})+(\bar{1}\cdot \bar{1})=(\bar{0})+(\bar{1})=(\bar{1})\\ & (\bar{1}+\bar{0})\cdot \bar{0}=(\bar{1})\cdot \bar{0}=(\bar{0})=(\bar{1}\cdot \bar{0})+(\bar{0}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & (\bar{1}+\bar{0})\cdot \bar{1}=(\bar{1})\cdot \bar{1}=(\bar{1})=(\bar{1}\cdot \bar{1})+(\bar{0}\cdot \bar{1})=(\bar{1})+(\bar{0})=(\bar{1})\\ & (\bar{1}+\bar{1})\cdot \bar{0}=(\bar{1})\cdot \bar{0}=(\bar{0})=(\bar{1}\cdot \bar{0})+(\bar{1}\cdot \bar{0})=(\bar{0})+(\bar{0})=(\bar{0})\\ & (\bar{1}+\bar{1})\cdot \bar{1}=(\bar{1})\cdot \bar{1}=(\bar{1})=(\bar{1}\cdot \bar{1})+(\bar{1}\cdot \bar{1})=(\bar{1})+(\bar{1})=(\bar{1})\\ \end{array}$

$⟹$ Das $2$. Disributivgesetz gilt in dieser Struktur.

Zusätze

• Einselement bezüglich $\mathbf{\cdot }$: Es gibt ein neutrales Element $\bar{1}\in M$ mit $\mathrm{\forall }a\in M$ gilt$:a\cdot \bar{1}=\bar{1}\cdot a=a$.

• Kommutativität: haben wir bereits gezeigt.

$⟹$ $⟨M,+⟩$ ist bezüglich der Addition eine kommutative Halbgruppe mit Einselement (ein Monoid), aber keine Gruppe als Voraussetzung für einen Ring.

$⟹$ $⟨M,\cdot ⟩$ ist bezüglich der Multiplikation eine kommutativen Halbgruppe mit Einselement (ein Monoid). Die beiden Distributivgesetze gelten ebenfalls.

Für einen Ring, Integritätsring bzw. sogar einen Körper fehlt bezüglich der Addition das inverse Element.

Das Gesamtergebnis $⟹$ $⟨M,+,\cdot ⟩$ ist weder ein Ring, noch ein Integritätsring und auch kein Körper. $◼$

• Anmerkung: Die Operation $+$ ist isomorph zur Operation oder $(\vee )$ und $\cdot$ zu und $(\wedge )$. Es wird sich um einen distributiven Verband handeln. Für eine Boolesche Algebra fehlt das Komplement. Das additive Verhalten passt nicht zur Booleschen Algebra$:1+1=1\ne 0$.

Links

Wikipedia:

• Gruppe
• Abelsche Gruppe
• Ring
• Nullteiler
• Integritätsring
• Körper
• Verband
• Distributiver Verband
• Boolesche_Algebra

Ähnliche Beispiele:

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_414
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_415
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_416
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_417
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_418
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_419
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_420