Bir Abelian grubu nedir, lineer / soyut bir cebir açısından?

Bir Abelian grubu nedir, lineer / soyut bir cebir açısından?
Anonim

Cevap:

Bir Abel grubu, grup operasyonunun ek özelliği değişimli olan bir gruptur.

Açıklama:

bir grup # <G, •> # bir dizi # G # bir ikili işlem ile birlikte # •: GxxG-> G # aşağıdaki şartları yerine getiren:

  1. # G # olduğu kapalı altında #•#.

    Herhangi # Bir, Bing #, sahibiz # a • b #

  2. #•# olduğu ilişkisel.

    Herhangi # A, b, dans ediyorum #, sahibiz # (a • b) • (c) = a • (b • c) #

  3. # G # içerir kimlik elemanı

    Var # Eing # herkes için öyle # Aing #, # Bir • e = e • a = a #

  4. Her elemanı # G # bir ters içinde # G #

    Hepsi için # Aing # var #a ^ (- 1) İng # öyle ki # Bir • a ^ (- 1) (- 1) • Bir = E # a ^ =

Bir grup olduğu söyleniyor Abelyen aynı zamanda özelliği varsa #•# değişmeli, yani herkes için # Bir, Bing #, sahibiz # a • b = b • a #.

Grup # <ZZ, +> # (standart ilaveli tamsayılar) yukarıdaki koşulların beşini de yerine getirdiği için bir Abelian grubudur.

Grup # GL_2 (RR) # (tersinir küme 2. 2 # "x" matris çarpımı ile birlikte gerçek elemanları olan matrisler) Abelian değildir, ilk dört koşulu yerine getirirken, tersinir matrisler arasındaki matris çarpımı mutlaka değişmez. Örneğin:

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

fakat

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