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

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

$M=\{0,1\}$ mit der Addition modulo $2$ und dem Produkt $a\cdot b=\bar{0}$ für alle $a,b\in M$.

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
}}

Hilfreiches

Ring

(Definition 2.61)

Eine algebraische Struktur $(R,+,\cdot )$ ist ein Ring, wenn:

• $(R,+)$ ist eine kommutative Gruppe (mit neutralem Element 0) (Anm.: = "abelsche Gruppe"),
• $(R,\cdot )$ ist eine Halbgruppe,
• es gelten die Distributivgesetze:
  • $a\cdot (b+c)=a\cdot b+a\cdot c$
  • $(a+b)\cdot c=a\cdot c+b\cdot c$

Ring mit Einselement

• $(R,\cdot )$ besitzt ein neutrales Element (= Monoid)

kommutativer Ring

• $(R,\cdot )$ ist kommutativ

Integritätsring

Integritätsring

Kommutativer Ring mit Einselement ohne Nullteiler.

Körper

(Definition 2.66)

• Integritätsring mit multiplikative Inversen

Gruppe

(Definition 2.37)

• Halbgruppe
  • assoziativ
• Monoid
  • assoziativ, neutrales Element
• Gruppe
  • assoziativ, neutrales Element, inverses Element
• abelsche Gruppe
  • assoziativ, neutrales Element, inverses Element

(Definition 2.34)

• assoziativ
  • $(a\circ b)\circ c=a\circ (b\circ c)$
• neutrales Element
  • $e\circ a=a\circ e=a$
• inverses Element
  • $a\circ a^{\prime }=a^{\prime }\circ a=e$
• kommutativ
  • $a\circ b=b\circ a$

Lösungsvorschlag

von --Vodi 18:12, 12. Dez. 2010 (CET)

Als erstes Überprüfen wir einmal, ob M ein Ring ist.

(R, +)

Jetzt überprüfen wir, ob $(R,+)$ eine abelsche Gruppe ist.

(Achtung: Addition modulo 2!)

Operationstafel:

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

Assoziativ?

$(a\circ b)\circ c=a\circ (b\circ c)$

$(0\circ 1)\circ 0=0\circ (1\circ 0)$

$1\circ 0=0\circ 1$

$1=1$ w.A.

neutrales Element?

$e\circ a=a\circ e=a$

$e:=0,a:=1$

$0\circ 1=1\circ 0=1$

$1=1=1$ w.A.

inverses Element?

$a\circ a^{\prime }=a^{\prime }\circ a=e$

$a:=1,a^{\prime }:=1$

$1\circ 1=1\circ 1=0$

$0=0=0$ w.A.

kommutativ?

$a\circ b=b\circ a$

$a:=0,b:=1$

$0\circ 1=1\circ 0$

$1=1$ w.A.

Alle vier Anforderungen erfüllt: $(R,+)$ ist eine abelsche Gruppe

(R, *)

Jetzt müssen wir überprüfen, ob $(R,\cdot )$ eine Halbgruppe ist.

Wieder eine Operationstafel:

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

Da $a\cdot b=0\mathrm{\forall }a,b\in M$

Assoziativ?

$(a\circ b)\circ c=a\circ (b\circ c)$

$(0\circ 1)\circ 0=0\circ (1\circ 0)$

$0\circ 0=0\circ 0$

$0=0$ w.A.

Distributivgesetze

Jetzt überprüfen wir, ob die Distributivgesetze gelten:

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

$0\cdot (0+1)=0\cdot 0+0\cdot 1$

$0\cdot 1=0+0$

$0=0$ w.A.

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

$(0+0)\cdot 1=0\cdot 1+0\cdot 1$

$0\cdot 1=0+0$

$0=0$ w.A.

Daraus schließen wir, dass es auf jedenfall ein Ring ist. Jetzt können wir überprüfen, ob M ein Integritätsring ist.

Dazu überprüfen wir, ob der Ring ein Einselement hat, sprich $(M,\cdot )$ ein neutrales Element hat.

$e\circ a=a\circ e=a$

für a setzen wir 1 ein:

$e\cdot 1=1\cdot e=1$

Nun gibt es aber kein Element e, für dass die Aussage gilt --> es existiert kein neutrales Element.

Daher kann der Ring kein Integritätsring und auch kein Körper sein.

Lösungsvorschlag Me.Name

Addition siehe oben.

Meiner Meinung nach sollte die Operationstafel der Multiplikation so aussehen:

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

Es heißt ja $a\cdot b=0$ und nicht $b\cdot b=0$!

ACHTUNG: EDIT @Ombalat: Die Aussage stimmt nicht. L.t. Angabe gilt $\mathrm{\forall }a,b\in M:a\cdot b=0$ Das schließt den Fall a=b mit ein!

