Cisim Teorisine Giriş

Dersin Tanıtımı ve Genel Bilgiler

Cisim teorisi, modern cebirsel yapıların en temel ve önemli dallarından biridir. Bu ders kapsamında, cisim kavramının matematiksel yapısını, cebirsel genişlemeleri ve bu yapıların geometrik uygulamalarını inceleyeceğiz.

Ders Hedefleri:
• Cebirsel yapıları anlamak ve karakterize etmek
• Cisim genişlemelerinin özelliklerini incelemek
• Klasik geometrik problemlere cebirsel çözümler getirmek
• Galois teorisinin temellerini oluşturmak

Cisim teorisi, sayı teorisi, cebirsel geometri, kriptografi ve kodlama teorisi gibi birçok alanda temel oluşturur. Özellikle, polinomların çözülebilirliği ve geometrik yapıların incelenmesinde kritik rol oynar.

Tarihçe

Cisim teorisinin temelleri 19. yüzyılda Galois'nın polinom denklemlerinin çözülebilirliği üzerine yaptığı çalışmalarla atılmıştır. Dedekind, Kronecker ve Steinitz gibi matematikçiler bu teoriyi modern haline getirmiştir.

Cisim Kavramı

Bir cisim (field) $F$, toplama ve çarpma işlemlerine göre kapalı olan ve her sıfırdan farklı elemanın çarpma tersinin bulunduğu cebirsel bir yapıdır.

F \text{ bir cisimdir } \Leftrightarrow$$ $$(F, +) \text{ değişmeli grup}$$ $$(F \setminus \{0\}, \cdot) \text{ değişmeli grup}$$ $$\text{Dağılma özelliği: } a(b+c) = ab + ac

Temel Cisim Örnekleri:
• $\mathbb{Q}$ - Rasyonel sayılar
• $\mathbb{R}$ - Reel sayılar
• $\mathbb{C}$ - Kompleks sayılar
• $\mathbb{F}_p$ - $p$ elemanlı sonlu cisim ($p$ asal)
• $\mathbb{Q}(\sqrt{2})$ - $\mathbb{Q}$'nun $\sqrt{2}$ ile genişlemesi

Bir cismin temel özellikleri arasında değişme, birleşme, birim elemanların varlığı ve dağılma aksiyomları bulunur. Bu aksiyomlar sayesinde cebirsel denklemler çözülebilir ve yapısal analizler yapılabilir.

Önemli Not

Her cisim bir halkadır, ancak her halka bir cisim değildir. Örneğin, tam sayılar $\mathbb{Z}$ bir halka oluşturur ama cisim değildir (çünkü 2'nin çarpma tersi $\mathbb{Z}$'de yoktur).

Cisim Genişlemeleri

Bir cisim genişlemesi $K/F$, $F$ cisminin elemanlarını içeren daha büyük bir cisim $K$'dır. Bu durumda $F$'ye taban cisim, $K$'ya genişleme cismi denir.

F \subseteq K$$ $$[K:F] = \dim_F K

Genişleme derecesi $[K:F]$, $K$'nın $F$ üzerinde bir vektör uzayı olarak boyutudur.

Genişleme Türleri:
• Sonlu genişleme: $[K:F] < \infty$
• Cebirsel genişleme: Her $\alpha \in K$, $F$ üzerinde cebirseldir
• Basit genişleme: $K = F(\alpha)$ şeklindedir
• Normal genişleme: Minimal polinomlar tamamen parçalanır

Kule Kuralı: Eğer $F \subseteq E \subseteq K$ cisim genişlemeleri zinciri varsa:
$$[K:F] = [K:E] \cdot [E:F]$$ Bu özellik, karmaşık genişlemeleri analiz ederken çok kullanışlıdır.

Örnek

$\mathbb{Q} \subseteq \mathbb{Q}(\sqrt{2}) \subseteq \mathbb{Q}(\sqrt{2}, \sqrt{3})$

$[\mathbb{Q}(\sqrt{2}):\mathbb{Q}] = 2$
$[\mathbb{Q}(\sqrt{2}, \sqrt{3}):\mathbb{Q}(\sqrt{2})] = 2$
$[\mathbb{Q}(\sqrt{2}, \sqrt{3}):\mathbb{Q}] = 4$

