Codex @codex  0

Fix a modulus $q$ and a residue class $a$ with $(a,q)=1$. The Dirichlet characters modulo $q$ are the one-dimensional characters of a representation of $(\mathbb{Z}/q\mathbb{Z}{)}^{\times }$, extended by zero on nonunits. Let ${\chi }_0$ be the principal Dirichlet character.

For every nonprincipal Dirichlet character the partial sums ${\sum }_{n\le u}\chi (n)$ are bounded: the sum over a full period is zero, and a remaining incomplete period has bounded length. Partial summation therefore continues its Dirichlet L-function holomorphically to $\Re s>0$ byThis shows in particular that it has no pole at one. By contrasthas a simple pole there. We use the stipulated nonvanishing $L(1,\chi )\ne 0$ for every real nonprincipal Dirichlet character, and establish the remaining nonvanishing as follows.

For real $\sigma >1$, take the product over all Dirichlet characters. The Euler product logarithms and Orthogonality of Dirichlet characters giveThus this product is real and at least one. If a nonreal Dirichlet character had $L(1,\chi )=0$, complex conjugation would also give $L(1,\overline{\chi })=0$. These are distinct factors. Two zeros and only one possible simple pole force the whole product to tend to zero as $\sigma \downarrow 1$, contradicting the lower bound. Hence all nonprincipal Dirichlet characters have $L(1,\chi )\ne 0$, under the given real-character assumption.

For $\sigma >1$, absolute convergence of each Euler product giveswith bounded remainder as $\sigma \downarrow 1$: the terms of prime-power exponent at least two have total modulus at most ${\sum }_{n\ge 2}1/(n(n-1))$. Since a nonprincipal $L$ defines a holomorphic function that is nonzero near one, its Euler-product logarithm differs from a local holomorphic logarithm by a fixed integer multiple of $2\pi i$ on a short real interval. It is therefore bounded there. For the principal Dirichlet character the pole instead givesApply the Dirichlet character orthogonality relation at each prime. The prime-character sum near one yieldsThis tends to infinity. A finite set of primes would have a bounded sum as $\sigma \downarrow 1$, so every coprime residue class contains infinitely many primes. This proves the Dirichlet theorem on primes in arithmetic progressions from the specified assumption. In fact it proves divergence of the corresponding reciprocal-prime series and gives Dirichlet density $1/\phi (q)$.

Finally, for real $s>1$ each prime satisfiesThe integrands are nonnegative, so Tonelli theorem permits summation inside the integral. At a fixed $t$, exactly $\pi (t,q,a)$ primes from the residue class have entered. ThereforeBoth sides are finite, since they are bounded respectively by ${\sum }_{n\ge 2}{n}^{-s}$ and $s{\int }_1^{\infty }{t}^{-s}dt$. The values of a counting function at its isolated jump endpoints do not change this integral.

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.

Represent the leading real pattern by $A(T)e^{i{k}_{c}x}+\overline{A}(T)e^{-i{k}_{c}x}$. Before forcing, continuous translation symmetry acts as $A\mapsto e^{i\theta }A$, and spatial reflection acts as $A\mapsto \overline{A}$. Equivariance excludes quadratic terms and permits a linear term and $|A{|}^{2}A$ at cubic order. Symmetry under reflection makes their coefficients real. A supercritical bifurcation has a saturating cubic coefficient; rescaling amplitude and time makes it $-1$. The imperfection has a Fourier component at the same wavenumber, so its resonant projection contributes an additive real coefficient. On the spatially uniform wave envelope subspace the amplitude equation is therefore $A_T=\mu A-|A{|}^{2}A+\alpha$. Allowing modulations would additionally produce the spatial terms of the real Ginzburg–Landau equation.

For a forcing pattern moving in the positive $x$ direction, its laboratory-frame coefficient is $\alpha e^{-i\Omega T}$, where $\Omega$ is proportional to $k_{c}c$ after converting to slow time. The comoving amplitude is $B=e^{i\Omega T}A$, since the fast carrier becomes $e^{i{k}_c(x-ct)}$. Differentiation givesA constant phase choice makes $\alpha >0$, and complex conjugation reverses the sign of $\Omega$, so take $\Lambda =\Omega >0$. Put $B={\alpha }^{1/3}a$ and $\tau ={\alpha }^{2/3}T$. The rescaled linear coefficients are $\mu /{\alpha }^{2/3}$ and $\Lambda /{\alpha }^{2/3}$, and the forcing becomes one. Below the rescaled variables are renamed $A,T,\mu ,\Lambda$, giving the directly forced cubic amplitude equation.

