İleri Grup Teorisi | Burak Demiröz

Dersin Tanıtımı ve Genel Bilgiler

İleri Grup Teorisi, temel grup teorisinin üzerine inşa edilen ve grupların derin yapısal özelliklerini inceleyen soyut cebir dalıdır. Bu ders, grupların sınıflandırılması, alt grup yapısı ve gruplar arası ilişkileri sistematik olarak ele alır.

Dersin Hedefleri

1. İzomorfizma teoremlerini kullanarak gruplar arası ilişkileri anlamak
2. Grup etkisi ve sayma problemlerini çözmek
3. Sylow teoremlerini kullanarak sonlu grupları analiz etmek
4. Çözülebilir ve nilpotent grupları karakterize etmek
5. Sonlu üreteçli abelyan grupların yapısını belirlemek

Ön Koşullar:

Temel Grup Teorisi: Grup tanımı, alt grup, koset, Lagrange teoremi
Homomorfizma: Çekirdek, imaj, izomorfizma
Normal Alt Gruplar: Bölüm grubu kavramı
Permütasyon Grupları: Sₙ ve Aₙ grupları

Tarihsel Bağlam: Grup teorisi, Galois'in polinom denklemlerinin çözülebilirliği çalışmasıyla doğmuştur. 20. yüzyılda sonlu basit grupların sınıflandırması (CFSG), matematiğin en büyük başarılarından biri olmuştur.

İzomorfizma Teoremleri

İzomorfizma teoremleri, grup homomorfizmaları ve normal alt gruplar arasındaki temel ilişkileri ortaya koyar. Bu teoremler, grup yapısını anlamak için vazgeçilmezdir.

Birinci İzomorfizma Teoremi

Temel İzomorfizma Teoremi

φ: G → H grup homomorfizması ise:
G/ker(φ) ≅ im(φ)

Yani, G'nin ker(φ)'ye göre bölüm grubu, φ'nin görüntüsüne izomorftur.

# Birinci İzomorfizma Teoremi Örneği
from sympy.combinatorics import Permutation, PermutationGroup

# φ: ℤ → ℤₙ (mod n homomorfizması)
def mod_homomorphism(a, n):
    return a % n

# φ: ℤ → ℤ₁₂, ker(φ) = 12ℤ
n = 12
print(f"φ(15) = {mod_homomorphism(15, n)}")  # 3
print(f"φ(27) = {mod_homomorphism(27, n)}")  # 3

# ℤ/12ℤ ≅ im(φ) = ℤ₁₂
print("\\nℤ/12ℤ ≅ ℤ₁₂")

İkinci İzomorfizma Teoremi (Elmas Teoremi)

Elmas İzomorfizması

H ≤ G ve N ◁ G olsun. O zaman:
HN/N ≅ H/(H ∩ N)

Burada HN = {hn : h ∈ H, n ∈ N} ve H ∩ N, H'nin bir normal alt grubudur.

Üçüncü İzomorfizma Teoremi (Correspondence Teoremi)

K ◁ H ◁ G ve K ◁ G olsun. O zaman:
(G/K)/(H/K) ≅ G/H

Bu teorem, bölüm gruplarının "kuleleme" özelliğini ifade eder. Alt gruplar arasında birebir eşleme sağlar.

Uygulama: İzomorfizma teoremleri, karmaşık grup yapılarını daha basit parçalara ayırarak analiz etmemizi sağlar. Galois teorisinde cisim geniş̧lemelerini anlamak için kritiktir.

Bir Küme Üzerinde Grup Etkisi

Grup etkisi, bir grubun elemanlarının bir küme üzerinde nasıl "hareket ettiğini" tanımlayan temel bir kavramdır. Simetri, sayma problemleri ve grup yapısını anlamak için kritiktir.

Grup Etkisi Tanımı

G grubu X kümesi üzerinde etki yapar:
φ: G × X → X fonksiyonu (g, x) ↦ g·x için:

