Grup kuramı

Vikipedi, özgür ansiklopedi
Atla: kullan, ara
Grup Kuramı - Beşgensel hiperbolik çini-döşemesi

Grup kuramı, üzerinde tersinebilir ve bileşme özelliğine sahip ikili bir işlemin tanımlı olduğu kümeler kuramı. Daha detaylı açıklamak gerekirse, grup nesnesi bir küme G ve onun üzerinde tanımlı bir \cdot işleminden oluşur. Bu operasyonun aşağıdaki şartları sağlaması gereklidir:

1) G'nin herhangi üç elemanı a,b,c için

a\cdot(b\cdot c)=(a\cdot b)\cdot c

eşitliği sağlanmalıdır,

2) G'nin öyle bir e elemanı vardır ki, G'deki herhangi bir a için

a\cdot e=e\cdot a=a

eşitliği sağlanır (yani e etkisiz elemandır), ve de e, G'de bu özelliği sağlayan tek elemandır,

3) G'deki her a elemanı için öyle bir b elemanı bulmak mümkündür ki

a\cdot b=b\cdot a=e

eşitliği sağlansın. Eğer bu eşitlik sağlanıyorsa b elemanına a elemanının tersi adı verilir.

Yukardaki tanımda dikkat edilmesi gereken bir nokta ise işlemimizin değişme özelliği olduğunu varsaymıyor oluşumuzdur. Yani bazı gruplarda öyle iki a ve b elemanı bulmak mümkündür ki a\cdot b\neq b\cdot a olsun. Öte yandan eğer bir grupta fazladan değişme özelliği de varsa o gruba "Abel grubu" veya "değişmeli grup" denir. Gruplar sonlu , sayılabilir sonsuz veya sayılamaz sonsuz sayıda eleman içerebilirler.

Kısa tarih[değiştir | kaynağı değiştir]

İlk başta Fransız matematikçi Evariste Galois tarafından cisimler teorisi'ndeki sonlu genişlemeleri açıklamak için tanımlanmışlardır. Bu konu daha sonraları Galois genişlemeleri adıyla anılmaya başlanmış ve bu alanda karşımıza çıkan gruplara da Galois grupları denmiştir. Galois grupları günümüzde hala daha Cebirsel geometri alanının temel uğraş alanları içersindedirler. Öte yandan gruplar saf matematikte hızla başka uygulama alanları bulmuşlar ve katı hal fiziği ve Oyunlar teorisi gibi uygulamalı alanlara da sıçramışlardır. 1980'li yıllarda tamamlanan sonlu grupların sınıflandırılması projesi modern matematiğin en büyük başarılarından biri olarak kabul edilir.

Gruplara bazı örnekler[değiştir | kaynağı değiştir]

1) Tam sayılar kümesi ve üzerindeki toplama işlemi, bir Abel grubudur.

2) 0'dan farklı rasyonel sayılar ve çarpma işlemi, bu da Abeldir.

3) Simetrik n grubu, \{1,...,n\} kümesinden kendi içersine birebir örten fonksiyonlardan oluşur. Eleman sayısı n! dir ve Abel değildir. n sonsuz ise, bu grubun eleman sayısı da sonsuzdur.

4) Lie grupları, diferansiyel geometri alanının uğraş konularıdır. Lie gruplarının en temel örneği, genel doğrusal grup olarak adlandırılan ve GL(V) ile gösterilen, V doğrusal uzayanın birebir örten ve doğrusal dönüşümlerinin oluşturduğu gruptur.

5) n bir pozitif tamsayı ve G, 2n mertebeli bir grup olsun G’nin ( e, G’nin birimi ) a2=e olacak şekilde e’ den farklı bir a elemanı vardır.

6) Boş olmayan bir X kümesi verilsin. X tarafından üretilen serbest grup, F(X) ile gösterilen ve elemanları X in elemanları tarafından oluşturulan sadeleşmiş kelimeler olan gruptur. X boş olmadığından F(X) her zaman sonsuzdur. |X|=1 ise F(X)=\mathbb{Z} dir. |X|\geq 2 ise F(X) değişmeli değildir.

Önemli Grup Sınıfları[değiştir | kaynağı değiştir]

