Què és un grup abeliano, des d'una perspectiva d'àlgebra lineal / abstracta?

Què és un grup abeliano, des d'una perspectiva d'àlgebra lineal / abstracta?
Anonim

Resposta:

Un grup abeliano és un grup amb la propietat addicional de l’operació de grup sent commutativa.

Explicació:

A grup # <G, •> # és un conjunt # G # juntament amb una operació binària # •: GxxG-> G # que compleixin les condicions següents:

  1. # G # és tancat sota #•#.

    Per ningu # a, binG #, tenim # a • b en G #

  2. #•# és associatiu.

    Per ningu # a, b, cinG #, tenim # (a • b) • (c) = a • (b • c) #

  3. # G # conté un element d’identitat

    Existeix # einG # tal que per a tots # ainG #, # a • e = e • a = a #

  4. Cada element de # G # té una invers in # G #

    Per a tot # ainG # existeix #a ^ (- 1) inG # de tal manera que # a • a ^ (- 1) = a ^ (- 1) • a = e #

Es diu que és un grup Abeliano si també té la propietat #•# és commutatiu, és a dir, per a tots # a, binG #, tenim # a • b = b • un #.

El grup # <ZZ, +> # (els enters amb addició estàndard) és un grup abeliano, ja que compleix les cinc condicions anteriors.

El grup # GL_2 (RR) # (el conjunt d'invertible # 2 "x" 2 # les matrius amb elements reals juntament amb la multiplicació de matrius) no són abelianes, ja que mentre compleix les quatre primeres condicions, la multiplicació matricial entre matrius invertibles no és necessàriament commutativa. Per exemple:

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

però

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