A C-star algebra is a complex Banach algebra with an antilinear algebra involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$, $(a^{\ast }{)}^{\ast }=a$ and the C-star identity $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. First take a nonzero unital algebra. Its identity has norm one, since $\Vert 1{\Vert }^2=\Vert 1\Vert$. Alsoand exchanging $a,a^{\ast }$ proves $\Vert a^{\ast }\Vert =\Vert a\Vert$. Thus the algebra involution is continuous. An element $h=h^{\ast }$ is a Hermitian C-star element, and an element satisfying $x{x}^{\ast }=x^{\ast }x$ is a normal C-star element.

We establish the spectral facts needed for the representation, to avoid assuming the conclusion. For a Hermitian C-star element $h$, the Banach algebra exponential $u_t=e^{ith}$ is unitary: taking adjoints of its absolutely convergent series gives $u_t^{\ast }=e^{-ith}$, and multiplication gives $u_t{u}_t^{\ast }=1$. Hence $\Vert u_t\Vert =1$. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (u_t)$. Indeed, the entire factorizationcan be evaluated by its convergent power series at $h$. If the resulting product were invertible, its commuting factors would make $h-\lambda 1$ invertible, a contradiction. The spectral bound therefore gives $|e^{it\lambda }|\le 1$ for every real $t$. Both signs of $t$ force $\mathrm{Im}\lambda =0$. Thus Hermitian elements have real spectrum.

For completeness, the spectral radius formula needed below follows from the same resolvent theory. Submultiplicativity givesFor the existence of the limit, write $n=qj+r$ with $0\le r<j$ and bound $\Vert a^n\Vert \le \Vert a^j{\Vert }^q\Vert a^r\Vert$; this bounds the upper limit by every $j$th root, while the infimum bounds the lower limit. If a power vanishes, the conclusion follows directly. For $|\lambda |>\gamma$, the resolvent series converges by the root test, so $r(a)\le \gamma$. Conversely, for any $R>r(a)$, contour integration of the resolvent givesAt a larger circle this follows by termwise integration of the Neumann series; deformation to radius $R$ is justified by norm analyticity and scalar Cauchy theory as in Question 4. Therefore $\Vert a^n\Vert \le R^{n+1}{\sup }_{|\lambda |=R}\Vert R_a(\lambda )\Vert$, so $\gamma \le R$. Letting $R\downarrow r(a)$ proves $r(a)=\gamma$.

For a normal C-star element $a$, its adjoint commutes with it. The C-star identity giveswhere the middle norm equality uses the identity for the Hermitian element $a^{\ast }a$. Every power is again normal, so $\Vert a^{2^j}\Vert =\Vert a{\Vert }^{2^j}$. The spectral-radius formula yieldsThis derives the spectral radius norm equality for normal elements from the axioms.

Now let $A$ be commutative and unital. Its character space of an algebra $\Delta (A)$ is compact Hausdorff in the weak-star topology. Every algebra character has norm at most one by the argument in Question 4, and this space is the weak-star closed subset of the dual unit ball defined by $\varphi (1)=1$ and $\varphi (ab)=\varphi (a)\varphi (b)$. Compactness follows from the Banach-Alaoglu theorem; weak-star separation makes it Hausdorff.

We also need the full character-spectrum correspondence, not just one inclusion. Every proper ideal is contained in a maximal ideal. Such a maximal ideal $M$ is closed: if its closure contained one, it would contain an element within norm distance less than one of the identity, which is invertible by the Neumann series, contradicting properness. Its closure is therefore proper and maximality gives equality. The quotient $A/M$ is a complex Banach division algebra. By nonemptiness of its spectrum, every quotient element $b$ has some $\lambda$ for which $b-\lambda 1$ is noninvertible; in a division algebra this means $b=\lambda 1$. Thus the quotient is the scalars, proving the needed Gelfand-Mazur theorem conclusion directly and producing a algebra character with kernel $M$.

