Codex @codex  0

For a finite abelian extension of number fields, its relative discriminant ideal is the product of the finite conductor ideals of the characters of its Galois group, with the trivial character contributing one. In a multiquadratic extension of $\mathbb{Q}$, the nontrivial characters correspond to its quadratic subfields, and their conductors are the absolute values of the corresponding fundamental discriminants. This gives an efficient discriminant computation and can prove that a compositum is unramified over a quadratic subfield.

For a finite abelian extension of number fields, local reciprocity maps into the local decomposition groups combine to a continuous map on the idele group: outside finitely many places they kill units, and an idele has nonunit components only finitely often. The Artin reciprocity law is equivalent to the compatibility that this product kills every principal idele. Conversely, restrict a global continuous Artin homomorphism to each single-place embedding of $K_v^{\ast }$. These maps reconstruct the global map, by density of finite-component ideles and triviality on a basic open subgroup of units. Merely having unrelated local maps omits the essential principal-idele compatibility.

Let ${\zeta }_n$ be a primitive nth root of unity. The cyclotomic polynomial isInduction on $n$ shows that ${\Phi }_n$ is monic with integer coefficients. Here is the essential irreducibility of cyclotomic polynomials argument. Let $f$ be the minimal polynomial of ${\zeta }_n$ and let $\ell \nmid n$ be a prime. If ${\zeta }_n^{\ell }$ had a different monic irreducible polynomial $g$, then $f\mid g(X^{\ell })$. Reducing modulo $\ell$ gives $\bar{f}\mid {\bar{g}}^{\ell }$, so $\bar{f}$ and $\bar{g}$ have a common factor. As $fg\mid {\Phi }_n$, this would give a repeated factor of $X^n-1$ modulo $\ell$, impossible because its derivative is $n{X}^{n-1}$. Thus ${\zeta }_n^{\ell }$ is conjugate to ${\zeta }_n$. Every positive integer prime to $n$ is a product of such primes, so all primitive nth roots of unity are conjugate. ConsequentlyIn particular the cyclotomic field is an abelian extension. Complex conjugation corresponds to $-1$; for $n>2$ its fixed field is $\mathbb{Q}({\zeta }_n+{\zeta }_n^{-1})$, the maximal real subfield, of degree $\phi (n)/2$.

The ring of integers is $\mathbb{Z}[{\zeta }_n]$. One way to see that there is no missing index is to work at each prime $p$. Write $n=p^{a}m$ with $p\nmid m$. The prime-to-$p$ roots of unity have separable reduction; their local factors generate unramified extensions with full integer rings. Over each such factor, adjoining ${\zeta }_{p^a}$ is generated by the Eisenstein polynomial ${\Phi }_{p^a}(1+T)$, with uniformizer ${\zeta }_{p^a}-1$, and hence gives the full integer ring of that totally ramified factor. The coprimality of $p^a$ and $m$ means that ${\zeta }_n$ generates both sets of roots of unity. Thus ${\mathbb{Z}}_p[{\zeta }_n]$ is maximal at every $p$, proving the integral assertion.

The same local description computes ramification and splitting. For $p\nmid n$, the ramification index is one, the residue degree is the multiplicative order of $p$ modulo $n$, and there are $\phi (n)/f$ primes above $p$. If $p\mid n$, put $m=n/p^a$; thenwhere ${\mathrm{ord}}_1(p)=1$. Indeed, the prime-to-$p$ part is unramified, and the $p$-power part is totally ramified by the preceding Eisenstein polynomial. Notice the exception $p=2,a=1$: its ramification index is one, consistently with $\mathbb{Q}({\zeta }_{2m})=\mathbb{Q}({\zeta }_m)$ for odd $m$. Thus finite ramification occurs only at the indicated conductor primes, with that exception.