1) Değişmeli gruplar, eleman sayılarına göre sonlu veya sonsuz olabilirler. Değişmeli grupların sınıflandırılması şöyledir: Grup eğer sonlu ise, mertebesi asal sayıların kuvvetleri olan devirli değişmeli grupların toplamı şeklinde yazılabilir. Mesela, \mathbb{Z}_{15} i düşünelim. 15=3*5 olduğundan \mathbb{Z}_{15}=\mathbb{Z}_3 \oplus \mathbb{Z}_5 tir. Aynı mertebeye sahip olan fakat birbirlerine izomorf olmayan değişmeli gruplar bulunabilir. Örnek olarak, mertebesi 8 olan değişmeli gruplar ailesi şu farklı grupları içermektedir: \mathbb{Z}_8, \mathbb{Z}_4\oplus \mathbb{Z}_2 ve \mathbb{Z}_2\oplus\mathbb{Z}_2\oplus \mathbb{Z}_2. Sonsuz mertebeli değişmeli gruplar kendi içlerinde sonlu eleman tarafından üretilenler ve sonsuz eleman tarafından üretilenler olmak üzere iki sınıfa ayrılırlar. Sonlu eleman tarafından üretilen sonsuz değişmeli gruplar, \mathbb{Z} nin r tane kopyasının ve bir sonlu değişmeli grubun toplamı şeklinde ifade edilebilirler. Örnek olarak, \mathbb{Z}_8\oplus \mathbb{Z}\oplus \mathbb{Z} yi verebiliriz. Burada r sayısına o grubun rütbesi, yani rankı, denir. \mathbb{Z}_8\oplus \mathbb{Z}\oplus \mathbb{Z} örneğinde rütbe 2 dir. Dikkat edilecek olursa, grubun rütbesinin tanımlandığı kısım, örnekte \mathbb{Z}\oplus \mathbb{Z}, grubun sonsuz kısmını ifade eder. Geriye kalan kısım, örnekte \mathbb{Z}_8 kısmı, grubun burulma (veya kıvrılma) kısmını ifade eder. Sonlu gruplar her zaman sonlu bir küme tarafından üretildiklerinden şu sonuca varırız: Sonlu eleman tarafından üretilen değişmeli gruplar (sonlu veya sonsuz olabilirler) her zaman bir serbest değişmeli kısım (yani \mathbb{Z} li kısım) ve burulmalı kısmın toplamı şeklinde ifade edilebilirler.[1]

Başka bir örnek olarak, mertebesi 12 olan grupları düşünelim. Mertebesi 12 olan değişmeli gruplar \mathbb{Z}_{12}=\mathbb{Z}_4\oplus \mathbb{Z}_3 ve \mathbb{Z}_2\oplus \mathbb{Z}_2\oplus\mathbb{Z}_3 tür. Mertebesi 12 olan fakat değişmeli olmayan gruplar, A_4, D_6=<a,b\colon a^6=b^2=1, bab^{-1}=a^{-1}> ve T=<a,b\colon a^6=1, b^2=a^3, bab^{-1}=a^{-1}> dir. Bu lisetenin başka bir grup içermediği gösterilirken, başka bir deyişle, mertebesi 12 olan bir grubun bu listelenmiş gruplardan biri olduğu gösterilirken Sylow teoremleri kullanılır. Mertebesi 12 olan değişmeli grupların listesi hazırlanırken yukarıda bahsedilen sınıflandırma kullanılır.

2) Aşağıdaki tabloda, mertebesi küçük gruplar listelenmiştir.

Küçük Mertebli Gruplar
Mertebe; Grup
1 \mathbb{Z}_1
2 \mathbb{Z}_2
3 \mathbb{Z}_3
4 \mathbb{Z}_2\oplus\mathbb{Z}_2, \mathbb{Z}_4
5 \mathbb{Z}_5
6 \mathbb{Z}_2\oplus\mathbb{Z}_3=\mathbb{Z}_6, S_3
7 \mathbb{Z}_7
8 \mathbb{Z}_2\oplus\mathbb{Z}_2\oplus\mathbb{Z}_2, \mathbb{Z}_2\oplus\mathbb{Z}_4, \mathbb{Z}_8, D_4, Q
9 \mathbb{Z}_3\oplus \mathbb{Z}_3, \mathbb{Z}_9
10 \mathbb{Z}_2\oplus\mathbb{Z}_5=\mathbb{Z}_{10}, D_5
11 \mathbb{Z}_{11}
12 \mathbb{Z}_2\oplus\mathbb{Z}_2\oplus\mathbb{Z}_3, \mathbb{Z}_4\oplus\mathbb{Z}_3, A_4, D_6,T
13 \mathbb{Z}_{13}
14 \mathbb{Z}_2\oplus\mathbb{Z}_7, D_7
15 \mathbb{Z}_3\oplus\mathbb{Z}_5

3) Keyfi seçilmiş her grup bir grup gösterimine sahiptir. G grubu verildiğinde, öncelikle G yi üreten bir S altkümesi seçilir. Böyle bir S her zaman vardır çünkü S=G seçilebilir. Serbest gruplar gruplar kategorisinin serbest objeleri olduklarından S tarafından üretilen serbest grup F(S) her zaman vardır. S kümesi G yi ürettiğinden, S nin elemanları tarafından üretilmiş sadeleşmiş serbest kelimelerin bir kısmı G nin elemanlarını temsil ederler. Diğer bir kısmı ise G içinde birim elemana eşit olan elemanları temsil ederler. R kümesi ile, G içinde birim elemanı temsil eden S-kelimelerini gösterirsek, G=<S|R> grup gösterimini elde ederiz.[2]

