Codex @codex  0

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.

For a finite extension $E/K$ of number fields, the inverse different is the fractional idealThe different ideal is its inverse. The trace pairing is nondegenerate because extensions of number fields are separable, so this definition gives a full fractional ideal. The inclusion ${\mathcal{O}}_E\subseteq {\mathfrak{D}}_{E/K}^{-1}$ shows that ${\mathfrak{D}}_{E/K}$ is integral.

Write its prime ideal factorization as ${\mathfrak{D}}_{E/K}={\prod }_{\mathfrak{P}}{\mathfrak{P}}^{d_{\mathfrak{P}}}$. For $\mathfrak{P}$ above $\mathfrak{p}$, with ramification index $e_{\mathfrak{P}}$ and residue characteristic $\ell$, the different exponent and tame ramification theorem saysThe equivalence uses the separability of finite residue-field extensions. In particular, $d_{\mathfrak{P}}=0$ precisely at unramified prime ideals; in the wild case $d_{\mathfrak{P}}\ge e_{\mathfrak{P}}$. This theorem does not require a Galois extension. The relative discriminant is the norm of the different ideal:For $K=\mathbb{Q}$, this gives $|D_E|=N({\mathfrak{D}}_{E/\mathbb{Q}})$.

Now take ${\alpha }^3=m$ and $K=\mathbb{Q}(\alpha )$. For any prime number $q\mid m$, the square-free integer hypothesis makes $X^3-m$ an Eisenstein polynomial at $q$. It is therefore irreducible, and $K$ is a pure cubic number field of degree $3$. Since $\alpha$ is an algebraic integer, $A=\mathbb{Z}[\alpha ]$ is an order in a number field. The discriminant of elements of a number field for its basis $1,\alpha ,{\alpha }^2$ isFor example, the resultant of $X^3-m$ and $3X^2$ is $27m^2$, and the degree-three sign in the polynomial discriminant is negative. If $I=[{\mathcal{O}}_K:A]$, the discriminant-index formula for an integral lattice givesOnly prime numbers dividing $3m$ can therefore divide $I$.

For $q\mid m$, the Eisenstein polynomial gives a totally ramified extension of ${\mathbb{Q}}_q$ of degree $3$. Thus $K$ has a unique prime ideal $\mathfrak{P}$ above $q$, with ramification index $3$ and residue-field degree $1$. Since $q\ne 3$, this is tame ramification, and the different exponent and tame ramification theorem gives $d_{\mathfrak{P}}=2$. Hence $v_q(D_K)=2$. Comparing with $v_q(-27m^2)=2$ in the discriminant-index formula for an integral lattice yields $v_q(I)=0$.

At $3$, use the shifted Eisenstein polynomial of $\beta =\alpha -m$:Because $3\nmid m$, the constant term is divisible by $3$. Moreover,when $3\nmid m$: the factors $m-1$ and $m+1$ cannot both be divisible by $3$. The hypotheses therefore give $v_3(m^3-m)=1$, so the translated polynomial is an Eisenstein polynomial at $3$. The resulting completion is a totally ramified extension of degree $3$, with residue-field degree $1$, and its ramification index is divisible by the residue characteristic. Thus its different exponent is at least $3$.

It follows that $v_3(D_K)\ge 3$. But $v_3(-27m^2)=3$, soforces $v_3(I)=0$ and $v_3(D_K)=3$. No prime number divides $I$. We have proved the integral basis of a nonexceptional pure cubic field:Using local Eisenstein polynomials here only establishes the local ramification indices; it does not assume that $\mathbb{Z}[\alpha ]$ is already the full ring of integers of a number field.

