Codex @codex  0

Here $n$ is a positive integer and $m$ is an integer index of a Fourier coefficient. Split a period into $n$ intervals and set $y=nx-2\pi j$ on the $j$th interval. Periodicity and integrability giveFor $0<|m|<n$, $\zeta =e^{2\pi im/n}$ is a root of unity different from one and satisfies ${\zeta }^n=1$, so ${\sum }_{j=0}^{n-1}{\zeta }^j=(1-{\zeta }^n)/(1-\zeta )=0$. ThereforeFor $m=0$ the same substitution gives ${\int }_{\mathbb{T}}f(nx)dx={\int }_{\mathbb{T}}f(x)dx$. If the mean of $f$ is zero, this last mode vanishes as well. Since the linear span of the exponentials with $|m|\le n-1$ is the space of trigonometric polynomials of degree at most $n-1$, every pairing with that space is zero. This is the periodic dilation annihilates low Fourier modes property. The integer-index assumption is essential; the stated Fourier orthogonality would generally be false for noninteger $m$.

First interpret the decimal expansions as fractional expansions $0.d_1{d}_2\cdots$, with every $d_j\in \{4,5\}$. The resulting set $X_0$ is compact: a diagonal subsequence argument selects successively stabilized digits from any sequence in $X_0$, and the tail bound ${\sum }_{j>m}9\cdot 10^{-j}=10^{-m}$ proves convergence to the corresponding expansion.

It has empty interior. At level $m$ its points lie in $2^m$ decimal intervals, each of length $10^{-m}$, whose total length is $(1/5{)}^m$. An interval of positive length could not lie in all these covers. Thus $X_0$ is closed and nowhere dense. Each translate $X_0+q$ is also nowhere dense, and the rational numbers are countable. The Baire category theorem applied to $\mathbb{R}$ yieldsAny point in this complement has the required property. If the printed description also permits integer digits before the decimal point, there are only countably many such integer parts, and negative expansions merely add reflected translates. This makes $X$ a countable union of translates or reflections of $X_0$. The same countable-union argument therefore still proves that some real $t$ cannot be written as $x+q$.

Set $r=p/q$. If $r\notin [1,2]$, then $|\sqrt{2}-r|\ge \sqrt{2}-1>1/4\ge 1/(4q^2)$. If $1\le r\le 2$, irrationality of the square root of two implies that the integer $2q^2-p^2$ is nonzero. Factoring a difference of squares therefore givesThus the requested bound holds for every integer $p$ and every nonzero integer $q$, without using the Liouville approximation theorem. For completeness, irrationality follows because $p^2=2q^2$ in lowest terms would make $p$ even and then $q$ even, contradicting coprimality.

Fix a Hankel contour with a positive-radius circle around zero and a branch $-\pi <\arg t<\pi$, traversing the lower bank inwards and the upper bank outwards. Write its numerator as $I(z)={\int }_H{t}^{z-1}{e}^{t}dt$. For fixed circle radius, $I$ is an entire function of $z$: the finite contour pieces avoid zero, and the tails converge uniformly on compact $z$ sets by exponential decay, also after differentiation with respect to $z$.

At $z=-n$, the two straight-bank contributions cancel because $t^{-n-1}{e}^t$ is single-valued. The remaining circle is positively oriented, so the residue theorem and the exponential series giveSince $\sin (\pi z)=(-1{)}^n\pi (z+n)+O((z+n{)}^3)$, the quotient has the simple poleFor cancellation of positive-integer gamma singularities on a Hankel contour, at a positive integer $n$, the integrand $t^{n-1}{e}^t$ is entire and its bank contributions again cancel; its circular integral is zero. Hence $I(n)=0$. The numerator is analytic near $n$, while the denominator has a simple zero with nonzero derivative. Factoring $I(z)=(z-n)J(z)$ therefore cancels that zero, proving there is no pole at a positive integer using only this representation. Cancellation of the numerator, not merely the zero of the sine, decides the issue. One can also shrink the contour for $\Re z>0$, obtaining $I(z)=2i\sin (\pi z){\int }_0^{\infty }{u}^{z-1}{e}^{-u}du$ and hence the finite value $(n-1)!$.

