Czym jest grupa abelowa z perspektywy liniowej / abstrakcyjnej algebry?

Czym jest grupa abelowa z perspektywy liniowej / abstrakcyjnej algebry?
Anonim

Odpowiedź:

Grupa Abelian to grupa z przemienną dodatkową właściwością operacji grupy.

Wyjaśnienie:

ZA Grupa # <G, •> # to zestaw #SOL# razem z operacją binarną # •: GxxG-> G # które spełniają następujące warunki:

  1. #SOL# jest Zamknięte pod #•#.

    Dla każdego # a, binG #, mamy # a • bw G #

  2. #•# jest asocjacyjny.

    Dla każdego # a, b, cinG #, mamy # (a • b) • (c) = a • (b • c) #

  3. #SOL# zawiera element tożsamości

    Tam istnieje # einG # taki dla wszystkich # ainG #, # a • e = e • a = a #

  4. Każdy element #SOL# ma odwrotność w #SOL#

    Dla wszystkich # ainG # tam istnieje #a ^ (- 1) inG # takie # a • a ^ (- 1) = a ^ (- 1) • a = e #

Mówi się, że grupa jest Abelian jeśli ma to również własność #•# jest przemienny, to znaczy dla wszystkich # a, binG #, mamy # a • b = b • a #.

Grupa # <ZZ, +> # (liczby całkowite z dodatkiem standardowym) to grupa Abelian, ponieważ spełnia wszystkie pięć powyższych warunków.

Grupa # GL_2 (RR) # (zestaw odwracalny # 2 "x" 2 # macierze z elementami rzeczywistymi wraz z mnożeniem macierzy) nie są abelowe, ponieważ podczas gdy spełnia cztery pierwsze warunki, mnożenie macierzy między odwracalnymi macierzami niekoniecznie jest przemienne. Na przykład:

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

ale

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