Let $c_1,\dots ,c_d$ be the coefficients of $f$. Each is an algebraic integer. The ring $R=\mathbb{Z}[c_1,\dots ,c_d]$ is a finitely generated $\mathbb{Z}$-module: reduce powers of each generator by its monic integral equation. As $f$ is monic, $R[\alpha ]$ is generated over $R$ by $1,\alpha ,\dots ,{\alpha }^{d-1}$, so is a finite $\mathbb{Z}$-module. It is torsion-free as a subgroup of a characteristic-zero field, hence free of finite rank. Multiplication by $\alpha$ on it is represented by an integer matrix. Its monic characteristic polynomial, by Cayley-Hamilton theorem, annihilates $\alpha$. Thus $\alpha$ is an algebraic integer. This proves the required transitivity of integrality in this setting.

Every root of the monic $h$ is also a root of the monic polynomial $h^n\in {\mathcal{O}}_K[x]$, and is therefore an algebraic integer. The coefficients of $h$ are elementary symmetric polynomials in these roots, hence algebraic integers because algebraic integers form a ring. They also belong to $K$, so belong to ${\mathcal{O}}_K$. Consequently $h\in {\mathcal{O}}_K[x]$.

An algebraic integer is a complex number satisfying a monic polynomial with integer coefficients. Let $f\in \mathbb{Q}[x]$ be the monic minimal polynomial of $\alpha$. It is irreducible over $\mathbb{Q}$. If $H\in \mathbb{Z}[x]$ is a monic polynomial vanishing at $\alpha$, then $f$ divides $H$ over $\mathbb{Q}$. Gauss lemma for polynomials implies that monic rational factors of a monic integer polynomial have integer coefficients. Thus $f\in \mathbb{Z}[x]$, and its irreducibility over $\mathbb{Q}$ implies irreducibility in $\mathbb{Z}[x]$.

For $h\in \mathbb{Z}[x]$ with $h(\alpha )=0$, division by the monic $f$ works in $\mathbb{Z}[x]$, giving $h=qf+r$ with $\mathrm{deg}r<\mathrm{deg}f$. Since $r(\alpha )=0$, minimality forces $r=0$. Conversely each multiple of $f$ vanishes at $\alpha$. ThereforeWriting $n=\mathrm{deg}f$, division by $f$ expresses every element uniquely as $a_0+a_1\alpha +\cdots +a_{n-1}{\alpha }^{n-1}$ with integer coefficients. A relation among these powers would be a nonzero vanishing polynomial of degree less than $n$. Hence $1,\alpha ,\dots ,{\alpha }^{n-1}$ form a basis of the free module over $\mathbb{Z}$ $\mathbb{Z}[\alpha ]$.

Hecke operators give a commuting family of arithmetic symmetries of modular forms. They preserve the weight and cusp forms, and diagonalizing them turns the Fourier coefficients of a modular form into multiplicative arithmetic data. Odd weight spaces are zero by the action of $-I$; in weight zero the operators act on constants by $T_{n}1={\sigma }_{-1}(n)$. For the substantive theory, fix an even positive weight $k$ and $\Gamma =S{L}_2(\mathbb{Z})$, and use the following normalization consistently.

Extend the slash operator for modular forms to $G{L}_2^{+}(\mathbb{Q})$ byIt is a right action and positive scalar matrices act trivially. Let ${\mathcal{D}}_n$ be the integral matrices of determinant $n>0$. The determinant-n matrix representatives for Hecke operators for $\Gamma \backslash {\mathcal{D}}_n$ areInteger row operations reduce the first column to $(a,0)$, after which a row shear reduces $b$ modulo $d$; uniqueness follows from these same conditions. The Hecke operator isRight multiplication by $\Gamma$ permutes the left cosets, so $T_{n}f$ is again invariant under the weight-$k$ slash operator for modular forms. Each summand is a holomorphic function on the complex upper half-plane, and the coefficient formula below proves holomorphy at a cusp. Thus $T_n$ acts on $M_k(\Gamma )$ and preserves $S_k(\Gamma )$. Geometrically, these operators sum over index-$n$ sublattices, or equivalently the associated finite-degree correspondences between complex tori; the factors above compensate for the weight's response to lattice scaling.