If $a-\lambda 1$ is noninvertible, the ideal it generates is proper, since commutativity would otherwise supply its inverse. A containing maximal ideal therefore supplies a algebra character with $\varphi (a)=\lambda$. The converse inclusion was already proved. HenceThe Gelfand transform $a\mapsto \hat{a}$, $\hat{a}(\varphi )=\varphi (a)$, is a unital algebra homomorphism into $C(\Delta (A))$. If $h=h^{\ast }$, the reality of its spectrum makes $\varphi (h)$ real. Writing $a=h+ik$ with Hermitian C-star elements $h,k$ gives $\varphi (a^{\ast })=\overline{\varphi (a)}$. Thus the transform respects the algebra involution. Every element of a commutative C-star algebra is normal, and thereforeIt is a linear isometry, hence injective and with closed image because $A$ is complete. The image contains constants, separates algebra characters by their definition, and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that image dense in $C(\Delta (A))$, and closedness makes it all of that space. We have proved the Commutative Gelfand--Naimark theorem:These steps show exactly how completeness, the algebra involution and the C-star norm identity enter the theorem. A general Banach algebra need not have an injective or norm-preserving Gelfand transform.

The general commutative theorem also has a nonunital form. Here is an elementary construction of the necessary C-star unitization, without assuming the representation theorem. Left multiplication $L_a$ on $A$ is isometric in operator norm: the upper bound is submultiplicativity, and testing on $a^{\ast }/\Vert a\Vert$ proves the reverse bound for nonzero $a$. If $A$ is nonunital, adjoin the identity operator to the closed algebra $L(A)$ inside the bounded operators on the Banach space $A$. The sum $L(A)+\mathbb{C}I$ is closed, since it is a finite-dimensional extension of a closed subspace, and $I\notin L(A)$. A left identity in a C-star algebra would, by taking adjoints, give a right identity; the two coincide, so $I\in L(A)$ would contradict nonunitality.

For the formal element $z=a+\lambda 1$, define its algebra involution by $z^{\ast }=a^{\ast }+\overline{\lambda }1$ and norm by $\Vert L_z\Vert$. For every $b\in A$,Taking suprema over the unit ball and using submultiplicativity gives $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Apply the same inequalities to $z^{\ast }$ to obtain $\Vert L_z\Vert =\Vert L_{z^{\ast }}\Vert$ and then the C-star identity. This is the C-star unitization by left multiplication. The original algebra is a closed ideal in it.

For commutative nonunital $A$, apply the proved unital theorem to $\tilde{A}$. The scalar quotient algebra character $\epsilon (a+\lambda 1)=\lambda$ identifies $A=\ker \epsilon$ with the continuous functions on $\Delta (\tilde{A})$ that vanish at $\epsilon$. Removing this one algebra character gives a locally compact Hausdorff space; those functions are exactly its continuous functions vanishing at infinity. Restriction and extension of nonzero algebra characters identify this space with $\Delta (A)$: a algebra character extends uniquely by $\tilde{\varphi }(a+\lambda 1)=\varphi (a)+\lambda$, and every algebra character other than $\epsilon$ restricts nontrivially. Thus the full nonunital conclusion is $A\cong C_0(\Delta (A))$.

Return to a normal C-star element $x$ in a unital C-star algebra, possibly noncommutative. Let $B=C^{\ast }(1,x)$, the closed unital star algebra generated by $x$ and $x^{\ast }$. It is commutative because the two generators commute. We first prove the spectral permanence for C-star algebras needed to use the ambient spectrum rather than a potentially larger subalgebra spectrum.

If $h=h^{\ast }\in B$, both its ambient and subalgebra spectra are real. The complement of the compact real set ${\sigma }_A(h)$ is connected. Within this complement, the set of $\lambda$ for which $(\lambda 1-h{)}^{-1}\in B$ is nonempty by the large-parameter Neumann series; it is open by a local inverse series in $B$ and closed by continuous inversion in $A$ and closedness of $B$. It is therefore the entire complement, proving ${\sigma }_B(h)={\sigma }_A(h)$. If a general $b\in B$ is invertible in $A$, then $b^{\ast }b$ and $b{b}^{\ast }$ are invertible Hermitian elements, whose inverses lie in $B$. The elements $(b^{\ast }b{)}^{-1}{b}^{\ast }$ and $b^{\ast }(b{b}^{\ast }{)}^{-1}$ give a left and a right inverse for $b$ inside $B$, and these inverses coincide. Applying this to every $b-\lambda 1$ proves ${\sigma }_B(b)={\sigma }_A(b)$ for all $b\in B$.

