Grupos de Classes Ideais e Unidades

O grupo de classes ideais mede o quão mal a fatoração única falha em um anel de inteiros, enquanto o grupo de unidades descreve seus elementos invertíveis; ambos são controlados pela geometria dos números.

Definition

O grupo de classes ideais de um corpo numérico é o grupo de ideais fracionários módulo ideais principais; sua ordem é o número de classes. As unidades são os elementos invertíveis do anel de inteiros, formando um grupo abeliano finitamente gerado.

Scope

Este tópico abrange ideais fracionários e o grupo de classes ideais, a finitude do número de classes, o teorema do corpo convexo de Minkowski e o limite de Minkowski usados para calcular grupos de classes, a estrutura do grupo de unidades, o teorema das unidades de Dirichlet que fornece sua ordem, unidades fundamentais e reguladores, e a fórmula analítica do número de classes que liga esses invariantes à função zeta de Dedekind.

Core questions

• Como o grupo de classes ideais é definido e por que ele é trivial exatamente quando a fatoração é única?
• Como a geometria dos números de Minkowski prova que o número de classes é finito e limita os representantes?
• Qual é a ordem do grupo de unidades e como as imersões reais e complexas a determinam?
• Como a fórmula analítica do número de classes relaciona o número de classes, o regulador e as unidades à função zeta?

Key theories

Finitude do número de classes

Toda classe ideal contém um ideal de norma limitada (o limite de Minkowski), e existem finitos ideais desse tipo, portanto o grupo de classes é finito — um resultado fundamental para a computação e a teoria.

Teorema das unidades de Dirichlet

O grupo de unidades é o produto do grupo finito de raízes da unidade e um grupo abeliano livre de ordem igual ao número de imersões reais mais pares de imersões complexas menos um, realizado por unidades fundamentais.

Fórmula analítica do número de classes

O resíduo da função zeta de Dedekind no ponto um é expresso em termos do número de classes, regulador, número de raízes da unidade e discriminante, ligando a álgebra à análise.

Clinical relevance

Os cálculos de grupos de classes e unidades são centrais para a teoria algorítmica dos números e para a análise de segurança de criptossistemas baseados em reticulados ideais e grupos de classes, onde a dificuldade de calcular grupos de classes sustenta os esquemas propostos.

History

Gauss estudou a teoria equivalente das formas quadráticas binárias e sua composição, efetivamente os grupos de classes de corpos quadráticos. Dirichlet provou seu teorema das unidades em 1846, e a geometria dos números de Minkowski, por volta de 1896, forneceu as provas claras do corpo convexo de finitude e da ordem das unidades.

Key figures

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

Seminal works

• neukirch1999

Frequently asked questions

O que significa um número de classes igual a um?

Significa que o grupo de classes ideais é trivial, de modo que todo ideal é principal e o anel de inteiros possui fatoração única de elementos, assim como os inteiros comuns.

O que é uma unidade fundamental?

É um gerador da parte infinita do grupo de unidades; para um corpo quadrático real, é a menor unidade maior que um, e suas potências (com sinal) fornecem todas as unidades até as raízes da unidade.