Groupes de classes d'idéaux et unités

Le groupe de classes d'idéaux mesure l'étendue de l'échec de la factorisation unique dans un anneau d'entiers, tandis que le groupe des unités décrit ses éléments inversibles ; tous deux sont régis par la géométrie des nombres.

Definition

Le groupe de classes d'idéaux d'un corps de nombres est le groupe des idéaux fractionnaires modulo les idéaux principaux ; son ordre est le nombre de classes. Les unités sont les éléments inversibles de l'anneau des entiers, formant un groupe abélien de type fini.

Scope

Ce sujet couvre les idéaux fractionnaires et le groupe de classes d'idéaux, la finitude du nombre de classes, le théorème du corps convexe de Minkowski et la borne de Minkowski utilisés pour calculer les groupes de classes, la structure du groupe des unités, le théorème des unités de Dirichlet donnant son rang, les unités fondamentales et les régulateurs, ainsi que la formule analytique du nombre de classes reliant ces invariants à la fonction zêta de Dedekind.

Core questions

• Comment le groupe de classes d'idéaux est-il défini, et pourquoi est-il trivial précisément lorsque la factorisation est unique ?
• Comment la géométrie des nombres de Minkowski prouve-t-elle que le nombre de classes est fini et borne-t-elle les représentants ?
• Quel est le rang du groupe des unités, et comment les plongements réels et complexes le déterminent-ils ?
• Comment la formule analytique du nombre de classes relie-t-elle le nombre de classes, le régulateur et les unités à la fonction zêta ?

Key theories

Finitude du nombre de classes

Chaque classe d'idéaux contient un idéal de norme bornée (la borne de Minkowski), et il existe un nombre fini de tels idéaux, de sorte que le groupe de classes est fini — un résultat fondamental pour le calcul et la théorie.

Théorème des unités de Dirichlet

Le groupe des unités est le produit du groupe fini des racines de l'unité et d'un groupe abélien libre de rang égal au nombre de plongements réels plus les paires de plongements complexes moins un, réalisé par des unités fondamentales.

Formule analytique du nombre de classes

Le résidu de la fonction zêta de Dedekind au point un est exprimé en termes du nombre de classes, du régulateur, du nombre de racines de l'unité et du discriminant, reliant l'algèbre à l'analyse.

Clinical relevance

Les calculs de groupes de classes et d'unités sont centraux en théorie algorithmique des nombres et dans l'analyse de sécurité des cryptosystèmes basés sur les réseaux d'idéaux et les groupes de classes, où la difficulté de calculer les groupes de classes sous-tend les schémas proposés.

History

Gauss a étudié la théorie équivalente des formes quadratiques binaires et de leur composition, qui sont effectivement les groupes de classes des corps quadratiques. Dirichlet a prouvé son théorème des unités en 1846, et la géométrie des nombres de Minkowski, vers 1896, a fourni des preuves claires par corps convexes de la finitude et du rang des unités.

Key figures

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

Seminal works

• neukirch1999

Frequently asked questions

Que signifie un nombre de classes égal à un ?

Cela signifie que le groupe de classes d'idéaux est trivial, de sorte que chaque idéal est principal et que l'anneau des entiers possède une factorisation unique des éléments, tout comme les entiers ordinaires.

Qu'est-ce qu'une unité fondamentale ?

C'est un générateur de la partie infinie du groupe des unités ; pour un corps quadratique réel, c'est la plus petite unité supérieure à un, et ses puissances (avec signe) donnent toutes les unités à l'exception des racines de l'unité.