Simetrik Grup ve Döngüsel Notasyon

1. Permütasyonlar ve Simetrik Grup

En basit tanımıyla, bir kümenin permütasyonu, o kümenin elemanlarının bir yeniden düzenlenmesidir. Daha matematiksel bir dille ifade etmek gerekirse, bir $X$ kümesi üzerinde bir permütasyon, $X$ kümesinden kendisine giden birebir ve örten (biyektif) bir fonksiyondur.

Bu fonksiyonların kümesinin, fonksiyon bileşkesi işlemi altında bir grup oluşturduğunu kanıtlamak oldukça basittir:

• Kapalılık: İki biyektif fonksiyonun bileşkesi yine biyektiftir.
• Birleşme (Asosyatiflik): Fonksiyon bileşkesi her zaman birleşme özelliğine sahiptir.
• Birim Eleman: Özdeşlik fonksiyonu ($id(x)=x$), her elemanı kendisine gönderen birim permütasyondur.
• Ters Eleman: Her biyektif fonksiyonun tersi de biyektif bir fonksiyondur.

Bu konunun daha titiz bir ispatı için aşağıdaki kısa videoyu izleyebilirsiniz.

Bizim için özellikle önemli olan durum, $X$ kümesinin sonlu olduğu durumdur. $X=\{1,2,\dots ,n\}$ kümesini ele alalım. Bu küme üzerindeki tüm permütasyonların oluşturduğu gruba n. simetrik grup denir ve $S_n$ ile gösterilir. Bu grubun eleman sayısı, yani $n$ elemanın kaç farklı şekilde sıralanabileceği, $n!$ (n faktöriyel) kadardır.

Permütasyonları göstermenin bir yolu, iki satırlı (two-row) notasyondur. Üst satıra elemanların kendileri, alt satıra ise o elemanın permütasyon altındaki görüntüsü yazılır.

Bu notasyonu ve simetrik grup tanımını daha iyi anlamak için anadilimizdeki bu güzel kaynağı inceleyelim.

Örneğin, $S_3$'teki bir permütasyon olan $\sigma$ fonksiyonu 1'i 2'ye, 2'yi 3'e ve 3'ü 1'e göndersin. Bu durumu iki satırlı notasyonla şöyle ifade ederiz:

Bu notasyon açık olsa da, özellikle $n$ büyüdüğünde oldukça hantal ve kullanışsız hale gelir. Şimdi daha verimli bir gösterim yöntemine geçelim.

2. Döngüsel Notasyon (Cycle Notation)

Döngüsel notasyon, bir permütasyonun yapısını çok daha net bir şekilde ortaya koyan zarif bir yöntemdir. Fikir, elemanların birbirini nasıl "takip ettiğini" izlemektir.

Yukarıdaki $\sigma$ örneğini ele alalım:

• 1, 2'ye gidiyor ($1\to 2$).
• 2, 3'e gidiyor ($2\to 3$).
• 3, 1'e, yani başlangıç noktasına geri dönüyor ($3\to 1$).

Bu "takip" işlemini bir parantez içine yazarak $\sigma =(123)$ şeklinde ifade ederiz. Bu gösterim, 1'in 2'ye, 2'nin 3'e ve parantezin sonundaki 3'ün de parantezin başındaki 1'e gittiğini söyler.

Peki ya bazı elemanlar yerinde kalıyorsa veya permütasyon birden fazla "takip zincirine" ayrılıyorsa? Bu durumda, permütasyonu ayrık döngülerin (disjoint cycles) çarpımı olarak yazarız. Ayrık döngüler, ortak eleman içermeyen döngülerdir.

Örneğin, $S_7$'de şu permütasyonu düşünelim:

Bu permütasyonu döngüsel notasyona çevirelim:

1. 1 ile başlayalım: $1\to 2\to 7\to 1$. Bu bize ilk döngüyü verir: $(127)$.
2. Bu döngüde yer almayan ilk eleman 3'tür. 3 ile devam edelim: $3\to 4\to 5\to 6\to 3$. Bu da ikinci döngüyü verir: $(3456)$.
3. Tüm elemanları kullandığımıza göre, permütasyonu bu iki ayrık döngünün çarpımı olarak yazabiliriz: $\tau =(127)(3456)$.

Bu dönüşümü daha iyi kavramak için aşağıdaki videoyu izlemenizi öneririm.

Şimdi bu konuyu "Simetrik Grup" makalesinden okuyarak pekiştirelim.

3. Döngüsel Ayrışımın Arkasındaki Yapı: Yörüngeler

Her permütasyonun ayrık döngülerin bir çarpımı olarak (sıra dışında tek bir şekilde) yazılabileceğini gördük. Bu, bir tesadüf değildir ve permütasyonların temel bir yapısal özelliğinden kaynaklanır: yörüngeler (orbits).

Bir $\sigma \in S_n$ permütasyonu ve bir $x\in \{1,\dots ,n\}$ elemanı alalım. $x$'in $\sigma$ altındaki yörüngesi, $x$'e $\sigma$ ve onun kuvvetlerini (tersleri dahil) tekrar tekrar uygulayarak elde edebileceğiniz tüm elemanların kümesidir:

Örneğin, $\tau =(127)(3456)$ permütasyonunda:

• 1'in yörüngesi: $\text{Orbit}(1)=\{1,2,7\}$
• 3'ün yörüngesi: $\text{Orbit}(3)=\{3,4,5,6\}$

Fark edeceğiniz üzere, bir permütasyonun yörüngeleri, $\{1,\dots ,n\}$ kümesini ayrık alt kümelere böler (partition). Her bir yörünge, tam olarak bir ayrık döngüye karşılık gelir. Bu, döngüsel ayrışımın neden her zaman mümkün ve anlamlı olduğunu açıklayan temel prensiptir.

Bu önemli teorem, ileride Lagrange Teoremi ve Yörünge-Dengeleyici Teoremi gibi konuları anlarken de karşımıza çıkacak olan "parçalara ayırma" (partitioning) fikrinin ilk örneğidir.

Ayrık döngülerle ilgili son bir önemli özellik de, birbirleriyle değişme özelliğine sahip olmalarıdır (commute). Çünkü farklı eleman kümeleri üzerinde etki ederler. Yani, $(127)(3456)$ ile $(3456)(127)$ permütasyonları tamamen aynıdır. Ancak dikkat: ayrık olmayan döngüler için bu geçerli değildir! Örneğin $(12)(23)$ ile $(23)(12)$ farklı permütasyonlardır.

Özet ve Sonraki Adımlar

Bu derste önemli bir temel attık:

• Bir kümenin elemanlarının yeniden düzenlenmeleri olan permütasyonların, fonksiyon bileşkesi altında simetrik grup $S_n$'i oluşturduğunu öğrendik.
• Permütasyonları ifade etmek için hantal iki satırlı notasyon yerine, permütasyonun yapısını daha iyi yansıtan döngüsel notasyonu kullanmayı öğrendik.
• Her permütasyonun, permütasyonun yörüngelerine karşılık gelen ayrık döngülerin bir çarpımı olarak benzersiz bir şekilde yazılabileceğini gördük. Bu, sadece bir gösterim kolaylığı değil, aynı zamanda temel bir yapısal özelliktir.

İlk dersimizi tamamladık. Bu temel üzerine inşa edeceğimiz bir sonraki konumuz altgruplar olacak. $S_n$ gibi büyük grupların içinde yaşayan daha küçük grupları nasıl bulacağımızı ve altgrup testini nasıl kullanacağımızı inceleyeceğiz. Bu, grupların iç yapısını daha derinlemesine anlamamızı sağlayacak ve bizi Lagrange Teoremi'ne bir adım daha yaklaştıracaktır.