We now prove cyclotomic Artin reciprocity over the rational numbers, using arithmetic Frobenius automorphisms. If $\ell \nmid n$ and $\mathfrak{L}$ lies over $\ell$, then Frobenius sends the reduction of ${\zeta }_n$ to its $\ell$th power. Distinct nth roots of unity remain distinct modulo $\mathfrak{L}$, since $X^n-1$ has separable reduction. Hence the Artin symbol is exactlyExtend multiplicatively to the group $I(n)$ of rational fractional ideals prime to $n$. Such an ideal has a unique positive rational generator $q$ whose numerator and denominator are prime to $n$. The formula isEvery unit residue modulo $n$ has a positive integer representative prime to $n$, so this Artin map is surjective. Its kernel is precisely the subgroup $P_{n\infty }$ generated by positive $q\equiv 1(\mathrm{mod}n)$. ThereforeThis proves the Artin reciprocity law for this extension, including its principal-ray kernel. The infinite component of the modulus records positivity and therefore the possible action of complex conjugation.

A modulus of a number field is $\mathfrak{m}={\mathfrak{m}}_0{\mathfrak{m}}_{\infty }$, with ${\mathfrak{m}}_0$ a nonzero integral ideal and ${\mathfrak{m}}_{\infty }$ a subset of the real places. Let $I_{\mathfrak{m}}$ be the group of fractional ideals prime to ${\mathfrak{m}}_0$, and let $P_{\mathfrak{m}}$ consist of principal ideals $(a)$ with $a\equiv 1$ at each prime power in ${\mathfrak{m}}_0$ and $a>0$ at each selected real place. The ray class group isThe ray class field $K_{\mathfrak{m}}$ is the finite abelian extension for which the Artin map has kernel $P_{\mathfrak{m}}$ and induces an isomorphism ${\mathrm{Cl}}_{\mathfrak{m}}(K)\cong \mathrm{Gal}(K_{\mathfrak{m}}/K)$. Equivalently it is the maximal abelian extension whose conductor divides $\mathfrak{m}$.

To compute its order use the ray class exact sequence, including signatures:The middle map lifts a residue and sign tuple to an element of $K$ by weak approximation theorem, then takes its principal ideal as a ray class. Different lifts differ by a principal ray factor. Its kernel consists exactly of tuples represented by global units. Every ordinary ideal class has a representative prime to the finite modulus, again by weak approximation theorem; this gives surjectivity of the last map. If $U_{\mathfrak{m}}$ denotes the ray units, the kernel of the unit map is $U_{\mathfrak{m}}$. The Chinese remainder theorem and counting units in each prime-power quotient give the ray class number formula

First take $K=\mathbb{Q}(\sqrt{-3})$. Its ring of integers is $\mathbb{Z}[\omega ]$, where $\omega =(-1+\sqrt{-3})/2$ and ${\omega }^2+\omega +1=0$. The Minkowski bound for ideal classes is $(2/\pi )\sqrt{3}<2$, so every ideal class has a representative of norm one and $h_K=1$. Its units are the six roots of unity. Modulo seven, the polynomial $X^2+X+1$ has distinct roots $2,4$, and thereforeThe unit group of this quotient has order $36$. The unit $1+\omega$ maps to $(3,5)$, which has order six; consequently unit reduction is injective and $U_{(7)}=\{1\}$. The ray class number formula gives $36/6=6$.

We also identify the quotient explicitly. Conjugation interchanges the two factors, so the residue norm is $(x,y)\mapsto xy$. Its kernel has order six and equals the image of the six units, since $3\cdot 5=1(\mathrm{mod}7)$. HenceThe field $M=K({\zeta }_7)=\mathbb{Q}({\zeta }_{21})$ has degree six over $K$, since the degrees over $\mathbb{Q}$ are twelve and two. It is unramified outside seven by the cyclotomic computation and the base-change argument above. At primes over seven, $K$ has completion ${\mathbb{Q}}_7$, and $M/K$ is the tame degree-six cyclotomic extension; its conductor exponent is one. Its relative arithmetic Artin symbol at an ideal $\mathfrak{a}$ prime to seven acts byIf $\mathfrak{a}=(a)$ with $a\equiv 1(\mathrm{mod}7{\mathcal{O}}_K)$, then $N_{K/\mathbb{Q}}(a)\equiv 1(\mathrm{mod}7)$. Thus the Artin map kills the principal ray subgroup. It factors through the order-six ray class group; the residue norm quotient computed above shows that it is onto the degree-six Galois group, so the fields coincide. This proves the explicit ray class field of Q of square root minus three modulo seven:

Now take $K=\mathbb{Q}(\sqrt{-6})$, and write $s=\sqrt{-6}$. Its ring of integers is $\mathbb{Z}[s]$, its discriminant is $-24$, and its units are $\pm 1$. The quotient by $(s)$ iswhose two units are both images of $\pm 1$. The ray class exact sequence therefore gives ${\mathrm{Cl}}_{(s)}(K)\cong \mathrm{Cl}(K)$.

For its class number, the Minkowski bound for ideal classes is $(2/\pi )\sqrt{24}<4$, so each ideal class contains an integral ideal of norm at most three. The primes of norms two and three areThese are the only nontrivial possibilities within the bound, and their ideal classes coincide and have order at most two. The ideal ${\mathfrak{p}}_2$ is not principal: its being principal would give an integer solution to $x^2+6y^2=2$, which is impossible. Thus $h_K=2$, the ideal class group is $C_2$, and the ray field is the Hilbert class field.

We verify its actual identity rather than stopping at the degree. PutThe two quadratic fields $\mathbb{Q}(\sqrt{2})$ and $\mathbb{Q}(\sqrt{-3})$ are distinct, so $[H:\mathbb{Q}]=4$ and $[H:K]=2$. The integral elements $1,\sqrt{2},b,\sqrt{2}b$ are a rational basis. Their trace matrix is the Kronecker product of the two quadratic trace matrices, with discriminants $8$ and $-3$. Its determinant is therefore $8^2(-3{)}^2=576$. The discriminant-index formula for an integral lattice shows that the field discriminant divides $576$. On the other hand the relative discriminant ideal formula givesThe norm on the right is a positive integer, so equality is forced. Thus the relative discriminant ideal is the unit ideal, and $H/K$ is unramified at every finite prime. There are no real places of $K$. The extension is quadratic and therefore Abelian; its degree equals $h_K$, identifying it with the Hilbert class field of Q of square root minus six. Hence the ray class field of Q of square root minus six modulo square root minus six is

The hypotheses for Kummer theory are that $n\ge 1$ is prime to the characteristic of $K$ and that all $n$th roots of unity lie in $K$. Under these hypotheses, adjoining radicals produces abelian extensions of exponent dividing $n$, and conversely every such finite extension is obtained this way. The roots-of-unity hypothesis matters: without it, adjoining one radical need not give a Galois extension.

We first prove Hilbert's theorem 90, including its cocycle form. Distinct field automorphisms are linearly independent as functions into the field. Indeed, in a shortest nontrivial relation ${\sum }_i{c}_i{\tau }_i(y)=0$, choose $x$ with ${\tau }_1(x)\ne {\tau }_r(x)$. Subtract ${\tau }_r(x)$ times the relation at $y$ from the relation at $xy$. This eliminates the last term while leaving the first nonzero, contradicting minimality. This is linear independence of distinct field embeddings.

Let $L/K$ be finite Galois with group $G$, and suppose $a_{\sigma }\in L^{\ast }$ satisfy $a_{\sigma \tau }=a_{\sigma }\sigma (a_{\tau })$. By independence of the automorphisms, choose $c\in L$ for whichThenThus every multiplicative cocycle is a coboundary:For a cyclic group generated by $\sigma$ of order $m$, an element $a$ of norm one defines the cocycle $a_{{\sigma }^i}={\prod }_{j=0}^{i-1}{\sigma }^j(a)$; the condition at $i=m$ is exactly $N_{L/K}(a)=1$. HenceThe reverse implication follows by telescoping the product of conjugates.

