0 Daumen
843 Aufrufe
Gegeben ist folgendes:
((m1, n1) (m2,n2)) wird abgebildet auf (m1+m2, n1+n2)
Es muss nun gezeigt werden, dass
a) dies für die Menge der ganzen Zahlen kommutativ und assotiativ istb) dass dies für die Menge der ganzen Zahlen eine abelsche Gruppe mit dem Neutralelement (0,0) ist.
Avatar von

1 Antwort

0 Daumen


Gegeben ist folgendes:
((m1, n1) (m2,n2)) wird abgebildet auf (m1+m2, n1+n2) nennen

wir diese Abbildung mal "plus", dann ist das ausführlich

plus : (ℤxℤ) x   (ℤxℤ) →  (ℤxℤ) 
                  [ Je zwei Paaren aus (ℤxℤ) wird ein drittes zugeordnet.)

mit plus ((m1, n1) ,(m2,n2))  =   (m1+m2, n1+n2).

Dann heißt kommutativ: Für alle Paare gilt

               plus ((m1, n1) ,(m2,n2)) = plus ((m2,n2),(m1, n1) )

Einsetzen der Definition gibt

                   (m1+m2, n1+n2) =   ( m2+m1, n2+n1 )

und wegen der Kommutativität in (ℤ,+) stimmen sowohl die ersten

als auch die 2. Komponenten der Paare überein, also

sind die Paare gleich.  q.e.d.

assoziativ geht entsprechend. Frage ggf. nach.

Avatar von 289 k 🚀

Die Assoziativität habe ich inzwischen selbst nachgewiesen.

Bei der abelschen Gruppe muss doch nun gezeigt werden, dass (0,0) das Neutrale Eleme ist?

Eigentlich auch noch Abgeschlossenheit ( aber das ist ja klar)

und jedenfalls auch: Zu jedem El. der Gruppe gibt es ein

Inverses. Das ist zu (m;n) dann ja wohl (-m;-n) und

wenn (m;n) ∈ ℤxℤ ist, ist (-m;-n) das ja auch.

Wie geht das denn mit assoziativ?

Weil assoziativ heißt ja (a+b)+c=a+(b+c).

Und hier habe ich ja 4 Variablen.

Ist das dann (m1+m2+n1)+n2=m1+(m2+n1+n2)?

Das wäre dann

plus ((m1, n1) , plus((m2,n2),(m3,n3))

= plus(  plus ((m1, n1) ,(m2,n2)) , ( m3,n3) )

Was bedeutet dieses "plus" bei dir in den Zeilen? Also ich verstehe nicht, wieso du " = plus (plus...) geschrieben hast

Lies mal die ersten 5 Zeilen meiner Antwort.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community