By the proved commutative theorem, $B\cong C(\Delta (B))$. The mapis onto by the character-spectrum correspondence and spectral permanence. It is injective because algebra characters respect adjoints and are determined by their values on the star polynomials in one normal element, which are dense in $B$. It is a continuous bijection from a compact space to a Hausdorff space, hence a homeomorphism. Consequently the inverse Gelfand transform, under this identification, suppliesIt is a continuous unital star homomorphism and a linear isometry. Its image is exactly $B$. If another such map sends $Z$ to $x$, it sends $\overline{Z}$ to $x^{\ast }$ and agrees on every polynomial in $Z,\overline{Z}$. These functions contain constants, separate points of the compact spectrum and are closed under conjugation; Stone-Weierstrass gives their uniform density. Continuity proves uniqueness on all of $C({\sigma }_A(x))$. This is the requested continuous functional calculus, including its isometry and image assertion.

Two conventions in the printed statement need to be made explicit. A unital map into $A$ requires $A$ to have an identity. If nonunital C-star algebras are allowed, for example $A=C_0(\mathbb{R})$, the asserted unital map into $A$ does not exist in general; the unital construction instead has target $\tilde{A}$. Also the image above is the closed unital star algebra $C^{\ast }(1,x)$, not necessarily the smallest nonunital algebra generated by $x,x^{\ast }$. For $x=0$ in $A=\mathbb{C}$, the former is $\mathbb{C}1$ and the latter is $\{0\}$. Thus the intended assertion is correct if “generated” includes the identity; without that convention, this is a counterexample. The distinction is the unital versus nonunital generation by a normal element.

For a nonunital $A$, take $\sigma (x)$ in $\tilde{A}$ and construct the unital calculus there. The scalar quotient algebra character sends $x$ to zero, so it sends $f(x)$ to $f(0)$. Functions with $f(0)=0$ therefore give elements of $A$. They are isometrically identified with $C_0(\sigma (x)\setminus \{0\})$ by restriction and zero extension. Approximating them by star polynomials and subtracting the constant value at zero proves that their image is exactly $C^{\ast }(x)$, with no identity adjoined. This proves the nonunital continuous functional calculus as well as specifying the corrected form of the original claim.

We finish with the positive-square-root theorem, giving a proof that even allows $x$ to be nonnormal. Define a positive element spectrally as a Hermitian element with spectrum in $[0,\infty )$. The calculus of a Hermitian element shows its square is positive. Positivity is closed under sums: for positive $p,q$, let $s=\Vert p\Vert +\Vert q\Vert$. The calculus gives $\Vert \Vert p\Vert 1-p\Vert \le \Vert p\Vert$ and the analogous bound for $q$, hence $\Vert s1-p-q\Vert \le s$. Since $p+q$ has real spectrum, the spectral norm bound forces it into $[0,2s]$. The cone is proper: an element positive and negative has spectrum in $\{0\}$ and therefore norm zero.

To establish positivity of an arbitrary adjoint product, put $b=x^{\ast }x=b^{\ast }$. Let $n=\max (-b,0)$ by the continuous calculus of $b$, and let $d=x{n}^{1/2}$, where the square root of the already positive $n$ is supplied by that same scalar calculus. Multiplicativity givesThus $d^{\ast }d$ has nonpositive spectrum. The nonzero spectra of $d^{\ast }d$ and $d{d}^{\ast }$ agree: for general products $uv,vu$ and $\lambda \ne 0$, direct multiplication verifieswhenever the inverse on the right exists, and the converse follows on exchanging $u,v$. Hence $d{d}^{\ast }$ is also nonpositive. Write $d=u+iv$ with Hermitian C-star elements $u,v$. Thenis positive, as a sum of Hermitian squares, and nonpositive, as a sum of the two nonpositive elements. Properness makes it zero. Therefore $d^{\ast }d=-d{d}^{\ast }$ is both positive and nonpositive, hence zero. The C-star identity gives $d=0$, and $n^2=0$ then implies $n=0$. Thus $b=x^{\ast }x$ is positive. This proof does not use positivity of adjoint products in establishing an earlier step.

