Modern Matematiğin Temelini Oluşturan Grup Teorisi Nedir?

Tam sayılar ve bir üçgenin simetrileri arasında nasıl bir ilişki olabilir dersiniz? Modern matematiğin temelini oluşturan grup teorisi, işte böyle tuhaf bir sorunun cevabı olarak ortaya çıktı.

Matematik dünyasının dışında kullandığımız bazı kelimeler, matematikte çok daha özel anlamlar kazanır. “Grup” kelimesi de bunlardan biridir.

Günlük hayatta arkadaş gruplarından, dinî gruplardan, besin gruplarından, çalışma gruplarından ya da sosyal medya gruplarından söz ederiz. Bu kullanımların hepsi aynı değildir, fakat ortak bir yönleri vardır: Bir gruba dahil olup olmadığınız, genellikle belirli bir kurala ya da ölçüte bağlıdır. Yani bir şey ya da kişi ya grubun içindedir ya da dışındadır.

Grup Teorisi Nedir?

Matematikteki grup kavramı da benzer bir fikirden yola çıkar, fakat çok daha kesin bir anlama sahiptir. Matematikte grup, belirli elemanlardan oluşan bir küme ve bu elemanlar üzerinde tanımlanmış bir işlemden meydana gelen cebirsel bir yapıdır. Bu küme sonlu da olabilir, sonsuz da olabilir.

Ancak herhangi bir küme ve herhangi bir işlem grup oluşturmaya yetmez. Bir yapının grup sayılabilmesi için, kümedeki elemanların ve işlem kuralının dört temel koşulu sağlaması gerekir. Bu koşullara aksiyom denir. Eğer bu dört aksiyom sağlanıyorsa, elimizde matematiksel anlamda bir grup vardır.

1. Kapalılık

Bir kümeden aldığımız 2 matematiksel nesneye söz konusu işlemi uyguladığımızda bulduğumuz sonuç yine o kümenin içindeyse küme kapalılık şartını sağlıyor demektir. Mesela toplama işlemi altında tam sayılar kümesini düşündüğümüzde hangi 2 tam sayıyı toplarsak toplayalım yine bir tam sayı elde ederiz. Bu da tam sayılar kümesinin kapalılık şartını sağladığı anlamına gelir.

2. Birleşme

Bir kümeden aldığımız 3 elemana onları nasıl grupladığımız fark etmeksizin söz konusu işlemi uyguladığımızda hep aynı sonucu alıyorsak birleşme şartı sağlanıyor demektir. Örneğin herhangi 3 tam sayıyı [mesela 3+(4+5)=(3+4)+5=12] gruplama şeklimizden bağımsız olarak topladığımızda hep aynı sonucu elde ederiz.

3. Birim Eleman

Bir şeyin grup olabilmesi için grup elemanlarıyla işleme girdiğinde elemanları değiştirmeyen, etkilemeyen bir birim (etkisiz) elemana sahip olması gerekir. Örneğin 0 sayısı toplamanın, 1 ise çarpmanın birim elemanıdır.

4. Ters Eleman

Bir şeyin grup olabilmesi için her grup elemanın bir tersi olmalıdır. Ve grubun herhangi bir elemanı kendi tersiyle işleme girdiğinde birim elemanı vermelidir. Örneğin toplama işlemi altında tam sayılar için her elemanın tersi kendisinin zıt işaretlisidir. Ve bu iki elemanı topladığımızda toplama işleminin birim elemanı olan 0’ı elde ederiz.

Saydığımız bu 4 özellik, bir şeye grup diyebilmemiz için olmazsa olmaz şartlardır. Ancak bir grup, sadece bu 4 özellikten ibaret olmak zorunda değildir.

Abelyen (Değişmeli) Gruplar

Eğer bir grup, yukarıda saydığımız 4 şartla birlikte bir de değişmeli olma özelliğini taşıyorsa bu gruplara abelyen grup veya değişmeli grup denir. Değişmeli olma özelliği isminden de anlaşıldığı üzere grup işlemi gruptan iki elemana sıra fark etmeksizin uygulandığında aynı sonucu vermesidir. Örneğin toplama işlemi altında tam sayıları ele alırsak 3+5 ile 5+3’ün sonucu aynıdır.

bir yapının grup olabilmesi için değişmeli olması gerekmez. Matematikçiler bu özelliği zorunlu tutmadıkları için çok daha zengin ve çeşitli yapıları inceleyebilmiştir.

Değişmeli olmayan bir gruba örnek olarak köşeleri işaretlenmiş bir eşkenar üçgeni düşünebiliriz. Bu üçgeni kendi merkezi etrafında üçte bir tur döndürürsek ya da dikey ekseni boyunca yansıtırsak, şeklin kendisi değişmez. Yalnızca köşelerdeki etiketlerin yerleri değişir.