For a bound state take $b>0$ and set $\psi (r)=e^{-br}v(r)$. Substitution into the radial equation and cancellation of the common exponential giveSeek a power series $v(r)={\sum }_{j\ge 0}{c}_j{r}^j$ with $c_0\ne 0$. Equating coefficients of $r^j$ yields the polynomial construction of hydrogen S states recurrenceFor any integer $N\ge 1$, choose $b=a/(2N)$. The numerator vanishes at $j=N-1$, while it is nonzero for $j<N-1$, so $v$ is a nonzero polynomial of degree $N-1$. Therefore $\psi$ is continuous at $r=0$ and decays exponentially as $r\to \infty$. The three-dimensional normalization integral isIt is finite near zero because $\psi$ is bounded, and finite at infinity because an exponential dominates every polynomial. Multiplying by its positive reciprocal square root gives a normalizable, nonzero wavefunction. The recurrence ensures the differential equation for $r>0$; at the singular endpoint the regular continuous extension has $2{\psi }^{\prime }(0)+a\psi (0)=0$, so the potentially singular coefficient cancels. No nonexistent value of $1/r$ at zero is substituted.

Since $E=-{\hslash }^2{b}^2/(2m)$, the choice of $b$ givesFor $N=1$, the normalized example is $\psi (r)=\sqrt{b^3/\pi }{e}^{-br}$. For $N=2$, $v(r)$ is proportional to $1-br$. These illustrate the polynomial-times-exponential Coulomb bound states produced for every required energy. The radial derivative at the origin is generally nonzero, a Coulomb cusp consistent with the requested continuity.

Until the first visit to zero, the positive-side chain is a nearest-neighbour random walk with upward probability $2/3$ and downward probability $1/3$. For an integer $m>1$, let $h_i^{(m)}={\mathrm{Pr}}_i(T_0<T_m)$, $0\le i\le m$. The Markov property givesThe characteristic roots of this recurrence are $1$ and $1/2$. Solving its two boundary equations gives the biased gambler's ruin probabilityA finite path that reaches zero has a finite maximum before doing so, and is counted by $\{T_0<T_m\}$ for every sufficiently large $m$. Conversely each such event implies a visit to zero. Therefore these events increase to $\{T_0<\infty \}$, and continuity of probability givesMore generally the hitting probability from $i>0$ is $2^{-i}$. The finite-boundary derivation avoids choosing an unjustified solution of the infinite recurrence.

Change the generators to $a=m_1$, $b=m_3-m_2$ and $c=m_2$. This is an invertible integer change of generators, since $m_1=a$, $m_2=c$, $m_3=b+c$. The relations become $2b=0$ and $4c=0$, with no relation involving $a$. ConsequentlyThis is already the invariant-factor order required by the structure theorem for finitely generated modules over a principal ideal domain, because $2\mid 4$. The inverse change of generators shows that there are no hidden extra relations.

A Euclidean domain is a commutative integral domain $R$ with a function $\delta :R\setminus \{0\}\to {\mathbb{Z}}_{\ge 0}$ such that, for $a,b\in R$ with $b\ne 0$, there are $q,r\in R$ satisfying $a=qb+r$, where either $r=0$ or $\delta (r)<\delta (b)$. One may also impose the usual monotonicity $\delta (a)\le \delta (ab)$ for nonzero $a,b$; the example below has it.

The integers form a Euclidean domain that is not a field. Use $\delta (a)=|a|$. Integer division by $|b|$ supplies a remainder with $0\le r<|b|$, and changing the sign of the quotient handles negative $b$. The integers are an integral domain, while $2$ has no multiplicative inverse in them. This verifies both the Euclidean property and the failure to be a field.

Write $N=\#E({\mathbb{F}}_q)$. The Hasse bound isWe prove it using isogeny degrees of endomorphisms, with no assumption about a pre-existing Frobenius eigenvalue estimate. The standard elliptic isogeny facts we use are these: isogeny degree is multiplicative under composition; $\mathrm{deg}[m]=m^2$; assigning isogeny degree zero to the zero homomorphism makes isogeny degree a quadratic form, satisfying the degree parallelogram law; and the isogeny degree of a separable isogeny equals the number of its geometric kernel of an isogeny points.