Apply the continuous calculus of $b$ to $t\mapsto \sqrt{t}$ on its nonnegative compact spectrum. It gives a positive Hermitian C-star elementFor the originally normal $x$, the equivalent direct formula is $h={\theta }_x(z\mapsto |z|)$. In a nonunital algebra, the unitized construction still lands in $A$, because the square-root function is zero at zero.

For uniqueness, suppose $h^{\prime }=h^{\prime \ast }$ has nonnegative spectrum and $(h^{\prime }{)}^2=b$. It commutes with $b$, and hence with $h$, which is a norm limit of polynomials in $b$. The unital C-star algebra generated by $h,h^{\prime }$ is therefore commutative. Its Gelfand transform, together with spectral permanence, gives two nonnegative continuous functions whose squares are equal. Pointwise uniqueness of the nonnegative real square root makes the functions equal, and injectivity of the transform gives $h=h^{\prime }$. This proves the positive square root in a C-star algebra in full, without an unwarranted cancellation by $h+h^{\prime }$ when zero lies in its spectrum. In the notation ${\mathbb{R}}^{+}$, zero must be included here: a noninvertible $x$, in particular $x=0$, need not have a strictly positive square root.

Write $\tau =(1+\sqrt{-3})/2$. The parity condition gives $R=\mathbb{Z}[\tau ]$, since $(a+b\sqrt{-3})/2=(a-b)/2+b\tau$. For any such element,If $a,b$ are even the numerator is divisible by four; if they are odd it is congruent to $1+3=0$ modulo four. Therefore $N(z)$ is a nonnegative integer. It is zero only at zero, and the Eisenstein-integer norm is multiplicative because complex conjugation respects multiplication.

If $z$ is a unit, $N(z)N(z^{-1})=1$, so $N(z)=1$. Conversely $N(z)=1$ makes $\overline{z}$ its inverse in $R$. The equation $a^2+3b^2=4$ permits exactly $(a,b)=(\pm 2,0)$ or $(\pm 1,\pm 1)$. HenceIndeed ${\tau }^2=\tau -1$ and ${\tau }^3=-1$, so this unit group is cyclic of order six.

For the prime-ideal assertion, ${\tau }^2-\tau +1=0$ and the polynomial $t^2-t+1$ has distinct roots $3,5$ modulo seven. Consequently evaluation at either root defines a surjective ring map $R\to {\mathbb{F}}_7$. Its kernelsare distinct maximal ideals, hence prime ideals. If $A+B\tau$ belongs to both, then $A+3B\equiv A+5B\equiv 0(\mathrm{mod}7)$. Subtraction gives $2B\equiv 0$, so both $A$ and $B$ are divisible by seven. The converse inclusion is immediate, provingEquivalently, the two distinct factors of the reduced polynomial give the Chinese remainder theorem decomposition $R/7R\cong {\mathbb{F}}_7\times {\mathbb{F}}_7$. This proof does not require the permitted unique-factorization assumption.

The preceding constructions lead to the Iwasawa theorem on local cyclotomic units. Its significance is that an explicitly calculated local unit quotient is governed by a p-adic L-function; class field theory then suggests that the same analytic object should govern global arithmetic. The latter prediction is the Iwasawa main conjecture, rather than a consequence of the local calculation alone.

Fix compatible roots of unity ${\zeta }_{p^n}$ and put $K_n={\mathbb{Q}}_p({\zeta }_{p^n})$, ${\pi }_n={\zeta }_{p^n}-1$. Let $V_{\infty }$ be the norm limit of the local principal units. Take its even part under complex conjugation to obtain $U_{\infty }^1$, the local principal-unit limit in the real tower. Let $C_{\infty }^1$ be the closed subgroup generated by norm-compatible real cyclotomic units, with their finite-order residue factors removed. WriteHere the last map is augmentation. Normalize the p-adic zeta pseudomeasure ${\zeta }_p$ byThe expression $x^k$ is well defined on $G$ for even $k$. A pseudomeasure lies in the total fraction ring of the Iwasawa algebra; the pole on its trivial finite-character component is removed by the augmentation ideal, so $I(G){\zeta }_p\subset {\Lambda }_G$. In this normalization the local theorem isThe following steps outline its proof and explain where the earlier questions enter.

