Grup Nedir? İşlem, Birim ve Ters Elemanlarla Grup Teorisi

Bir işlemin grup testi: dört koşulu doğru sırayla kontrol etme

Bir küme $G$ ve bu küme üzerinde tanımlı $*$ işlemi için $(G,*)$ grubunu sınamak üzere şu dört koşul incelenir:

1. Kapalı olma: Her $a,b\in G$ için $a*b\in G$ olmalıdır. Sonucun kümenin dışına çıkması, yapının grup olmasını doğrudan engeller. Bu koşul işlem sonucunun varlığını değil, sonucun yine seçilen kümede bulunmasını ifade eder.

2. Birleşme özelliği: Her $a,b,c\in G$ için $(a*b)*c=a*(b*c)$ olmalıdır. Burada parantezlerin gruplanışı değişir; elemanların sırası değişmez. Bu nedenle birleşme, komütatiflik ile aynı şey değildir.

3. Birim eleman: $G$ içinde bir $e$ elemanı bulunmalı ve her $a\in G$ için $a*e=e*a=a$ olmalıdır. Birim eleman işlem bakımından etkisiz elemandır. Toplama işleminde bu rolü $0$, çarpma işleminde ise uygun kümede $1$ üstlenir.

4. Ters eleman: Her $a\in G$ için $G$ içinde bir $a^{-1}$ bulunmalı ve $a*a^{-1}=a^{-1}*a=e$ olmalıdır. Ters eleman, birim elemana ulaşmayı sağlar.

Kontrol sırası pratikte önemlidir. Önce işlem ve küme netleştirilir, sonra kapalılık aranır. Kapalılık bozuluyorsa diğer koşulları incelemek gereksizdir. Örneğin doğal sayılar toplama altında kapalıdır; ancak her doğal sayının toplamsal tersi doğal sayılar içinde bulunmadığı için bu yapı grup değildir. Buna karşılık tam sayılar toplama altında grup oluşturur: toplam iki tam sayıdır, birleşme geçerlidir, birim $0$'dır ve her $a$ için ters eleman $-a$'dır.

Birim ve ters eleman, işlemin türüne göre nasıl bulunur?

Birim ve ters elemanlar kümeden bağımsız sabit kavramlar değildir; seçilen işleme ve kümeye göre belirlenir. Toplama altında birim eleman $0$ olduğundan $a$ sayısının tersi $-a$ biçimindedir. Çarpma altında birim eleman $1$ olduğunda, tersi bulunan bir $a$ için ters eleman $a^{-1}=1/a$ olur. Ancak bu ifade yalnızca $a\neq 0$ ve $1/a$ elemanlarının seçilen kümede bulunması durumunda kullanılabilir.

Bu ayrım, grup kontrolündeki en sık atlanan noktadır. Örneğin gerçek sayılar çarpma altında kapalı ve birleşmelidir; fakat bütün gerçek sayılar için grup oluşmaz, çünkü $0$ sayısının çarpımsal tersi yoktur. Sıfır çıkarıldığında, yani sıfırdan farklı gerçek sayılar çarpma altında ele alındığında, ters eleman koşulu sağlanır.

Birim elemanın tekliği de işlemden çıkarılabilir. Eğer hem $e$ hem $f$ birim eleman olsaydı, $e*f=f$ birim olma özelliğinden; aynı zamanda $e*f=e$ eşitliğinden dolayı $e=f$ olurdu. Bu yüzden bir grup içinde iki farklı birim eleman bulunmaz. Benzer biçimde, bir elemanın tersi de tektir. Aynı elemanın iki tersi olduğu varsayılırsa birleşme ve birim özellikleri kullanılarak bu iki tersin eşit olduğu gösterilebilir.