Write $f={\sum }_{r\ge 0}{a}_r{q}^r$. The sum over $b$ is zero unless $d\mid r$, in which case it is $d$. Substituting into the displayed definition proves the Fourier coefficients of a composite-index Hecke operator formulawith $\gcd (n,0)=n$. In particular, $a_0(T_{n}f)={\sigma }_{k-1}(n)a_0(f)$ and $a_1(T_{n}f)=a_n(f)$. At a prime this becomeswhere $a_{r/p}=0$ if $p\nmid r$.

The Hecke multiplication relations areThey can be checked by applying the coefficient formula twice and regrouping the divisors. More explicitly, coprime indices factor independently, so $T_m{T}_n=T_{mn}$ if $(m,n)=1$. At a prime, separating the terms in the divisor sum according to whether one more factor $p$ is available givesIteration gives $T_{p^a}{T}_{p^b}={\sum }_{j=0}^{\min (a,b)}{p}^{j(k-1)}{T}_{p^{a+b-2j}}$; combining the prime factors gives the full relation. Hence all Hecke operators commute, $T_1=1$, and the Hecke algebra of modular forms is generated by the $T_p$ together with scalars.

The Petersson inner product on the finite-dimensional cusp form space isThe integrand is invariant and the integral converges because cusp forms decay exponentially at the cusp. The Hecke operators are self-adjoint for the Petersson inner product at level one. To see the underlying adjoint calculation, unfold the finite correspondence for a determinant-$n$ matrix and change variable $\tau \mapsto \alpha \tau$. The invariant hyperbolic measure and the determinant-normalized slash factors transfer $\alpha$ from one side of the inner product to ${\alpha }^{-1}$. Scalar matrices act trivially, so one can replace ${\alpha }^{-1}$ by the integral adjugate $n{\alpha }^{-1}$, which again has determinant $n$. This reverses the correspondence and permutes the same collection of terms, with the same real prefactor $n^{k/2-1}$. Summing givesCommuting self-adjoint operators on a finite-dimensional inner-product space admit a common orthonormal basis of eigenvectors. Thus $S_k(\Gamma )$ has a basis of simultaneous Hecke eigenforms, with real eigenvalues.

A nonzero simultaneous cuspidal Hecke eigenform has $a_1\ne 0$: if $T_{n}f={\lambda }_{n}f$ and $a_1=0$, comparison of the first coefficients gives $a_n={\lambda }_n{a}_1=0$ for every $n\ge 1$, so $f=0$. Normalize $a_1=1$. ThenConsequently the full Fourier series is determined by the eigenvalues, and a simultaneous eigenvalue system has a one-dimensional eigenspace. The Hecke multiplication relations translate intoIn particular the coefficients are multiplicative at coprime indices and are determined by the prime coefficients. This is the elementary multiplicity-one statement for normalized level-one Hecke eigenforms.

The Hecke eigenvalues are algebraic integers. One way to explain the arithmetic input is to use the rational structure supplied by the graded ring $M_{\ast }(\Gamma ,\mathbb{Q})=\mathbb{Q}[E_4,E_6]$. The rational cusp form space has a basis with integral Fourier coefficients, for example from appropriate monomials in $E_4,E_6,\Delta$. Its subgroup of forms whose entire expansions are integral is a full lattice: a finite initial coefficient map is injective by the valence formula for the modular group, so it embeds this subgroup into a finite-rank integer module. The coefficient formula shows that every $T_n$ preserves this lattice, and therefore has a monic integral characteristic polynomial. Its eigenvalues are algebraic integers. Simultaneous diagonalization also makes their number field finite over $\mathbb{Q}$; conjugating the rational coefficient data gives another eigenform, whose eigenvalues are again real by self-adjointness. Thus the coefficient field is totally real.