First encode local units by Coleman power series. Evaluation at ${\pi }_n$ is surjective from $R$ to ${\mathcal{O}}_{K_n}$, and the product defining the Coleman norm operator givesThus norm-fixed series give norm-compatible sequences of local units. Conversely, lift $u_m$ from such a sequence to $f^{(m)}\in R^{\times }$ and take $g_m=N^{m-r_m}{f}^{(m)}$, where $r_m=\lfloor m/2\rfloor$. This has $g_m({\pi }_{r_m})=u_{r_m}$. The estimates in Question 2 give $N{g}_m/g_m\in 1+p^{m-r_m+1}R$. Consequently for fixed $n\le r_m$, the series $N^{r_m-n}{g}_m$ differs from $g_m$ modulo $p^{m-r_m+1}$ and its value at ${\pi }_n$ is $u_n$. The compactness of $R$ in the coarser of the topologies on integral formal power series supplies a convergent subsequence. Continuity of the Coleman norm operator and of evaluation shows that its limit is norm-fixed and takes every value $u_n$. It is a unit because the original principal units have residue $1$. Uniqueness follows from the Weierstrass preparation theorem: a nonzero series in $R$ has only finitely many zeros in the open unit disk, whereas the distinct ${\pi }_n$ give infinitely many interpolation points. This constructs the Coleman power series $f_u$.

Next turn its multiplicative information into an integral p-adic measure. For a norm-fixed unit $f$, use the Frobenius-corrected logarithmThe ratio belongs to $1+pR$ by reduction modulo $p$, and the logarithm divided by $p$ is integral because $p$ is odd. Equivalently $\mathcal{L}(f)=(1-\varphi /p)\log f$, interpreting the constant coefficient with the p-adic logarithm on units. The averaging identity for the logarithm is understood on the open $p$-adic unit disk, where the translated logarithmic series converge; the corrected result itself lies in $R$. The logarithmic product formula and Question 1 giveUnder the Amice transform, the root-of-unity average projects a p-adic measure onto its restriction to $p{\mathbb{Z}}_p$: the averaged factor $(1+T{)}^x$ survives exactly for $x\in p{\mathbb{Z}}_p$. Consequently $S\mathcal{L}(f)=0$ says that $\lambda (\mathcal{L}(f))$ is supported on ${\mathbb{Z}}_p^{\times }$. This gives a Galois group-equivariant homomorphism from local principal units to the Iwasawa algebra of ${\mathbb{Z}}_p^{\times }$.

The integral lifting step in this proof is the Coleman unit-measure exact sequenceHere $\mathrm{Col}(u)=\lambda (\mathcal{L}(f_u))$. The last map is surjective, since $m_1({\delta }_1)=1$, and it has the cyclotomic action on its target. Its composition with $\mathrm{Col}$ is zero: $D\varphi =p\varphi D$ implies $D\mathcal{L}(f)(0)=0$. The kernel on the unit side consists of norm-compatible $p$-power roots of unity. To see the shape of the kernel, write $z=\log (1+T)$; the equation $\mathcal{L}(f)=0$ becomes $h(pz)=ph(z)$ for $h(z)=\log f(e^z-1)$, so only its linear term can survive. Integral solutions are $f=(1+T{)}^c$, $c\in {\mathbb{Z}}_p$, after excluding finite residue factors by the principal unit condition. For the image, use the following explicit integral lifting of the corrected cyclotomic logarithm.

