¿Qué es un grupo abeliano, desde una perspectiva de álgebra lineal / abstracta?

¿Qué es un grupo abeliano, desde una perspectiva de álgebra lineal / abstracta?
Anonim

Responder:

Un grupo abeliano es un grupo con la propiedad adicional de la operación de grupo que es conmutativa.

Explicación:

UNA grupo # <G, •> # es un conjunto #SOL# junto con una operación binaria # •: GxxG-> G # que cumplan las siguientes condiciones:

  1. #SOL# es cerrado debajo #•#.

    Para cualquier # a, binG #, tenemos # a • b en G #

  2. #•# es de asociación.

    Para cualquier # a, b, cinG #, tenemos # (a • b) • (c) = a • (b • c) #

  3. #SOL# contiene una elemento de identidad

    Existe # einG # tal que para todos # ainG #, # a • e = e • a = a #

  4. Cada elemento de #SOL# tiene un inverso en #SOL#

    Para todos # ainG # existe #a ^ (- 1) inG # tal que # a • a ^ (- 1) = a ^ (- 1) • a = e #

Se dice que un grupo es Abeliano si tambien tiene la propiedad que #•# Es conmutativo, es decir, para todos. # a, binG #, tenemos # a • b = b • a #.

El grupo # <ZZ, +> # (los enteros con adición estándar) es un grupo abeliano, ya que cumple con las cinco condiciones anteriores.

El grupo # GL_2 (RR) # (el conjunto de invertible # 2 "x" 2 # matrices con elementos reales junto con la multiplicación de matrices) no es abeliana, ya que si bien cumple las primeras cuatro condiciones, la multiplicación de matrices entre matrices invertibles no es necesariamente conmutativa. Por ejemplo:

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

pero

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