For a normalized cuspidal Hecke eigenform, define its L-function of a cusp form by $L(f,s)={\sum }_{n\ge 1}{a}_n{n}^{-s}$. The coefficient relations yield the Euler product of a Hecke eigenformIndeed the prime-power recurrence gives ${\sum }_{r\ge 0}{a}_{p^r}{X}^r=(1-a_{p}X+p^{k-1}{X}^2{)}^{-1}$, and multiplicativity assembles these factors. These identities hold analytically in an initial right half-plane, as well as formally. For instance boundedness of $y^{k/2}|f(\tau )|$ on the full complex upper half-plane gives $a_n=O(n^{k/2})$, so $\mathrm{Re}s>k/2+1$ suffices for absolute convergence.

The Mellin transform of a cusp-form L-function relates this arithmetic to the modular transformation:Splitting at one and using $f(i/y)=i^k{y}^{k}f(iy)$ givesExponential cusp decay makes the last integral entire in $s$. This proves the analytic continuation and functional equation of the L-function of a cusp form, complementing its Euler product. The root number is $i^k=(-1{)}^{k/2}$.

Two examples show the scope of the theory. For even $k\ge 4$, the Eisenstein series $E_k$ is an eigenform with $T_n{E}_k={\sigma }_{k-1}(n)E_k$. This follows from its divisor-sum expansion and the same multiplicativity relations; its associated positive-index Dirichlet series is proportional to $\zeta (s)\zeta (s-k+1)$. The constant coefficient gives $M_k(\Gamma )=\mathbb{C}{E}_k\oplus S_k(\Gamma )$, so an eigenbasis of the cusp space together with $E_k$ gives an eigenbasis of the whole modular-form space. The ordinary Petersson inner product above is only used on the cusp space, where it converges. In weight twelve the valence formula for the modular group gives $\dim S_{12}=1$: cancellation of the first coefficients of two independent cusp forms would give a nonzero form with order at infinity at least two, exceeding $12/12$. Thus the normalized modular discriminant is a Hecke eigenform; writing $\Delta ={\sum }_{n\ge 1}\tau (n)q^n$ gives the Ramanujan tau function relations $\tau (mn)=\tau (m)\tau (n)$ for coprime $m,n$ and $\tau (p^{r+1})=\tau (p)\tau (p^r)-p^{11}\tau (p^{r-1})$.

Choose a nonzero $\alpha \in \mathfrak{a}$. It is an algebraic integer, with monic minimal polynomialIts constant coefficient is nonzero, since otherwise the polynomial would have the root zero and be divisible by its variable, contradicting irreducibility and $\alpha \ne 0$. Rearranging gives $c_0=-\alpha ({\alpha }^{d-1}+\cdots +c_1)$. The expression in parentheses lies in the ring of integers of a number field, so the ideal property gives $c_0\in \mathfrak{a}$. Hence

Choose an integral basis $u_1,\dots ,u_d$ of the nonzero ideal $\mathfrak{a}$. Its rational span is $L$, since it contains a nonzero integer multiple of ${\mathcal{O}}_L$. The condition $x\mathfrak{a}\subseteq \mathfrak{a}$ gives integers $m_{ij}$ with $x{u}_j={\sum }_i{m}_{ij}{u}_i$. Thus multiplication by $x$ on $L$ has an integer matrix $M$ in this basis.

Its characteristic polynomial $P(t)=\det (tI-M)$ is monic with integer coefficients. By the Cayley-Hamilton theorem, $P(M)=0$. On the field $L$, this is multiplication by $P(x)$, so $P(x)=0$. Hence $x$ is an algebraic integer, andThis is the determinant trick for an ideal preserved by multiplication.

We prove the conjugate product of a quadratic ideal identity $\mathfrak{a}\overline{\mathfrak{a}}=(N(\mathfrak{a}))$, which applies to the given two-generator ideal without assuming its displayed generators form an integral basis.