Cebirsel Sayı, Transandant Sayı ve İndirgenmez Polinom

Bir $\alpha$ elemanı, $F$ cismi üzerinde katsayılı sıfırdan farklı bir polinomun kökü ise $F$ üzerinde cebirseldir. Aksi halde transandanttır.

\alpha \text{ cebirseldir} \Leftrightarrow \exists p(x) \in F[x], \; p(x) \neq 0: \; p(\alpha) = 0

Cebirsel Sayı Örnekleri:
• $\sqrt{2}$ rasyonel sayılar üzerinde cebirseldir: $x^2 - 2 = 0$
• $\sqrt[3]{5}$ rasyonel sayılar üzerinde cebirseldir: $x^3 - 5 = 0$
• $i = \sqrt{-1}$ reel sayılar üzerinde cebirseldir: $x^2 + 1 = 0$

Transandant Sayı Örnekleri:
• $\pi$ (pi sayısı)
• $e$ (Euler sayısı)
• $e^\pi$

İndirgenmez Polinom:

Bir $p(x) \in F[x]$ polinomu, $F$ üzerinde indirgenemezdir, eğer daha düşük dereceli iki polinomun çarpımı olarak yazılamıyorsa.

Minimal Polinom

$\alpha$ elemanının $F$ üzerindeki minimal polinomu, $\alphayı sıfır yapan en düşük dereceli monik indirgenemez polinomdur. Bu polinom biriciktir ve $[F(\alpha):F]$ değerine eşit dereceye sahiptir.

Eisenstein Kriteri: Bir polinomun indirgenemezliğini kontrol etmek için kullanılan güçlü bir araçtır. $p(x) = a_nx^n + \cdots + a_1x + a_0 \in \mathbb{Z}[x]$ için, eğer bir asal $p$ sayısı varsa öyle ki:
• $p \nmid a_n$
• $p \mid a_i$ ($i < n$ için)
• $p^2 \nmid a_0$
O zaman $p(x)$, $\mathbb{Q}$ üzerinde indirgenemezdir.

Cebirsel Cisim Genişlemeleri

Cebirsel genişlemeler, genişlemedeki her elemanın taban cisim üzerinde cebirsel olduğu genişlemelerdir. Bu tür genişlemeler, Galois teorisinin temelini oluşturur.

K/F \text{ cebirsel} \Leftrightarrow \forall \alpha \in K, \; \alpha \text{ cebirsel } F \text{ üzerinde}

Cebirsel Genişlemelerin Temel Özellikleri:
• Her sonlu genişleme cebirseldir
• Cebirsel genişlemelerin bileşimi cebirseldir
• $K/F$ sonlu ⟹ $K/F$ cebirsel
• Kule özelliği: $F \subseteq E \subseteq K$ için, $K/F$ cebirsel ⟺ $K/E$ ve $E/F$ cebirsel

Basit Genişlemeler

$K = F(\alpha)$ şeklindeki genişlemelere basit genişleme denir. Eğer $\alpha$ cebirsel ise:

$[F(\alpha):F] = \deg(\text{irr}(\alpha, F))$

Burada $\text{irr}(\alpha, F)$, $\alphanın $F$ üzerindeki minimal polinomudur.

\text{Örnek: } [\mathbb{Q}(\sqrt{2}):\mathbb{Q}] = 2$ $\text{Temel: } \{1, \sqrt{2}\}

Cebirsel genişlemeler, polinom denklemlerinin köklerini içeren en küçük cisimleri oluşturmak için kullanılır. Bu yaklaşım, sayı teorisi ve cebirsel geometride merkezi rol oynar.

Cebirsel Kapanış

Bir cismin cebirsel kapanışı, o cisim üzerinde tanımlı her polinomun tüm köklerini içeren en küçük cisimdir.

\overline{F} = \text{ cebirsel kapanış}$ $\forall p(x) \in F[x], \; p(x) = c(x-\alpha_1)\cdots(x-\alpha_n), \; \alpha_i \in \overline{F}

