Adelring

Der Adelring wird in der Mathematik im Zusammenhang der Klassenkörpertheorie definiert und ermöglicht eine besonders elegante Darstellung des Artinschen Reziprozitätsgesetzes.

Ist K ein globaler Körper, also entweder ein algebraischer Zahlkörper oder ein algebraischer Funktionenkörper über einem endlichen Körper, so besteht der Adelring ${\Bbb A_K}$ aus allen Elementen $(x_v)_{v\in X}\in \Pi_{v\in X}K_v$, bei denen fast alle Komponenten ganz sind (eine nicht-negative Bewertung haben). Dabei sind X die Menge der Bewertungen von K und K_v die Komplettierungen von K bezüglich der Bewertungen $v\in X$. Mit einer bestimmten Vergröberung der Produkttopologie (fast alle Komponenten gleich K_v) wird der Adelring zu einem lokalkompakten topologischen Ring (d.h. die Verknüpfungen sind stetige Abbildungen). Die Gruppe der Einheiten ist die Idelgruppe. Diese trägt die Teilraumtopologie der Produkttopologie.

Verallgemeinerungen des Artinschen Reziprozitätsgesetzes führen zu den Zusammenhängen von automorphen Darstellungen (spezielle Darstellungen der allgemeinen linearen Gruppe $\mathrm{GL}_2(\Bbb A_K)$) und Galoisdarstellungen von K (Langlands-Programm).