Let $\varphi$ be the $q$-power Frobenius isogeny. It has isogeny degree $q$ and zero differential. Therefore $1-\varphi$ has differential the identity and is a separable isogeny. Its kernel of an isogeny consists exactly of the points fixed by Frobenius, including the identity, soPut $t=q+1-N$. Polarization of the isogeny degree quadratic form gives, for all integers $m,n$,The cross coefficient is fixed by the case $m=n=1$, where the isogeny degree is $N=1-t+q$; the coefficients of $m^2,n^2$ are $\mathrm{deg}1=1$ and $\mathrm{deg}\varphi =q$.

Every isogeny degree is nonnegative. For $n\ne 0$, divide by $n^2$ to obtain $u^2-tu+q\ge 0$ for every rational $u=m/n$. Continuity and density of the rationals imply the same inequality for real $u$. Its minimum, attained at $u=t/2$, is $q-t^2/4$, so $t^2\le 4q$. This is precisely the stated bound. Equality is allowed; a zero value of the quadratic form can occur when the two endomorphisms involved are rationally dependent.

Arithmetic heights measure arithmetic complexity. For a reduced rational number $x=a/b$, its multiplicative height is $H(x)=\max (|a|,|b|)$ and its logarithmic height is $h(x)=\log H(x)$. Over a number field $K$, use the absolute projective heightNormalize the absolute values on a field by the product formula. That formula makes arithmetic height independent of the chosen homogeneous representative, and the normalization makes it independent of enlarging $K$. The Northcott theorem says that algebraic points of bounded degree and bounded arithmetic height form a finite set. For rational numbers this follows immediately by bounding the numerator and denominator. In a fixed number field, the same finiteness follows by bounding the coefficients of the minimal polynomial using its conjugates and the arithmetic height.

For an elliptic curve put $h_x(P)=h([x(P):1])$ and $h_x(O)=0$. The two points above a given $x$ show that bounded $h_x$ gives finitely many $K$-rational points. More importantly, multiplication expands this arithmetic height. To see the mechanism, choose a short Weierstrass equation of an elliptic curve $y^2=x^3+Ax+B$ over $K$. Doubling givesAfter homogenization the numerator and denominator are quartics with no common zero. At infinity the numerator is nonzero; at a root $t$ of the cubic the numerator becomes $(3t^2+A{)}^2$, nonzero by nonsingularity. For a degree-$d$ morphism of the projective line, fixed homogeneous coefficients give the upper arithmetic height bound $h(f(x))\le dh(x)+C$. A nonzero resultant supplies the reverse bound: at each place it bounds the common cancellation of the two homogeneous values, with a nontrivial constant needed at only finitely many places. Applying these bounds to duplication gives a constant $C$ independent of $P$ withThis includes points mapping to $O$, by the projective formulation.

The canonical height removes the bounded errors. With the conventional factor one half, defineThe successive terms before multiplying by one half differ by at most $C{4}^{-n-1}$. The limit exists, and summing this geometric bound givesHence bounded canonical height still gives finitely many points over the fixed number field.

To obtain the pairing, the quadratic nature comes from a uniform arithmetic height parallelogram estimate, not just from doubling. If $x=x(P)$ and $z=x(Q)$, the unordered coordinates $x(P+Q),x(P-Q)$ are the roots of the binary quadratic with coefficientsThese formulas follow by adding and multiplying the two chord expressions with slopes $(y(P)-y(Q))/(x-z)$ and $(y(P)+y(Q))/(x-z)$. Their homogenizations have bidegree $(2,2)$ and no simultaneous zero. Off the diagonal $C_2\ne 0$; on the finite diagonal $x=z=t$, $C_1=4f(t)$ and $C_0=f^{\prime }(t{)}^2-8tf(t)$ for $f(t)=t^3+At+B$, so simultaneous vanishing would contradict nonsingularity. At the double point at infinity the homogeneous $C_0$ is nonzero. Local coefficient norms, or the corresponding resultant bounds, therefore giveThe arithmetic height of a binary quadratic's coefficient vector differs by $O(1)$ from the sum of the heights of its two roots. At finite places this follows from multiplicativity of the maximum coefficient norm of products; at infinite places the fixed-degree norms are comparable. ThusApply this to $2^{n}P,2^{n}Q$, divide by $2\cdot 4^n$ and take limits. The errors vanish and give the exact height parallelogram identity. Polarization consequently makesa symmetric bilinear pairing. Nonnegativity of $\hat{h}(aP+bQ)$ for integers $a,b$, and density of rational ratios, give the Cauchy-Schwarz inequality. In particular $\hat{h}(P-Q)\le 2\hat{h}(P)+2\hat{h}(Q)$. Also $\hat{h}(mP)=m^2\hat{h}(P)$ for integers $m$. Torsion points of an elliptic curve have canonical height zero because their doubling orbit is finite; conversely, if a point has canonical height zero, all its integer multiples have bounded naive height, and finiteness forces two multiples to coincide. Thus canonical height vanishes exactly on torsion.

