Wat is een Abelian-groep, vanuit een lineair / abstract algebra-perspectief?

Wat is een Abelian-groep, vanuit een lineair / abstract algebra-perspectief?
Anonim

Antwoord:

Een Abelian-groep is een groep waarvan de extra eigenschap dat de groepsactiviteit commutatief is.

Uitleg:

EEN groep # <G, •> # is een set # G # samen met een binaire bewerking # •: GxxG-> G # die aan de volgende voorwaarden voldoen:

  1. # G # is Gesloten onder #•#.

    Voor enige # A, Bing #, wij hebben # a • b in G #

  2. #•# is associatief.

    Voor enige # A, b, Cing #, wij hebben # (a • b) • (c) = a • (b • c) #

  3. # G # bevat een identiteit element

    Er bestaat # Eing # zodanig dat voor iedereen # AinG #, # A • e = e • a = a #

  4. Elk element van # G # heeft een omgekeerde in # G #

    Voor iedereen # AinG # Er bestaat #A ^ (- 1) ing # zoals dat # A • een ^ (- 1) = a ^ (- 1) • a = e #

Een groep is naar verluidt abelse als het dat bezit ook heeft #•# is commutatief, dat wil zeggen voor iedereen # A, Bing #, wij hebben # a • b = b • a #.

De groep # <ZZ, +> # (de gehele getallen met standaard toevoeging) is een Abelian-groep, omdat het voldoet aan alle vijf de bovenstaande voorwaarden.

De groep # GL_2 (RR) # (de set van invertible # 2 "x" 2 # matrices met reële elementen samen met matrixvermenigvuldiging) is niet-Abelisch, terwijl, terwijl het voldoet aan de eerste vier voorwaarden, matrixvermenigvuldiging tussen inverteerbare matrices niet noodzakelijk commutatief is. Bijvoorbeeld:

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

maar

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