O que é um grupo abeliano, de uma perspectiva de álgebra linear / abstrata?

O que é um grupo abeliano, de uma perspectiva de álgebra linear / abstrata?
Anonim

Responda:

Um grupo Abeliano é um grupo com a propriedade adicional da operação de grupo sendo comutativa.

Explicação:

UMA grupo # <G, •> # é um conjunto # G # juntamente com uma operação binária # •: GxxG-> G # que preencham as seguintes condições:

  1. # G # é fechadas debaixo #•#.

    Para qualquer # a, binG #, temos # a • b em G #

  2. #•# é associativo.

    Para qualquer # a, b, cinG #, temos # (a • b) • (c) = a • (b c) #

  3. # G # contém um elemento de identidade

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

  4. Cada elemento de # G # tem um inverso em # G #

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

Um grupo é dito ser Abeliano se também tem a propriedade que #•# é comutativo, isto é, para todos # a, binG #, temos # a • b = b • a #.

O grupo # <ZZ, +> # (os inteiros com adição padrão) é um grupo Abeliano, pois cumpre todas as cinco condições acima.

O grupo # GL_2 (RR) # (o conjunto de invertíveis # 2 "x" 2 # matrizes com elementos reais juntamente com a multiplicação de matrizes) é não-abeliano, pois enquanto preenche as quatro primeiras condições, a multiplicação de matrizes entre matrizes invertíveis não é necessariamente comutativa. Por exemplo:

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

mas

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