There is an arithmetic finiteness input before height descent: $E(K)/2E(K)$ is finite, the Weak Mordell-Weil theorem. Here is its mechanism. The multiplication exact sequence gives an injective Kummer map $E(K)/2E(K)\to H^1(K,E[2])$: choose a half-point $Q$ and use the cocycle $\sigma \mapsto \sigma Q-Q$; changing $Q$ changes a coboundary, and a trivial class means a half-point can be chosen over $K$. Let $L=K(E[2])$, a Finite Galois extension. Over $L$ the torsion module is $(\mathbb{Z}/2\mathbb{Z}{)}^2$, so Kummer theory identifies its first Galois cohomology with two copies of $L^{\times }/L^{\times 2}$.

Only classes unramified outside a fixed finite set $S$ occur. Include the primes over $2$, bad-reduction primes and the ramified primes of $L/K$. At a good prime away from $2$, multiplication by two on the proper smooth elliptic model is finite étale morphism, so the torsor of halves of a point is unramified. In square-class language, valuations outside $S$ are even. Such classes form a finite group: write the principal ideal of a representative as a square times an ideal supported on $S$. The ideal class gives an element of the finite two-torsion of the localized ideal class group; after fixing that class, ambiguity is an $S$-unit modulo squares. The $S$-unit theorem makes the latter finite. The group kernel of restriction from $K$ to $L$ is contained in $H^1(\mathrm{Gal}(L/K),E[2])$, which is finite because both the group and module are finite. This proves the weak theorem, without assuming finite generation of $E(K)$.

Finally choose representatives $R_1,\dots ,R_s$ of $E(K)/2E(K)$ and put $M={\max }_i\hat{h}(R_i)$. Every $P$ has the form $2Q+R_i$, andIf $\hat{h}(P)>M+1$, this reduces canonical height by more than one half. Iterate until a point of canonical height at most $M+1$ is reached. There are only finitely many such points, by Northcott and the bounded difference of heights. Reconstructing $P=2Q+R_i$ at every stage proves that these finitely many small points and the finitely many representatives generate $E(K)$. ThereforeThe canonical pairing is positive definite on the free part. It turns rank computations into an arithmetic lattice problem, supplies independence tests for proposed generators, and bounds searches once a arithmetic height bound is available. Weak finite-quotient finiteness alone would not prove this result: the arithmetic height contraction is the step that converts it into finite generation.

Here $F$ is the usual one-dimensional commutative formal group law. Normalize the valuation $v$ by $v(\pi )=1$, and put $e=v(p)$. We show explicitly that for any integer $m>e/(p-1)$,This subgroup will have finite index in $F(\pi {\mathcal{O}}_K)$.

Set $a(T)={\partial }_{Y}F(T,0)$. Since $F(X,Y)=X+Y+$ terms of total degree at least two, $a(T)\in 1+T{\mathcal{O}}_K[[T]]$. Its inverse has integral coefficients, say $a(T{)}^{-1}={\sum }_{j\ge 0}{c}_j{T}^j$ with $c_0=1$. Define the formal logarithm over $K$ byDifferentiate associativity $F(F(X,Y),Z)=F(X,F(Y,Z))$ with respect to $Z$ at zero. This gives $a(F(X,Y))={\partial }_{Y}F(X,Y)a(Y)$, soEvaluating at $Y=0$ proves the formal identity $\ell (F(X,Y))=\ell (X)+\ell (Y)$.