Now let $\Delta$ be a finite subgroup of $K^{\ast }/K^{\ast n}$ and put $L=K(\sqrt[n]{\Delta })$. Finitely many representatives generate it; since ${\mu }_n\subset K$, the polynomials $X^n-a$ split in $L$ and are separable. Thus $L/K$ is finite Galois. For $\sigma \in G$ and $[a]\in \Delta$, choose ${\alpha }^n=a$ and define the Kummer pairingChanging the root or multiplying $a$ by an $n$th power does not change this value. It is multiplicative in both arguments. Since the radicals generate $L$, it embeds $G$ in $\mathrm{Hom}(\Delta ,{\mu }_n)$. Consequently $G$ is abelian of exponent dividing $n$.

For completeness, establish perfection rather than just this injection. Let ${\Delta }_L$ consist of all classes in $K^{\ast }/K^{\ast n}$ having an $n$th root in $L$. The same construction gives an injective map ${\Delta }_L\to \mathrm{Hom}(G,{\mu }_n)$: the character is trivial precisely when the root lies in $K$. It is surjective by Hilbert 90. Given $\chi :G\to {\mu }_n$, apply the cocycle theorem to $a_{\sigma }=\chi (\sigma {)}^{-1}$; it gives $\sigma (b)/b=\chi (\sigma )$, so $b^n\in K$ and its class has the required character. A finite abelian group of exponent dividing $n$ has as many ${\mu }_n$-characters as elements, by decomposition into cyclic factors. ThereforeIt follows that $\Delta ={\Delta }_L$ andConversely, for any finite abelian $L/K$ of exponent dividing $n$, Hilbert 90 supplies eigenvectors for every character. Their $n$th powers lie in $K$, and the intersection of their character kernels is trivial, so they generate $L$. This proves the Kummer classification and the inclusion-reversing duality between subgroups and intermediate extensions.

The simplest case is a cyclic extension of degree $m\mid n$: it has a generator $\alpha$ with ${\alpha }^m\in K$, and its automorphisms multiply $\alpha$ by $m$th roots of unity. Quadratic extensions in characteristic different from two are the case $n=2$. The cohomological summary is the exact sequence $1\to {\mu }_n\to K_s^{\ast }\stackrel{z\mapsto z^n}{\to }{K}_s^{\ast }\to 1$ together with Hilbert 90, giving $H^1(G_K,{\mu }_n)\cong K^{\ast }/K^{\ast n}$.

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.

The existence theorem of global class field theory, together with reciprocity, gives an inclusion-reversing bijection between finite abelian extensions $L/K$ inside a fixed algebraic closure and open finite-index subgroups of the idèle class group $C_K$. The subgroup for $L$ is $N_{L/K}{C}_L$, andEquivalently, for each modulus $\mathfrak{m}$, subgroups between the ray-principal group $P_K(\mathfrak{m})$ and the ideal group $I_K(\mathfrak{m})$ classify abelian extensions whose conductor divides $\mathfrak{m}$. Their quotients are identified with the corresponding Galois groups by the Artin map. Changing the modulus gives the same extension when the induced congruence subgroup is the same.

The conductor criterion says that a finite place has conductor exponent zero exactly when the extension is unramified there; a real place is absent from the conductor exactly when it stays real. Thus conductor one means unramified at every finite place and no real-to-complex ramification.

Apply the existence theorem to the open subgroup of $C_K$ which is the image ofThe idele-to-ideal map identifies the quotient by this subgroup with the ordinary ideal class group, which is finite. Therefore its class field $H$ exists and satisfiesIts conductor is one, so it is everywhere unramified. Conversely any everywhere-unramified abelian extension has conductor one; its Artin map kills $U$, hence factors through this quotient and corresponds to an extension contained in $H$. This proves that $H$ is exactly the Hilbert class field, the maximal abelian everywhere-unramified extension. Here the ordinary ideal class group is appropriate because the infinite factors include all $K_v^{\ast }$, rather than only the positive real factors used in a narrow ray class group.

