Алгебраїчна теорія чисел

🎯 Що таке алгебраїчна теорія чисел?

Алгебраїчна теорія чисел — це галузь математики, яка поєднує методи алгебри та теорії чисел для вивчення алгебраїчних структур, пов'язаних з числовими полями. Вона займається вивченням кілець цілих у числових полях, їх ідеалів, класів еквівалентності та алгебраїчних властивостей.

🔍 Основні концепції

Числові поля: скінченні розширення поля раціональних чисел

Кільця цілих: алгебраїчні цілі в числових полях

Ідеали: підмножини кілець з особливими властивостями

Класичні групи: групи ідеалів з множенням

Дискримінанти: інваріанти числових полів

L-функції: аналітичні функції, пов'язані з числовими полями

🔢 Числові поля

Числове поле — це скінченне розширення поля раціональних чисел ℚ.

📊 Визначення числового поля

Числове поле:

Числове поле K — це поле, що є скінченним розширенням поля ℚ, тобто [K : ℚ] < ∞.

🎯 Ступінь розширення

Ступінь розширення [K : ℚ] дорівнює розмірності K як векторного простору над ℚ.

Приклади числових полів:

ℚ(√2): поле, породжене √2, [ℚ(√2) : ℚ] = 2

ℚ(i): поле гаусових раціональних, [ℚ(i) : ℚ] = 2

ℚ(∛2): поле, породжене ∛2, [ℚ(∛2) : ℚ] = 3

ℚ(ζ₇): поле, породжене примітивним коренем єдності, [ℚ(ζ₇) : ℚ] = 6

🔧 Базис та інтегральний базис

Базис числового поля K над ℚ — це множина елементів {α₁, α₂, ..., αₙ}, така що кожен елемент K можна записати як лінійну комбінацію αᵢ з раціональними коефіцієнтами.

🔢 Алгебраїчні цілі

Алгебраїчне число α називається алгебраїчним цілим, якщо воно є коренем монічного поліному з цілими коефіцієнтами.

📐 Визначення алгебраїчного цілого

Алгебраїчне ціле:

Алгебраїчне число α є алгебраїчним цілим, якщо існує монічний поліном f(x) ∈ ℤ[x] такий, що f(α) = 0.

🎯 Кільце цілих

Кільце цілих числового поля K (позначається 𝒪ₖ) — це множина всіх алгебраїчних цілих, що належать K.

Приклади кілець цілих:

𝒪_ℚ = ℤ - кільце цілих чисел

𝒪_ℚ(√2) = ℤ[√2] - кільце чисел виду a + b√2

𝒪_ℚ(i) = ℤ[i] - кільце гаусових цілих

𝒪_ℚ(√-5) = ℤ[√-5] - кільце чисел виду a + b√-5

🔧 Властивості кільця цілих

Основні властивості:

𝒪ₖ є кільцем (замкнуте відносно додавання, віднімання та множення)

𝒪ₖ є нетеровим кільцем (кожен ідеал скінченно породжений)

𝒪ₖ має інтегральний базис над ℤ

Кожен ідеал в 𝒪ₖ має скінченний індекс

🔢 Дискримінант

Дискримінант числового поля K — це важливий інваріант, що характеризує структуру поля.

📊 Визначення дискримінанта

Дискримінант:

Дискримінант числового поля K (позначається Δₖ) — це детермінант матриці (σᵢ(αⱼ)), де {α₁, ..., αₙ} — інтегральний базис 𝒪ₖ, а σ₁, ..., σₙ — вкладення K в ℂ.

🎯 Властивості дискримінанта

Основні властивості:

Δₖ є цілим числом

Δₖ ≠ 0 для числових полів

Δₖ визначається з точністю до знаку

Δₖ характеризує рамифікацію в K

Приклади дискримінантів:

Δ_ℚ = 1

Δ_ℚ(√2) = 8

Δ_ℚ(i) = -4