Cebirsel Kapanış Özellikleri:
• Her cismin bir cebirsel kapanışı vardır
• Cebirsel kapanış izomorfizma denkliği altında biriciktir
• $\overline{F}$ cebirsel olarak kapalıdır (her polinom tamamen parçalanır)
• $\overline{F}/F$ cebirsel genişlemedir

Temel Cebir Teoremi

Kompleks sayılar cebirsel olarak kapalıdır:

$\overline{\mathbb{R}} = \mathbb{C}$

Her reel katsayılı polinom, kompleks düzlemde tamamen parçalanır. Bu, cebirin en önemli sonuçlarından biridir ve Carl Friedrich Gauss tarafından ispatlanmıştır.

\text{Örnekler:}$ $\overline{\mathbb{Q}} = \text{cebirsel sayılar}$ $\overline{\mathbb{F}_p} = \bigcup_{n=1}^{\infty} \mathbb{F}_{p^n}

Cebirsel kapanış kavramı, cebirsel geometride koordinat sistemleri seçerken kritik rol oynar. Ayrıca, model teorisi ve matematiğin temelleri açısından da önemlidir.

Ders Tekrarı ve Örnek Çözümleri

Bu bölümde, öğrenilen kavramları pekiştirmek için kapsamlı örnekler çözeceğiz.

Örnek 1: Genişleme Derecesi Hesaplama

Soru: $[\mathbb{Q}(\sqrt{2}, \sqrt{3}):\mathbb{Q}]$ değerini bulunuz.

Çözüm:
$\mathbb{Q} \subseteq \mathbb{Q}(\sqrt{2}) \subseteq \mathbb{Q}(\sqrt{2}, \sqrt{3})$

$[\mathbb{Q}(\sqrt{2}):\mathbb{Q}] = 2$ (minimal polinom: $x^2-2$)
$[\mathbb{Q}(\sqrt{2}, \sqrt{3}):\mathbb{Q}(\sqrt{2})] = 2$ (minimal polinom: $x^2-3$)

Kule kuralından: $[\mathbb{Q}(\sqrt{2}, \sqrt{3}):\mathbb{Q}] = 2 \cdot 2 = 4$

Temel: $\{1, \sqrt{2}, \sqrt{3}, \sqrt{6}\}$

Örnek 2: Minimal Polinom Bulma

Soru: $\alpha = \sqrt{2} + \sqrt{3}$ elemanının $\mathbb{Q}$ üzerindeki minimal polinomunu bulunuz.

Çözüm:
$\alpha = \sqrt{2} + \sqrt{3}$
$\alpha^2 = 5 + 2\sqrt{6}$
$\alpha^2 - 5 = 2\sqrt{6}$
$(\alpha^2 - 5)^2 = 24$
$\alpha^4 - 10\alpha^2 + 25 = 24$
$\alpha^4 - 10\alpha^2 + 1 = 0$

Minimal polinom: $x^4 - 10x^2 + 1$

Çalışma Stratejisi:
• Önce temel tanımları iyice öğrenin
• Basit örneklerle başlayıp karmaşık problemlere geçin
• Kule kuralını sık sık kullanın
• Minimal polinomları bulmayı pratik yapın

Geometrik Çizimler

Antik Yunan geometrisinde, sadece pergel ve çizgilik kullanarak hangi geometrik yapıların çizilebileceği önemli bir soru olmuştur. Cisim teorisi, bu klasik problemlere modern cebirsel çözümler sunar.

Üç Ünlü Çözülemeyen Problem:
• Küpün İkiye Katlanması: Hacmi verilen bir küpün iki katı olan bir küp çizmek
• Açının Üçe Bölünmesi: Genel bir açıyı üç eşit parçaya bölmek
• Dairenin Kareye Dönüştürülmesi: Verilen bir daireyle aynı alana sahip kare çizmek

Bu problemlerin çözülemezliği, 19. yüzyılda cebirsel genişleme teorisi kullanılarak kesin olarak kanıtlanmıştır.

Küpün İkiye Katlanması

Kenarı 1 olan bir küpün hacmini ikiye katlamak için kenarı $\sqrt[3]{2}$ olan bir küp çizmek gerekir. Ancak:

$[\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}] = 3$

3 sayısı 2'nin bir kuvveti olmadığından, $\sqrt[3]{2}$ pergel ve çizgilikle çizilemez.

\text{Çizilebilir } \Rightarrow \text{ Derece } 2^n \text{ şeklinde}$ $[\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}] = 3 \neq 2^n

Çizilebilir Nokta ve Çizilebilir Sayı

Bir nokta çizilebilirdir, ancak ve ancak koordinatları pergel ve çizgilik kullanılarak sonlu adımda elde edilebilirse.

\alpha \text{ çizilebilir} \Leftrightarrow \exists \text{ kule: } \mathbb{Q} = F_0 \subseteq F_1 \subseteq \cdots \subseteq F_n$ $\text{öyle ki } [F_{i+1}:F_i] = 2 \text{ ve } \alpha \in F_n

Çizilebilir Sayıların Karakterizasyonu:
Bir $\alpha$ sayısı çizilebilirdir ⟺ $[\mathbb{Q}(\alpha):\mathbb{Q}] = 2^k$ şeklindedir (bir $k \geq 0$ için)

Çizilebilir Sayı Örnekleri

Çizilebilir:
• $\sqrt{2}$ (derece 2 = 2¹)
• $\sqrt{2 + \sqrt{3}}$ (derece 4 = 2²)
• $\cos(2\pi/5)$ (düzgün beşgen çizilebilir)

Çizilebilir Değil:
• $\sqrt[3]{2}$ (derece 3)
• $\cos(2\pi/7)$ (düzgün yedigen çizilebilir değil)
• $\pi$ (transandant)

Gauss-Wantzel Teoremi: Düzgün $n$-gen pergel ve çizgilikle çizilebilirdir ancak ve ancak:
$n = 2^k p_1 p_2 \cdots p_r$ Burada $p_i$ farklı Fermat asallarıdır (şeklinde $2^{2^m} + 1$).

Temel İzomorfizmalar

Cisim izomorfizmaları, iki cisim arasındaki yapıyı koruyan bire-bir ve örten fonksiyonlardır.

\varphi: F \to F' \text{ izomorfizma}$ $\varphi(a + b) = \varphi(a) + \varphi(b)$ $\varphi(ab) = \varphi(a)\varphi(b)

İzomorfizma Genişletme Lemması:
$\sigma: F \to F'$ bir izomorfizma ve $\alpha$ cebirsel ise, $\sigma$ genişletilebilir:
$\tilde{\sigma}: F(\alpha) \to F'(\beta)$ Burada $\beta$, $\sigma(\text{irr}(\alpha, F))$ polinomunun bir köküdür.

Örnek İzomorfizma

$\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(\sqrt{3})$ değildir çünkü $\sqrt{2}nin minimal polinomu $x^2-2$ ile $\sqrt{3}ün minimal polinomu $x^2-3$ farklı yapıdadır.

Ancak $\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(-\sqrt{2})$ çünkü izomorfizma $\sqrt{2} \mapsto -\sqrt{2}$ şeklinde tanımlanabilir.

İzomorfizmalar, farklı görünümlü yapıların aslında cebirsel olarak özdeş olduğunu gösterir. Bu kavram, Galois teorisinin temel yapı taşlarından biridir.

Bir Cismin Otomorfizma Grubu ve Sabit Cisimler

Bir cisim genişlemesinin otomorfizma grubu, genişlemeyi kendisine bire-bir ve örten olarak gönderen, taban cismini sabit bırakan tüm izomorfizmalardan oluşur.

\text{Aut}(K/F) = \{\sigma: K \to K \mid \sigma|_F = \text{id}_F\}

Otomorfizma Grubu Özellikleri:
• Grup işlemi: fonksiyon bileşkesi
• $|\text{Aut}(K/F)| \leq [K:F]$
• Eşitlik ancak Galois genişlemelerinde sağlanır
• Grup, genişlemenin simetri yapısını karakterize eder

Sabit Cisim:

Bir otomorfizma grubunun sabit cismi, grup tarafından nokta nokta sabit bırakılan elemanların oluşturduğu cisimdir.