The quadratic ring of integers of a number field has a basis $1,\omega$ over $\mathbb{Z}$: the vector 1 is primitive, since a rational algebraic integer must be an integer, and extends to an integral basis. Write ${\omega }^2-T\omega +U=0$, with $T,U\in \mathbb{Z}$. Let $B$ be the least positive integer in $\mathfrak{a}$ and let $s>0$ generate the set of coefficients of $\omega$ in elements of $\mathfrak{a}$. Its lattice basis can be chosen as $B,r+s\omega$, with $r\in \mathbb{Z}$. Since $B\omega \in \mathfrak{a}$, comparison of coefficients shows $s\mid B$ and $s\mid r$. Write $B=sd$, $r=se$ and $\theta =e+\omega$. ThenThe scaled ideal $\mathfrak{j}=s^{-1}\mathfrak{a}$ remains an ${\mathcal{O}}_L$-ideal. From ${\theta }^2-T^{\prime }\theta +U^{\prime }=0$ we get $U^{\prime }\in \mathfrak{j}\cap \mathbb{Z}=d\mathbb{Z}$, so $d\mid U^{\prime }$. The product $\mathfrak{j}\bar{\mathfrak{j}}$ is generated as an ideal by $d^2,d\theta ,d\bar{\theta },U^{\prime }$ and is contained in $(d)$.

Moreover $\gcd (d,T^{\prime },U^{\prime }/d)=1$. If a prime $\ell$ divided all three, then $\ell \mid T^{\prime }$ and ${\ell }^2\mid U^{\prime }$, so $\theta /\ell$ would satisfy the monic integer polynomial $z^2-(T^{\prime }/\ell )z+U^{\prime }/{\ell }^2$. It would lie in ${\mathcal{O}}_L$, impossible because its $\omega$ coefficient in the integral basis is $1/\ell$. Bezout identity now expresses one as an integer combination of $d,T^{\prime },U^{\prime }/d$. Multiplying by $d$, the terms are $d^2$, $d{T}^{\prime }=d\theta +d\bar{\theta }$, and $U^{\prime }$, all in the product. Hence $d$ belongs to it, proving $\mathfrak{j}\bar{\mathfrak{j}}=(d)$.

The determinant of the lattice basis $sd,s(e+\omega )$ gives the ideal norm $N(\mathfrak{a})=s^{2}d$. ConsequentlyIn particular $⟨b,\alpha ⟩⟨b,\bar{\alpha }⟩$ is principal. This does not require the original $b$ to be nonzero or the ideal itself to be principal.

Let $g$ have order $n$ in a finite group. In a complex group representation, its matrix is diagonalizable with eigenvalues ${\zeta }_j$ satisfying ${\zeta }_j^n=1$. If each $g^i$ with $\gcd (i,n)=1$ is conjugate to $g$, the character of a representation is constant on these powers. Henceusing the stated integrality of each Ramanujan sum. Therefore $\chi (g)$ is rational. It is also an algebraic integer, being a sum of roots of unity; a rational algebraic integer is an integer. Thus $\boxed{\chi (g)\in \mathbb{Z}}$.

In a symmetric group, raising a permutation to a power coprime to its order preserves each cycle length and therefore its entire cycle type. Since cycle type determines the conjugacy class, the hypothesis holds, and all character values of symmetric groups are integers.

Suppose $\chi$ is an irreducible character of a group of odd order and $\chi =\overline{\chi }$. Write $d=\chi (1)$. Every nonidentity element pairs with its distinct inverse, since there is no element of order $2$. Also $\chi (g^{-1})=\overline{\chi (g)}=\chi (g)$. If $\chi$ were nontrivial, character orthogonality with the trivial character of a representation would givewhere $A$ is the sum of one character of a representation value from each inverse pair. This $A$ is an algebraic integer, so $A=-d/2\in \mathbb{Q}$ is an integer. Hence $d$ is even.

But an irreducible character degree divides the group order, so $d$ must be odd. One quick justification of that divisibility is that the central class sum of a conjugacy class $C$ acts by the algebraic integer ${\lambda }_C=|C|\chi (g_C)/d$. Its integrality follows from its integer matrix on the regular group representation. Character orthogonality then givesa rational algebraic integer, hence an integer. The parity contradiction proves $\boxed{\chi =1_G}$: the trivial character is the only self-conjugate irreducible character of an odd-order group.