İşlem çarpma sembolüyle yazılsa bile çarpma işleminin bildiğimiz sayısal çarpma olması gerekmez. Geometrik dönüşümlerin art arda uygulanması da bir ikili işlem olarak ele alınabilir. Burada işlem sonucu, iki dönüşümün peş peşe uygulanmasıdır; birim dönüşüm şekli değiştirmez, ters dönüşüm ise önceki dönüşümü etkisiz bırakır.

Abel ve non-Abel ayrımı: birleşme ile sıra değişimini karıştırmamak

Bir grup için ayrıca $a*b=b*a$ koşulu sağlanıyorsa grup Abel grup veya komütatif grup olarak adlandırılır. Bu koşul, dört grup aksiyomuna eklenen bir özelliktir; grup olmanın zorunlu koşulu değildir. Sıra değiştirilemiyorsa grup yine grup olabilir, fakat Abel değildir.

Örneğin tam sayılar toplama altında Abel gruptur; çünkü iki tam sayının toplamında sıra sonucu değiştirmez. Buna karşılık geometrik dönüşümlerde önce döndürüp sonra yansıtmak ile önce yansıtıp sonra döndürmek aynı dönüşümü vermeyebilir. Böyle bir durumda işlem birleşme özelliğini koruyabilir, fakat komütatiflik sağlanmayabilir.

Bu ayrımın karar kuralı nettir: Önce dört grup koşulu test edilir. Bunlar sağlanıyorsa grup vardır. Daha sonra tüm uygun $a,b$ çiftleri için $a*b=b*a$ olup olmadığı incelenir. Komütatiflik yalnızca grup içindeki işlem sırasına ilişkindir; işlemin birleşmeli olması, işlem sırasının değişebileceği anlamına gelmez.

Alt grup ve homomorfizma: grup yapısının nasıl korunduğu

Bir grubun alt kümesi, aynı işlem altında kendi başına grup oluşturuyorsa alt grup olarak adlandırılır. Alt kümenin grup olması için yalnızca kümenin küçük olması yeterli değildir; birim elemanı içermesi, işlem altında kapalı olması ve her elemanın tersini yine içinde barındırması gerekir. Örneğin tam sayılar, toplama altında reel sayıların bir alt grubudur: $0$ içeridedir, iki tam sayının toplamı tam sayıdır ve her tam sayının toplamsal tersi yine tam sayıdır.

Alt grup kontrolünde pratik bir yaklaşım, seçilen alt kümede işlem sonucunun ve terslerin dışarı çıkıp çıkmadığına bakmaktır. Bir alt küme toplama altında kapalı olsa bile ters eleman koşulunu sağlamıyorsa alt grup değildir. Bu nedenle yalnızca 'toplam sonucu kümede kalıyor' demek yeterli değildir.

Homomorfizma, iki grup arasındaki işlemi koruyan fonksiyondur. $f:G\to H$ fonksiyonunun homomorfizma olması için $f(a*b)=f(a)\circ f(b)$ koşulu gerekir; burada $*$ ve $\circ$ iki gruptaki işlemleri gösterir. Yani fonksiyon, işlemi önce yapıp sonra dönüştürmekle, elemanları önce dönüştürüp sonra hedef grupta işlemi yapmak arasında fark bırakmaz.

Bu yapı koruma fikri, grupların yalnızca eleman listesi olmadığını gösterir. Homomorfizma bir grubun işlem düzenini başka bir grupta yansıtır. Matris temsili, bir grubun elemanlarını işlem ilişkilerini koruyan matrislere gönderen bir homomorfizmadır. Her grubun sonlu boyutlu ve sadık bir matris temsili bulunması gerekmez. Ancak her matris kümesi grup değildir; matrislerin seçilen işlem altında kapalı olması ve terslerinin yine kümede bulunması gerekir.

Çözümlü örnekler: verilen küme ve işleme göre grup kararını verme

Örnek 1 — Tam sayılar toplama altında

Verilenler: $G=\mathbb{Z}$ ve işlem toplama işlemi.

Çözüm adımları:

1. Kapalılık: $a,b\in\mathbb{Z}$ ise $a+b$ de tam sayıdır. Koşul sağlanır.
2. Birleşme: Tam sayı toplamında $(a+b)+c=a+(b+c)$ eşitliği geçerlidir.
3. Birim: $0\in\mathbb{Z}$ ve $a+0=0+a=a$ olur.
4. Ters: Her $a\in\mathbb{Z}$ için $-a\in\mathbb{Z}$ ve $a+(-a)=0$'dır.
5. Komütatiflik: $a+b=b+a$ olduğu için grup Abel gruptur.

Sonuç: $(\mathbb{Z},+)$ bir Abel gruptur. Burada özellikle dikkat edilmesi gereken nokta, ters elemanın kümede kalmasıdır; bu yüzden doğal sayılar aynı işlem altında aynı sonucu vermez.

Örnek 2 — Sıfırdan farklı gerçek sayılar çarpma altında

Verilenler: $G=\mathbb{R}\setminus\{0\}$ ve işlem çarpma işlemi.

Çözüm adımları:

1. Kapalılık: Sıfırdan farklı iki gerçek sayının çarpımı yine sıfırdan farklıdır; sonuç $G$ içindedir.
2. Birleşme: Gerçek sayı çarpımı birleşmelidir.
3. Birim: $1\in G$ ve $a\cdot1=1\cdot a=a$ olur.
4. Ters: Her $a\in G$ için $1/a$ tanımlıdır ve $a\cdot(1/a)=1$'dir. Ayrıca $1/a$ sıfır değildir ve $G$ içindedir.
5. Komütatiflik: Gerçek sayı çarpımında $a\cdot b=b\cdot a$ olduğundan yapı Abel gruptur.

Sonuç: $(\mathbb{R}\setminus\{0\},\cdot)$ bir Abel gruptur. Eğer kümeden $0$ çıkarılmasaydı, $0$'ın çarpımsal tersi bulunmadığı için grup koşulu bozulurdu. Bu örnek, kümenin işlemle birlikte değerlendirilmesi gerektiğini açıkça gösterir.

Sık yapılan hatalar ve karıştırılan sınır durumları

• Birleşmeyi komütatiflikle eşitlemek: $(a*b)*c=a*(b*c)$ parantezlerin yerini; $a*b=b*a$ ise elemanların sırasını ilgilendirir. Bir grup birleşmeli olup komütatif olmayabilir.

• İşlemi belirtmeden grup demek: 'Bu sayılar gruptur' ifadesi eksiktir. Aynı küme toplama altında grupken çarpma altında grup olmayabilir. Küme ve işlem birlikte yazılmalıdır.

• Kapalılığı ters elemanla karıştırmak: İşlem sonucunun kümede kalması, her elemanın tersinin de kümede olduğunu göstermez. Doğal sayılar toplama altında kapalı olsa da negatif sayılar doğal sayılar içinde değildir.

• Çarpma işleminde sıfırı gözden kaçırmak: $0$'ın çarpımsal tersi yoktur. Bu nedenle gerçek sayılar kümesi, standart çarpma altında grup örneği olarak doğrudan kullanılamaz; sıfırdan farklı gerçek sayılar kümesi kullanılır.

• Birim elemanı yalnızca sağ tarafta kontrol etmek: Grup tanımında hem $a*e=a$ hem de $e*a=a$ koşulu gerekir. İşlem komütatif değilse bu iki yön özellikle ayrı ayrı önem taşır.

• Alt kümeyi otomatik olarak alt grup sanmak: Alt kümenin işlem altında kapalı olması tek başına yeterli değildir. Birim ve ters eleman koşulları da alt kümede bulunmalıdır.

• Şekil simetrilerini yalnızca görsel benzerlik sanmak: Bir simetrinin grup teorisinde kullanılabilmesi için simetrilerin art arda uygulanmasıyla işlem kurulmalı; etkisiz dönüşüm birim, her simetrinin geri dönüşü de ters rolünü üstlenmelidir.