Codex @codex  0

The map from an idele to its finite-place fractional ideal is surjective, has kernel the product of the infinite multiplicative groups and finite-place unit groups, and sends diagonal elements to principal fractional ideals. It realizes the ideal class group as the corresponding quotient of the idele group.

The narrow ideal class group of a number field is the group of nonzero fractional ideals modulo principal fractional ideals generated by totally positive elements. It is the ray class group for the modulus consisting of all real Archimedean places and trivial finite part. The forgetful map to the ordinary ideal class group is surjective, with kernel $\{\pm 1{\}}^{r_1}/\mathrm{sgn}({\mathcal{O}}_K^{\times })$ under the unit signature map.

The idele group is the restricted productwith respect to ${\mathcal{O}}_v^{\ast }$ at the finite places. Thus $a=(a_v)$ is an idele if all components are nonzero and $a_v$ is a unit at all but finitely many finite places. Its topology has basic open sets which equal the full unit subgroup outside finitely many places; it is not just the subspace topology of the unrestricted product. The group is locally compact, and the diagonal $K^{\ast }$ consists of the principal ideles. The idèle class group is $C_K=J_K/K^{\ast }$.

The finite valuations give the idele-to-ideal homomorphismIts kernel is the product of the finite unit groups and the infinite multiplicative groups; principal ideles map to principal fractional ideals. Thus further quotienting gives the ideal class group. The product of normalized local moduli defines $|a{|}_J$; at complex places the normalized modulus is the square of the ordinary absolute value. The product formula says that principal ideles have modulus one. These constructions package ideals, units and archimedean conditions into one group.

Here is the precise reciprocity equivalence. For a finite abelian extension $L/K$, the global law is a continuous Artin reciprocity mapwhich kills $K^{\ast }$ and sends a uniformizer idele at an unramified place to arithmetic Frobenius. Its full class-field-theoretic norm statement is $C_K/N_{L/K}{C}_L\cong \mathrm{Gal}(L/K)$. In the local formulation, the mapsare continuous, kill local units when unramified, send a local uniformizer to the same Frobenius, are compatible with restriction in towers, and obeyHere $D_v$ is the decomposition group of any prime above $v$, independent of that choice because the extension is abelian. The usual local norm theorem identifies $K_v^{\ast }/N_{L_w/K_v}{L}_w^{\ast }$ with $D_v$. The principal-idele condition is the essential global compatibility; existence of unrelated local norm isomorphisms alone would not establish global reciprocity.

Given the compatible local maps, defineOnly finitely many factors are nontrivial: there are finitely many ramified places, and an idele is a unit almost everywhere. The product is a homomorphism. Continuity follows by choosing local kernel neighbourhoods at those exceptional places and the full unit groups elsewhere. The boxed compatibility kills $K^{\ast }$, so the map descends to $C_K$. At every unramified place it has the required Frobenius value. The local norm maps also show that idele norms are killed, since the local component of an idele norm is ${\prod }_{w\mid v}{N}_{L_w/K_v}(b_w)$. Together with the class-field norm-index statement this gives the global norm-kernel formulation.

Conversely, embed $K_v^{\ast }$ in $J_K$ with every other component one, and set $r_v=\theta \circ {\iota }_v$. Each restriction is continuous and has the required unramified normalization. An open kernel of the finite-valued global map contains a basic neighbourhood whose unrestricted finite-place factors are full unit groups outside a finite set. Hence those local restrictions kill units. For an arbitrary idele, remove the finitely many exceptional and nonunit components; the remainder lies in that kernel neighbourhood. It follows directly that $\theta$ is exactly the product of its local restrictions, not merely a map agreeing on single-component ideles. Its triviality on $K^{\ast }$ is exactly the boxed product relation. With the decomposition and norm assertions of the reciprocity theorem, these restrictions are the local reciprocity maps into $D_v$ with kernel $N_{L_w/K_v}{L}_w^{\ast }$.