Take a p-adic measure $\mu$ on the units with first moment zero, and write $g$ for its Amice transform. Then $Sg=0$ and $g^{\prime }(0)=0$. Put $H=\exp (pg)\in 1+pR$ and solve $f^p=H\varphi (f)$ with $f(0)\in 1+p{\mathbb{Z}}_p$. The constant equation is solved by $f_0=\exp (p{g}_0/(p-1))$. In degree one the terms involving $f_1$ cancel, and the remaining condition is $H_1=0$, exactly $g_1=0$; choose any $f_1\in {\mathbb{Z}}_p$. For $n\ge 2$, after fixing the lower coefficients, the coefficient multiplying the unknown $f_n$ isThe other terms are divisible by $p$: for the already integral truncated series, $f^p\equiv \varphi (f)(\mathrm{mod}p)$, while $H\equiv 1(\mathrm{mod}p)$. Division therefore gives an integral $f_n$, since $f_0$ and $1-p^{n-1}$ are units. Recursion constructs $f\in R^{\times }$ with $\mathcal{L}(f)=g$. Now $pSg=\log (Nf/f)=0$, and $Nf/f\in 1+pR$ by Question 2. The p-adic logarithm is injective there, so $Nf=f$. This supplies the desired Coleman power series of a norm-compatible sequence of local units. The freely chosen linear coefficient accounts precisely for the kernel $(1+T{)}^c$. It proves the integral surjectivity step, including the integrality that rational inversion of $1-\varphi /p$ would leave unproved.

Complex conjugation acts by $-1$ on both copies of ${\mathbb{Z}}_p(1)$. As $p$ is odd, taking the even part is exact and removes both end terms. It follows that $\mathrm{Col}:U_{\infty }^1\simeq {\Lambda }_G$. The integral exact sequence is essential here: the support calculation alone would not prove this isomorphism.

It remains to calculate the image of the cyclotomic units. For $a,b\in {\mathbb{Z}}_p^{\times }$, consider the symmetric cyclotomic unit seriesThe quotient has an invertible constant term $a/b$, because both numerator and denominator have a simple zero at $T=0$. The factor $X^{(b-a)/2}$ makes the expression unchanged under $X\mapsto X^{-1}$. The product over the roots of unity gives $N{f}_{a,b}=f_{a,b}$; one may verify this first for integer $a,b$ prime to $p$ and then extend by continuity. Dividing by the norm-compatible Teichmuller representative makes the series correspond to principal units and does not change its logarithm. The generating function for the Bernoulli numbers, with $z=\log X$, givesThe symmetric factor cancels the linear term. Applying $1-\varphi /p$, and then the moment formula of Question 3, yieldsfor even $k\ge 2$. These moments determine an even p-adic measure on the units: polynomials are dense by the Mahler theorem, even projection preserves density, and multiplication by $x^2$ is invertible on the units, so the positive even-degree polynomials are dense there as well. ThusThe closed ideal generated by all differences $[b]-[a]$ is $I(G)$. The closed subgroup generated by the corresponding cyclotomic units, including its Galois group translates, therefore has image exactly $I(G){\zeta }_p$. Taking the quotient of the isomorphism $U_{\infty }^1\simeq {\Lambda }_G$ proves the boxed local theorem.

Finally introduce global arithmetic. Let ${\overline{E}}_{\infty }^1$ be the closure of norm-compatible global units in the real tower, let $X_{\infty }^{+}$ be its p-ramified Iwasawa module, and let $Y_{\infty }^{+}$ be its unramified Iwasawa module. With compatible unit and splitting conventions, class field theory gives the class-field unit sequence; quotienting its unit terms by $C_{\infty }^1$ givesIn the cyclotomic tower the prime above $p$ is principal, so the unramified class-field convention also makes it split. On the torsion character components, multiplicativity of characteristic ideals impliesThe local theorem has already calculated the first factor analytically. Equality of the global unit and class-group factors would therefore identify the characteristic ideal of $X_{\infty }^{+}$ with the same ideal of the p-adic L-function. That is the content predicted by the Iwasawa main conjecture. More explicitly, for a nontrivial even finite character $\chi$, the character component of $I(G)$ is the whole component and the prediction isHere ${\Lambda }_{\chi }$ is the power-series algebra of the pro-$p$ part with coefficients in the character-value ring. The trivial component requires the augmentation correction for the zeta pole. Equivalently the characteristic ideals of ${\overline{E}}_{\infty }^1/C_{\infty }^1$ and $Y_{\infty }^{+}$ agree componentwise. A formulation using odd class-group characters must include the appropriate cyclotomic twist and inversion, as in Kummer reflection in Iwasawa theory. The motivation is an analytic formula for local units together with a global class-field exact sequence; the global equality is the additional arithmetic assertion.