The coefficients satisfy $v(c_{n-1}/n)\ge -e{v}_p(n)$. Thus the series converges on $\pi {\mathcal{O}}_K$, since for $v(T)\ge 1$ the valuations of its terms are at least $n-e{v}_p(n)\to \infty$. More quantitatively,Indeed, if $k=v_p(n)$ then $n\ge p^k\ge 1+k(p-1)$. If $v(T)\ge m>e/(p-1)$, every nonlinear term has valuation strictly greater than $v(T)$. Write $h(T)=\ell (T)-T$. For $S,T\in {\pi }^m{\mathcal{O}}_K$, use $T^n-S^n=(T-S){\sum }_{j=0}^{n-1}{T}^{n-1-j}{S}^j$ to obtainThe extra valuation is integral and positive because $(n-1)m-e{v}_p(n)>0$ for all $n\ge 2$.

For any $b\in {\pi }^m{\mathcal{O}}_K$, solve $\ell (T)=b$ by iterating $T\mapsto b-h(T)$. This map preserves the complete ball ${\pi }^m{\mathcal{O}}_K$ and improves differences by at least one valuation step. The contraction mapping theorem gives a unique solution. Therefore $\ell$ is a bijection of this ball onto itself, and the formal identity, now evaluated in convergent series, makes it a group isomorphism. Multiplication by ${\pi }^{-m}$ then identifies the additive target with ${\mathcal{O}}_K$.

Integral coefficients in $F$ and its formal inverse ensure that every $F({\pi }^j{\mathcal{O}}_K)$ is a subgroup. Reduction modulo ${\pi }^m$ respects the group law; two parameters represent the same coset of $F({\pi }^m{\mathcal{O}}_K)$ exactly when they are congruent modulo ${\pi }^m$. If the residue field has $q_K$ elements, the quotient consequently has $q_K^{m-1}$ elements. This proves both the finite-index assertion and the claimed additive structure, with an explicit depth that also works in ramified extensions and when $p=2$.

The Euler-Lagrange equation is obtained by varying the scalar field, integrating the derivative terms by parts, and requiring the coefficient of an arbitrary compactly supported variation to vanish:The canonical momentum is $\pi ={\varphi }_t$, so the Hamiltonian density and conserved energy areIndeed,Thus $dE/dt=[{\varphi }_t{\varphi }_x{]}_{-\infty }^{+\infty }=0$ for the finite-energy boundary conditions with no flux at infinity. The scalar-field vacua are the constant fields $2\pi m$, $m\in \mathbb{Z}$.

For a static field, multiply ${\varphi }^{\prime \prime }=\sin \varphi$ by ${\varphi }^{\prime }$ to obtain $\frac{1}{2}{\varphi }^{\prime 2}+\cos \varphi =C$. The vacuum limits fix $C=1$, so on the increasing interval $0<\varphi <2\pi$,ConsequentlyIts derivative is $2\mathrm{sech}(x-a)$, and its energy is $\int 4{\mathrm{sech}}^2(x-a)dx=8$. The increasing sign cannot change inside $(0,2\pi )$ because the derivative does not vanish there. This proves uniqueness up to translation for the prescribed boundary conditions.

There are continuously many translated static solutions with those same endpoints, but only one modulo translations. In the full theory, the adjacent-vacuum kinks and antikinks areTheir endpoints are $2\pi m$ and $2\pi (m+\sigma )$. Thus there are countably many adjacent-vacuum boundary sectors, each with a continuous center parameter; integer field shifts and reflection relate their shapes. A Lorentz boost gives moving kinks, replacing $x-a$ by $(x-vt-a)/\sqrt{1-v^2}$, with energy $8/\sqrt{1-v^2}$. There is no finite static kink joining nonadjacent scalar-field vacua: reaching an intermediate vacuum at finite $x$ would give both the equilibrium value and zero derivative, forcing a constant solution by uniqueness of the second-order initial value problem. Dynamical multisolitons are a different matter.