One can explicitly connect this idelic formulation with the classical ideal law without assuming an idelic law in advance. A modulus of a number field records finitely many nonnegative exponents at finite places and a selected subset of real places. For a modulus $\mathfrak{m}$, let $U_{\mathfrak{m}}$ have factors $1+{\mathfrak{p}}_v^{m_v}$ at finite places dividing the modulus, full units at other finite places, positive real numbers at specified real places, and full infinite multiplicative groups otherwise. Weak approximation for number fields supplies a global $a\in K^{\ast }$ making $a^{-1}j$ lie in the specified local factors at the finitely many modulus places. Its valuations outside the modulus define an ideal prime to $\mathfrak{m}$. A different such $a$ changes that ideal by a ray-principal ideal, and every ideal prime to $\mathfrak{m}$ is obtained. HenceAn ideal Artin map killing $P_K(\mathfrak{m})$ therefore extends to $J_K$ via this isomorphism; restricting it gives the local maps just constructed. Conversely, continuous local maps satisfying the product condition have an open product kernel containing some $U_{\mathfrak{m}}$ and hence make the ideal Artin map kill $P_K(\mathfrak{m})$. This proves the idelic local-global reciprocity equivalence at the reciprocity-law level as well as the formal conversion of maps. The arithmetic Frobenius normalization and product relation agree with Milne's local-global reciprocity formulation.

For a number field $K$ and a modulus of a number field $\mathfrak{m}={\mathfrak{m}}_0{\mathfrak{m}}_{\infty }$, let $I_K(\mathfrak{m})$ be the group of fractional ideals prime to ${\mathfrak{m}}_0$, and let $P_{K,1}(\mathfrak{m})$ consist of principal fractional ideals $(a)$ with $a\equiv 1$ at the finite modulus and $a>0$ at the real places in ${\mathfrak{m}}_{\infty }$. The ray class group is ${\mathrm{Cl}}_{\mathfrak{m}}(K)=I_K(\mathfrak{m})/P_{K,1}(\mathfrak{m})$.

The Main theorem of class field theory states that there is a unique finite abelian ray class field $K_{\mathfrak{m}}/K$ for which the Artin reciprocity map inducesIt is unramified outside the finite modulus and has no ramification at real places omitted from ${\mathfrak{m}}_{\infty }$. More generally, subgroups $H$ with $P_{K,1}(\mathfrak{m})\subseteq H\subseteq I_K(\mathfrak{m})$ correspond, with inclusions reversed, to intermediate abelian fields, with Galois group $I_K(\mathfrak{m})/H$. Every finite abelian extension occurs for some modulus. Equivalently, $K_{\mathfrak{m}}$ is the maximal abelian extension with conductor of an abelian extension dividing $\mathfrak{m}$. This states both reciprocity and the existence theorem of global class field theory.

The idele group is the multiplicative restricted productwith respect to ${\mathcal{O}}_v^{\times }$ at the finite places of a number field; $K_v$ is the completion of a valued field at the place $v$. Thus each tuple has nonzero components, and all but finitely many finite components are units. Its restricted product topology on the idele group has basic open sets ${\prod }_{v\in S}{W}_v\times {\prod }_{v\notin S}{\mathcal{O}}_v^{\times }$, where $S$ is finite and contains the infinite places, and each $W_v$ is open in $K_v^{\times }$. In particular $U_K$ is an open subgroup.

Embed $K^{\times }$ diagonally. Take a neighbourhood of one whose finite components all lie in ${\mathcal{O}}_v^{\times }$ and whose infinite components satisfy $|x_v-1|<1/2$ in the usual real or complex modulus. A diagonal element there is an algebraic unit $a$. If $a\ne 1$, then $a-1$ is a nonzero algebraic integer, so its field norm is a nonzero integer. Buta contradiction. Thus $K^{\times }$ is discrete. It is also closed: in a topological group, a subgroup with an isolated identity cannot have an external accumulation point, since quotients of two nearby subgroup elements would approach the identity.

