Idelegruppe

Die Idelegruppe und die Idelklassengruppe stellen in der Mathematik zentrale Objekte der Klassenkörpertheorie dar.

In der lokalen Klassenkörpertheorie spielt die multiplikative Gruppe des lokalen Körpers eine wichtige Rolle. In der globalen Klassenkörpertheorie wird diese Rolle von der Idelklassengruppe übernommen, welche der Quotient aus den Einheiten des Adelerings und den Einheiten des Körpers ist. Der Begriff des Idels ist eine Abänderung des Idealbegriffs, wobei beide Begriffe in Beziehung zueinander stehen, siehe dazu den Satz über den Zusammenhang zwischen der Ideal- und der Idelklassengruppe. Der Idelbegriff wurde in 1936 und 1941 von dem französischen Mathematiker Claude Chevalley veröffentlichten Arbeiten unter dem Namen „ideal element“ (abgekürzt: id.el.) eingeführt.

Verallgemeinerungen des Artinschen Reziprozitätsgesetzes führen zur Verbindung von automorphen Darstellungen und Galois-Darstellungen von $K$ (Langlands-Programm). Genauer operiert die absolute Galoisgruppe auf der algebraischen De-Rham-Kohomologie von Shimura-Varietäten mit Werten in der Idelgruppe. Diese Darstellungen sind Hodge-Tate mit Gewichten (1,2).

Die Idelegruppe, speziell die Idelklassengruppe, findet Anwendung in der Klassenkörpertheorie, welche sich mit abelschen Körpererweiterungen von $K$ beschäftigt. Das Produkt der lokalen Reziprozitätskarten in der Klassenkörpertheorie gibt einen Homöomorphismus von der Idelegruppe in die Galoisgruppe der maximalen abelschen Erweiterung über einem algebraischen Zahlkörper. Das Artinsche Reziprozitätsgesetz, welches eine Verallgemeinerung des quadratischen Reziprozitätsgesetzes von Gauß ist, besagt, dass das Produkt in der multiplikativen Gruppe des Zahlkörpers verschwindet. Daher erhalten wir die globale Reziprozitätskarte der Idelklassengruppe von dem abelschen Teil der absoluten Galoisgruppe der Körpererweiterung.

Notation: Im Folgenden ist $K$ ein globaler Körper. Das bedeutet, dass $K$ entweder ein algebraischer Zahlkörper oder ein algebraischer Funktionenkörper positiver Charakteristik vom Transzendenzgrad 1 ist. Im ersten Fall bedeutet das, dass $K/\mathbb{Q}$ eine endliche Körpererweiterung ist, im zweiten Fall, dass $K/{𝔽}_{p^r}(t)$ eine endliche Körpererweiterung ist. Im Folgenden bezeichnet $v$ eine Stelle von $K.$ Die triviale Bewertung und der dazu korrespondierende triviale Betrag werden im kompletten Artikel ausgeschlossen. Es wird unterschieden zwischen endlichen (nicht-archimedischen) Stellen, welche als $v<\mathrm{\infty }$ oder $v\nmid \mathrm{\infty }$ notiert werden und unendlichen (archimedischen) Stellen, welche als $v\mid \mathrm{\infty }$ notiert werden. Im Folgenden bezeichne $P_{\mathrm{\infty }}$ die endliche Menge der unendlichen Stellen von $K.$ Wir schreiben $P$ für eine endliche Teilmenge der Stellenmenge von $K,$ welche $P_{\mathrm{\infty }}$ enthält. Sei $K_v$ die Vervollständigung von $K$ nach einer Stelle $v.$ Bei einer diskreten Bewertung $v$ bezeichne mit ${𝒪}_v$ den zugehörigen diskreten Bewertungsring von $K_v$ und mit ${𝔪}_v$ das maximale Ideal von ${𝒪}_v.$ Ist dieses ein Hauptideal, so schreibe ${\pi }_v$ für ein uniformisierendes Element. Der Leser sei weiterhin auf die eineindeutige Identifikation von Beträgen und Bewertungen eines Körpers hingewiesen bei Fixierung einer geeigneten Konstante $C>1:$ Die Bewertung $v$ wird dem Betrag $|\cdot {|}_v$ zugeordnet, welcher wie folgt definiert wird:

$|x{|}_v:=\{\begin{array}{cc}{C}^{-v(x)}& ,\text{ falls }x\ne 0\\ 0& ,\text{ falls }x=0\end{array}\mathrm{\forall }x\in K.$

Umgekehrt wird dem Betrag $|\cdot |$ die Bewertung $v_{|\cdot |}$ zugeordnet, welche wie folgt definiert ist: $v_{|\cdot |}(x):=-{\log }_C(|x|)$ für alle $x\in K^{\times }.$ Diese Identifikation wird im Artikel laufend verwendet.

Definition der Idelegruppe eines globalen Körpers K

Topologie auf der Einheitengruppe eines topologischen Rings

Sei $R$ ein topologischer Ring. Dann bildet $R^{\times }$ mit der Teilraumtopologie im Allgemeinen keine topologische Gruppe. Wir installieren deshalb auf $R^{\times }$ die folgende, gröbere Topologie, was bedeutet, dass weniger Mengen offen sind: Betrachte die Inklusionsabbildung

$\begin{array}{cc}\iota :R^{\times }& \to R\times R,\\ x& \mapsto (x,x^{-1}).\end{array}$

Wir installieren auf $R^{\times }$ die Topologie, die von der entsprechenden Teilraumtopologie auf $R\times R$ erzeugt wird. Das heißt, wir installieren auf $\iota (R^{\times })$ die Teilraumtopologie der Produkttopologie. Eine Menge $U\subset R^{\times }$ ist per Definition genau dann offen in der neuen Topologie, wenn $\iota (U)$ in der Teilraumtopologie offen ist. Mit dieser Topologie wird $(R^{\times },\cdot )$ eine topologische Gruppe und die Inklusionsabbildung $R^{\times }\hookrightarrow R$ wird stetig. Es ist die gröbste Topologie, welche aus der Topologie von $R$ entsteht und die $R^{\times }$ zu einer topologischen Gruppe macht.

Beweis: Man nehme den topologischen Ring ${𝔸}_{\mathbb{Q}}.$ Dann ist die Inversionsabbildung nicht stetig. Dies kann an folgendem Beispiel eingesehen werden: Betrachte die Folge

$\begin{array}{cc}{x}_1& =(2,1,\dots )\\ x_2& =(1,3,1,\dots )\\ x_3& =(1,1,5,1,\dots )\\ & ⋮\end{array}$

Diese Folge konvergiert in der ${𝔸}_{\mathbb{Q}}$-Topologie gegen das Einsadel, denn für eine gegebene Umgebung $U$ der $0$ können wir annehmen, dass $U$ die folgende Form hat:

$U=\prod _{\genfrac{}{}{0ex}{}{p\text{ prim }}{p\le N}}{U}_p\times \prod _{\genfrac{}{}{0ex}{}{p\text{ prim }}{p>N}}{\mathbb{Z}}_p.$

Weiterhin gilt, dass $(x_n{)}_p\in {\mathbb{Z}}_p$ für alle $n,p$ und daher $(x_n{)}_p-1\in {\mathbb{Z}}_p$ für alle $p.$ Es folgt, dass $x_n-1\in U$ für alle $n\in {\mathbb{N}}_0$ groß genug. Das Bild dieser Folge unter der Inversionsabbildung konvergiert nicht mehr in der Teilraumtopologie von ${𝔸}_{\mathbb{Q}}$ (vgl. das Lemma über den Unterschied zwischen der restringierten und unrestringierten Produkttopologie). In dieser neuen Topologie konvergiert weder die Folge noch ihre Inverse. Dieses Beispiel zeigt insbesondere, dass die beiden Topologien verschieden sind. Wir installieren also auf den Einheiten die oben beschriebene Topologie. Mit dieser Topologie wird $R^{\times }$ eine topologische Gruppe. Es bleibt die Stetigkeit der Inversionsabbildung zu zeigen. Sei $U\subset R^{\times }$ eine beliebige, offen Menge in der oben definierten Topologie, d. h. $U\times U^{-1}\subset R\times R$ ist offen. Zu zeigen ist, dass $U^{-1}\subset R^{\times }$ offen ist, d. h. zu zeigen ist, dass $U^{-1}\times (U^{-1}{)}^{-1}=U^{-1}\times U\subset R\times R$ offen ist. Dies ist nach Voraussetzung der Fall.

Die Idelegruppe eines globalen Körpers K

Sei $K$ ein globaler Körper. Die Einheitengruppe des Adelerings ist die sogenannte Idelegruppe von $K$, welche im Folgenden mit

$I_K:={𝔸}_K^{\times }$

bezeichnet wird. Definiere weiterhin

$\begin{array}{cc}{I}_{K,S}& :={𝔸}_{K,S}^{\times },\\ I_K^S& :=({𝔸}_K^S{)}^{\times }.\end{array}$

Wir installieren auf der Idelegruppe die Topologie, die wir im Abschnitt zuvor definiert haben. Dadurch wird die Idelegruppe eine topologische Gruppe.

Die Idelegruppe als restringiertes Produkt

Sei $K$ ein globaler Körper. Es gilt:

$\begin{array}{cc}{I}_{K,S}& ={\widehat{\prod _{v\in S}}}^{{𝒪}_v^{\times }}{K}_v^{\times },\\ I_K^S& ={\widehat{\prod _{v\notin S}}}^{{𝒪}_v^{\times }}{K}_v^{\times },\\ \text{und}{I}_K& ={\widehat{\prod _v}}^{{𝒪}_v^{\times }}{K}_v^{\times },\end{array}$

wobei die Gleichheit im Sinne topologischer Ringe zu verstehen ist. Das restringierte Produkt trägt die restringierte Produkttopologie, welche erzeugt wird von den restringierten offenen Rechtecken. Diese haben die folgende Gestalt:

$\begin{array}{c}\prod _{v\in E}{U}_v\times \prod _{v\notin E}{𝒪}_v^{\times },\end{array}$

wobei $E$ eine endliche Teilmenge aller Stellen ist und $U_v\subset K_v^{\times }$ beliebige, offene Mengen sind.

Beweis: Wir führen den Beweis für $I_K.$ Die anderen beiden Aussagen folgen analog. Zuerst überlegen wir uns die Mengengleichheit. Betrachte dazu folgende Gleichungskette:

$\begin{array}{cc}{I}_K:={𝔸}_K^{\times }:& =\{x=(x_v{)}_v\in {𝔸}_K:\mathrm{\exists }y=(y_v{)}_v\in {𝔸}_K:xy=1\}\\ & =\{x=(x_v{)}_v\in {𝔸}_K:\mathrm{\exists }y=(y_v{)}_v\in {𝔸}_K:x_v\cdot y_v=1\mathrm{\forall }v\}\\ & =\{x=(x_v{)}_v:x_v\in K_v^{\times }\mathrm{\forall }v\text{ und }{x}_v\in {𝒪}_v^{\times }\mathrm{\forall }v\text{ bis }\text{ auf }\text{ endlich }\text{ viele }\}\\ & ={\widehat{\prod _v}}^{{𝒪}_v^{\times }}{K}_v^{\times }.\end{array}$

Beim Übergang von Zeile 2 zu 3 ist zu beachten, dass sowohl $x$ als auch $x^{-1}=y$ in ${𝔸}_K$ sein sollen, also $x_v\in {𝒪}_v$ für fast alle $v$ und $x_v^{-1}\in {𝒪}_v$ für fast alle $v,$ also insgesamt $x_v\in {𝒪}_v^{\times }$ für fast alle $v.$ Als Nächstes überlegen wir uns, dass die beiden Topologien übereinstimmen. Offensichtlich ist jedes restringierte offene Rechteck auch offen in der Topologie der Idelegruppe. Andererseits sei $U\subset I_K$ offen in der Topologie der Idelegruppe, d. h. $U\times U^{-1}\subset {𝔸}_K\times {𝔸}_K$ ist offen. Es folgt, dass für jedes $u\in U$ ein restringiertes offenes Rechteck existiert, welches $u$ enthält und in $U$ liegt. Also ist $U$ als Vereinigung restringierter offener Rechtecke darstellbar, also offen in der restringierten Produkttopologie.

Weitere Definitionen

Unter Verwendung der bisherigen Notation, definiere

$\widehat{𝒪}:=\prod _{v\nmid \mathrm{\infty }}{𝒪}_v=\prod _{v<\mathrm{\infty }}{𝒪}_v$

und ${\widehat{𝒪}}^{\times }$ als die entsprechende Einheitengruppe. Es gilt dann

${\widehat{𝒪}}^{\times }=\prod _{v<\mathrm{\infty }}{𝒪}_v^{\times }.$

Die Idelegruppe I(L) bei einer Körpererweiterung L/K

Alternative Beschreibung der Idelegruppe im Fall L/K

Sei $K$ ein globaler Körper und sei $L/K$ eine endliche Körpererweiterung. Dann ist $L$ wieder ein globaler Körper und die Idelegruppe $I_L$ ist definiert. Definiere

$\begin{array}{cc}{L}_v^{\times }& :=\prod _{w\mid v}{L}_w^{\times },\\ {\widetilde{{𝒪}_v}}^{\times }& :=\prod _{w\mid v}{𝒪}_w^{\times }.\end{array}$

Beachte, dass beide Produkte endlich sind. Es gilt dann:

$\begin{array}{c}{I}_L={\widehat{\prod _v}}^{{\widetilde{{𝒪}_v}}^{\times }}{L}_v^{\times }.\end{array}$

Einbettung der Idelegruppe von K in die Idelegruppe von L

Es gibt eine kanonische Einbettung der Idelegruppe von $K$ in die Idelegruppe von $L.$ Dem Idel $a=(a_v{)}_v\in I_K$ wird das Idel $a^{\prime }=(a{\text{'}}_w{)}_w\in I_L$ mit $a{\text{'}}_w=a_v\in K_v^{\times }\subset L_w^{\times }$ für $w\mid v$ zugeordnet. Deshalb kann $I_K$ als Untergruppe von $I_L$ aufgefasst werden. Ein Element $a=(a_w{)}_w\in I_L$ liegt also genau dann in der Untergruppe $I_K,$ wenn seine Komponenten $a_w\in K_v^{\times }$ erfüllen für $w\mid v$ und wenn weiterhin gilt, dass $a_w=a_{w^{\prime }}$ für $w\mid v$ und $w^{\prime }\mid v$ für die gleiche Stelle $v$ von $K.$

Die Idelegruppe einer K-Algebra A

Sei $A$ eine endlichdimensionale $K$-Algebra, wobei $K$ ein globaler Körper ist. Betrachte die Einheitengruppe von ${𝔸}_A.$ Die Abbildung $x\mapsto x^{-1}$ ist im Allgemeinen nicht stetig in der Teilraumtopologie. Somit bilden die Einheiten keine topologische Gruppe. Wir statten ${𝔸}_A^{\times }$ deswegen mit der Topologie aus, die wir in dem Abschnitt über die Einheiten auf topologischen Ringen definiert haben. Mit dieser Topologie versehen, nennen wir die Einheitengruppe von $A$ die Idelegruppe ${𝔸}_A^{\times }$ von $A.$ Die Elemente der Gruppe werden die Idele von $A$ genannt.

Sei $\alpha$ eine endliche Teilmenge von $A,$ welche eine $K$-Basis von $A$ enthält. Sei wieder ${\alpha }_v$ der ${𝒪}_v$-Modul, der von $\alpha$ in $A_v$ erzeugt wird. Wie bereits bei der Betrachtung des Adelerings, existiert eine endliche Teilmenge $P_0$ der Stellenmenge, welche $P_{\mathrm{\infty }}$ enthält, so dass für alle $v\notin P_0$ gilt, dass ${\alpha }_v$ ein kompakter Unterring von $A_v$ ist und die Einheiten enthält. Weiterhin gilt für jedes $v,$ dass $A_v^{\times }$ eine offene Teilmenge von $A_v$ ist und dass die Abbildung $x\mapsto x^{-1}$ stetig auf $A_v^{\times }$ ist. Es folgt, dass die Abbildung $x\mapsto (x,x^{-1})$ die Gruppe $A_v^{\times }$ homöomorph auf ihr Bild unter dieser Abbildung in $A_v\times A_v$ abbildet. Für $v\notin P_0$ sind ${\alpha }_v^{\times }$ diejenigen Elemente von $A_v^{\times },$ welche unter der obigen Abbildung auf ${\alpha }_v\times {\alpha }_v$ abgebildet werden. Somit ist ${\alpha }_v^{\times }$ eine offene und kompakte Untergruppe von $A_v^{\times }.$ Der Beweis dieser Aussage findet sich in Weil (1967), S. 71ff.

Diese Betrachtungen lassen sich insbesondere auf die Endomorphismenalgebren von Vektorräumen anwenden. Sei $E$ ein endlichdimensionaler $K$-Vektorraum, wobei $K$ ein globaler Körper ist. Sei $\mathrm{End}(E):=\{\phi :E\to E,\phi \text{ ist }\text{ eine }K\text{ -lineare }\text{ Abbildung }\}.$ Dies ist eine $K$-Algebra. Es gilt: $\mathrm{End}(E{)}^{\times }=\mathrm{Aut}(E),$ wobei eine lineare Abbildung genau dann invertierbar ist, wenn ihre Determinante von $0$ verschieden ist. Wenn $K$ ein topologischer Körper ist, dann ist $\mathrm{Aut}(E)$ eine offene Teilmenge von $\mathrm{End}(E),$ denn $\mathrm{End}(E)\setminus \mathrm{Aut}(E)={\det }^{-1}(\{0\}).$ Da $\{0\}$ abgeschlossen ist und $\det$ stetig ist, ist $\mathrm{Aut}(E)$ offen. Mit $A:=End(A)$ kann man dann wie oben die Idele von $A$ betrachten.

Alternative Charakterisierung der Idelegruppe: Sei die Situation wie zuvor: Sei $P$ eine endliche Teilmenge der Stellenmenge welche $P_0$ enthält. Dann ist

${𝔸}_A(P,\alpha {)}^{\times }:=\prod _{v\in P}{A}_v^{\times }\times \prod _{v\notin P}{\alpha }_v^{\times }$

eine offene Untergruppe von ${𝔸}_A^{\times },$ wobei ${𝔸}_A^{\times }$ als Vereinigung der ${𝔸}_A(P,\alpha {)}^{\times }$ geschrieben werden kann, und wobei $P\supset P_0$ alle endlichen Teilmengen der Stellenmenge durchläuft. Ein Beweis dieser Aussage findet sich in Weil (1967), S. 72.

Im Spezialfall $A=K$ erhält man Folgendes. Für jede endliche Teilmenge der Stellenmenge von $K,$ welche $P_{\mathrm{\infty }}$ enthält, ist die Gruppe

${𝔸}_K(P{)}^{\times }=\prod _{v\in P}{K}_v^{\times }\times \prod _{v\notin P}{𝒪}_v^{\times }$

eine offene Untergruppe von ${𝔸}_K^{\times }=I_K.$ Es gilt weiterhin, dass $I_K$ die Vereinigung aller dieser Untergruppen ${𝔸}_K(P{)}^{\times }$ ist.

Spur und Norm

Die Spur kann nicht ohne weiteres auf die Idelegruppe übertragen werden, die Norm allerdings schon. Sei dazu $\alpha \in I_K.$ Dann ist ${\mathrm{con}}_{L/K}(\alpha )\in I_L,$ also haben wir einen injektiven Gruppenhomomorphismus

${\mathrm{con}}_{L/K}:I_K\hookrightarrow I_L.$

Da $\alpha \in I_L$ und somit invertierbar ist, so ist auch $N_{L/K}(\alpha )$ invertierbar, da $(N_{L/K}(\alpha ){)}^{-1}=N_{L/K}({\alpha }^{-1}).$ Es gilt also, dass $N_{L/K}(\alpha )\in I_K.$ Folglich liefert die Einschränkung der Normabbildung die folgende Abbildung:

$N_{L/K}:I_L\to I_K.$

Diese ist stetig und erfüllt ebenfalls die Eigenschaften der Norm aus dem Lemma über die Eigenschaften von Spur und Norm.

Eigenschaften

K* ist eine diskrete Untergruppe von I(K)

Die Einheiten des globalen Körpers $K$ können diagonal in die Idelegruppe eingebettet werden:

$\begin{array}{cc}& K^{\times }\hookrightarrow I_{K,S},\\ & a\mapsto (a,a,a,\dots ).\end{array}$

Da $K^{\times }\subset K_v^{\times }$ für alle $v$ gilt, folgt die Wohldefiniertheit und Injektivität dieser Abbildung wie beim entsprechenden Satz über den Adelering.

Weiterhin gilt, dass die Untergruppe $K^{\times }$ diskret (und damit insbesondere abgeschlossen) in $I_K$ ist. Diese Tatsache folgt analog wie bei dem entsprechenden Satz über den Adelering.

Insbesondere ist $A^{\times }$ eine diskrete Untergruppe von ${𝔸}_A^{\times }.$

Die Idelklassengruppe

In der algebraischen Zahlentheorie wird für einen gegebenen Zahlkörper $K$ die Idealklassengruppe betrachtet. Analog dazu definiert man den Begriff der Idelklassengruppe wie folgt.

In Analogie zum Begriff des Hauptideals werden die Elemente von $K^{\times }$ in $I_K$ als Hauptidele von $I_K$ bezeichnet. Der Quotient, also die Faktorgruppe $C_K:=I_K/K^{\times },$ wird die Idelklassengruppe von $K$ genannt. Diese steht in Zusammenhang mit der Idealklassengruppe (vgl. den Satz über den Zusammenhang zwischen der Ideal- und der Idelklassengruppe) und ist Hauptgegenstand bei den Betrachtungen in der Klassenkörpertheorie.

Da $K^{\times }$ abgeschlossen in $I_K$ ist, folgt, dass $C_K$ eine lokalkompakte, hausdorffsche, topologische Gruppe ist.

Für eine endliche Körpererweiterung $L/K$ globaler Körper induziert die Einbettung $I_K\hookrightarrow I_L$ eine injektive Abbildung auf den Idelklassengruppen:

$\begin{array}{cc}{C}_K& \hookrightarrow C_L,\\ \alpha K^{\times }& \mapsto \alpha L^{\times }.\end{array}$

Die Wohldefiniertheit der Abbildung folgt, da die Injektion $I_K\hookrightarrow I_L$ offensichtlich $K^{\times }$ auf eine Untergruppe von $L^{\times }$ abbildet. Die Injektivität wird in Neukirch (2007), S. 388 gezeigt.

Die Idelegruppe ist eine lokalkompakte, topologische Gruppe

Für jede Teilmenge $S$ der Stellenmenge von $K$ ist $I_{K,S}$ mit der Topologie der Idelegruppe eine lokalkompakte topologische Gruppe. Mit der Teilraumtopologie wird $I_{K,S}$ im Allgemeinen keine topologische Gruppe, da die Inversionsabbildung nicht stetig ist.

Dieser Satz folgt aus der Lokalkompaktheit des Adelerings, der Konstruktion der Ideletopologie und der Darstellung der Idelegruppe als restringiertes Produkt.

Da die Idelegruppe mit der Multiplikation eine lokalkompakte Gruppe bilden, existiert ein Haarmaß $d^{\times }x$ auf dieser Gruppe. Dieses kann so normalisiert werden, dass $\underset{I_{K,fin}}{\int }{\mathrm{𝟏}}_{\widehat{𝒪}}{d}^{\times }x=1.$ Dies ist die Normalisierung an den endlichen Stellen. Hierbei bezeichnet $I_{K,fin}$ die Menge der endlichen Idele, also die Einheitengruppe der Menge der endlichen Adele. An den unendlichen wird das multiplikative Lebesgue-Maß $\frac{dx}{|x|}$ genommen.

Eine Einsumgebungsbasis der Idelegruppe ist durch eine Einsumgebungsbasis von ${𝔸}_K^{\times }(P_{\mathrm{\infty }})$ gegeben. Alternativ bilden auch alle Mengen der folgenden Form eine Einsumgebungsbasis:

$\prod _v{U}_v,$

wobei $U_v$ eine Umgebung der $1$ in $K_v^{\times }$ ist und $U_v={𝒪}_v^{\times }$ für fast alle $v.$

Betrag auf I(K) und die Menge der 1-Idele von K

Sei $K$ ein globaler Körper. Auf der Idelegruppe installieren wir einen Betrag wie folgt: Für ein gegebenes Idel $\alpha =({\alpha }_v{)}_v$ definiere:

$|\alpha |:=\prod _v|{\alpha }_v{|}_v.$

Da $\alpha \in I_K,$ ist dieses Produkt endlich und damit wohldefiniert. Die Definition des Betrages lässt sich auf den Adelering ausdehnen, wenn wir unendliche Produkte zulassen, wobei die Konvergenz in $(ℝ,|\cdot {|}_{\mathrm{\infty }})$ betrachtet wird. Diese Produkte werden alle $0,$ so dass der ausgedehnte Betrag auf ${𝔸}_K\setminus I_K$ verschwindet. Im Folgenden bezeichne $|\cdot |$ die Betragsabbildung auf ${𝔸}_K$ bzw. $I_K.$

Es gilt nun, dass die Betragsabbildung ein stetiger Gruppenhomomorphismus ist, d. h. die Abbildung $|\cdot |:I_K\to {ℝ}_{>0}$ ist ein stetiger Gruppenhomomorphismus. Dies kann durch folgende Rechnung eingesehen werden: Seien $\alpha$ und $\beta \in I_K.$ Dann gilt:

$\begin{array}{cc}|\alpha \cdot \beta |& =\prod _v|(\alpha \cdot \beta {)}_v{|}_v\\ & =\prod _v|{\alpha }_v\cdot {\beta }_v{|}_v\\ & =\prod _v(|{\alpha }_v{|}_v\cdot |{\beta }_v{|}_v)\\ & =(\prod _v|{\alpha }_v{|}_v)\cdot (\prod _v|{\beta }_v{|}_v)\\ & =|\alpha |\cdot |\beta |,\end{array}$

wobei beim Übergang von Zeile 3 in Zeile 4 benutzt wurde, dass alle auftretenden Produkte endlich sind. Die Stetigkeit der Abbildung folgt, indem man Folgenstetigkeit zeigt und ausnutzt, dass die Betragsabbildung auf $K_v$ stetig ist. Dies kann man mit der umgekehrten Dreiecksungleichung einsehen. Aufgrund der restringierten Produkttopologie werden effektiv nur endlich viele Stellen betrachtet und die Behauptung folgt.

Wir definieren nun die Menge der $1$-Idele ${𝔸}_K^1$ wie folgt:

${𝔸}_K^1:=\{x\in I_K:|x|=1\}=\ker (|\cdot |).$

Die Gruppe der $1$-Idele sind eine Untergruppe von $I_K.$ In der Literatur wird auch $I_K^1$ für die Gruppe der $1$-Idele verwendet. Im Folgenden wird die Notation ${𝔸}_K^1$ verwendet.

Es gilt nun, dass ${𝔸}_K^1$ eine abgeschlossene Teilmenge von ${𝔸}_K$ ist, denn ${𝔸}_K^1=|\cdot {|}^{-1}(\{1\}).$

Die ${𝔸}_K$-Topologie auf ${𝔸}_K^1$ stimmt mit der Teilraumtopologie von $I_K$ auf ${𝔸}_K^1$ überein. Diese Aussage findet sich in Cassels (1967), S. 69f.

Allgemeine Produktformel

Sei $K$ ein globaler Körper. Für den Homomorphismus $|\cdot |:z\mapsto |z|$ von $I_K$ nach ${ℝ}_{>0}$ gilt: $K^{\times }\subset \ker (|\cdot |).$ Mit anderen Worten bedeutet das, dass $|k|=1$ für alle $k\in K^{\times }.$ Die Produktformel impliziert, dass $K^{\times }\subset {𝔸}_K^1$ ist. Dieser Satz ist in der Literatur als „Artin's product formula“ (Artins Produktformel) bekannt.

Es gibt viele Beweise dieser Aussage. Dieser hier orientiert sich an Neukirch (2007), S. 195. Er findet sich auch in Cassels (1967), S. 61. Die wesentliche Idee des Beweises ist es, die allgemeine Produktformel im algebraischen Zahlkörperfall auf den Spezialfall $K=\mathbb{Q}$ zurückzuführen. Der Funktionenkörperfall geht ähnlich.

Sei $a\in K^{\times }$ beliebig. Zu zeigen ist:

$\prod _v|a{|}_v=1.$

Es ist $v(a)=0$ und damit $|a{|}_v=1$ für jedes $v\nmid \mathrm{\infty },$ für welches das zugehörige Primideal ${𝔭}_v$ nicht in der Primidealzerlegung des Hauptideals $(a)$ auftritt. Dies ist für fast alle ${𝔭}_v$ so. Es gilt nun:

$\begin{array}{cc}\prod _v|a{|}_v& =\prod _{p\le \mathrm{\infty }}\prod _{v\mid p}|a{|}_v\\ & =\prod _{p\le \mathrm{\infty }}\prod _{v\mid p}|N_{K_v/{\mathbb{Q}}_p}(a){|}_p\\ & =\prod _{p\le \mathrm{\infty }}|N_{K/\mathbb{Q}}(a){|}_p,\end{array}$

wobei beim Übergang von Zeile 1 in Zeile 2, die allgemein gültige Gleichung $|a{|}_w=|N_{L_w/K_v}(a){|}_v$ benutzt wurde, wobei $v$ eine Stelle von $K$ und $w$ Stelle von $L$ ist, welche über $v$ liegt. Beim Übergang von Zeile 2 in Zeile 3 wurde eine Eigenschaft der Norm ausgenutzt. Man beachte, dass die Norm in $\mathbb{Q}$ ist. Wir können daher ohne Einschränkung annehmen, dass $a\in \mathbb{Q}$ ist. Dann hat $a$ eine eindeutige Primzerlegung:

$a=\pm \prod _{p<\mathrm{\infty }}{p}^{v_p},$

wobei $v_p\in \mathbb{Z}$ fast immer $0.$ Der Satz von Ostrowski besagt, dass die Beträge auf $\mathbb{Q}$ bis auf Äquivalenz genau die $p$-Beträge und $|\cdot {|}_{\mathrm{\infty }}$ sind. Es folgt, dass

$\begin{array}{cc}|a|& =(\prod _{p<\mathrm{\infty }}|a{|}_p)\cdot |a{|}_{\mathrm{\infty }}\\ & =(\prod _{p<\mathrm{\infty }}{p}^{-v_p})\cdot (\prod _{p<\mathrm{\infty }}{p}^{v_p})\\ & =1.\end{array}$

Es gibt noch weitere Beweise der Produktformel, welche in der Literatur zu finden sind.

Charakterisierung von A(End(E))*

Sei $E$ ein $n$-dimensionaler $K$-Vektorraum. Setze $A:=\mathrm{End}(E).$ Sei weiterhin $a\in {𝔸}_A.$ Dann sind folgende Aussagen äquivalent

• $a\in {𝔸}_A^{\times },$
• $\det (a)\in {𝔸}_K^{\times },$
• $x\mapsto ax$ ist ein Automorphismus von ${𝔸}_E.$

Wenn einer der drei Punkte erfüllt ist, dann gilt, dass $|a|=|\det (a)|.$ Weiterhin gilt, dass die Zuordnungen $a\mapsto \det (a)$ und $a\mapsto |\det (a)|$ Homomorphismen sind von ${𝔸}_A^{\times }$ nach ${𝔸}_K^{\times }$ bzw. ${ℝ}_{>0}.$ Ein Beweis dieser Aussage findet sich in Weil (1967), S. 73f.

Insbesondere erhält man für eine endlichdimensionale $K$-Algebra $A$ und $a\in {𝔸}_A$ die Äquivalenz der folgenden Aussagen:

• $a\in {𝔸}_A^{\times },$
• $N_{A/K}(a)\in {𝔸}_K^{\times },$
• $x\mapsto ax$ ist ein Automorphismus der additiven Gruppe ${𝔸}_A.$

Wenn einer der drei Punkte erfüllt ist, dann gilt, dass $|a|=|N_{A/K}(a)|.$ Weiterhin gilt, dass die Zuordnungen $a\mapsto N_{A/K}(a)$ und $a\mapsto |N_{A/K}(a)|$ Homomorphismen sind von ${𝔸}_A^{\times }$ nach ${𝔸}_K^{\times }$ bzw. ${ℝ}_{>0}.$ Mit diesem Satz ist ein alternativer Beweis der Produktformel möglich, vgl. Weil (1967), S. 75.

K* ist eine diskrete und kokompakte Untergruppe in der Menge der 1-Idele

Bevor wir den Satz formulieren können, brauchen wir folgende Hilfsaussage:

Lemma: Sei $K$ ein globaler Körper. Es gibt eine Konstante $C,$ welche nur vom globalen Körper $K$ abhängt, so dass für alle $\alpha =({\alpha }_v{)}_v\in {𝔸}_K$ mit der Eigenschaft $\prod _v|{\alpha }_v{|}_v>C$ ein $\beta \in K^{\times }$ existiert, sodass $|{\beta }_v{|}_v\le |{\alpha }_v{|}_v$ für alle $v.$

Ein Beweis dieser Aussage findet sich in Cassels (1967), S. 66 Lemma.

Korollar: Sei $K$ ein globaler Körper, sei $v_0$ eine Stelle von $K$ und sei ${\delta }_v>0$ gegeben für alle Stellen $v\ne v_0,$ so dass ${\delta }_v=1$ für fast alle $v$ gilt. Dann gibt es ein $\beta \in K^{\times },$ sodass $|\beta |\le {\delta }_v$ für alle $v\ne v_0.$

Beweis: Nach dem Lemma zuvor existiert eine Konstante $C,$ die nur von unserem (fixierten) globalen Körper abhängt. Wir bezeichnen mit ${\pi }_v$ uniformisierende Elemente der entsprechenden Ganzzahlringe ${𝒪}_v.$ Definiere nun das Adel $\alpha =({\alpha }_v{)}_v$ via ${\alpha }_v:={\pi }_v^{k_v}$ mit $k_v\in \mathbb{Z}$ minimal so, dass $|{\alpha }_v{|}_v\le {\delta }_v$ für alle $v\ne v_0.$ Dann ist $k_v=0$ fast immer. Definiere ${\alpha }_{v_0}:={\pi }_{v_0}^{k_{v_0}}$ mit $k_{v_0}\in \mathbb{Z},$ so dass $\prod _v|{\alpha }_v{|}_v>C.$ Dies geht, weil $k_v=0$ für fast alle $v$ ist. Nach dem obigen Lemma existiert ein $\beta \in K^{\times },$ sodass $|\beta {|}_v\le |{\alpha }_v{|}_v\le {\delta }_v$ für alle $v\ne v_0$ gilt.

Nun zum eigentlichen Satz:

Satz: Sei $K$ ein globaler Körper. $K^{\times }$ ist diskret in ${𝔸}_K^1$ und der Quotient ${𝔸}_K^1/K^{\times }$ ist kompakt.

Beweis: Die Diskretheit von $K^{\times }$ in $I_K$ impliziert die Diskretheit von $K^{\times }$ in ${𝔸}_K^1.$

Es bleibt zu zeigen, dass ${𝔸}_K^1/K^{\times }$ kompakt ist. Dieser Beweis findet sich unter anderem in Weil (1967), S. 76 oder in Cassels (1967), S. 70. Im Folgenden wird Cassels (1967) Beweisidee wiedergegeben: Es reicht die Existenz einer kompakten Menge $W\subset {𝔸}_K$ zu zeigen, sodass die natürliche Projektion $\pi :W\cap {𝔸}_K^1\to {𝔸}_K^1/K^{\times }$ surjektiv ist, da die natürliche Projektion eine stetige Abbildung ist. Sei nun $\alpha \in {𝔸}_K$ mit der Eigenschaft $\prod _v|{\alpha }_v{|}_v>C$ gegeben, wobei $C$ die Konstante des eingangs formulierten Lemmas ist. Definiere

$W:=\{\xi =({\xi }_v{)}_v:|{\xi }_v{|}_v\le |{\alpha }_v{|}_v\mathrm{\forall }v\}.$

Offensichtlich ist $W$ kompakt. Sei nun $\beta =({\beta }_v{)}_v$ in ${𝔸}_K^1$ gegeben. Wir zeigen, dass ein $\eta \in K^{\times }$ existiert, sodass $\eta \beta \in W.$ Per Definition der Menge der $1$-Idele gilt, dass

$\prod _v|{\beta }_v{|}_v=1,$

und deshalb

$\prod _v|{\beta }_v^{-1}{|}_v=1.$

Es folgt, dass

$\prod _v|{\beta }_v^{-1}{\alpha }_v{|}_v=\prod _v|{\alpha }_v{|}_v>C.$

Wegen des vorigen Lemmas existiert ein $\eta \in K^{\times },$ so dass $|\eta {|}_v\le |{\beta }_v^{-1}{\alpha }_v{|}_v$ für alle $v.$ Es folgt, dass $\eta \beta \in W.$ Damit folgt die Behauptung.

Einige Isomorphismen im Fall K=Q

Im Fall $K=\mathbb{Q}$ gibt es einen kanonischen Isomorphismus ${𝔸}_{\mathbb{Q}}^1/{\mathbb{Q}}^{\times }\cong {\hat{\mathbb{Z}}}^{\times }.$ Weiterhin gilt, dass ${\hat{\mathbb{Z}}}^{\times }\times \{1\}$ ein Vertretersystem von ${𝔸}_{\mathbb{Q}}^1/{\mathbb{Q}}^{\times }$ ist. Das bedeutet, dass $({\hat{\mathbb{Z}}}^{\times }\times \{1\}){\mathbb{Q}}^{\times }={𝔸}_{\mathbb{Q}}^1.$ Ferner werden durch den Betrag folgende Isomorphismen topologischer Gruppen induziert:

$\begin{array}{cc}{I}_{\mathbb{Q}}& \cong {𝔸}_{\mathbb{Q}}^1\times (0,\mathrm{\infty })\text{ und }\\ {𝔸}_{\mathbb{Q}}^1& \cong I_{\mathbb{Q},fin}\times \{\pm 1\}.\end{array}$

Es folgt, dass ${\hat{\mathbb{Z}}}^{\times }\times (0,\mathrm{\infty })$ ein Vertretersystem von $I_{\mathbb{Q}}/{\mathbb{Q}}^{\times }$ ist. Dieser Satz ist Teil des Satzes 5.3.3 auf Seite 128 in Deitmar (2010).

Beweis: Definiere die Abbildung $\phi :{\hat{\mathbb{Z}}}^{\times }\to {𝔸}_{\mathbb{Q}}^1/{\mathbb{Q}}^{\times },$ via $(a_p{)}_p\mapsto ((a_p{)}_p,1){\mathbb{Q}}^{\times }.$ Diese Abbildung ist offensichtlich wohldefiniert, da $|a_p{|}_p=1$ für alle $p$ und somit $(\prod _{p<\mathrm{\infty }}|a_p{|}_p)\cdot 1=1$ gilt. Die Abbildung ist ein stetiger Gruppenhomomorphismus. Für die Injektivität sei $((a_p{)}_p,1){\mathbb{Q}}^{\times }=((b_p{)}_p,1){\mathbb{Q}}^{\times }.$ Daher existiert ein $q\in {\mathbb{Q}}^{\times },$ so dass $((a_p{)}_p,1)q=((b_p{)}_p,1).$ Durch einen Vergleich an der unendlichen Stelle, folgt $q=1$ und daher $(a_p{)}_p=(b_p{)}_p.$ Für die Surjektivität sei $(({\beta }_p{)}_p,{\beta }_{\mathrm{\infty }}){\mathbb{Q}}^{\times }\in {𝔸}_{\mathbb{Q}}^1/{\mathbb{Q}}^{\times }$ gegeben. Da der Betrag dieses Elements $1$ ist, ist $|{\beta }_{\mathrm{\infty }}{|}_{\mathrm{\infty }}=\frac{1}{\prod _p|{\beta }_p{|}_p}\in \mathbb{Q}.$ Es folgt, dass ${\beta }_{\mathrm{\infty }}\in \mathbb{Q}.$ Also ist $(({\beta }_p{)}_p,{\beta }_{\mathrm{\infty }}){\mathbb{Q}}^{\times }=((\frac{{\beta }_p}{{\beta }_{\mathrm{\infty }}}{)}_p,1){\mathbb{Q}}^{\times }$ und damit ist die Abbildung surjektiv, denn $\frac{|{\beta }_p{|}_p}{|{\beta }_{\mathrm{\infty }}{|}_p}=1$ für alle $p,$ vgl. die Darstellung von $|{\beta }_{\mathrm{\infty }}{|}_{\mathrm{\infty }}.$ Die weiteren Isomorphismen sind gegeben durch: $\psi :I_{\mathbb{Q}}\to {𝔸}_{\mathbb{Q}}^1\times (0,\mathrm{\infty }),$ via $a=(a_p{)}_{p\le \mathrm{\infty }}\mapsto ((a_p{)}_{p<\mathrm{\infty }},a_{\mathrm{\infty }}/|a|,|a|)$ und $\tilde{\psi }:I_{\mathbb{Q},fin}\times \{\pm 1\}\to {𝔸}_{\mathbb{Q}}^1,$ via $(a_{fin},ϵ)\mapsto (a_{fin},ϵ|a_{fin}{|}^{-1}).$ Der Nachweis, dass es sich hierbei um Isomorphismen handelt, sei dem Leser zur Übung überlassen.

Zusammenhang zwischen Idealklassengruppe und Idelklassengruppe

Für einen algebraischen Zahlkörper $K$ definieren wir $C_{K,fin}:=I_{K,fin}/K^{\times }.$ Es gilt nun:

$\begin{array}{cc}{J}_K& \cong I_{K,fin}/{\widehat{𝒪}}^{\times }\text{und}\\ C{l}_K& \cong C_{K,fin}/{\widehat{𝒪}}^{\times }{K}^{\times }\text{und}\\ C{l}_K& \cong C_K/({\widehat{𝒪}}^{\times }\times \prod _{v\mid \mathrm{\infty }}{K}_v^{\times })K^{\times }.\end{array}$

Hierbei bezeichnet $J_K$ die Gruppe der gebrochenen Ideale in $K$ mit dem Produkt zweier Ideale als Gruppenverknüpfung. Dadurch wird $J_K$ eine Gruppe, die sogenannte Idealgruppe von $K.$ Wir schreiben $C{l}_K$ für die Idealklassengruppe des Dedekindrings $𝒪:=\{\alpha \in K:\mathrm{\exists }f\in \mathbb{Z}[x]\text{ normiert: }f(\alpha )=0\},$ also ist $𝒪$ der Ganzzahlring des algebraischen Zahlkörpers $K.$ Per Definition gilt nun $C{l}_K=J_K/K^{\times }.$

Beweis: Im Folgenden benutzen wir die Tatsachen, dass es für einen algebraischer Zahlkörper $K$ eine eineindeutige Beziehung zwischen den endlichen Stellen von $K$ und dem Primidealen ungleich Null von $𝒪$ gibt:

Sei $v$ eine endliche Stelle von $K$ und sei $|\cdot {|}_v$ ein Repräsentant der Äquivalenzklasse $v.$ Definiere

${𝔭}_v:=\{x\in 𝒪:|x{|}_v<1\}.$

Dann ist ${𝔭}_v$ ein Primideal in $𝒪.$ Die Abbildung $v\mapsto {𝔭}_v$ ist eine Bijektion zwischen der Menge aller endlichen Stellen von $K$ und der Menge der Primideale $𝔭\ne 0$ von $𝒪.$ Die Umkehrabbildung ist gegeben durch:

Einen gegebenen Primideal $𝔭$ wird die Bewertung $v_{𝔭}$ zugeordnet, welche gegeben ist durch

$\begin{array}{cc}{v}_{𝔭}(x)& :=\max \{k\in {\mathbb{N}}_0:x\in {𝔭}^k\}\mathrm{\forall }x\in {𝒪}^{\times },\\ v_{𝔭}(\frac{x}{y})& :=v_{𝔭}(x)-v_{𝔭}(y)\mathrm{\forall }x,y\in {𝒪}^{\times }.\end{array}$

Nun zum eigentlichen Beweis. Die folgende Abbildung ist wohldefiniert:

$\begin{array}{cc}(\cdot ):& I_{K,fin}\to J_K,\\ & \alpha =({\alpha }_v{)}_v\mapsto \prod _{v\nmid \mathrm{\infty }}{𝔭}_v^{v({\alpha }_v)},\end{array}$

wobei ${𝔭}_v$ das zur Stelle $v$ zugehörige Primideal ist. Die Abbildung $(\cdot )$ ist offensichtlich ein surjektiver Gruppenhomomorphismus. Es gilt, dass $\ker ((\cdot ))={\widehat{𝒪}}^{\times }.$ Der erste Isomorphismus aus dem Satz folgt nun mit dem Homomorphiesatz.

Jetzt dividieren wir auf beiden Seiten $K^{\times }$ heraus. Dies ist möglich, da

$\begin{array}{cc}(\alpha )& =((\alpha ,\alpha ,\dots ))\\ & =\prod _{v\nmid \mathrm{\infty }}{𝔭}_v^{v(\alpha )}\\ & =(\alpha )\end{array}$

für alle $\alpha \in K^{\times }.$ Man beachte den Missbrauch der Notation: Auf der linken Seite in Zeile 1 steht die Klammer für die zuvor definierte Abbildung. Anschließend wird die Einbettung von $K^{\times }$ in $I_{K,fin}$ benutzt. In Zeile 2 wird die Definition der Abbildungsvorschrift angewendet und schließlich benutzen wir in Zeile 3 die Tatsache, dass der Ganzzahlring $𝒪$ ein Dedekindring ist und somit jedes Ideal, insbesondere das Hauptideal $(\alpha ),$ in Primfaktoren zerlegt werden kann. Die Abbildung $(\cdot )$ ist also ein $K^{\times }$-äquivarianter Gruppenhomomorphismus. Folglich induziert uns die obige Abbildung einen surjektiven Homomorphismus

$\begin{array}{cc}\phi :& C_{K,fin}\to C{l}_K,\\ & \alpha K^{\times }\mapsto (\alpha )K^{\times }.\end{array}$

Wir zeigen nun, dass $\ker (\phi )={\widehat{𝒪}}^{\times }{K}^{\times }$ gilt. Sei $\xi =({\xi }_v{)}_v\in {\widehat{𝒪}}^{\times }.$ Dann ist $\phi (\xi K^{\times })=\prod _v{𝔭}_v^{v({\xi }_v)}{K}^{\times }=K^{\times },$ da $v({\xi }_v)=0$ für alle $v.$ Sei nun umgekehrt $\xi K^{\times }\in C_{K,fin}$ mit $\phi (\xi K^{\times })=𝒪K^{\times }.$ Dann folgt $K^{\times }=\prod _v{𝔭}_v^{v({\xi }_v)}{K}^{\times }.$ Es gibt also einen Vertreter für den gilt: $\prod _v{𝔭}_v^{v(\xi {\text{'}}_v)}=𝒪.$ Folglich gilt ${\xi }^{\prime }\in {\widehat{𝒪}}^{\times }$ und deswegen $\xi K^{\times }={\xi }^{\prime }{K}^{\times }\in {\widehat{𝒪}}^{\times }{K}^{\times }.$ Der zweite Isomorphismus aus dem Satz ist damit bewiesen.

Um den letzten Isomorphismus aus dem Satz zu zeigen, bemerken wir, dass die Abbdilung $\phi$ einen surjektiven Gruppenhomomorphismus

$\tilde{\phi }:C_K\to C{l}_K$

induziert. Es gilt, dass $\ker (\tilde{\phi })=({\widehat{𝒪}}^{\times }\times \prod _{v\mid \mathrm{\infty }}{K}_v^{\times })K^{\times }.$ Damit ist der Satz gezeigt.

Bemerkung: Die Abbildung $(\cdot )$ ist stetig im folgenden Sinne: Auf $I_{K,fin}$ haben wir die gewöhnliche Ideletopologie. Auf $J_K$ installieren wir die diskrete Topologie. Die Stetigkeit folgt, wenn wir zeigen können, dass $(\{𝔞\}{)}^{-1}$ offen ist für jedes $𝔞\in J_K.$ Nun ist $(\{𝔞\}{)}^{-1}=\alpha {\widehat{𝒪}}^{\times }$ offen, wobei $\alpha =({\alpha }_v{)}_v\in {𝔸}_{K,fin},$ sodass $𝔞=\prod _v{𝔭}_v^{v({\alpha }_v)}.$

Zerlegung von I(K) und C(K)

Sei $K$ ein globaler Körper. Falls $K$ Charakteristik $p>1$ hat, dann ist $I_K\cong {𝔸}_K^1\times \mathbb{Z}.$ Falls $K$ Charakteristik $0$ hat, dann ist $I_K\cong M\times {𝔸}_K^1,$ wobei $M$ eine abgeschlossene Untergruppe von $I_K$ ist, welche isomorph zu ${ℝ}_{>0}$ ist. Weiterhin gilt:

$C_K=I_K/K^{\times }\cong {𝔸}_K^1/K^{\times }\times N,$

wobei $N\cong \mathbb{Z},$ falls $\mathrm{char}(K)>0$ oder $N\cong {ℝ}_{>0},$ falls $\mathrm{char}(K)=0$ ist.

Beweis: Sei die Charakteristik von $K$ gleich $p>1.$ Für jede Stelle $v$ von $K$ gilt, dass die Charakteristik von $K_v$ gleich $p$ ist, so dass $|x{|}_v$ für jedes $x\in K_v^{\times }$ in der Untergruppe von ${ℝ}_{>0}$ ist, welche von $p$ erzeugt wird. Folglich gilt dies auch für jedes $|z|,$ wobei $z\in I_K.$ Das ist gleichbedeutend damit, dass das Bild des Homomorphismus $z\mapsto |z|$ eine diskrete Untergruppe von ${ℝ}_{>0}$ ist, welche in $p^{\mathbb{Z}}$ liegt. Da diese nicht trivial, d. h. $\text{Bild}(|\cdot |)\ne \{1\}$ ist, ist sie von einem $Q=p^N$ erzeugt, für ein $N\in \mathbb{N}.$ Wähle $z_1\in I_K,$ so dass $|z_1|=Q.$ Dann ist $I_K$ das direkte Produkt von ${𝔸}_K^1$ und der Untergruppe, welche von $z_1$ erzeugt wird, diskret ist und damit isomorph $\mathbb{Z}$ ist.

Ist die Charakteristik von $K$ gleich $0,$ so schreibe $z(\lambda )$ für das Idel $(z_v{)}_v,$ für das $z_v=1$ an den endlichen Stellen von $K$ gilt und $z_w=\lambda$ an allen unendlichen Stellen von $K$ gilt. Hierbei ist $\lambda \in {ℝ}_{>0}.$ Dann ist die Abbildung $\lambda \mapsto z(\lambda )$ ein Isomorphismus von ${ℝ}_{>0}$ in eine abgeschlossene Untergruppe $M$ von $I_K$ und es gilt $I_K\cong M\times {𝔸}_K^1.$ Der Isomorphismus ist gegeben durch Multiplikation:

$\begin{array}{cc}\varphi :M\times {𝔸}_K^1& \to I_K,\\ (({\alpha }_v{)}_v,({\beta }_v{)}_v)& \mapsto ({\alpha }_v{\beta }_v{)}_v\end{array}$

Offensichtlich ist $\varphi$ ein Homomorphismus. Zur Injektivität: Sei $({\alpha }_v{\beta }_v{)}_v=1.$ Da ${\alpha }_v=1$ für $v<\mathrm{\infty },$ folgt ${\beta }_v=1$ für $v<\mathrm{\infty }.$ Weiterhin existiert ein $\lambda \in {ℝ}_{>0},$ so dass ${\alpha }_v=\lambda$ für $v\mid \mathrm{\infty }.$ Daraus folgt, dass ${\beta }_v={\lambda }^{-1}$ für $v\mid \mathrm{\infty }.$ Da zusätzlich noch $\prod _v|{\beta }_v{|}_v=1$ ist, folgt, dass ${\lambda }^n=1$ ist, wobei $n$ die Anzahl der unendlichen Stellen von $K$ ist. Es folgt $\lambda =1$ und damit die Injektivität. Für die Surjektivität sei $\gamma =({\gamma }_v{)}_v\in I_K$ gegeben. Wir definieren $\lambda :=|\gamma {|}^{1/n}$ und weiterhin definieren wir ${\alpha }_v=1$ für $v<\mathrm{\infty }$ und ${\alpha }_v=\lambda$ für $v\mid \mathrm{\infty }.$ Definiere $\beta =\frac{\gamma }{\alpha }.$ Es gilt nun, dass $|\beta |=\frac{|\gamma |}{|\alpha |}=\frac{{\lambda }^n}{{\lambda }^n}=1.$ Es folgt die Surjektivität.

Die 2. Aussage folgt mit einer ähnlichen Betrachtung.

Charakterisierung der Idelegruppe

Sei $K$ ein algebraischer Zahlkörper. Es existiert eine endliche Stellenmenge $S$ von $K,$ sodass gilt:

$I_K=(I_{K,S}\times \prod _{v\notin S}{𝒪}_v^{\times })K^{\times }=(\prod _{v\in S}{K}_v^{\times }\times \prod _{v\notin S}{𝒪}_v^{\times })K^{\times }.$

Beweis: Wir benutzen als Voraussetzung, dass die Klassenzahl endlich ist. Seien ${𝔞}_1,\dots ,{𝔞}_h$ Ideale, die die $h$ Klassen in $C{l}_K$ repräsentieren. Diese setzen sich aus endlich vielen Primidealen ${𝔭}_1,\dots ,{𝔭}_n$ zusammen. Sei nun $S$ eine endliche Primstellenmenge, die zu dieser Primideale gehörende Stellen und die unendlichen Stellen enthält. Es ist zu beachten, dass wir die eineindeutige Identifikation zwischen Primstellen und Stellen des Körpers ausnutzen. Dann erfüllt $S$ die Behauptung aus dem Satz. Um dies einzusehen, benutzen wir den folgenden Isomorphismus

$I_K/(\prod _{v\nmid \mathrm{\infty }}{𝒪}_v^{\times }\times \prod _{v\mid \mathrm{\infty }}{K}_v^{\times })\cong J_K,$

welcher durch die Abbildung $({\alpha }_v{)}_v\mapsto \prod _{v<\mathrm{\infty }}{𝔭}_v^{v({\alpha }_v)}$ induziert wird.

Wir zeigen im Folgenden die Behauptung des Satzes nur an den endlichen Stellen, da sie an den unendlichen Stellen klar ist.

Die Inklusion „$\supset$“ ist klar.

Sei nun $\alpha \in I_{K,fin},$ so gehört das zugeordnete Ideal $(\alpha )=\prod _{v\nmid \mathrm{\infty }}{𝔭}_v^{v({\alpha }_v)}$ einer Klasse ${𝔞}_i{K}^{\times }$ an, d. h. $(\alpha )={𝔞}_i(a)$ mit einem Hauptideal $(a).$ Das Idel ${\alpha }^{\prime }=\alpha a^{-1}$ wird unter unserer Abbildung $I_{K,fin}\to J_K$ auf das Ideal ${𝔞}_i$ abgebildet. Das bedeutet, dass ${𝔞}_i=\prod _{v\nmid \mathrm{\infty }}{𝔭}_v^{v(\alpha {\text{'}}_v)}.$ Da die in ${𝔞}_i$ auftretenden Primideale in $S$ liegen, ist $v(\alpha {\text{'}}_v)=0$ für alle $v\notin S$ (hier werden wieder Primideale und Stellen miteinander identifiziert), d. h. $\alpha {\text{'}}_v\in {𝒪}_v^{\times }$ für alle $v\notin S.$ Daher ist ${\alpha }^{\prime }=\alpha a^{-1}\in I_{K,S},$ also $\alpha \in I_{K,S}{K}^{\times }.$

In Weil (1967), S. 77 wird obiges Theorem für einen beliebigen globalen Körper $K$ gezeigt.

Literatur

• John Cassels, Albrecht Fröhlich: Algebraic number theory: proceedings of an instructional conference, organized by the London Mathematical Society, (a NATO Advanced Study Institute). Academic Press, London 1987, ISBN 0-12-163251-2 (englisch).
• Jürgen Neukirch: Algebraische Zahlentheorie. unveränd. Nachdruck der 1. Auflage. Springer, Berlin (u. a.) 2007, ISBN 978-3-540-37547-0.
• André Weil: Basic number theory. Springer, Berlin/Heidelberg/New York 1967, ISBN 3-540-06935-6 (englisch).
• Anton Deitmar: Automorphe Formen. Springer, Berlin/Heidelberg (u. a.) 2010, ISBN 978-3-642-12389-4.
• Serge Lang: Algebraic number theory, Graduate Texts in Mathematics 110. 2. Auflage. Springer-Verlag, New York (u. a.) 1994, ISBN 0-387-94225-4 (englisch).