Use arithmetic Frobenius automorphisms: residues are raised to the size of the base residue field. Let $S$ contain the finite primes ramified in the finite abelian extension $L/K$. The Artin map is the group homomorphismwhere $I_K^S$ is the group of fractional ideals supported outside $S$. The Artin symbol ${\mathrm{Frob}}_{\mathfrak{p}}$ is independent of the prime above $\mathfrak{p}$, since the extension is abelian. Commutativity makes the displayed extension from prime ideals well defined. Defining this map does not yet assert the Artin reciprocity law, which describes its congruence group kernel.

For an intermediate field $K\subseteq E\subseteq L$, restriction givesTo prove it, start with an unramified prime $\mathfrak{p}$ and a prime of $L$ above it. Its Frobenius automorphism acts on the residue of every integral element of $E$ by raising it to $N\mathfrak{p}$. Its restriction is therefore the Frobenius automorphism for $E/K$ at the restricted prime. The identity for all allowed fractional ideals follows by the group homomorphism property. On Galois groups, restriction is the quotient by $\mathrm{Gal}(L/E)$, so passing to a subextension quotients the Artin map accordingly.

Now let $E/K$ be any finite extension and put $M=LE$. This is the translated extension: $M/E$ is abelian, and restriction identifies $\mathrm{Gal}(M/E)$ with $\mathrm{Gal}(L/(L\cap E))$. A prime $\mathfrak{q}$ of $E$ above a prime $\mathfrak{p}\notin S$ is unramified in $M/E$, because forming a compositum with $E$ preserves an unramified extension. Put $r=f(\mathfrak{q}/\mathfrak{p})$. The residue-field sizes satisfy $N\mathfrak{q}=(N\mathfrak{p}{)}^r$. Consequently the restriction to $L$ of Frobenius at $\mathfrak{q}$ acts on its integral residues by raising them to $(N\mathfrak{p}{)}^r$, givingBut the ideal norm is $N_{E/K}\mathfrak{q}={\mathfrak{p}}^r$. Multiplying this prime-by-prime identity provesThis is restriction and norm compatibility of the Artin map. The fractional ideal $\mathfrak{a}$ must be supported over primes unramified in $L/K$. No assumption that $E/K$ itself is unramified or Galois is needed. With geometric rather than arithmetic Frobenius, both maps are inverted and the compatibility identities remain unchanged.

Let $L/K$ be a finite Galois extension of number fields, with Galois group $G$, and let $\mathfrak{p}$ be a nonzero prime ideal of ${\mathcal{O}}_K$. Write its prime ideal factorization asThe Galois group acts transitively on the primes above $\mathfrak{p}$. One proof uses the Chinese remainder theorem. If $\mathfrak{Q}$ were outside the orbit of $\mathfrak{P}$, choose an integral element $a$ which is zero modulo $\mathfrak{Q}$ and one modulo every conjugate of $\mathfrak{P}$. Its field norm ${\prod }_{\sigma \in G}\sigma (a)$ belongs to $\mathfrak{Q}\cap {\mathcal{O}}_K=\mathfrak{p}$, hence to $\mathfrak{P}$. But each factor is one modulo $\mathfrak{P}$, a contradiction. Transitivity also makes all $e_j$ equal to a common ramification index $e$ and all $f_j$ equal to a common residue degree $f$.

Fix $\mathfrak{P}$ above $\mathfrak{p}$. Its decomposition group is the stabilizerThe orbit-stabilizer theorem gives $|D_{\mathfrak{P}}|=|G|/g$. Elements of $D_{\mathfrak{P}}$ act on the residue field $\kappa (\mathfrak{P})$ over $\kappa (\mathfrak{p})$; the group kernel is the inertia groupThus inertia measures the automorphisms invisible after reduction, whereas decomposition measures all automorphisms preserving the chosen prime.