The printed Sine-Gordon Bäcklund transformation has a normalization error. With precisely the printed coordinates $\tau =x+t$, $\rho =x-t$,is the field equation. Put $s=({\varphi }_1+{\varphi }_0)/2$, $d=({\varphi }_1-{\varphi }_0)/2$. The printed relations give $d_{\rho }=b\sin s$ and $s_{\tau }=b^{-1}\sin d$, henceAdding and subtracting yieldsThese are the equations with mass squared four, not the unit-mass equation derived from the Lagrangian. A concrete counterexample is the seed ${\varphi }_0=0$, parameter $b=1$, and transformed field ${\varphi }_1=4\arctan e^{2x}$. It obeys both printed first-order relations but satisfies ${\varphi }_{1,xx}=4\sin {\varphi }_1$, so its unit-mass field-equation residual is $-3\sin {\varphi }_1$, which is not identically zero. The requested preservation claim is false with the printed normalization.

There are two equivalent repairs. Keep the printed first-order coefficients but take $\tau =(x+t)/2$, $\rho =(x-t)/2$; then ${\partial }_{\tau }{\partial }_{\rho }={\partial }_x^2-{\partial }_t^2$ and the preceding calculation proves preservation. Alternatively keep the printed coordinates and replace the coefficients $2b,2b^{-1}$ by $b,b^{-1}$. Then $d_{\rho }=(b/2)\sin s$, $s_{\tau }=(b^{-1}/2)\sin d$, and the differentiated equations carry a factor $1/4$, giving exactly ${\varphi }_{j,\tau \rho }=\frac{1}{4}\sin {\varphi }_j$. This is the light-cone normalization of the sine-Gordon Bäcklund transformation. For a zero seed it gives ${\varphi }_1=4\arctan \exp [(b\rho +b^{-1}\tau )/2]$; $b=1$ recovers the unit-width static kink.

A Yang-Mills instanton is a localized finite-action Euclidean gauge field with self-dual or anti-self-dual gauge curvature. It is a four-dimensional space-time event, rather than a static three-dimensional finite-energy monopole. Take gauge group $SU(2)$ first, with Skew-Hermitian generators $T_a=-i{\sigma }_a/2$, $[T_a,T_b]={ϵ}_{abc}{T}_c$, and $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$. Writeand fix orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. The positive Euclidean action isVarying $F$ gives $\delta F=D\delta A$. Integration by parts makes stationarity equivalent to $D_{\mu }{F}_{\mu \nu }=0$. The Bianchi identity $DF=0$ follows by expanding $F=dA+A\wedge A$, using $d^2=0$, and cancelling the remaining matrix commutator terms. Consequently $F=\pm \ast F$ implies the Yang-Mills equations: $D\ast F=\pm DF=0$. Self-duality of gauge curvature is an extra first-order condition, not a property of every finite-action gauge connection.

For the usual instanton decay conditions, the field is asymptotically pure gauge, $A\sim h^{-1}dh$ on the sphere at infinity. The boundary map $h:S^3\to SU(2)\simeq S^3$ has an integer degree. With the present trace convention define the instanton number byThe identityturns this integral into a boundary winding integral: for $A=h^{-1}dh$, the three-form in parentheses is $-\frac{1}{3}\mathrm{tr}(h^{-1}dh{)}^3$, giving $k=(24{\pi }^2{)}^{-1}{\int }_{S^3}\mathrm{tr}(h^{-1}dh{)}^3$, with the chosen boundary orientation. The normalized invariant three-form computes the degree of $h$, so $k\in \mathbb{Z}$. Equivalently the gauge bundle extends across conformal infinity to a bundle on $S^4$, and this is its Second Chern number convention. A smooth deformation preserving the boundary class cannot change this integer.

Square completion gives the Yang-Mills instanton Bogomolny bound:Self-dual gauge curvature saturates the bound for $k>0$, and anti-self-dual gauge curvature for $k<0$. These are Yang-Mills action minima within their topological sectors. Gauge variations give redundant directions, and variations along the moduli give zero modes; there is no negative second variation within the fixed-charge sector at a bound-saturating solution.

An explicit charge-one solution is the BPST instanton. Put $y=x-a$, $r^2=y_{\mu }{y}_{\mu }$, $d=r^2+{\rho }^2$, with $\rho >0$. The self-dual 't Hooft symbols are defined by ${\eta }_{ij}^a={ϵ}_{aij}$ and ${\eta }_{i4}^a={\delta }_{ai}$, extended antisymmetrically. ThenFor completeness, differentiation supplies $-4{\eta }_{\mu \nu }^a/d-4K_{\mu \nu }^a/d^2$, where $K_{\mu \nu }^a={\eta }_{\nu \lambda }^a{y}_{\lambda }{y}_{\mu }-{\eta }_{\mu \lambda }^a{y}_{\lambda }{y}_{\nu }$. The matrix commutator term supplies $4C_{\mu \nu }^a/d^2$, and the symbol identityreduces their sum to the stated gauge curvature. Since $\ast {\eta }^a={\eta }^a$, it is self-dual and solves the Yang-Mills equations. The gauge potential is regular at the center in this gauge, and gauge curvature falls as $r^{-4}$ at infinity.