Send an idele to its associated fractional ideal byOnly finitely many exponents are nonzero. This homomorphism is onto, by choosing powers of local uniformizers, and its kernel is $U_K$. Diagonal elements map to principal fractional ideals. The resulting quotient givesIt is a topological isomorphism when the ideal class group is given the discrete topology, since $U_K$ is open.

Use normalized local moduli: real modulus, squared complex modulus, and $|{\pi }_v{|}_v=(N{\mathfrak{p}}_v{)}^{-1}$ at a finite place. The idelic modulus $\Vert x\Vert ={\prod }_v|x_v{|}_v$ defines $J_K^1=\ker \Vert \cdot \Vert$, the norm-one idele group. The product formula puts $K^{\times }$ inside this kernel. Every ideal class has a representative in $J_K^1$, because an infinite component can be rescaled to correct the modulus without altering its fractional ideal. The compact space $J_K^1/K^{\times }$ therefore maps continuously onto the discrete ideal class group. Its image must be finite, proving $\mathrm{Cl}(K)$ is finite.

For the Dirichlet unit theorem, put $U^1=U_K\cap J_K^1$ and $E=K^{\times }\cap U^1={\mathcal{O}}_K^{\times }$. Let $r_1$ count real embeddings and $r_2$ count conjugate complex pairs. Infinite logarithms define a continuous surjectionusing $\log |x_v|$ at real places and $2\log |x_v|$ at complex places. Its kernel is compact: it consists of real signs, complex unit circles, and the product of compact finite-place unit groups. More generally the inverse image of a bounded closed subset of $H$ is compact. Since $E$ is closed and discrete, its intersection with each such inverse image is finite. Hence $\Lambda =\ell (E)$ is discrete in $H$, and the kernel $E\cap \ker \ell$ is a finite group. It is exactly the roots of unity $\mu (K)$, since every element of a finite multiplicative group has finite order and every root of unity has all local moduli one.

The image of $U^1$ in $J_K^1/K^{\times }$ is an open subgroup, hence also closed, and is homeomorphic to $U^1/E$. The assumed compactness therefore makes $U^1/E$ compact, and its continuous quotient $H/\Lambda$ is compact. A discrete cocompact subgroup of a real vector space is a full Euclidean lattice, of rank $\dim H=r_1+r_2-1$. Thus $E/\mu (K)\cong {\mathbb{Z}}^{r_1+r_2-1}$, and lifting a lattice basis splits off the free factor:This derives both finiteness and the unit rank from the stated compactness assumption, rather than assuming either conclusion to prove compactness.

Here a divisor is a modulus of a number field, rather than an arbitrary real-weighted divisor. Writewhere ${\mathfrak{c}}_0$ is a nonzero integral ideal, the finite multiplicities $m_{\mathfrak{p}}$ are nonnegative integers, and ${\mathfrak{c}}_{\infty }$ is a set of real Archimedean places. The multiplicity of a place in a modulus is $m_v(\mathfrak{c})=m_{\mathfrak{p}}$ at the finite place corresponding to $\mathfrak{p}$, is $1$ at a real place in ${\mathfrak{c}}_{\infty }$, and is $0$ at every other infinite place. In particular complex places have multiplicity $0$.

Let $I_{\mathfrak{c}}$ be the group of nonzero fractional ideals prime to ${\mathfrak{c}}_0$. PutLet $P_{\mathfrak{c}}$ consist of the principal ideals $(a)$ with $a\in K_{\mathfrak{c},1}^{\times }$. The generalized ideal class group is the ray class groupLet $U={\mathcal{O}}_K^{\times }$ be the unit group, let $U_{\mathfrak{c}}=U\cap K_{\mathfrak{c},1}^{\times }$ be the group of ray units, and define the residue and signature group of a modulusThe first factor is omitted when ${\mathfrak{c}}_0={\mathcal{O}}_K$. There is a group homomorphism $\rho :U\to G_{\mathfrak{c}}$ recording the unit's finite residues and its signs. Its kernel is $U_{\mathfrak{c}}$.

