Grup homomorfizmi - Group homomorphism

Bir grup homomorfizminin görüntüsü (h) itibaren G (sol H (sağ). İçerideki küçük oval H görüntüsü h. N çekirdeği h ve aN bir coset nın-nin N.

Cebirsel yapı → Grup teorisi Grup teorisi
Temel kavramlar Alt grup Normal alt grup Bölüm grubu (Yarı-)direkt ürün Grup homomorfizmleri çekirdek görüntü doğrudan toplam çelenk ürünü basit sonlu sonsuz sürekli çarpımsal katkı döngüsel değişmeli dihedral üstelsıfır çözülebilir Grup teorisi sözlüğü Grup teorisi konularının listesi
Sonlu gruplar Sonlu basit grupların sınıflandırılması döngüsel değişen Yalan türü ara sıra Cauchy teoremi Lagrange teoremi Sylow teoremleri Hall teoremi p grubu Temel değişmeli grup Frobenius grubu Schur çarpanı Simetrik grup Sn Klein dört grup V Dihedral grubu Dn Kuaterniyon grubu Q Disiklik grup Dicn
Ayrık gruplar Kafesler Tamsayılar (Z) Ücretsiz grup Modüler gruplar PSL (2,Z) SL (2,Z) Aritmetik grup Kafes Hiperbolik grup
Topolojik ve Lie grupları Solenoid Daire Genel doğrusal GL (n) Özel doğrusal SL (n) Dikey Ö(n) Öklid E (n) Özel ortogonal YANİ(n) Üniter U (n) Özel üniter SU (n) Semplektik Sp (n) G2 F4 E6 E7 E8 Lorentz Poincaré Uygun Diffeomorfizm Döngü Sonsuz boyutlu Lie grubu O (∞) SU (∞) Sp (∞)
Cebirsel gruplar Doğrusal cebirsel grup İndirgeyici grup Abelian çeşitliliği Eliptik eğri

İçinde matematik verilen iki grupları, (G, ∗) ve (H, ·), Bir grup homomorfizmi itibaren (G, ∗) ila (H, ·) Bir işlevi h : G → H öyle ki herkes için sen ve v içinde G bunu tutar

${displaystyle h (u * v) = h (u) cdot h (v)}$

Denklemin sol tarafındaki grup işlemi nerede G ve sağ tarafta H.

Bu mülkten çıkarılabilir ki h haritalar kimlik öğesi e_G nın-nin G kimlik unsuruna e_H nın-nin H,

${displaystyle h (e_ {G}) = e_ {H}}$

ve aynı zamanda tersleri terslerle eşler, yani

${displaystyle hleft (u ^ {- 1} ight) = h (u) ^ {- 1}.,}$

Dolayısıyla kişi şunu söyleyebilir h "grup yapısıyla uyumludur".

İçin eski gösterimler homomorfizm h(x) olabilir x^h veya x_hancak bu bir dizin veya genel bir alt simge olarak karıştırılabilir. Daha yeni bir eğilim, grup homomorfizmlerini argümanlarının sağına parantezleri atlayarak yazmaktır, böylece h(x) basitleşir x h. Bu yaklaşım, özellikle grup teorisinin olduğu alanlarda yaygındır. Otomata Otomataların kelimeleri soldan sağa okuması kuralına daha iyi uyduğundan bir rol oynar.

Ek yapıya sahip grupların düşünüldüğü matematik alanlarında, homomorfizm bazen sadece grup yapısına (yukarıdaki gibi) değil, aynı zamanda ekstra yapıya da saygı duyan bir harita anlamına gelir. Örneğin, bir homomorfizm topolojik gruplar genellikle sürekli olması gerekir.

Sezgi

Bir grup homomorfizmini tanımlamanın amacı, cebirsel yapıyı koruyan fonksiyonlar yaratmaktır. Grup homomorfizminin eşdeğer bir tanımı şöyledir: h : G → H bir grup homomorfizmidir

a ∗ b = c sahibiz h(a) ⋅ h(b) = h(c).

Başka bir deyişle, grup H bir anlamda benzer bir cebirsel yapıya sahiptir. G ve homomorfizm h bunu koruyor.

Türler

Monomorfizm

Bir grup homomorfizmi enjekte edici (veya bire bir); yani, farklılığı korur.

Epimorfizm

Bir grup homomorfizmi örten (veya üzerine); yani, ortak alandaki her noktaya ulaşır.

İzomorfizm

Bir grup homomorfizmi önyargılı; yani enjekte edici ve örten. Tersi de bir grup homomorfizmidir. Bu durumda gruplar G ve H arandı izomorf; sadece öğelerinin gösteriminde farklılık gösterirler ve tüm pratik amaçlar için aynıdırlar.

Endomorfizm

Bir homomorfizm, h: G → G; etki alanı ve ortak etki alanı aynıdır. Ayrıca bir endomorfizm olarak da adlandırılır G.

Otomorfizm

Bijektif olan bir endomorfizm ve dolayısıyla bir izomorfizm. Hepsinin seti otomorfizmler bir grubun Gişlevsel bileşimi işlem olarak, kendisini bir grup oluşturur, otomorfizm grubu nın-nin G. Aut ile gösterilir (G). Örnek olarak, otomorfizm grubu (Z, +) yalnızca iki öğe içerir; özdeşlik dönüşümü ve −1 ile çarpma; izomorfiktir Z/2Z.

Görüntü ve çekirdek

Biz tanımlıyoruz çekirdek h içindeki öğeler kümesi olmak G içindeki kimlikle eşlenen H

${displaystyle operatorname {ker} (h) equiv left {uin Gcolon h (u) = e_ {H} ight}.}$

ve görüntü h olmak

${displaystyle operatorname {im} (h) equiv h (G) equiv left {h (u) kolon uin Gight}.}$

Bir homomorfizmin çekirdeği ve görüntüsü, bir izomorfizme ne kadar yakın olduğunu ölçmek olarak yorumlanabilir. ilk izomorfizm teoremi bir grup homomorfizminin görüntüsünün, h(G) bölüm grubuna izomorfiktir G/ ker h.

H'nin çekirdeği bir normal alt grup nın-nin G ve h'nin görüntüsü bir alt grup nın-nin H:

${displaystyle {egin {hizalı} hleft (g ^ {- 1} Circ ucirc gight) & = h (g) ^ {- 1} cdot h (u) cdot h (g) & = h (g) ^ {- 1} cdot e_ {H} cdot h (g) & = h (g) ^ {- 1} cdot h (g) = e_ {H} .son {hizalı}}}$

Ancak ve ancak ker (h) = {e_G}, homomorfizm, h, bir grup monomorfizmi; yani h enjekte edici (bire bir). Enjeksiyon doğrudan çekirdekte benzersiz bir öğe olduğunu ve çekirdekteki benzersiz bir öğenin enjeksiyonu verir:

${displaystyle {egin {hizalı} && h (g_ {1}) & = h (g_ {2}) Leftrightarrow && h (g_ {1}) cdot h (g_ {2}) ^ {- 1} & = e_ {H } Leftrightarrow && hleft (g_ {1} circ g_ {2} ^ {- 1} ight) & = e_ {H}, operatorname {ker} (h) = {e_ {G}} Rightarrow && g_ {1} circ g_ {2} ^ {- 1} & = e_ {G} Leftrightarrow && g_ {1} & = g_ {2} end {hizalı}}}$

Örnekler

• Yi hesaba kat döngüsel grup Z/3Z = {0, 1, 2} ve tam sayılar grubu Z ek ile. Harita h : Z → Z/3Z ile h(sen) = sen mod 3, bir grup homomorfizmidir. Bu örten ve çekirdeği 3'e bölünebilen tüm tam sayılardan oluşur.

• üstel harita grubundan bir grup homomorfizmi verir gerçek sayılar R sıfır olmayan gerçek sayılar grubuna ek olarak R* çarpma ile. Çekirdek {0} ve görüntü pozitif gerçek sayılardan oluşuyor.
• Üstel harita aynı zamanda gruptan bir grup homomorfizmi verir. Karışık sayılar C sıfır olmayan karmaşık sayılar grubuna ek olarak C* çarpma ile. Bu harita örtülüdür ve {2π çekirdeğine sahiptir.ki : k ∈ Z}, göründüğü gibi Euler formülü. Gibi alanlar R ve C Katkı grubundan çarpan grubuna kadar homomorfizmalara sahip olanlar bu nedenle üstel alanlar.

Grup kategorisi

Eğer h : G → H ve k : H → K grup homomorfizmleridir, öyleyse k ∘ h : G → K. Bu, tüm grupların sınıfının, morfizm olarak grup homomorfizmleri ile birlikte, bir kategori.

Değişmeli grupların homomorfizmleri

Eğer G ve H vardır değişmeli (yani değişmeli) gruplar, ardından set Hom (G, H) tüm grup homomorfizmlerinin G -e H kendisi değişmeli bir gruptur: toplam h + k iki homomorfizm arasında tanımlanır

(h + k)(sen) = h(sen) + k(sen) hepsi için sen içinde G.

Değişme H bunu kanıtlamak için gerekli h + k yine bir grup homomorfizmidir.

Homomorfizmlerin eklenmesi, aşağıdaki anlamda homomorfizmlerin bileşimi ile uyumludur: eğer f içinde Hom (K, G), h, k unsurları Hom (G, H), ve g içinde Hom (H, L), sonra

(h + k) ∘ f = (h ∘ f) + (k ∘ f) ve g ∘ (h + k) = (g ∘ h) + (g ∘ k).

Kompozisyon olduğundan ilişkisel, bu setin End (G) bir değişmeli grubun tüm endomorfizmlerinden bir yüzük, endomorfizm halkası nın-nin G. Örneğin, değişmeli grubun endomorfizm halkası, doğrudan toplam nın-nin m Kopyaları Z/nZ halkasına izomorfiktir m-tarafından-m matrisler girişlerle Z/nZ. Yukarıdaki uyumluluk ayrıca grup homomorfizmlerine sahip tüm değişmeli grupların kategorisinin bir ön eklemeli kategori; Doğrudan toplamların ve iyi davranılmış çekirdeklerin varlığı, bu kategoriyi bir değişmeli kategori.

Ayrıca bakınız

Referanslar

• Dummit, D. S .; Foote, R. (2004). Soyut Cebir (3. baskı). Wiley. s. 71–72. ISBN  978-0-471-43334-7.
• Lang, Serge (2002), Cebir, Matematikte Lisansüstü Metinler, 211 (Üçüncü baskı gözden geçirildi), New York: Springer-Verlag, ISBN  978-0-387-95385-4, BAY  1878556, Zbl  0984.00001

Dış bağlantılar

• "Grup Homomorfizmi". PlanetMath.
• Rowland, Todd ve Weisstein, Eric W. "Grup Homomorfizmi". MathWorld.