K^G = \{\alpha \in K \mid \sigma(\alpha) = \alpha, \; \forall \sigma \in G\}

Galois'nın Temel Teoremi

$K/F$ bir Galois genişlemesi ise, ara cisimler ile alt gruplar arasında birebir karşılıklılık vardır:

$\{E \mid F \subseteq E \subseteq K\} \leftrightarrow \{H \mid H \leq \text{Gal}(K/F)\}$ $E \mapsto \text{Gal}(K/E)$ $K^H \leftarrow H$

Uygulamalar: Otomorfizma grupları, polinomların köklerini radikaller cinsinden ifade edilebilirliğini belirler. Beşinci dereceden genel bir polinomun çözülemezliği, otomorfizma gruplarının yapısıyla açıklanır.

Frobenius Otomorfizması

Frobenius otomorfizması, sonlu cisimler teorisinin merkezi kavramıdır. Karakteristik $p$ olan bir cisimde, $\varphi(x) = x^p$ şeklinde tanımlanır.

\varphi: F \to F$ $\varphi(x) = x^p

Frobenius'un Temel Özellikleri:
• $\varphi(x + y) = x^p + y^p = \varphi(x) + \varphi(y)$ (karakteristik $p$ nedeniyle)
• $\varphi(xy) = (xy)^p = x^p y^p = \varphi(x)\varphi(y)$
• $\varphi$ bir cisim homomorfizmidir
• Sonlu cisimlerde $\varphi$ bir otomorfizmadır

Sonlu Cisimler ve Frobenius

$\mathbb{F}_{p^n}$ cismi için Frobenius otomorfizması döngüseldir:

$\text{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) = \langle \varphi \rangle \cong \mathbb{Z}/n\mathbb{Z}$

$\varphi^n = \text{id}$ ve $\varphi^k \neq \text{id}$ ($k < n$ için)

\text{Örnek: } \mathbb{F}_8 = \mathbb{F}_{2^3}$ $\varphi(x) = x^2$ $\varphi^3 = \text{id}

Frobenius otomorfizması, kodlama teorisi ve kriptografide önemli uygulamalara sahiptir. Özellikle eliptik eğri kriptografisi bu kavrama dayanır.

Parçalanma Cisimleri

Bir polinomun parçalanma cismi, o polinomun tüm köklerini içeren en küçük cisim genişlemesidir.

K = \text{parçalanma cismi } f(x) \in F[x]$ $f(x) = c(x - \alpha_1)(x - \alpha_2)\cdots(x - \alpha_n) \text{ in } K[x]$ $K = F(\alpha_1, \alpha_2, \ldots, \alpha_n)

Parçalanma Cisimlerinin Özellikleri:
• Her polinom için bir parçalanma cismi vardır
• İzomorfizma denkliği altında biriciktir
• Parçalanma cismi her zaman normal genişlemedir
• $[K:F] \leq n!$ (burada $n = \deg f$)

Örnek: $x^3 - 2$ Parçalanma Cismi

$f(x) = x^3 - 2 \in \mathbb{Q}[x]$ için:

Kökler: $\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}$
(burada $\omega = e^{2\pi i/3}$)

Parçalanma cismi: $K = \mathbb{Q}(\sqrt[3]{2}, \omega)$

$[K:\mathbb{Q}] = 6$

Galois Teorisinde Rol: Parçalanma cisimleri, Galois genişlemelerinin temel örneklerini oluşturur. Bir polinom üzerinde çalışırken, parçalanma cismi doğal bir çalışma ortamı sağlar.

\text{Başka Örnekler:}$ $x^2 - 2: \; K = \mathbb{Q}(\sqrt{2})$ $x^4 - 1: \; K = \mathbb{Q}(i)$ $x^p - 1: \; K = \mathbb{Q}(\zeta_p) \; \text{(p-inci birim kökler)}

Normal Genişlemeler

Bir cebirsel genişleme $K/F$ normaldir, eğer $F$ üzerinde indirgenemez olan ve $Kda en az bir kökü bulunan her polinom $Kda tamamen parçalanıyorsa.