The squared-symbol sum is 12, soThe second integral follows from $d^{4}x=2{\pi }^2{r}^{3}dr$ and the substitution $u=r^2$. ThusReplacing the symbols by their anti-self-dual counterparts reverses the charge and gives an anti-instanton. A compact non-Abelian group with an $SU(2)$ subgroup admits corresponding embedded examples.

The center $a\in {\mathbb{R}}^4$ gives four position moduli and $\rho >0$ gives one size modulus. In a framed instanton moduli space, gauge transformations are required to approach the identity at infinity, so three global $SU(2)$ orientation parameters remain, making eight real parameters for one instanton. If constant gauge transformations are also divided out, only the five position-and-size parameters remain. The size costs no classical Yang-Mills action: under $A_{\mu }(x)\mapsto \lambda A_{\mu }(\lambda x)$, gauge curvature scales by ${\lambda }^2$ and the four-dimensional volume by ${\lambda }^{-4}$. As $\rho \to 0$, gauge curvature concentrates at the center; the limiting object is a singular bubbling boundary of moduli space, not a smooth zero-size solution.

Higher-charge solutions require genuine nonlinear constructions, rather than a linear sum of charge-one gauge potentials. The ADHM construction gives a finite-dimensional description. For $V={\mathbb{C}}^{\ell }$, $W={\mathbb{C}}^N$, take $B_1,B_2\in \mathrm{End}(V)$, $I:W\to V$, $J:V\to W$, satisfyingmodulo the natural group action of $U(\ell )$. Here $\ell$ is the charge magnitude, avoiding confusion with the signed $k$ above. Regularity requires the following matrix to have full row rank everywhere:The complex constraint kills the off-diagonal block of ${\mathcal{D}}_z{\mathcal{D}}_z^{†}$, while the real constraint equates its diagonal blocks. Thus ${\mathcal{D}}_z{\mathcal{D}}_z^{†}=1_2\otimes f^{-1}$. Choose an orthonormal matrix of kernel columns $\Psi$, with ${\Psi }^{†}\Psi =1_N$, and define $A={\Psi }^{†}d\Psi$.

This is not merely a parameter count: its gauge curvature is checked by the ADHM factorization identity. The complementary orthogonal projection is ${\mathcal{D}}_z^{†}(1_2\otimes f){\mathcal{D}}_z$. Differentiating ${\mathcal{D}}_z\Psi =0$ in the identity $F=d{\Psi }^{†}(1-\Psi {\Psi }^{†})\wedge d\Psi$ givesThe space-time differential two-forms appearing here are generated by $d{z}_1\wedge d{\bar{z}}_1-d{z}_2\wedge d{\bar{z}}_2$, $d{z}_1\wedge d{\bar{z}}_2$, and $d{\bar{z}}_1\wedge d{z}_2$. For orientation $1234$ these are anti-self-dual. Hence the construction yields anti-self-dual gauge connections, of charge $k=-\ell$ in the present convention; the reversed construction gives positive charge. Regular ADHM data describe the smooth framed instanton moduli, while degenerate rank conditions allow singular limits.

There are $4{\ell }^2+4\ell N$ real data parameters. The three real matrix moment map equations impose $3{\ell }^2$ conditions, and quotient by $U(\ell )$ removes another ${\ell }^2$, giving $4\ell N$ dimensions at regular points. For $SU(2)$ this is $8\ell$ framed dimensions and $8\ell -3$ unframed dimensions on the irreducible locus. This explains how the one-instanton parameters fit into the higher-charge family.