Örnek olarak, \mathbb{Z}_m\times \mathbb{Z}_n=<a,b\colon a^m=1, b^n=1,ab=ba> verilebilir. Bu gösterimden \mathbb{Z}_m\times \mathbb{Z}_n grubunun a ve b gibi iki eleman tarafından üretildiği ve bu iki eleman arasında a^m=1, b^n=1 ve ab=ba ilişkilerinin olduğu görülür. ab=ba ilişkisi gurubun değişmeli olduğunu gösterir. Ayrıca, a ve b tarafından üretilen serbest grup F_2 nin kelimelerinin, bu ilişkilere göre sadeleştirilmiş halleri \mathbb{Z}_m\times \mathbb{Z}_n grubunun elemanlarını ifade ederler.

Gruplar, sonlu gösterimli ve sonsuz gösterimli olmak üzere iki sınıfa ayrılırlar. Sonlu gösterimli gruplar R kümesi sonlu olan en az bir gösterimi kabul eden gruplardır. Hiçbir gösterimi sonlu olmayan gruplar ise gösterimi sonsuz sınıfına düşerler.

Sonlu gösterimli grupların Descartes çarpımları da serbest çarpımları da sonlu gösterimlidir. G_1=<S_1|R_1> ve G_2=<S_2|R_2> olsun. G_1\times G_2 nin bir gösterimi <S_1,S_2|R_1,R_2, [S_1,S_2]> dir. G_1\star G_2 nin bir gösterimi ise <S_1,S_2|R_1,R_2> dir.

4) G üzerinde tanımlanan ikili işlemin, yine G üzerinde tanımlanmış bir topolojiye göre sürekli olup olmaması önemli grup sınıfları oluşturur. Eğer, bu ikili işlem G\times G in topolojisine göre sürekli ise, G grubuna topolojik grup denir. Benzer şekilde, G üzerinde bir topoloji ve ayrıca gerçel analitik yapı var ise, mesela G bir çokkatlı olabilir, ve ikili işlem gerçel analitik ise, G grubuna Lie grubu denir. Örnek olarak, 2 boyutlu tersinir kare matris grubu,bir gerçel 4 boyutlu tıkız olmayan bağlantısız Lie gruptur. Eğer gerçel yapı karmaşık yapıyla değiştirilirse, karmaşık Lie grubu elde edilir.[2]

5) Gruplar ayrıca, hiperbolik gruplar, uyumlu grup lar (amenable group), T-özelliğine sağlayan veya sağlamayan gruplar gibi ana sınıflara ayrılırlar.

Grupların Cayley Çizgeleri[değiştir | kaynağı değiştir]

Her gruba bir \mathfrak{C} çizgesi tayin edilerek, çizge teorisinin kombinatorik sonuçları, grup teorisinde kullanılabilir .[2] Bu özel çizgeye Cayley çizgesi denir ve şöyle inşa edilir: G grubunu üreten S kümesi seçildikten sonra, S nin her s elemanına c_s ile gösterilen bir renk atanır. Uçlar kümesi, yani U(\mathfrak{C}), olarak G kümesi seçilir. g_1,g_2\in G için g_2=g_1s şeklinde s\in S var ise, g_1 ucundan g_2 ucuna c_s renkli kenar çizilir. Elde edilen renki yönlendirilmiş çizge \mathfrak{C} dir.

D_4 grubunun Cayley çizgesi
F_2 grubunun Cayley çizgesi
  • <a,b|a^4=b^2=e, ab=ba^3> grup gösterimi ile verilen D_4 grubunun Cayley çizgesi şekilde verildiği gibidir. Bu çizgenin 8 ucu bulunmaktadır. Uçlar, grup içinde denk geldikleri elemanların adları kullanılarak isimlendirilmişlerdir. S kümesi {a,b} olarak seçilmiştir. Kırmızı renk ile gösterilen kenarlar a tarafından verilen kenarları, mavi renkli kenarlar ise b tarafından verilen kenarları göstermektedir. Grup içerisinde, a^4=1 olduğundan, kırmızı kenarların dört defa art arda yönlü şekilde takip edilmesi, başlangıç noktasına dönmek demektir. Bu çizgenin topolojik olarak temel grubu D_4 tür. Ayrıca, uçların içine konulmuş olan F sembolü, D_4 ün tarif ettiği simetriyi anlatmaktadır.
  • Yandaki şekilde, <a,b|-> grup gösterimi ile verilen F_2 grubunun Cayley çizgesi verilmiştir. F_2 nin elemanları a ve b kullanılarak oluşturulabilecek kısaltılmış kelimeler olduklarından U(\mathfrak{C}) bu durumda sayılabilir sonsuzdur. Mesela, e,a,b,a^2,a^3,\ldots,b,b^2,\ldots,ab,ab^{-1} bu tür kelimelerdendir. Şekilde, bir uçtan çıkan ve sağ tarafa giden oklar a ya, üst tarafa giden oklar b ye, sol tarafa giden oklar a^{-1} e ve aşağı tarafa giden oklar b^{-1} e denk gelirler. F_2 bir serbest grup olduğundan, bir uçtan başlayıp yönlü şekilde kenarları katip edersek, başladığımız noktaya geri dönemeyiz. Ayrıca, bu çizge bir fraktaldır. Daha net olarak, şekilde verilen çizge, soyut çizgenin, düzleme gömülmüş halidir, ve bu haliyle bir fraktaldır.

