Grup Eylemi
Bir grup eylemi, bir grubun soyut elemanlarını bir kümenin dönüşümleri olarak somutlaştırmakta, simetriyi elle tutulur hale getirmekte ve yörünge-dengeleyici ilişkisi aracılığıyla sayma araçları sağlamaktadır.
Tanım
Bir G grubunun bir X kümesi üzerindeki eylemi, G'den X'in permütasyon grubuna bir homomorfizm olup, eşdeğer olarak, her grup elemanına ve noktaya, grup işlemi ve birim eleman ile uyumlu olacak şekilde yeni bir nokta atayan bir fonksiyondur.
Kapsam
Bu konu, bir eylemin tanımını, yörüngeleri ve dengeleyicileri, yörünge-dengeleyici teoremini, sınıf denklemini, Burnside'ın sayma lemmasını ve gruplar hakkında yapısal sonuçlar elde etmek amacıyla eşleniklik (conjugation) ve yan kümeler (cosets) üzerindeki eylemlerin kullanımını kapsamaktadır.
Temel sorular
- Soyut bir grup, bir kümenin somut simetrileri olarak nasıl etki eder?
- Yörüngelerin boyutları dengeleyici alt gruplarla nasıl ilişkilidir?
- Sınıf denklemi, sonlu bir grubun yapısını nasıl kısıtlar?
- Grup eylemleri, simetriye göre nesneleri saymak için nasıl kullanılabilir?
Temel kuramlar
- Yörünge-dengeleyici teoremi
- Bir küme üzerinde etki eden bir grup için, bir noktanın yörüngesinin boyutu, dengeleyici alt grubunun indeksine eşit olup, yörünge boyutlarını alt grup indekslerine bağlamaktadır.
- Sınıf denklemi
- Yörünge-dengeleyici teoremini eşleniklik (conjugation) eylemine uygulamak, sonlu bir grubu, boyutları grup mertebesini bölen eşleniklik sınıflarına ayırmakta olup, p-grupları ve merkezleri incelemek için önemli bir araçtır.
- Burnside lemması
- Sonlu bir grup eyleminin yörünge sayısı, grup elemanları tarafından sabitlenen noktaların ortalama sayısına eşit olup, simetriye göre konfigürasyonları saymak için sistematik bir yöntem sağlamaktadır.
Klinik önem
Grup eylemleri, simetrinin biçimsel ifadesidir ve simetri altındaki saymanın (kombinatorikte Burnside ve Polya sayımı), geometrik ve fiziksel simetri gruplarının analizinin ve Cayley teoremi ile Sylow teoremleri gibi temel teoremleri kanıtlamak için kullanılan homomorfizmlerin inşasının temelini oluşturmaktadır.
Tarihçe
Eylem bakış açısı, Galois, Cauchy ve Jordan tarafından yapılan on dokuzuncu yüzyıl permütasyon grupları çalışmasından gelişmiş ve soyut grup kavramı olgunlaştıkça kümeler üzerinde etki eden gruplar olarak biçimselleştirilmiştir. Burnside'ın sayma teknikleri, simetri altındaki sayımı sistemleştirmiştir.
Öne çıkan isimler
- Arthur Cayley
- William Burnside
- Camille Jordan
İlgili konular
Temel eserler
- dummit2004
- artin2011
- rotman1995
Sıkça sorulan sorular
- Grup zaten soyutken grup eylemleri neden faydalıdır?
- Bir eylem, soyut grup elemanlarını bir kümenin somut permütasyonlarına dönüştürmekte, böylece yapısal sorular kombinatorik hale gelmektedir. Cayley teoremi hatta her grubun kendi üzerinde sadıkça (faithfully) etki ettiğini, onu bir simetrik gruba gömerek göstermektedir.
- Yörünge-dengeleyici teoremi size ne kazandırır?
- Yörünge boyutlarını alt grup indekslerine dönüştürmekte olup, bu indeksler grup mertebesini bölmektedir. Bu durum, sınıf denklemi, Sylow teoremleri ve sonlu grup teorisindeki birçok sayma argümanının arkasındaki itici güçtür.