Mi az a Abel-csoport, egy lineáris / absztrakt algebra perspektívából?

Mi az a Abel-csoport, egy lineáris / absztrakt algebra perspektívából?
Anonim

Válasz:

Az Abel-csoport egy csoport, amelynek csoportjellemzőjének további tulajdonsága kommutatív.

Magyarázat:

A csoport # <G, •> # egy készlet # G # bináris művelettel együtt # •: GxxG-> G # amelyek megfelelnek az alábbi feltételeknek: t

  1. # G # jelentése zárva alatt #•#.

    Bármilyen # A Bing #, nekünk van # a • b a G #

  2. #•# jelentése asszociációs.

    Bármilyen # A, b, felváltják #, nekünk van # (a • b) • (c) = a • (b • c) #

  3. # G # tartalmaz egy azonosító elem

    Létezik # # Eing olyan, hogy mindenki számára # # Aing, # A • e = e • a = a #

  4. A # G # van egy fordítottja ban ben # G #

    Mindenkinek # # Aing létezik #A ^ (- 1) ING # oly módon, hogy # Egy • egy ^ (- 1) = a ^ (- 1) • A = E #

Egy csoport szerint Abel ha az is rendelkezik ezzel a tulajdonsággal #•# kommutatív, vagyis mindenki számára # A Bing #, nekünk van # a • b = b • a #.

A csoport # <ZZ, +> # (az egész számok standard hozzáadással) egy Abel-csoport, mivel teljesíti az összes fenti öt feltételt.

A csoport # GL_2 (RR) # (az inverterek halmaza # 2 "x" 2 # a mátrixok, amelyek valódi elemekkel együtt mátrix szorzással rendelkeznek), nem Abeli, mivel bár az első négy feltétel teljesül, az invertálható mátrixok közötti mátrix szorzás nem feltétlenül kommutatív. Például:

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

de

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