Merhaba. Bir önceki dersimizde, bir altgrubun kosetlerini, yani altgrubun grup elemanlarıyla "kaydırılmış" kopyalarını tanımlamıştık. Yaptığımız örneklerde (, ), bu kosetlerin ana grubu, birbiriyle kesişmeyen ve tamamını kaplayan "dilimlere" ayırdığı gibi bir sezgi edinmiştik.
Bu derste, bu sezgiyi kesin bir matematiksel zemine oturtacağız. Bir altgrubun sol (veya sağ) kosetleri ailesinin, grubu bir ayrışım (partition) halinde böldüğünü kanıtlayacağız. Bu, bir kümenin, boş olmayan ve ikişer ikişer ayrık olan alt kümelerinin birleşimi olarak ifade edilmesi anlamına gelir. Bu ispat, bir sonraki dersimizde ele alacağımız ve sonlu grup teorisinin temel direği olan Lagrange Teoremi'ne giden yolda atacağımız en kritik adımdır.
Ayrışım ve Denklik Bağıntıları: Kavramsal Çerçeve
Bir kümenin ayrışımı kavramı, denklik bağıntısı kavramıyla derinden bağlantılıdır. Matematikte temel bir prensip vardır: bir küme üzerindeki her denklik bağıntısı, o kümeyi denklik sınıflarından oluşan bir ayrışıma böler ve tersi de geçerlidir. Bu güçlü bağlantıyı kullanarak kosetlerin grubu nasıl ayrıştırdığını çok şık bir şekilde kanıtlayabiliriz.
Önce, grup üzerinde uygun bir denklik bağıntısı tanımlayalım. bir grup ve onun bir altgrubu olsun. 'nin elemanları arasında bağıntısını şu şekilde tanımlayalım:
için, .
Şimdi bu bağıntının bir denklik bağıntısı olduğunu, yani yansıma, simetri ve geçişme özelliklerini sağladığını göstermemiz gerekiyor. Ardından, bu bağıntının oluşturduğu denklik sınıflarının tam olarak sol kosetler olduğunu kanıtlayacağız. Bu adımları titizlikle ortaya koyan aşağıdaki metni inceleyelim.
MIT OpenCourseWare için Prof. James McKernan tarafından hazırlanan bu notlar, konuyu denklik bağıntıları üzerinden son derece net bir şekilde ele alıyor.
Lütfen metnin başından itibaren şu üç bölümü dikkatlice okuyun: Denklik Bağıntısının Tanımı ve İspatı: İlk olarak, a \sim b \iff a^{-1}b \in H bağıntısının neden bir denklik bağıntısı olduğunu gösteren ispatı inceleyin. İspatın yansıma, simetri ve geçişme özelliklerini göstermek için altgrubun kapalılık ve ters eleman içerme özelliklerini nasıl kullandığına odaklanın. Denklik Sınıfları Ayrışım Oluşturur: İkinci olarak, herhangi bir denklik bağıntısının denklik sınıflarının neden küme üzerinde bir ayrışım oluşturduğunu kanıtlayan genel teoremi okuyun. Bu, grup teorisine özgü olmayan, temel bir küme teorisi sonucudur. İki denklik sınıfının kesişimi boş değilse, aslında birbirine eşit olmaları gerektiğini gösteren kanıt mantığı özellikle önemlidir. Denklik Sınıfları = Sol Kosetler: Son olarak, tanımladığımız \sim bağıntısına göre bir g elemanının denklik sınıfının [g], tam olarak gH sol kosetine eşit olduğunu gösteren "Definition-Lemma 3.9" bölümünü okuyun. Bu adım, soyut denklik sınıfları ile somut kosetler arasındaki köprüyü kurar.
Bu okumadan sonra ulaştığımız sonuç şudur:
- bir denklik bağıntısıdır.
- Her denklik bağıntısı, kümesini denklik sınıflarına ayrıştırır.
- Bu bağıntının denklik sınıfları, 'nin sol kosetleridir.
Bu üç önermeyi birleştirdiğimizde, 'nin sol kosetlerinin grubu üzerinde bir ayrışım oluşturduğu sonucuna mantıksal olarak zorunlu bir şekilde ulaşırız. Bu, matematiksel kanıtın zarafetini ve gücünü gösteren bir yaklaşımdır.
Direkt İspat: Daha Somut Bir Bakış Açısı
Aynı sonucu, denklik bağıntılarının soyut çerçevesini kullanmadan, daha doğrudan bir yolla da kanıtlayabiliriz. Bu yaklaşım, ayrışımın iki temel koşulunu adım adım doğrulamaya odaklanır:
- Kapsama (Covering): 'deki her eleman en az bir kosete aittir.
- Ayrıklık (Disjointness): İki farklı kosetin ortak elemanı yoktur. (Veya eşdeğer olarak: iki kosetin ortak bir elemanı varsa, bu iki koset aslında aynı kümedir).
Bu ispatı görsel bir destekle ve adım adım takip etmek için aşağıdaki videoyu izleyelim.
Proof: Cosets Partition the Group | Abstract Algebra
Wrath of Math kanalından "Proof: Cosets Partition the Group" başlıklı video, bu direkt ispatı çok anlaşılır bir şekilde sunuyor.
Lütfen videonun şu iki bölümüne odaklanın: Ayrıklık veya Eşitlik: Bu bölümde, iki keyfi sol koset olan Ha ve Hb'nin ya ayrık ya da eşit olduğu kanıtlanıyor. İspat, kosetlerin bir ortak elemanı olduğunu varsayarak başlar ve bu varsayımın zorunlu olarak Ha = Hb sonucunu doğurduğunu gösterir. Bir kosetin, içindeki herhangi bir eleman tarafından temsil edilebileceği gerçeğinin bu ispatta nasıl kilit bir rol oynadığına dikkat edin. Kapsama: Bu kısa bölümde, gruptaki herhangi bir c elemanının mutlaka bir kosete ait olduğu gösterilir. Bu, c = ec ve birim eleman e'nin H altgrubunda olmasından yola çıkarak c \in Hc olduğunu göstermek kadar basittir.
Bu iki adımı tamamladığımızda, kosetlerin grubu tamamen kapladığını ve birbirleriyle kesişmediğini (eğer farklılarsa) kanıtlamış oluruz. Bu da tanım gereği, kosetler ailesinin üzerinde bir ayrışım oluşturduğu anlamına gelir.
Her iki ispat yöntemi de aynı sonuca varır, ancak farklı bakış açıları sunar. Denklik bağıntısı yaklaşımı daha genel ve soyut bir çerçeve kullanırken, direkt ispat daha somut ve yapısaldır. İkisini de anlamak, konsepti daha derinlemesine kavramanıza yardımcı olacaktır.
Özet ve Sonraki Adımlar
Bu derste, bir altgrubun kosetlerinin grubu ayrıştırdığına dair kritik teoremi iki farklı yoldan kanıtladık. Temel çıkarımımız şudur:
- Bir altgrubu verildiğinde, grubunun her elemanı tam olarak bir tane sol kosete (ve benzer şekilde, tam olarak bir tane sağ kosete) aittir.
- Bu, (ayrık birleşim) şeklinde yazılabilir, burada , her kosetten bir temsilci içeren bir kümedir.
Dikkatli bir gözlemci, örneklerde ve ispatlarda tüm kosetlerin aynı "büyüklükte" olduğunu fark edebilir. Gerçekten de, altgrubunun kendisi bir kosettir () ve diğer tüm kosetlerin ile aynı sayıda eleman içerdiği gösterilebilir.
Bir sonraki dersimizde, bugünkü ispatımızın bu doğrudan sonucu üzerine inşa edeceğiz. Bir sonlu grubu, her biri altgrup kadar eleman içeren ayrık kosetlere ayırabildiğimiz gerçeğini kullanarak, grup teorisinin en ünlü sonuçlarından biri olan Lagrange Teoremi'ni kanıtlayacağız. Bu teorem, bir altgrubun mertebesinin (eleman sayısının) ana grubun mertebesini bölmek zorunda olduğunu söyler ve sonlu grupların yapısı hakkında bize inanılmaz derecede güçlü bir araç verir.