A nonzero integer polynomial of bidegree at most $N$ can cancel the first $(N+1{)}^2-1$ Taylor coefficients of the Fredholm series. Functional transcendence makes the resulting analytic function nonzero. If $\alpha$ and $f_l(\alpha )$ were both algebraic, the relation $f_l({\alpha }^{l^r})=f_l(\alpha )-{\sum }_{j<r}{\alpha }^{l^j}$ would keep the auxiliary values in one fixed number field. Their Absolute logarithmic Weil height is at most $N{l}^{r}h(\alpha )(1+1/(l-1))+O_N(r+1)$, whereas their chosen absolute value is $O_N(|\alpha {|}^{T_N{l}^r})$. The Liouville height inequality forces $T_N=O(N)$, contradicting its quadratic lower bound for sufficiently large $N$.

For $0<p<q$, truncating the Fredholm series at $n$ gives a rational with denominator at most $Q_n=q^{l^n}$ and positive error at most $2Q_n^{-l(1-\log p/\log q)}$ for large $n$. The displayed strict inequality first rules out a rational value by the rational separation bound, and then rules out an algebraic irrational value by Roth theorem. Reduced denominators are at most $Q_n$ and tend to infinity because the truncations are distinct. In particular $l\ge 3$ and $p<q^{\delta }$, $\delta <1/3$, imply transcendence.

Near a Fredholm operator, split the domain into its kernel and orthogonal complement and the target into its range and orthogonal complement. The large invertible block stays invertible under small norm perturbations. Invertible block elimination reduces the perturbed operator to that block and a map between the finite-dimensional kernel and cokernel spaces. Its index is their dimension difference regardless of its rank. Thus the Fredholm set is open and its index is locally constant.

An equivariant Fredholm operator between unitary representations of a compact group has finite-dimensional invariant kernel and cokernel. Their formal difference is its index in the representation ring of a compact group. If domain and target decompose into irreducibles with finite multiplicities $m_{\pi },m_{\pi }^{\prime }$, Schur's lemma makes each intertwining block a matrix on the multiplicity spaces. Its rank cancels between kernel and cokernel, giving ${\mathrm{ind}}_{G}T={\sum }_{\pi }(m_{\pi }-m_{\pi }^{\prime })[\pi ]$, with finitely many nonzero terms.

Here $C^{\infty }([0,1])$ means the real- or complex-valued functions continuous on $[0,1]$, smooth on $(0,1)$, with every interior derivative having a continuous extension to the endpoints; endpoint values of derivatives are these extensions. On this space of smooth functions on a compact interval, defineThese finite-valued seminorms increase with $k$ and separate points. In fact every $p_k$ is a norm, since it includes $p_0(f)=\Vert f{\Vert }_{\infty }$. The terminology seminorm includes norms; it does not assert that every measurement has a nontrivial kernel of a seminorm. Smooth convergence means $p_k(f_n-f)\to 0$ for every fixed $k$, equivalently uniform convergence of every derivative separately. It does not demand one tolerance or one convergence index that works for all orders simultaneously. The maximum convention is equivalent to the derivative supremum norm convention using a finite sum, since $p_k(f)\le {\sum }_{j=0}^k\Vert f^{(j)}{\Vert }_{\infty }\le (k+1)p_k(f)$.

For a worked example, $f(t)=t^3$ gives $p_0(f)=1$, $p_1(f)=3$, $p_2(f)=6$, and $p_k(f)=6$ for $k\ge 3$. The linear functional $\ell (f)=f^{\prime \prime }(1/2)$ obeys $|\ell (f)|\le p_2(f)$ and is continuous. Similarly, differentiation is a continuous linear operator $D:f\mapsto f^{\prime }$ for smooth convergence, because $p_k(Df)\le p_{k+1}(f)$.

The space of smooth functions on a compact interval is complete for this seminorm topology. A Cauchy sequence has uniform limits $g_j$ for its derivatives of each order. Passing to the limit in the fundamental theorem of calculus identitygives $g_j(t)-g_j(0)={\int }_0^t{g}_{j+1}(s)ds$, so $g_j^{\prime }=g_{j+1}$ and $g_0$ belongs to the same space. This is the completeness of the smooth-function metric argument; the metric there and the increasing-$p_k$ metric above induce the same smooth topology and the same Cauchy sequences.

An element that can always be omitted from a generating family. These are exactly the elements of the Frattini subgroup: a proper generated subgroup is contained in a maximal subgroup, while an element outside a maximal subgroup generates the group together with it.

Let $\Phi =\Phi (G)$ in a finite group. If $H⊴G$ contains $\Phi$ and $H/\Phi$ is a nilpotent group, every Sylow subgroup $P$ of $H$ has $P\Phi ⊴G$. The Frattini argument gives $G=(P\Phi )N_G(P)=\Phi N_G(P)$, and the defining non-generator property of $\Phi$ forces $N_G(P)=G$. Hence $H$ is a nilpotent group.

At linear order in $ϵ=GM/R$ and the leading rotation term, this coordinate change takes the interior shell metric to Minkowski spacetime. Consequently the retained interior Riemann curvature tensor vanishes although inertial axes rotate relative to distant reference axes. A freely moving particle has $\mathbf{X}={\mathbf{X}}_0+\mathbf{V}T$, while its original coordinates obey $d^2\mathbf{x}/d{t}^2=2\mathbf{\omega }\times d\mathbf{x}/dt$ to first rotation order. Terms of order ${\omega }^2$ would include centrifugal acceleration and are outside this approximation. A gyroscope at rest to the retained order has its parallel-transported spin precessing at $\mathbf{\omega }$ in the original coordinates.