Aus dieser Operationstafel folgt nun, dass es ein 1 Element (neutrales Element der Multiplikation) gibt. Folglich mindestens Intigritätsring.

Es geht aber auch hervor, dass 0 kein Inverses besitzt. Deshalb Abbruch => maximal Intigritätsring.

Bleibt noch das Distributivgesetz.

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

$0\cdot (1+1)=0\cdot 1+0\cdot 1$

$0\cdot 0=0+0$

$0=0$

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

$(0+1)\cdot 1=0\cdot 1+1\cdot 1$

$1\cdot 1=0+1$

$1=1$

Hier sieht man distributivität gegeben. => Ring => Intigritätsring jedoch kein Körper.

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 21:29, 27. Feb. 2026 (CET)

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

$M=\{0,1\}$ mit der Addition modulo $2$ und dem Produkt $a\cdot b=\bar{0}$ für alle $a,b\in M$.

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

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

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

Wir schauen uns jetzt die Operationstafeln $\mathbf{(}\mathbf{\cdot }\mathbf{\to }\overline{\mathrm{𝟎}}\mathbf{)}$ an:

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

Wie aus der Operationstafel der Multiplikation erkennbar ist, gibt es einen Nullteiler: $\bar{1}\cdot \bar{1}=\bar{0}$.

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

Gruppe

Bei $⟨M,+⟩$ handelt es sich um eine Gruppe, die zu $⟨{\mathbb{Z}}_2,+⟩$ isomorph ist: $⟨M,+⟩\cong ⟨\cong {\mathbb{Z}}_2,+⟩$. Damit können wir voraussetzen, dass dies eine abelsche, zyklische Gruppe.

1. Assoziativität: $\mathrm{\forall }a,b,c\in M$ gilt$::(a+b)+c=a+(b+c)$. $\surd$
2. Existenz eines neutralen Elementes bezüglich der Addition: Es gibt ein neutrales Element: $\bar{0}\in M$ mit $\mathrm{\forall }a\in M$ gilt$:a+\bar{0}=\bar{0}+a=a$. $\surd$
3. 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=\bar{0}$. $\surd$
4. Kommutativität: Für alle Elemente $a,b\in M$ gilt$:(a+b)=(b+a)$. $\surd$

$⟹$ Wir haben $⟨M,+⟩$ als abelsche Gruppe mit neutralem Element $\bar{0}$.

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}$. $\surd$
2. $⟨M,\cdot ⟩$ ist eine Halbgruppe, und
3. es gelten die beiden Distributivgesetze

• Abgeschlossenheit: Die Operationstafel von $(\cdot )$ ist abgeschlossen, da in der Operationstafel nur ein einziges Element $\bar{0}\in M$ enthalten ist.

• Assoziativität bezüglich $\cdot$:

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

Egal wie, das Ergebnis ist immer $\bar{0}$. Bezüglich der Operation $\cdot$ gilt damit das Assoziativgesetz.

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

Da in der Operationstafel nur das Element $\bar{0}$ vorkommt, gilt das Kommutativgesetz bezüglich $\mathbf{\cdot }$ natürlich.

• 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$:

Jede Multiplikation liefert das Ergebnis $\bar{0}⟹a\cdot (b+c)=(\bar{0})=a\cdot b+a\cdot c=(\bar{0})+(\bar{0})=(\bar{0}),\mathrm{\forall }a,b,c\in M$.

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

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

Analog zum 1.DG: Jede Multiplikation liefert das Ergebnis $\bar{0}⟹(a+b)\cdot c=(\bar{0})=a\cdot c+b\cdot c=(\bar{0})+(\bar{0})=(\bar{0}),\mathrm{\forall }a,b,c\in M$.

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

Zusätze

• Einselement bezüglich $\cdot$: Es gibt $\text{kein neutrales Element}$ in $M$ bezüglich der Multiplikation.

• Kommutativität: haben wir schon gezeigt.

$⟹$ Wir haben bezüglich der Addition eine abelsche Gruppe mit neutralem Element $⟨M,+⟩$.

$⟹$ Wir haben bezüglich der Multiplikation eine kommutativen Halbgruppe $\text{ohne Einselement}$ $⟨M,\cdot ⟩$. Die beiden Distributivgesetze gelten ebenfalls.

Für einen Integritätsring bzw. für einen Körper fehlt bezüglich der Multiplikation ein Einselement und die Eigenschaft Nullteilerfrei,

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

Links

Wikipedia:

• Gruppe
• Abelsche Gruppe
• Ring
• Nullteiler
• Integritätsring
• Körper

Ähnliche Beispiele:

• 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
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_421