Birim: e·x = x (∀x ∈ X)
Uyumluluk: (g₁g₂)·x = g₁·(g₂·x)

Etkinin Türleri

Etki Çeşitleri

Geçişli (Transitive): ∀x,y ∈ X, ∃g ∈ G: g·x = y
Sadık (Faithful): Sadece birim eleman tüm elemanları sabit bırakır
Serbest (Free): Hiçbir g ≠ e için g·x = x yok
Düzenli (Regular): Hem geçişli hem serbest

# Grup etkisi simülasyonu
class GroupAction:
    def __init__(self, group, set_X):
        self.group = group
        self.X = set_X
    
    def act(self, g, x):
        """g ∈ G, x ∈ X için g·x hesapla"""
        pass  # Alt sınıfta tanımlanır
    
    def is_transitive(self):
        """Etki geçişli mi?"""
        if len(self.X) == 0: return True
        
        x0 = list(self.X)[0]
        orbit = self.orbit(x0)
        return orbit == self.X
    
    def orbit(self, x):
        """x'in yörüngesi"""
        orbit = set()
        for g in self.group:
            orbit.add(self.act(g, x))
        return orbit
    
    def stabilizer(self, x):
        """x'in izotropi alt grubu"""
        stab = []
        for g in self.group:
            if self.act(g, x) == x:
                stab.append(g)
        return stab

# Örnek: S₃ {1,2,3} üzerinde
class S3Action(GroupAction):
    def act(self, perm, x):
        return perm[x-1]

S3 = [
    [1,2,3], [1,3,2], [2,1,3], 
    [2,3,1], [3,1,2], [3,2,1]
]
action = S3Action(S3, {1,2,3})
print(f"Geçişli mi? {action.is_transitive()}")  # True

İzotropi Altgrupları ve Yörüngeler

Grup etkisinin temel kavramları olan yörünge ve izotropi alt grubu, etkinin yapısını tamamen belirler.

Yörünge (Orbit)

x ∈ X için, x'in yörüngesi:
Orb(x) = {g·x : g ∈ G}

Yörünge, x'in G altında ulaşabildiği tüm konumları temsil eder. Yörüngeler X'i ayrık parçalara böler.

İzotropi Alt Grubu (Stabilizer)

İzotropi Alt Grubu

x ∈ X için, x'in izotropi alt grubu:
Gₓ = Stab(x) = {g ∈ G : g·x = x}

Bu, x'i sabit bırakan tüm grup elemanlarının oluşturduğu alt gruptur.

Yörünge-İzotropi Teoremi

Teorem: G sonlu grup, X üzerinde etki yapıyor ve x ∈ X olsun:
|Orb(x)| · |Gₓ| = |G|