Fourier weight is the squared Fourier-Walsh transform coefficient mass on specified levels or a specified family of subsets. Parseval's identity identifies the total weight with $\mathbb{E}|f{|}^2$, and the nonconstant weight with variance. A decision tree of depth at most $s$ has no weight above level $s$.

With the $e^{-ikx}$ convention, exponential damping on the positive half-line gives $1/(a+ik)$. Its even part tends to $\pi \delta (k)$ and its odd part to $-i\mathrm{PV}(1/k)$. Thus the Heaviside step function transform requires a Cauchy principal value, not an ordinary reciprocal function at zero.

The distributional derivative of $\log |x|$ is the principal-value reciprocal distribution. Its transform is $-i\pi \mathrm{sgn}k$. Dividing the derivative-transform relation by $ik$ gives the displayed finite-part inverse-absolute-value distribution, with an undetermined delta term fixed by the finite-part convention.

A constant-coefficient translation-invariant grid update is diagonalized spatially by discrete Fourier modes. Its scalar or matrix multiplier is the displayed symbol. In a semidiscrete evolution, the analogous symbol is a continuous-time generator and its exponential propagates each mode. Discrete Parseval identity converts uniform modal bounds to discrete L2 norm bounds.

On the unit circle, the arclength-measure transform satisfies $|\hat{\sigma }(x)|\lesssim (1+|x|{)}^{-1/2}$. This follows by removing angular neighborhoods of width $|x{|}^{-1/2}$ around the two stationary points and integrating by parts on the remainder. Gaussian positivity for even extension moments bounds the weighted fourth moment for any bounded $f$ by that for $f=1$. Radial integration of $(1+r{)}^{-2}{e}^{-\pi r^2/R^2}$ with area element $rdr$ costs only $\log R$, proving the displayed local estimate. Modulated disjoint caps and random signs convert it into the planar Kakeya neighborhood lower bound.

A well-mixed layer of depth $h$ losing heat through an unstable cold upper boundary has bulk excess temperature $\theta =T-T_0$. With four-thirds convective heat-transfer law flux $q=Ck[g\beta /(\nu \kappa ){]}^{1/3}{\theta }^{4/3}$, its heat capacity per area is $kh/\kappa$. Thus $\dot{\theta }=-K{\theta }^{4/3}$ with $K=C\kappa [g\beta /(\nu \kappa ){]}^{1/3}/h$, giving the displayed cooling law. It excludes the initial conductive transient and the late low-Rayleigh conduction regime.

If $(A,\mathfrak{m})$ is a local ring, then $B=A[[x]]$ is local with maximal ideal $I=\mathfrak{m}B+xB$ and residue field $A/\mathfrak{m}$. A series $f=\sum a_n{x}^n$ is a unit if and only if $a_0$ is a unit. Necessity follows by taking constant coefficients of an inverse; sufficiency follows from the recursion $b_0=a_0^{-1}$ and $b_n=-a_0^{-1}{\sum }_{i=1}^n{a}_i{b}_{n-i}$ for its inverse. Thus the nonunits are precisely series with $a_0\in \mathfrak{m}$, which is exactly $I$, since $f=a_0+xg$. The constant-coefficient map followed by reduction modulo $\mathfrak{m}$ has kernel $I$ and image $A/\mathfrak{m}$.

A formal power series with zero constant coefficient has a compositional inverse over $R$ exactly when its linear coefficient is a unit. Starting with $b_1=a_1^{-1}$, the degree-$k$ coefficient of $f(b_{1}T+\cdots +b_k{T}^k)$ is $a_1{b}_k$ plus an expression already determined by lower coefficients, so recursion gives a unique inverse. For a homomorphism of formal group laws, cancellation in the homomorphism identity proves that this inverse is also a formal-group homomorphism.

The formal power series ring $R={\mathbb{Z}}_p[[T]]$ is complete for two useful topologies. In the $p$-adic topology, convergence means that all coefficient errors are uniformly divisible by arbitrarily large powers of $p$. In the $(p,T)$-adic topology, only finitely many coefficients are controlled at each precision. The latter topology is compact, since $R/(p,T{)}^n$ is finite and $R$ is its inverse limit. The former is finer and is not compact: the series $T^n$ converge to zero in the latter but remain pairwise separated modulo $p$ in the former. Coleman norm contraction uses the former; compact interpolation arguments use the latter.

For a commutative Noetherian ring, the ideals of lowest possible coefficients of an ideal in $R[[X]]$ form an ascending chain. Choose lifts of finite generating sets through the stabilization degree. Successive coefficient cancellation expresses any series in the ideal using these finitely many lifts. The multiplier series converge coefficientwise, so this generates the actual ideal without first assuming it is closed. Iterating gives the result for finitely many variables.

The general ideal magnetic-energy balance has outward-surface contribution ${\mu }_0^{-1}\oint [(u\cdot B)B-B^{2}u]\cdot dS$ and volume contribution $-\int u\cdot (J\times B)dV$. The latter vanishes for a force-free magnetic field. For an axisymmetric boundary rotating tangentially, $u\cdot B=\Omega f(\psi )$ and the directed flux of a thin tube is $2\pi d\psi$. Pair its exit and entry endpoints to obtain the displayed energy injection, counting each boundary endpoint once. Equal endpoint angular velocities inject no magnetic energy.

For a stationary quenched intrinsic curvature with power spectrum $S_{\kappa }(q)$ and finite second spectral moment, the bulk deficit satisfiesThe moment is $⟨({\kappa }_0^{\prime }{)}^2⟩$ for mean-square differentiable curvature. Infinite-moment disorder and finite endpoint boundary layers can change the exponent, so this is a smooth bulk law rather than a universal law for all random polymers.