Δ_ℚ(√-5) = -20

🔢 Ідеали в кільцях цілих

Ідеали в кільцях цілих числових полів мають особливі властивості та грають ключову роль в алгебраїчній теорії чисел.

📐 Визначення ідеалу

Ідеал:

Ідеал I в кільці 𝒪ₖ — це підмножина, що є підгрупою відносно додавання та замкнута відносно множення на елементи 𝒪ₖ.

🎯 Типи ідеалів

Головний ідеал: ідеал виду (α) = {α·β : β ∈ 𝒪ₖ}

Простий ідеал: ідеал p ≠ (1), такий що якщо α·β ∈ p, то α ∈ p або β ∈ p

Максимальний ідеал: ідеал, що не міститься в жодному іншому ідеалі крім (1)

🔧 Норма ідеалу

Норма ідеалу I (позначається N(I)) — це порядок фактор-кільця 𝒪ₖ/I.

Властивості норми:

N(I) є натуральним числом

N((α)) = |N(α)| для головних ідеалів

N(I·J) = N(I)·N(J) для ідеалів I, J

🔢 Факторизація ідеалів

Однією з найважливіших теорем алгебраїчної теорії чисел є теорема про унікальну факторизацію ідеалів.

📊 Теорема про унікальну факторизацію

Теорема про унікальну факторизацію ідеалів:

Кожен ідеал I ≠ (0) в 𝒪ₖ можна єдиним способом представити як добуток простих ідеалів:

I = p₁^e₁ · p₂^e₂ · ... · pₖ^eₖ

де pᵢ — різні прості ідеали, а eᵢ — натуральні числа.

🔍 Прості ідеали над простими числами

Для кожного простого числа p в ℤ, прості ідеали в 𝒪ₖ, що ділять p, відповідають незвідним множникам мінімального поліному породжуючого елемента поля.

Приклад: Факторизація (2) в ℤ[√-5]

В кільці ℤ[√-5] ідеал (2) розкладається як:

(2) = (2, 1 + √-5) · (2, 1 - √-5)

Це показує, що в цьому кільці немає унікальної факторизації елементів.

🔢 Класична група

Класична група числового поля K — це група класів ідеалів, що вимірює відхилення від унікальної факторизації.

📐 Визначення класичної групи

Класична група:

Класична група Cl(K) — це група класів еквівалентності ідеалів за відношенням: I ~ J якщо існує α ∈ K* такий, що I = (α)J.

🎯 Властивості класичної групи

Основні властивості:

Cl(K) є скінченною абелевою групою

|Cl(K)| = 1 тоді і тільки тоді, коли 𝒪ₖ є кільцем головних ідеалів

|Cl(K)| характеризує складність факторизації в 𝒪ₖ

Cl(K) є інваріантом числового поля K

🔧 Число класів

Число класів h(K) = |Cl(K)| — це важливий інваріант числового поля.

Приклади чисел класів:

h(ℚ) = 1 (унікальна факторизація в ℤ)

h(ℚ(√2)) = 1 (кільце головних ідеалів)

h(ℚ(√-5)) = 2 (немає унікальної факторизації)

h(ℚ(√-23)) = 3

🔢 Рамифікація

Рамифікація — це явище, коли просте число p в ℤ розпадається на прості ідеали в 𝒪ₖ з кратністю більшою за 1.

📊 Визначення рамифікації

Рамифіковане просте:

Просте число p називається рамифікованим в K, якщо в розкладі p𝒪ₖ = p₁^e₁ · p₂^e₂ · ... · pₖ^eₖ є eᵢ > 1 для деякого i.

🎯 Критерій рамифікації

Критерій рамифікації:

Просте число p рамифіковане в K тоді і тільки тоді, коли p ділить дискримінант Δₖ.

🔢 L-функції

L-функції — це аналітичні функції, що кодує арифметичну інформацію про числові поля.

