TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 410

From VoWi
< TU Wien:Algebra und Diskrete Mathematik UE (diverse)‎ | Übungen SS19
Revision as of 12:03, 20 May 2009 by Klausi (talk | contribs) (Änderung 47227 von 128.131.195.89 (Diskussion) wurde rückgängig gemacht: wie auf der Diskussionsseite der IP besprochen)
Jump to navigation Jump to search

Man soll beweisen, ob M={1,2,3} mit der Addition mod 3 und der Multiplikation mod 4 einen Ring, Integritätsring oder Körper bildet.

---

Damit es sich um einen Ring handelt, muss folgendes gelten: <M,+> = kommutative Gruppe <M,*> = Halbgruppe Distributivgesetze: a*(b+c)=ab+ac und (a+b)*c=ac+bc für a,b,c aus M

---

Man kann <M,+> mittels Tabelle überprüfen. Man erhält

+  0  1  2
0  0  1  2
1  1  2  0
2  2  0  1

<das soll eine Tabelle sein, hab leider keine Ahnung wie man das macht>

Das Assoziativgesetz gilt, da es in Z, Zm und Restklassen gilt. Das neutrale Element ist 0 und jedes Element hat ein inverses Element. Das Kommutativgesetzt wird ebenfalls vererbt.

Somit erfüllt <M,+> die Voraussetzungen

---

Selbige Überprüfung macht man nun für <M,*> und erhält

*  0  1  2
0  0  0  0
1  0  1  2
2  0  2  0

<das soll eine Tabelle sein, hab leider keine Ahnung wie man das macht>

Das Assoziativgesetz wird vererbt Der Rest gilt nicht (produkt-null-satz)

Es handelt sich also um eine Halbgruppe, das reicht aus

---

Nun muss man beweisen, dass die Distributivgesetze gelten. Man nimmt beispielsweise an: a=2, b=1, c=2 und probiert:

2(1+2) = 2*0 = 0 und 2*1 + 2*2 = 2 + 0 = 2

Wie man sieht gilt das Distributivgesetz nicht (immer), daher ist das Ganze (hoffentlich) kein Ring, daher auch kein Integritätsring bzw Körper.

desp


Meinung von tomCom:

Bezüglich * ist es ein Monoid, da es ja ein neutrales Element gibt: 1. Außerdem gilt das Distributivgesetz da: 2(1+2) = 2*0 = 0 und 2*1 + 2*2 = 2 + 1 = 3 = 0

Meinung von mhaslhofer:

tomCom: "Außerdem gilt das Distributivgesetz da: 2(1+2) = 2*0 = 0 und 2*1 + 2*2 = 2 + 1 = 3 = 0"

Achtung: 2*2 = 0 nicht 1! (die Angabe verlangt nach Multiplikations modulo 4 - die Operationstabelle <M,*> scheint mir korrekt)