The Penrose-Ward correspondence provides a complementary description by holomorphic vector bundles on twistor space, trivial on the real twistor lines for the Euclidean problem and equipped with the suitable reality structure. Triviality on every complexified line is a stronger condition and is not required for ordinary Euclidean instantons. Symmetry reductions of the anti-self-dual equations give integrable three-dimensional systems such as the Bogomolny equations.

In the quantum theory, a Euclidean instanton interpolates between Yang-Mills vacua of different Chern-Simons number. Choosing Euclidean time $x^1$ and spatial orientation $234$, its signed charge is the final Chern-Simons number minus the initial one, so it describes quantum tunnelling between winding sectors. Semiclassical contributions are suppressed by $\exp [-8{\pi }^2|k|/g^2]$; a Yang-Mills theta term adds a phase $\exp (i\vartheta k)$. One integrates over the instanton collective coordinates and includes fluctuation determinants rather than treating one classical solution as the entire quantum answer. Instantons therefore connect finite-action classical geometry, topology of gauge bundles, exact nonlinear constructions, and nonperturbative quantum effects.

Let $L$ be the splitting field of the separable polynomial. Its Galois group is $G={\mathrm{Aut}}_K(L)$, acting faithfully on its $n$ distinct roots, hence as a subgroup of $S_n$. An automorphism preserves each root's minimal polynomial. Conversely an isomorphism $K(\alpha )\to K(\beta )$ for roots of the same irreducible factor extends to an embedding of $L$ in an algebraic closure, and normality of the splitting field makes the image $L$ itself. Thus the root orbits are precisely the irreducible factors' root sets. The action is transitive exactly when the polynomial is irreducible.

If $n=p$ is prime, a transitive action has $p\mid |G|$ by orbit-stabilizer, so Cauchy theorem for groups supplies an element of order $p$. Its permutation must be a $p$-cycle. Conversely a $p$-cycle already acts transitively on all $p$ roots. This proves the stated equivalence for prime degree.

The factorization theorem modulo a good prime says that if an integer polynomial retains its degree and has square-free reduction modulo $p$, and that reduction's irreducible factor degrees are $d_1,\dots ,d_r$, its Galois group over $\mathbb{Q}$ contains a permutation with disjoint cycle lengths $d_1,\dots ,d_r$. Equivalently the finite-field Galois group, generated by Frobenius on the roots, occurs as an unramified decomposition subgroup. The degree-retention qualification matters for nonmonic polynomials.

For the given quintic, Eisenstein criterion at three proves irreducibility. Modulo two it factors asNeither factor has a root in ${\mathbb{F}}_2$, so both are irreducible, and they are distinct; the reduction is separable. Thus $G$ contains an element of cycle type $(2)(3)$, whose cube is a transposition. It is also transitive of degree five.

To prove that this forces the full symmetric group here, form the graph on the five roots with an edge for each conjugate in $G$ of that transposition. The graph is $G$-invariant, and transitivity makes its connected components all the same size. That size divides five; there is an edge, so the size cannot be one. Hence the graph is connected. Transpositions along the edges of a connected graph generate all transpositions (move along a path and conjugate successive swaps), and hence generate $S_5$. They all belong to $G$, giving

There is an error in the printed request: the cubic is not irreducible at $n=2$, and three elements cannot be a field basis in that case. The integral-basis assertion is valid under the necessary hypothesis $[\mathbb{Q}(\alpha ):\mathbb{Q}]=3$.

Under that hypothesis, $\alpha$ is an algebraic integer and $\mathbb{Z}[\alpha ]\subseteq {\mathcal{O}}_k$ has finite index $m$. Change of basis in the trace pairing gives the discriminant-index identityThe field discriminant is an integer. If the left side is square-free, $m^2$ cannot divide it unless $m=1$. Thus $1,\alpha ,{\alpha }^2$ is an integral basis when the cubic is irreducible and its discriminant is square-free.

For any root, ${\alpha }^3=n\alpha +1$ givesSince $\alpha +\beta +\gamma =0$, $\alpha \beta +\beta \gamma +\gamma \alpha =-n$ and $\alpha \beta \gamma =1$,On the other hand, the product of $r{f}^{\prime }(r)$ is $-\Delta$: the product of the roots is one, and each of the three unordered root pairs contributes a negative squared difference. Therefore, without needing irreducibility for this polynomial calculation,The three-root product is the field norm only when the cubic is the minimal polynomial.