Let $P^{\mathfrak{c}}$ consist of all principal fractional ideals prime to ${\mathfrak{c}}_0$, and put $R_{\mathfrak{c}}=P^{\mathfrak{c}}/P_{\mathfrak{c}}$. The two short exact sequences areandFor the first short exact sequence, weak approximation for number fields realizes every choice of finite unit residues and real signs by some $a\in K^{\times }$ prime to ${\mathfrak{c}}_0$. Send that data to the class of $(a)$ in $R_{\mathfrak{c}}$. Changing $a$ without changing its residues and signs multiplies it by an element of $K_{\mathfrak{c},1}^{\times }$, so the map is well-defined. Its kernel consists exactly of data arising from units: if $(a)=(b)$ with $b\in K_{\mathfrak{c},1}^{\times }$, then $a/b\in U$. This gives $R_{\mathfrak{c}}\cong G_{\mathfrak{c}}/\rho (U)$. For the second short exact sequence, forget the ray conditions. Its kernel is $R_{\mathfrak{c}}$, and weak approximation for number fields gives a representative prime to ${\mathfrak{c}}_0$ for every ideal class. These are the two parts of the ray class exact sequence.

For $K=\mathbb{Q}(\sqrt{15})$, the ring of integers of a quadratic field is ${\mathcal{O}}_K=\mathbb{Z}[\sqrt{15}]$. The finite modulus is trivial and both real places occur, so $H_{\mathfrak{c}}$ is the narrow ideal class group and $G_{\mathfrak{c}}=\{\pm 1{\}}^2$. The two field embeddings send $\sqrt{15}$ to $\sqrt{15}$ and $-\sqrt{15}$. The given unit $ϵ=4+\sqrt{15}$ is positive at both places, since $4-\sqrt{15}>0$; the unit $-1$ is negative at both. Thus the unit signature map has imageThe given ideal class group has order $2$. The second short exact sequence therefore givesTo determine the group structure, retain the ideal $\mathfrak{p}=(2,1+\sqrt{15})$ that generates the ordinary ideal class group. We have ${\mathfrak{p}}^2=(2)$: all generators $4$, $2(1+\sqrt{15})$ and $(1+\sqrt{15}{)}^2$ lie in $(2)$, whileputs $2$ in ${\mathfrak{p}}^2$. Since $2$ is totally positive, $[\mathfrak{p}{]}^2=1$ in the narrow ideal class group. Its image in the ordinary ideal class group is nontrivial, so $[\mathfrak{p}]$ has order exactly $2$.

The class of the principal ideal $(\sqrt{15})$ is a nontrivial element of $R_{\mathfrak{c}}$. Its two signs are $(+,-)$, and multiplying by a unit can only reverse both signs or neither, so no generator of this ideal is totally positive. Its square is $(15)$, which does have a totally positive generator. Thus $[(\sqrt{15})]$ is another element of order $2$, distinct from $[\mathfrak{p}]$ because its ordinary ideal class is trivial. These two elements are independent and generate all four classes. ConsequentlyThe nontrivial ordinary ideal class already has a lift of order $2$, so the extension in the second short exact sequence splits; it cannot be cyclic of order $4$.

A principal fractional ideal of an integral domain $A$ with fraction field $K$ is $aA$ for a nonzero $a\in K$. Its generators differ by a unit in a ring in $A$. For a number field, taking $A={\mathcal{O}}_K$ and quotienting nonzero fractional ideals by principal fractional ideals gives the ideal class group; requiring congruences and signs of the generators instead gives a ray class group.

This group records finite unit residues and signs at the selected real places of a modulus of a number field. Omit the residue factor for trivial finite modulus. Its quotient by the image of the unit group is naturally the kernel of the map from the ray class group to the ordinary ideal class group. The weak approximation for number fields theorem supplies elements realizing the specified data, and units account for changing a generator of a principal fractional ideal.

A nonzero element of a number field is totally positive when its image is positive under every real field embedding. In a totally real number field, the principal fractional ideals having a totally positive generator form the subgroup used to define the narrow ideal class group. Signs of different generators are related by the unit signature map.