Eşkenar üçgenin şeklini bozmadan yapılabilecek bu tür altı dönüşüm vardır. Bunlara üçgenin simetrileri denir. Bu simetriler birlikte D₆ adı verilen bir grup oluşturur. Daha genel olarak, n kenarlı düzgün bir şeklin simetrilerinden oluşan grup D₂ₙ ile gösterilir. Örneğin kare dört kenarlı olduğu için, karenin simetri grubu D₈’dir.

Matematikçiler grupların yapısını anlamak için çoğu zaman onların içindeki daha küçük gruplara bakar. Bu yapılara alt grup denir. Bir alt grup, büyük grubun işlemini kullanmaya devam eder ve işlem yapıldığında kendi dışına çıkmaz.

Örneğin tam sayılar toplama işlemiyle bir grup oluşturur. Bu grubun içinde çift tam sayılar bir alt grup oluşturur. Çünkü iki çift sayıyı topladığımızda sonuç yine çift sayı olur. Ancak tek sayılar bir alt grup oluşturmaz. Çünkü iki tek sayının toplamı çift sayıdır; yani işlem bizi tek sayıların dışına çıkarır.

Ayrıca her grubun yalnızca birim elemandan oluşan en küçük bir alt grubu vardır. Buna trivial alt grup denir. Bu basit fikir, grup yapılarının daha küçük parçalara ayrılarak incelenmesini sağlar.

Grup Teorisi Ne İşe Yarar?

Grup kuramı 1830’larda Évariste Galois’nin çalışmalarıyla doğdu. O günden bu yana matematikçiler bu kavramı yalnızca sayılarla değil; permütasyonlar, dönüşümler ve karmaşık sayılar gibi birçok farklı yapı üzerinde kullandı. Zamanla alt grup, basit grup ve Abel grubu gibi kavramlar gelişti.

Grup kavramının gücü soyutluğundan gelir. Bir grup, nesnelerin ne olduğundan çok, bu nesneler arasındaki işlemin nasıl davrandığını anlatır. Bu yüzden aynı grup yapısı çok farklı alanlarda karşımıza çıkabilir. Bir yerde öğrendiğimiz özelliği, aynı yapıya sahip başka bir probleme taşıyabiliriz.

Modern matematikteki birçok yapı da grupların üzerine ek özellikler koyarak kurulur. Örneğin halkalarda toplama ve çıkarmanın yanında çarpma da vardır. Cisimlerde ise bunlara bölme işlemi de eklenir. Vektör uzayları da benzer şekilde daha zengin yapılar içerir. Fakat bütün bu gelişmiş yapıların temelinde yine grup fikri bulunur.

Bu nedenle grup kuramı, modern cebirin merkezinde yer alır. Dört temel aksiyomdan yola çıkarak bu kadar zengin matematiksel yapıların kurulabilmesi şaşırtıcıdır. Grup kuramı, farklı görünen durumların arkasındaki ortak düzeni görmemizi sağlar.

Kaynaklar ve İleri Okumalar

• ‘Groups’ Underpin Modern Math. Here’s How They Work ; Bağlantı: ‘Groups’ Underpin Modern Math. Here’s How They Work. | Quanta Magazine ; Yayınlanma tarihi: 6 Eylül 2024
• Monster Group (John Conway) – Numberphile ; Video bağlantısı: https://youtu.be/jsSeoGpiWsw?si=HimqKiI-PW_9KaKE
• Grup teorisi, soyutlama ve 196.883 boyutlu canavar – 3Blue1Brown ; Bağlantı: https://youtu.be/mH0oCDa74tE?si=-EZIvpHdcJxqfRrq

Size Bir Mesajımız Var!

Matematiksel, matematiğe karşı duyulan önyargıyı azaltmak ve ilgiyi arttırmak amacıyla kurulmuş bir platformdur. Sitemizde, öncelikli olarak matematik ile ilgili yazılar yer almaktadır. Ancak bilimin bütünsel yapısı itibari ile diğer bilim dalları ile ilgili konular da ilerleyen yıllarda sitemize dahil edilmiştir. Bu sitenin tek kazancı sizlere göstermek zorunda kaldığımız reklamlardır. Yüksek okunurluk düzeyine sahip bir web sitesi barındırmak ne yazık ki günümüzde oldukça masraflıdır. Bu konuda bizi anlayacağınızı umuyoruz. Ayrıca yazımızı paylaşarak da büyümemize destek olabilirsiniz. Matematik ile kalalım, bilim ile kalalım.

Matematiksel