Grupların Cayley çizgeleri \mathfrak{R}^3 e her zaman gömülebilirler. Ayrıca, her yönlü çizge bir Cayley çizgesi değildir. Cayley çizgesi kullanılarak, grubun tekil Laplace operatörü tanımlanır.


Grupların Gösterim Kompleksleri[değiştir | kaynağı değiştir]

Grup gösterimleri kullanılarak, her gruba karşılık bir hücre kompleksi inşa edilir. Bu teknik, geometrik grup teorisinde sıklıkla kullanılır. G=<S|R> gibi bir gösterimin verildiğini kabul edelim. X_0 ile tek noktası olan topolojik uzayı gösterelim. S kümesinin her elemanı için, 1-boyutlu bir kenar, bu tekil noktaya uç noktalarından yapıştırılsın. Oluşan uzayı X_1 ile gösterelim. R kümesinin elemanları, G içinde birim elemana denk gelen kelimeler olduklarından, bu tür her kelimeye karşılık, 2-boyutlu bir disk, topolojik sınırı 1-boyutlu kenarlara denk gelecek şekilde yapıştırılabilir. Oluşan 2-boyutlu X_2 uzayı, G nin hücre kompleksi dir. Bu hücre kompleksinin temel grubu G nin kendisi olup, topolojik evrensel örtüsünün 1-boyutlu iskeleti G nin Cayley çizgesidir.

Örnek: \mathbb{Z}_2=<a,b| aba^{-1}b^{-1}> in gösterim kompleksi torustur.

Grup Teorisinin Diğer Teorilerle İlişkisi[değiştir | kaynağı değiştir]

Grup teorisi cebirin en sık kullanılan yapısı olduğundan, matematiğin diğer dallarında pek sık kullanılır. Aşağıda, bu ilişkilerin birkaçı açıklanmıştır.

Grup Teorisinin Önemli Uygulamarı[değiştir | kaynağı değiştir]

Rubik Küpü probleminin çözümü için grup teorisi kullanılır.

Aşağıda bazı önemli uygulamar verilmiştir.[2]

  • Rubik Küpünün çözümü grup teorisi kullanılarak elde edilir.
  • Galois teorisinde, polinomların köklerinin simetrileri gruplar kullanılarak çalışılır.
  • Grup teorisi, kriptografide sıklıkla kullanılır.
  • Diferansiyel denklemlerin çözümlerinde ve simetrilerinde, Lie grupları kullanılır.
  • Kimya biliminde, kristal yapıların sınıflandırılmasında grup teorisi kullanılır.
  • Fizik biliminde, Noether teoremi ile fiziksel sistemlerin simetrileri ile o sistemin koruma kanunu arasında bir münasebet kurulur. Simetriler çoğu zaman gruplar kullanılarak izah edilir. Noether teoremi yüzeysel olarak, bir sistemin simetrisi var ise, o simetriye denk gelen ve zaman tarafından korunan bir niceliğin var olduğunu söylemektedir.

Kaynaklar[değiştir | kaynağı değiştir]

  1. ^ [1] Rusça Wiki
  2. ^ a b c d [2] Grup Teori İngilizce Wiki
  3. ^ William Thurston, The Geometry and Topology of Three-Manifolds (Chapter 13), Princeton University lecture notes (1978–1981)
  4. ^ André Haefliger, Orbi-espaces, pages 203–213 in "Sur les groupes hyperboliques d'après Mikhael Gromov", Progress in Mathematics 83 (1990), Birkhäuser. ISBN 0-8176-3508-4.
  5. ^ Bekka, Bachir; de la Harpe, Pierre; Valette, Alain (2008), Kazhdan's property (T), New Mathematical Monographs, 11, Cambridge University Press, ISBN 978-0-521-88720-5, Şablon:MathSciNet, http://perso.univ-rennes1.fr/bachir.bekka/KazhdanTotal.pdf 
  6. ^ D.J.H Garling, Inequalities A Journey into Linear Analysis, pages 144–14 , Cambridge University Press, (2007).