Apa yang dimaksud dengan kelompok Abelian, dari perspektif aljabar linier / abstrak?

Apa yang dimaksud dengan kelompok Abelian, dari perspektif aljabar linier / abstrak?
Anonim

Menjawab:

Grup Abelian adalah grup dengan properti tambahan dari operasi grup menjadi komutatif.

Penjelasan:

SEBUAH kelompok # <G, •> # adalah satu set # G # bersama dengan operasi biner # •: GxxG-> G # yang memenuhi persyaratan berikut:

  1. # G # aku s Tutup dibawah #•#.

    Untuk apapun # a, binG #, kita punya # a • b dalam G #

  2. #•# aku s asosiatif.

    Untuk apapun # a, b, cinG #, kita punya # (a • b) • (c) = a • (b • c) #

  3. # G # berisi sebuah elemen identitas

    Ada disana # einG # sedemikian rupa untuk semua # ainG #, # a • e = e • a = a #

  4. Setiap elemen # G # memiliki terbalik di # G #

    Untuk semua # ainG # disana ada #a ^ (- 1) diG # seperti yang # a • a ^ (- 1) = a ^ (- 1) • a = e #

Suatu kelompok dikatakan Abelian jika juga memiliki properti itu #•# bersifat komutatif, artinya, untuk semua # a, binG #, kita punya # a • b = b • a #.

Grup # <ZZ, +> # (bilangan bulat dengan penambahan standar) adalah grup Abelian, karena memenuhi kelima kondisi di atas.

Grup # GL_2 (RR) # (himpunan terbalik # 2 "x" 2 # matriks dengan elemen nyata bersama dengan perkalian matriks) adalah non-Abelian, karena sementara memenuhi empat kondisi pertama, perkalian matriks antara matriks yang dapat dibalik tidak selalu komutatif. Sebagai contoh:

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

tapi

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