Идеальные классовые группы и единицы

Идеальная классовая группа измеряет, насколько сильно нарушается единственность факторизации в кольце целых чисел, в то время как группа единиц описывает его обратимые элементы; обе группы контролируются геометрией чисел.

Definition

Идеальная классовая группа числового поля — это группа дробных идеалов по модулю главных идеалов; ее порядок является числом классов. Единицы — это обратимые элементы кольца целых чисел, образующие конечно порожденную абелеву группу.

Scope

Эта тема охватывает дробные идеалы и идеальную классовую группу, конечность числа классов, теорему Минковского о выпуклом теле и границу Минковского, используемую для вычисления классовых групп, структуру группы единиц, теорему Дирихле о единицах, определяющую ее ранг, фундаментальные единицы и регуляторы, а также аналитическую формулу числа классов, связывающую эти инварианты с дзета-функцией Дедекинда.

Core questions

• Как определяется идеальная классовая группа и почему она тривиальна именно тогда, когда факторизация уникальна?
• Как геометрия чисел Минковского доказывает конечность числа классов и ограничивает представителей?
• Каков ранг группы единиц и как его определяют вещественные и комплексные вложения?
• Как аналитическая формула числа классов связывает число классов, регулятор и единицы с дзета-функцией?

Key theories

Конечность числа классов

Каждый идеальный класс содержит идеал ограниченной нормы (граница Минковского), и таких идеалов конечное число, поэтому классовая группа конечна — это фундаментальный результат для вычислений и теории.

Теорема Дирихле о единицах

Группа единиц является произведением конечной группы корней из единицы и свободной абелевой группы ранга, равного числу вещественных вложений плюс пар комплексных вложений минус один, реализуемых фундаментальными единицами.

Аналитическая формула числа классов

Вычет дзета-функции Дедекинда в точке один выражается через число классов, регулятор, число корней из единицы и дискриминант, связывая алгебру с анализом.

Clinical relevance

Вычисления классовых групп и единиц занимают центральное место в алгоритмической теории чисел и в анализе безопасности криптосистем, основанных на идеальных решетках и классовых группах, где сложность вычисления классовых групп лежит в основе предлагаемых схем.

History

Гаусс изучал эквивалентную теорию бинарных квадратичных форм и их композиции, фактически классовые группы квадратичных полей. Дирихле доказал свою теорему о единицах в 1846 году, а геометрия чисел Минковского около 1896 года дала четкие доказательства конечности и ранга единиц с помощью выпуклых тел.

Key figures

• Peter Gustav Lejeune Dirichlet
• Hermann Minkowski
• Carl Friedrich Gauss

Seminal works

• neukirch1999

Frequently asked questions

Что означает число классов, равное единице?

Это означает, что идеальная классовая группа тривиальна, поэтому каждый идеал является главным, и кольцо целых чисел имеет единственную факторизацию элементов, как и обычные целые числа.

Что такое фундаментальная единица?

Это генератор бесконечной части группы единиц; для вещественного квадратичного поля это наименьшая единица, большая единицы, и ее степени (со знаком) дают все единицы с точностью до корней из единицы.