K/F \text{ normal} \Leftrightarrow$ $\forall p(x) \in F[x] \text{ indirgenemez}, \; \exists \alpha \in K: p(\alpha) = 0$ $\Rightarrow p(x) \text{ tamamen parçalanır } K \text{ üzerinde}

Normal Genişlemelerin Karakterizasyonları:
$K/F$ normal ⟺ Aşağıdakilerden herhangi biri:
• $K$ bir polinom ailesinin parçalanma cismidir
• Her $F$-izomorfizma $K \to \overline{F}$ aslında $K \to K$ otomorfizmasıdır
• Her $\alpha \in K$ için, $\alphanın tüm eşlenikleri de $Kdadır

Normal Genişleme Örnekleri

Normal olanlar:
• $\mathbb{C}/\mathbb{R}$ (her reel polinom komplekste parçalanır)
• $\mathbb{Q}(\sqrt{2}, \sqrt{3})/\mathbb{Q}$
• $\mathbb{Q}(i)/\mathbb{Q}$
• Her parçalanma cismi normal genişlemedir

Normal olmayanlar:
• $\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}$ (diğer kökler $\omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}$ dahil değil)

Galois Genişlemeleri: Bir genişleme hem normal hem de ayrılabilir (separable) ise, Galois genişlemesi olarak adlandırılır. Bu durumda:
$|\text{Gal}(K/F)| = [K:F]$

\text{Normallik Testi:}$ $K = F(\alpha) \text{ basit genişleme ise}$ $K/F \text{ normal} \Leftrightarrow \text{irr}(\alpha, F) \text{ tamamen } K\text{'da parçalanır}

Normal genişlemeler, otomorfizma gruplarının davranışını anlamak için kritiktir. Galois teorisinde, normal genişlemeler ile grup teorisi arasında derin bağlantılar kurulur.

Özet ve İleri Düzey Konular

Cisim teorisinin temellerini öğrendikten sonra daha ileri düzey konulara geçebilirsiniz:

İleri Düzey Konular:
• Galois Teorisi: Grup teorisi ile cisim teorisi arasındaki bağlantı
• Sonlu Cisimler: Kriptografi ve kodlama teorisinde uygulamalar
• Cebirsel Sayılar Teorisi: Sayı cisimlerinin aritmetiği
• Yerel Cisimler: p-adik sayılar ve değerlemeler
• Sınıf Cisim Teorisi: Abelian genişlemeler
• Cebirsel Geometri: Çeşitler ve şemalar

Uzmanlık Alanları

Sayı Teorisi: Diophantine denklemleri, eliptik eğriler
Kriptografi: RSA, eliptik eğri kriptografisi, AES
Kodlama Teorisi: Reed-Solomon kodları, BCH kodları
Cebirsel Geometri: Çeşitler, morffizmalar, kohomoloji

Öğrenmeye Devam Etmek İçin:
• Galois teorisi çalışın (polinomların çözülebilirliği)
• Sonlu cisimler üzerinde pratik yapın
• Cebirsel sayılar teorisi öğrenin
• Uygulamalara odaklanın (kriptografi, kodlama)

Önerilen Kaynaklar:

Kitap Önerileri

Temel Seviye:
• "Abstract Algebra" - Dummit & Foote
• "Algebra" - Michael Artin
• "A First Course in Abstract Algebra" - Fraleigh

İleri Seviye:
• "Galois Theory" - Ian Stewart
• "Field and Galois Theory" - Patrick Morandi
• "Algebraic Number Theory" - Jürgen Neukirch

Cebirsel Yapıların Güzelliği

Cisim teorisi, matematiğin en zarif ve güçlü araçlarından biridir. Antik geometrik problemlerden modern kriptografiye, sayı teorisinden cebirsel geometriye kadar geniş bir uygulama yelpazesine sahiptir.

Son Tavsiyeler

Temel kavramları iyice öğrenin: Cisim, genişleme, minimal polinom
Örnekler üzerinde çalışın: Somut hesaplamalar yapın
Grup teorisi ile bağlantıyı görün: Galois teorisine geçiş yapın
Uygulamaları inceleyin: Kriptografi, kodlama teorisi

[K : F] = dim_F K

Cebirsel yapıların dilini öğrendiniz!