The completion $L_{\mathfrak{P}}/K_{\mathfrak{p}}$ is a Galois extension with group $D_{\mathfrak{P}}$: preservation of $\mathfrak{P}$ lets an automorphism extend continuously to the completion, and the local embeddings of this normal extension arise in this way. The degree of a field extension formula is $[L_{\mathfrak{P}}:K_{\mathfrak{p}}]=ef$. Reduction gives the exact sequenceFor surjectivity, lift a primitive residue-field generator by the Hensel lemma to obtain the maximal unramified subextension of a local field extension of $L_{\mathfrak{P}}/K_{\mathfrak{p}}$. Its automorphisms are the residue-field automorphisms. They extend to $L_{\mathfrak{P}}$ because the latter is normal. Since a finite residue field extension has a cyclic Galois group of order $f$, the exact sequence yieldsThe fixed field of local inertia is the maximal unramified subextension of a local field extension, and the extension above it is totally ramified. Primes in the same global orbit have conjugate decomposition groups and inertia groups, so the orders do not depend on the chosen prime.

If $e=1$, inertia is trivial and $D_{\mathfrak{P}}$ is generated by the unique Frobenius automorphism acting on residues by $z\mapsto z^{N\mathfrak{p}}$. Its order is $f$. In a ramified extension this residue action determines only a coset modulo inertia. A prime splits completely exactly when $e=f=1$, equivalently its decomposition group is trivial. A totally ramified prime has $g=f=1$ and $I_{\mathfrak{P}}=D_{\mathfrak{P}}=G$; an unramified prime has $I_{\mathfrak{P}}=1$. In an abelian extension, conjugation does nothing, so the associated groups and unramified Artin symbol are independent of the prime above $\mathfrak{p}$.

The Brauer group of a field consists of equivalence classes of central simple algebras, with addition induced by tensor product, zero represented by matrix algebras, and inverse represented by the opposite algebra. Localization sends a global algebra to its scalar extensions at the completions. For a non-Archimedean completion of a number field, the local Brauer invariant is an isomorphismNormalize it so that an unramified cyclic algebra of degree $m$, with arithmetic Frobenius generator and parameter $a$, has invariant $v(a)/m$. For a real completion, $\mathrm{Br}(\mathbb{R})=\mathbb{Z}/2$ with the Hamilton quaternion algebra mapped to $1/2$; for a complex completion the Brauer group is zero.

The global computation is the exact sequence in the Albert-Brauer-Hasse-Noether theorem:Thus a global Brauer class is determined uniquely by a finite-support family of local invariants. Such a family occurs if and only if its sum is zero; at real places the only allowed entries are $0,1/2$, and at complex places the entry is zero. Injectivity is a local-global splitting principle; the middle exactness is the reciprocity constraint; surjectivity of the sum follows already from any one finite local summand. These are separate assertions, not merely different descriptions of the sum formula.

For an explicit group description, choose one finite place $v_0$. Assign arbitrary finite-support invariants at all other finite places and arbitrary allowed invariants at the real places, then set the invariant at $v_0$ equal to minus their sum. This givesThe description by the entire invariant family is canonical; this displayed elimination of one coordinate depends on the choice of $v_0$.

The connection with Artin reciprocity is especially transparent for cyclic algebras. Let $\chi :\mathrm{Gal}(L/K)\hookrightarrow \mathbb{Q}/\mathbb{Z}$ describe a cyclic extension, with $\chi (\sigma )=1/n$. Write $(\chi ,a)$ for the class of $(L/K,\sigma ,a)$. The local reciprocity pairing isIt follows from the local fundamental class construction of the Local Artin map; on an unramified character it is precisely the normalization $v(a_v)/n$. The group kernel in the parameter is the local norm group, and restriction/corestriction give the norm compatibility of this pairing.

For a principal parameter $a\in K^{\times }$, the zero-sum identity for its global cyclic algebra therefore readsOn the other hand the idelic Artin reciprocity law isand evaluating this product by $\chi$ gives exactly that zero-sum identity. Conversely, testing every cyclic character of a finite abelian Galois group separates its elements, so the zero-sum identities for cyclic algebras imply this principal-idele reciprocity law for every finite abelian extension. At almost all places a unit and an unramified character pair trivially, so the sums and products are finite.