Ya da: |Orb(x)| = [G : Gₓ] (Gₓ'in indeksi)

Bu, yörünge boyutu ile izotropi grubu boyutu arasındaki temel ilişkidir.

# Yörünge-İzotropi Teoremi Doğrulaması
def verify_orbit_stabilizer(group, action, x):
    orbit_size = len(action.orbit(x))
    stab_size = len(action.stabilizer(x))
    group_size = len(group)
    
    print(f"|Orb({x})| = {orbit_size}")
    print(f"|Stab({x})| = {stab_size}")
    print(f"|G| = {group_size}")
    print(f"|Orb| × |Stab| = {orbit_size * stab_size}")
    print(f"Eşit mi? {orbit_size * stab_size == group_size}")

# S₃ için x = 1 noktası
verify_orbit_stabilizer(S3, action, 1)

G-Kümelerinin Sayma ve Burnside Formülü

Burnside Lemması (veya Cauchy-Frobenius Lemması), grup etkisi altında yörünge sayısını hesaplamak için güçlü bir araçtır.

Burnside Lemması

Yörünge Sayısı = (1/|G|) Σ_{g∈G} |Fix(g)|

Burada Fix(g) = {x ∈ X : g·x = x}, g tarafından sabit bırakılan elemanlar kümesidir.

Örnek: Boncuk Bilezik Boyama

Klasik Problem

Problem: n boncuklu dairesel bir bilezik, k renk ile kaç farklı şekilde boyanabilir (dönme simetrisi altında)?

Çözüm: Cₙ (döngüsel grup) etki yapar. Burnside ile:
Yörünge sayısı = (1/n) Σ_{d|n} φ(d)·k^(n/d)

# Burnside Lemması Uygulaması
from math import gcd

def euler_phi(n):
    """Euler φ fonksiyonu"""
    result = n
    p = 2
    while p * p <= n:
        if n % p == 0:
            while n % p == 0:
                n //= p
            result -= result // p
        p += 1
    if n > 1:
        result -= result // n
    return result

def divisors(n):
    """n'nin tüm bölenleri"""
    divs = []
    for i in range(1, int(n**0.5) + 1):
        if n % i == 0:
            divs.append(i)
            if i != n // i:
                divs.append(n // i)
    return sorted(divs)

def necklace_colorings(n, k):
    """n boncuk, k renk ile bilezik boyama sayısı"""
    total = 0
    for d in divisors(n):
        total += euler_phi(d) * (k ** (n // d))
    return total // n

# Örnek: 6 boncuk, 3 renk
n, k = 6, 3
colorings = necklace_colorings(n, k)
print(f"{n} boncuklu bilezik, {k} renk: {colorings} farklı boyama")
# Çıktı: 92 farklı boyama

Uygulamalar: Kimyada izomer sayımı, grafik teorisinde izomorf grafların sayımı, kombinatorik dizaynda simetrik konfigürasyonların sayımı.

p-Grupları

p-grup, mertebes p'nin bir kuvveti olan sonlu gruptur (|G| = pⁿ, p asal). Bu gruplar, sonlu grup teorisinin yapı taşlarıdır.

p-Gruplarının Temel Özellikleri

Merkez Önemsizdir: |G| = pⁿ ise Z(G) ≠ {e}
Normal Alt Gruplar: Her p-grup nilpotenttir
Cauchy Teoremi: p | |G| ise, G'de p mertebeli eleman vardır

Sınıf Denklemi

G bir p-grup olsun. Konjügasyon etkisi altında:
|G| = |Z(G)| + Σ [G : C_G(x_i)]

Burada toplam, merkezde olmayan konjügasyon sınıflarının temsilcileri üzerindedir. Her [G : C_G(x_i)] > 1 ve p'nin katıdır.

Önemli Sonuç

Teorem: |G| = pⁿ olan her p-grup için |Z(G)| ≡ 0 (mod p)
Özellikle, |Z(G)| ≥ p. Bu, p-grupların her zaman önemsiz olmayan bir merkeze sahip olduğunu gösterir.

Sylow Teoremleri

Sylow teoremleri, sonlu grupların yapısını anlamak için en güçlü araçlardır. Lagrange teoreminin kısmi tersini sağlar ve p-alt gruplarının varlığını, sayısını ve yapısını belirler.

Birinci Sylow Teoremi

Varlık Teoremi

|G| = p^α · m (p ∤ m, p asal) olsun.
O zaman G'de p^α mertebeli bir alt grup vardır.

Bu alt gruplara Sylow p-alt grubu denir ve Sylₚ(G) ile gösterilir.

İkinci Sylow Teoremi

Konjügasyon

Tüm Sylow p-alt grupları birbirine konjügedir.

Yani, P, Q ∈ Sylₚ(G) ise, ∃g ∈ G: Q = gPg⁻¹
Bu, tüm Sylow p-alt gruplarının "aynı yapıda" olduğunu gösterir.

Üçüncü Sylow Teoremi

nₚ = Sylow p-alt gruplarının sayısı olsun. O zaman:
1. nₚ ≡ 1 (mod p)
2. nₚ | m (m, |G|'nin p'ye bölünmeyen kısmı)
3. nₚ = 1 ise, Sylow p-alt grubu normaldir.