📐 Дзета-функція Дедекінда

Дзета-функція Дедекінда:

Дзета-функція числового поля K визначається як:

ζₖ(s) = ∑ N(I)^(-s)

де сума береться по всіх ненульових ідеалах I в 𝒪ₖ.

🎯 Функціональне рівняння

Дзета-функція Дедекінда задовольняє функціональне рівняння, що пов'язує ζₖ(s) з ζₖ(1-s).

🔧 Розподіл простих ідеалів

Теорема про простих ідеалах:

Кількість простих ідеалів з нормою ≤ x асимптотично дорівнює x/ln(x).

🔢 Класична теорія поля

Класична теорія поля — це галузь алгебраїчної теорії чисел, що вивчає розширення полів та їх аріфметичні властивості.

🎯 Галуа-групи

Галуа-група числового поля K — це група автоморфізмів поля K, що зберігають ℚ.

📊 Абелеві розширення

Абелеве розширення — це розширення поля з абелевою Галуа-групою.

Теорема Кронекера-Вебера:

Кожне абелеве розширення поля ℚ міститься в циклотомному полі ℚ(ζₙ) для деякого n.

🔧 Локальна теорія поля

Локальна теорія поля вивчає властивості числових полів на місцях (примітивних та неархімедових).

🔗 Застосування алгебраїчної теорії чисел

🔐 Криптографія

Еліптичні криві: криптографія на основі еліптичних кривих

Пайрінг-криптографія: використання спарювань в криптографії

Ізогенії: морфізми між еліптичними кривими

Суперельліптичні криві: узагальнення еліптичних кривих

🎯 Арифметична геометрія

Схеми: алгебраїчні варіанти над кільцями

Модулярні форми: функції з особливими трансформаційними властивостями

L-функції: аналітичні об'єкти, що кодує арифметичну інформацію

Мотиви: універсальні ко-гомологічні теорії

🔬 Фізика

Квантова теорія поля: застосування в теоретичній фізиці

Струнна теорія: зв'язки з алгебраїчною геометрією

Модулярні форми: застосування в фізиці

🎓 Історичний розвиток

🏛️ Ранній період

Карл Фрідріх Гаусс (1777-1855): квадратичні форми, діскримінанти

Ернст Куммер (1810-1893): ідеальні числа, факторизація ідеалів

Леопольд Кронекер (1823-1891): теорія полів, теорема Кронекера-Вебера

Річард Дедекінд (1831-1916): ідеали, дзета-функція Дедекінда

🔄 Сучасний період

Девід Гільберт (1862-1943): теорія полів класів, 12-та проблема Гільберта

Еміль Артін (1898-1962): L-функції, теорія полів класів

Андре Вейль (1906-1998): арифметична геометрія, схеми

Александр Гротендік (1928-2014): схеми, еталева когомологія

П'єр Делінь (нар. 1944): гіпотеза Вейля, мотиви

🔮 Сучасні напрямки

🌟 Програма Ленглендса

Глобальна програма, що пов'язує теорію автоморфних форм з теорією представлень та L-функціями.

🎯 Арифметична геометрія

Вивчення алгебраїчних варіантів над числовими полями та їх арифметичних властивостей.

🔄 Мотиви та когомології

Універсальні ко-гомологічні теорії для алгебраїчних варіантів.

🌐 Локальна теорія поля

Вивчення числових полів на локальному рівні (p-адичні поля).

📚 Практичні вправи

Вправа 1: Числові поля

Знайдіть інтегральний базис для поля ℚ(√3) та обчисліть його дискримінант.

Вправа 2: Факторизація ідеалів

Розкладіть ідеал (5) на прості ідеали в кільці ℤ[√-3].

Вправа 3: Класична група

Обчисліть число класів для поля ℚ(√-6).

Вправа 4: Рамифікація

Визначте, які прості числа рамифіковані в полі ℚ(√2).

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.