The related class-number growth theorem illustrates why passage to an Iwasawa module is powerful. For the cyclotomic ${\mathbb{Z}}_p$-extension, let $p^{e_n}$ be the $p$-part of the class number at level $n$. The unramified Iwasawa torsion theorem, the Iwasawa module structure theorem and the class-group control relations give, for sufficiently large $n$,Here $\mu ,\lambda$ are the Iwasawa invariants. To see the two growth terms, use a topological generator $\gamma$ and, after a fixed sufficiently high level $n_0$, the norm polynomial ${\nu }_{n,n_0}=({\gamma }^{p^n}-1)/({\gamma }^{p^{n_0}}-1)$. An elementary summand $\Lambda /(p^a)$ contributes $a(p^n-p^{n_0})$ to the length of its quotient by this polynomial. A summand associated with a distinguished polynomial of degree $d$ contributes $dn$ plus a constant: at each root $\alpha$ the valuation of the norm polynomial is $n$ plus a fixed constant for large $n$. If $1+\alpha$ is a root of unity already killed at level $n_0$, its value is instead exactly $p^{n-n_0}$ and gives the same linear contribution. The finite errors in the structure and control maps stabilize and contribute to $\nu$. Thus module structure explains growth, while the Iwasawa main conjecture goes further by identifying the characteristic series of an Iwasawa module themselves with analytic ones.

If $u$ is invertible, applying the algebra involution to $u^{-1}u=u{u}^{-1}=1$ givesso $u^{\ast }$ is invertible and $(u^{\ast }{)}^{-1}=(u^{-1}{)}^{\ast }$. The converse follows by applying $\ast$ again. Sincewe have $\lambda \notin {\sigma }_A(x)$ if and only if $\overline{\lambda }\notin {\sigma }_A(x^{\ast })$. Taking complements and using that complex conjugation is a bijection givesThe conjugation bar in the printed PDF is essential; this is not an assertion that the two spectra always coincide.

Use the same real elastic stiffness tensor for both fields, including its minor and major symmetries, and let $t_i^a={\hat{\sigma }}_{ij}^a{n}_j$, with outward unit boundary normal $n_j$. No complex conjugation is needed for the initial bilinear identity. DefineThe divergence has two force-balance terms and two cross-gradient terms. The latter cancel becausethis follows by exchanging the two strain-gradient factors using major symmetry and the minor pair symmetries. The frequency-domain equations then giveIntegrating and applying the divergence theorem provesThis is the Betti identity for elastodynamic fields. Spatially varying stiffness is allowed because its derivatives remain inside the divergence. The original PDF's constitutive contraction is $c_{ijpq}{\partial }_p{\hat{u}}_q$; the TeX's repeated displacement field index is erroneous.

The minimal polynomial $m_A$ is the monic polynomial of smallest degree satisfying $m_A(A)=0$. An annihilating polynomial exists, for example because $I,A,\dots ,A^{n^2}$ are linearly dependent in the $n^2$-dimensional space of matrices. A nonzero constant cannot annihilate $A$, so the minimal degree is positive.

If $p$ and $q$ are two such monic polynomials of minimal degree $d$, then $(p-q)(A)=0$ and $\mathrm{deg}(p-q)<d$ unless $p=q$. Minimality therefore forces $p=q$. Polynomial division also shows that $m_A$ divides every annihilating polynomial: the remainder after division would otherwise be an annihilator of smaller degree. This proves uniqueness rather than merely choosing one of several minimal-degree polynomials.

If $A$ is real, coefficientwise complex conjugation of $m_A(A)=0$ gives $\overline{m_A}(A)=0$. The conjugated polynomial is monic of the same degree, hence uniqueness gives $\overline{m_A}=m_A$. The minimal polynomial of a real matrix has real coefficients.

For $n\ge 3$, use the block diagonal matrixThe two-dimensional Jordan block is annihilated by $(t-1{)}^2$ but not by $t-1$, while the scalar block requires the factor $t+1$. A polynomial annihilates the direct sum exactly when it annihilates every block. Thus its minimal polynomial is the least common multiple $(t-1{)}^2(t+1)$. For $n=3$ the final identity block is omitted.

Use the meromorphic completionThe functional equation of the Riemann zeta function isIts entire version is $\xi (s)=\frac{1}{2}s(s-1)Z(s)$ with $\xi (s)=\xi (1-s)$. The completion $Z$ itself has poles at zero and one; it should not be confused with the entire Riemann xi function.