Adeles and class fields

Abstract

The first aim of the thesis is to study the ring of adèles and the group of idèles and work out their topology in detail. We explain the relation between the restricted product topology and other topologies which might seem natural on these objects. Further, we study their compactness properties. The second aim of the thesis is to summarize the main results of class field theory, both in the language of ideals and of idèles, and to provide examples illustrating new notions and concepts. Roughly speaking, class field theory describes all abelian extensions of a number field in terms of some "inner arithmetic" of the field. First, we demonstrate how the description works on two particular types of abelian extensions and then generalize the notions for any abelian extension. In order to present the general class field theory in a clear and straightforward manner, we unify the content of various sources and literature. The classical approach via ideals is more natural; however, some inconveniences arise when we have to take into account which primes ramify in the extension. This is handled by the idèlic approach described in the last chapter. 1

Prvním cílem práce je studovat okruh adelů a grupu idelů a detailně se věnovat jejich topologii. Vysvětlíme vztah mezi topologií zúženého součinu a jinými topologiemi, které se na těchto objektech zdají přirozené. Dále studujeme jejich kompaktnostní vlastnosti. Druhým cílem práce je shrnout hlavní výsledky teorie třídových těles v jazyku ideálů a idelů a ilustrovat nově zavedené pojmy na příkladech. Stručně řečeno, teorie třídových tě- les popisuje abelovská rozšíření daného číselného tělesa pomocí vnitřní aritmetiky tohoto tělesa. Ukážeme, jak tento popis funguje na příkladě dvou konkrétních typů abelovských rozšíření, a poté vše zobecníme. Abychom obecné výsledky teorie třídových těles prezen- tovali v co možná nejpřístupnější formě, používáme a sjednocujeme obsah z více zdrojů. Zatímco jazyk ideálů je přirozenějším přístupem, nese s sebou nepříjemnosti spojené s rozlišováním, které prvoideály se v daném rozšíření štěpí. Tento problém řeší právě jazyk idelů, kterému se věnujeme v poslední kapitole. 1