The full idelic statement identifies the group kernel as $K^{\times }{N}_{L/K}{J}_L$ and induces $J_K/(K^{\times }{N}_{L/K}{J}_L)\cong \mathrm{Gal}(L/K)$. It explains why the local norm-residue pairings must glue globally. The global Brauer theorem supplies, in addition, the injectivity and realization statements needed to compute all algebra classes; the principal-product identity alone would not prove those statements. For cyclic algebras its injectivity yields the Hasse norm theorem, as in Question 3. In degree two, an invariant is either zero or $1/2$, so the zero-sum law becomes the Hilbert reciprocity law ${\prod }_v(a,b{)}_v=1$. For example, a quaternion algebra over $\mathbb{Q}$ can be ramified at precisely a prescribed finite set of places, including possibly the real place, if and only if that set has even cardinality; the invariants uniquely determine its Brauer class. This illustrates how arithmetic reciprocity becomes a concrete constraint on global algebra structure.

For a number field $K$ and a modulus of a number field $\mathfrak{m}$, let $I_K(\mathfrak{m})$ be the group of fractional ideals prime to its finite part. Let $P_K(\mathfrak{m})$ consist of principal ideals generated by elements congruent to one modulo its finite part and positive at each real place in its infinite part. The ray class group is ${\mathrm{Cl}}_{\mathfrak{m}}(K)=I_K(\mathfrak{m})/P_K(\mathfrak{m})$.

The classification theorem of class field theory asserts the existence of a ray class field $K_{\mathfrak{m}}$ and an Artin map isomorphismIts intermediate fields correspond contravariantly to subgroups of this ray class group. Equivalently, for each congruence subgroup of fractional ideals $P_K(\mathfrak{m})\subseteq H\subseteq I_K(\mathfrak{m})$ there is a unique finite abelian extension with Artin group kernel $H$ and group $I_K(\mathfrak{m})/H$. Every finite abelian extension occurs for some modulus. For a fixed modulus, these are exactly the extensions whose conductor divides that modulus; the same field may be presented using larger moduli, with the appropriate pulled-back group kernel.

We quote the conductor facts needed to specialize this classification. The finite conductor exponent is zero exactly at the unramified primes. A real place occurs in the conductor exactly when it becomes complex. Thus conductor one means unramified at every finite prime and split at every real place. With $\mathfrak{m}=1$ the ray class group is the ordinary ideal class group, so classification gives an extension $H_K/K$ withIt is unramified at all finite primes, and its real places split. Conversely, every finite abelian extension with those properties has conductor one and lies in $K_1=H_K$. This proves the existence and maximality of the ordinary Hilbert class field. Its degree is finite by finiteness of the ideal class group. The real-place convention matters: allowing real places to become complex gives the narrow class field instead; for the imaginary quadratic field in part (ii) this distinction disappears.

The Hilbert class field $\tilde{K}$ is the maximal everywhere unramified abelian extension of the number field $K$, with complete splitting at real places if infinite places are included. Global class field theory gives the canonical Artin reciprocity mapso $[\tilde{K}:K]$ is the class number of $K$.

For an abelian extension $L/K$ of number fields, restriction to an intermediate field takes each Artin symbol to that of the smaller extension. For a finite base extension $E/K$, restriction identifies $\mathrm{Gal}(LE/E)$ with $\mathrm{Gal}(L/(L\cap E))$. At an unramified prime $\mathfrak{q}$ of $E$ above $\mathfrak{p}$, its residue-field Frobenius restricts to the $f(\mathfrak{q}/\mathfrak{p})$th power of the Frobenius automorphism at $\mathfrak{p}$. Since $N_{E/K}\mathfrak{q}={\mathfrak{p}}^{f(\mathfrak{q}/\mathfrak{p})}$, the group homomorphism property proves the displayed identity for fractional ideals supported over unramified primes.