Was ist eine Abelsche Gruppe aus einer linearen / abstrakten Algebra-Perspektive?

Was ist eine Abelsche Gruppe aus einer linearen / abstrakten Algebra-Perspektive?
Anonim

Antworten:

Eine Abelsche Gruppe ist eine Gruppe, bei der die zusätzliche Eigenschaft der Gruppenoperation kommutativ ist.

Erläuterung:

EIN Gruppe # <G, •> # Ist ein Satz #G# zusammen mit einer binären Operation # •: GxxG-> G # welche die folgenden Bedingungen erfüllen:

  1. #G# ist geschlossen unter #•#.

    Für alle # a, binG #, wir haben # a • b in G #

  2. #•# ist assoziativ.

    Für alle # a, b, cinG #, wir haben # (a • b) • (c) = a • (b • c) #

  3. #G# enthält ein Identitätselement

    Es gibt da # einG # so dass für alle # ainG #, # a • e = e • a = a #

  4. Jedes Element von #G# hat eine invers im #G#

    Für alle # ainG # es gibt da #a ^ (- 1) inG # so dass # a • a ^ (- 1) = a ^ (- 1) • a = e #

Eine Gruppe soll sein Abelian wenn es auch die Eigenschaft hat #•# ist kommutativ, das heißt für alle # a, binG #, wir haben # a • b = b • a #.

Die Gruppe # <ZZ, +> # (die ganzen Zahlen mit Standardaddition) ist eine abelsche Gruppe, da sie alle fünf der obigen Bedingungen erfüllt.

Die Gruppe # GL_2 (RR) # (der Satz umkehrbar # 2 "x" 2 # Matrizen mit reellen Elementen zusammen mit Matrixmultiplikation) ist nicht-Abelsches, da die Matrixmultiplikation zwischen invertierbaren Matrizen, während sie die ersten vier Bedingungen erfüllt, nicht notwendigerweise kommutativ ist. Zum Beispiel:

#((1,1),(1,0))((1,0),(1,1)) = ((2,1),(1,0))#

aber

#((1,0),(1,1))((1,1),(1,0)) = ((1,1),(2,1))#