Galois Teorisi

Galois Teorisi, polinom denklemlerinin kökleri arasındaki simetrik ilişkileri inceleyerek, bu denklemlerin radikallerle (karekök, küp kök, vs.) çözülüp çözülemeyeceğini belirleyen matematiksel bir teoridir. 19. yüzyılda genç matematikçi Évariste Galois tarafından geliştirilen bu teori, cebirin en derin ve en güzel sonuçlarından biridir.

Galois teorisi, sadece denklemlerin çözümüyle kalmaz. Pergel ve cetvelle çizilebilirlik problemleri, sonlu cisimler ve hatta modern kriptografi gibi alanlarda da uygulama bulur. Cebirsel yapılar arasındaki derin bağlantıyı ortaya koyar.

Évariste Galois (1811-1832), sadece 20 yaşında bir düelloda hayatını kaybeden Fransız matematikçi, matematiğin en büyük dehalarından biridir. Üniversite sınavlarında başarısız oldu, siyasi nedenlerle hapse girdi ve genç yaşında trajik bir şekilde öldü.

Galois teorisini anlamak için öncelikle bazı temel cebirsel yapıları bilmek gerekir.

Cisim (Field)

Cisim Genişlemesi

Otomorfizma

Galois Grubu

Bir polinom denkleminin radikallerle çözülebilir olması, köklerinin katsayılar cisminden başlayarak sonlu sayıda aritmetik işlem ve kök alma ile ifade edilebilmesi anlamına gelir.

Karekök ile Çözüm (İkinci Derece)

# İkinci derece denklem: ax² + bx + c = 0
def solve_quadratic(a, b, c):
    discriminant = b**2 - 4*a*c
    root1 = (-b + discriminant**0.5) / (2*a)
    root2 = (-b - discriminant**0.5) / (2*a)
    return root1, root2
# Örnek: x² - 5x + 6 = 0
roots = solve_quadratic(1, -5, 6)
print(f"Kökler: {roots}")  # (3.0, 2.0)

Küp Kök ile Çözüm (Üçüncü Derece - Cardano Formülü)

import cmath
def solve_cubic(a, b, c, d):
    # x³ + ax² + bx + c = 0 formuna dönüştür
    p = (3*b - a**2) / 3
    q = (2*a**3 - 9*a*b + 27*c) / 27
    discriminant = (q/2)**2 + (p/3)**3
    if discriminant > 0:
        # Bir reel kök, iki karmaşık kök
        u = (-q/2 + discriminant**0.5)**(1/3)
        v = (-q/2 - discriminant**0.5)**(1/3)
        x1 = u + v - a/3
        return [x1]
    else:
        # Üç reel kök (trigonometrik çözüm)
        rho = (-p**3/27)**0.5
        theta = cmath.acos(-q/(2*rho))
        x1 = 2 * rho**(1/3) * cmath.cos(theta/3) - a/3
        x2 = 2 * rho**(1/3) * cmath.cos((theta + 2*cmath.pi)/3) - a/3
        x3 = 2 * rho**(1/3) * cmath.cos((theta + 4*cmath.pi)/3) - a/3
        return [x1, x2, x3]

Beşinci Derece ve Abel-Ruffini Teoremi

Galois teorisinin özü, kökler arasındaki simetrileri grup teorisi aracılığıyla incelemektir. Bir denklemin köklerini permütasyonlarıyla değiştirdiğinizde, eğer denklem değişmiyorsa, bu bir simetridir.

Permütasyon Grupları

Alt Gruplar ve Normal Alt Gruplar

Çözülebilir Gruplar

Galois teoremi, cisim genişlemeleri ile grup teorisi arasında köklü bir ilişki kurar. Bu teorem, modern cebirin temel taşlarından biridir.

Galois Karşılığı (Correspondence)

Galois teorisi, soyut matematiğin ötesinde birçok alanda uygulama bulur.

Pergel ve Cetvelle Çizilebilirlik

Denklem Çözme

Modüler Aritmetik ve Sonlu Cisimler

Python, özellikle SymPy kütüphanesi sayesinde, cebirsel hesaplamalar için güçlü bir araçtır. Galois gruplarını doğrudan hesaplamak zor olsa da, polinom kökleri, cisim işlemleri ve grup teorisi simülasyonları yapılabilir.

SymPy ile Polinom ve Grup İşlemleri

from sympy import *
from sympy.polys.polytools import *
# Polinom tanımla
x = symbols('x')
f = x**4 - 2
# Kökleri bul
roots = solve(f, x)
print("Kökler:", roots)
# Minimal polinom
alpha = sqrt(2) + I*sqrt(2)  # Karmaşık kök
min_poly = minimal_polynomial(alpha, x)
print("Minimal Polinom:", min_poly)
# Cisim genişlemesi derecesi
print("Genişleme Derecesi:", degree(min_poly))

NumPy ile Polinom Kökleri

import numpy as np
# Katsayılar: x⁵ - x - 1
coeff = [1, 0, 0, 0, -1, -1]
roots = np.roots(coeff)
print("Kökler:")
for r in roots:
    print(f"{r:.6f}")