If $f_j\to f$ uniformly and the Hölder seminorms are uniformly bounded, each fixed difference quotient converges. Taking the supremum over point pairs gives $[f{]}_{\mu }\le {\mathrm{liminf}}_j[f_j{]}_{\mu }$. The supremum norms converge, so the full Hölder norm has the same lower semicontinuity of a Hölder seminorm.

For fixed $q>1$, the coefficient in the Hölder factorization of stochastic exponentials exceeds $\sqrt{q}/(\sqrt{q}+1)>1/2$. Taking $q=1+\epsilon$ and $p=1+{\epsilon }^2$ approaches one-half. Thus a uniform stopped exponential moment at coefficient one-half bounds some $p$th moment of each strict scaling $\mathcal{E}(aM)$, $0<a<1$.

For $f\in L^2(0,1)$ and $0<\alpha <1/2$, the integral $g(x)={\int }_0^{1}f(y)|x-y{|}^{-\alpha }dy$ is well defined for every real $x$. Scaling the squared kernel difference over the real line and using the Cauchy-Schwarz inequality give $|g(x+h)-g(x)|\le C_{\alpha }\Vert f{\Vert }_2|h{|}^{1/2-\alpha }$.

If a real function on an interval obeys $|f(x)-f(y)|\le C|x-y{|}^{\alpha }$ for finite $C$ and $\alpha >1$, its difference quotients tend to zero everywhere. The mean value theorem makes it constant. Equivalently, divide a segment into $N$ pieces to obtain $|f(x)-f(y)|\le C|x-y{|}^{\alpha }{N}^{1-\alpha }\to 0$.

For a homogeneous element $x$ of degree $e>0$ acting on a finite graded module, set $N=(0{:}_{M}x)$ and $C=M/xM$. The multiplication exact sequence $0\to N(-e)\to M(-e)\to M\to C\to 0$ and additivity of component lengths give $(1-t^e)P_M=P_C-t^e{P}_N$. This is the inductive step in the Hilbert-Serre theorem; the annihilator term must be kept unless multiplication by $x$ is injective.

For a Noetherian local ring $(R,\mathfrak{m})$, let $H_R(t)=\mathrm{length}(R/{\mathfrak{m}}^t)$. Its eventual Hilbert-Samuel polynomial has degree $d(R)$, equivalently the pole order at $1$ of the Hilbert series of ${\mathrm{gr}}_{\mathfrak{m}}R$. This is the local length-growth invariant, not the embedding dimension. The prime-chain lower bound for local length proves $\dim R\le d(R)$; the full local dimension theorem gives equality.

A group presentation with a cyclic list of generators $a_i$ and relations $a_i{a}_{i+1}{a}_i^{-1}=a_{i+1}^2$ has no nontrivial finite quotient of a group. In a finite image, all generator orders are odd. Choose the least prime $p$ dividing any nontrivial generator order and let $x$ be the predecessor of a generator $y$ whose order is divisible by $p$. Conjugation by $x$ acts as squaring on $⟨y⟩$, so the multiplicative order of $2$ modulo $p$ divides the order of $x$. That multiplicative order is greater than one and divides $p-1$, giving a prime divisor smaller than $p$ in the order of $x$, a contradiction. This argument applies to any cycle length; it asserts absence of finite quotients, not infinitude of the presented group.

The A2 root system representation $R(2,0)={\mathrm{Sym}}^2{\mathbb{C}}^3$ has dimension six and weights $(2,0),(0,1),(1,-1),(-2,2),(-1,0),(0,-2)$ in Dynkin label coordinates, each with multiplicity one.

The cube of $1+3t$ is $1+9(t+3t^2+3t^3)$. Conversely the polynomial $T+3T^2+3T^3-a$ has a unique simple residue root modulo three for each $a\in {\mathbb{Z}}_3$, so Hensel lemma produces a cube root of every $1+9a$. Thus the principal units modulo their cubes have order three. The change of variable removes the derivative obstruction that prevents direct simple-root lifting for $X^3-u$.

For $r\ge 1$, the map $1+{\pi }^{r}a\mapsto \bar{a}$ is a surjective group homomorphism to the additive residue field with kernel $U_{r+1}$. The extra product term is divisible by ${\pi }^{r+1}$. Thus each quotient has cardinality $|k|$, a useful count when splitting the unit group by roots of unity.

At an active maximum-raising boundary in high-water mark investment taxation, the finite-variation part of the Itô formula is $(V_{\bar{w}}-\tau V_w)d\bar{w}$, so smooth optimality sets this coefficient to zero. If the maximizing policy avoids increasing the maximum, the corresponding inequality $V_{\bar{w}}-\tau V_w\le 0$ is compatible with a wealth-cap investment boundary instead.

A wealth-cap investment boundary prevents wealth from exceeding a fixed historical maximum. In the wealth-variable Legendre dual for wealth normalized by that maximum, $J^{\prime }(z_{\ast })=-1$ and vanishing optimal portfolio volatility gives $J^{\prime \prime }(z_{\ast })=0$. For power utility and a high-water tax, the smooth tax-paying solution has boundary dual curvature $(1-\alpha \tau )/(R{z}_{\ast })$, so it cannot be admissible when $\alpha \tau >1$.

For a complex $n\times n$ matrix $B$, the real linear map $A\mapsto BA{B}^{\ast }$ on the $n^2$-dimensional real vector space of Hermitian matrices has determinant $|\det B{|}^{2n}$. A real basis of Hermitian matrices is also a complex basis of all matrices, so the matrix of this restriction equals the matrix of the complex-linear congruence map. Left and right multiplication separately have determinants $(\det B{)}^n$ and $(\overline{\det B}{)}^n$.

For $\mathbf{k}=k\hat{z}$, these complex vectors form an orthonormal basis of the transverse plane using the Hermitian inner product. They have opposite phases under rotations about $\hat{z}$, so they describe the two helicity components. Since $\mathbf{e}\cdot m^{(\pm )}=\sin \theta e^{\pm i\phi }/\sqrt{2}$, transverse-vector sources carry only the angular sectors $m=\pm 1$ of spherical harmonics. Streaming by $ik\cos \theta$ preserves $m$ and couples neighboring angular degrees.

For the binary phase representation of a Pauli string, these local rules implement $P\mapsto U^{†}PU$ for the Hadamard gate and the phase gate $S=\mathrm{diag}(1,i)$. In particular $S^{†}XS=-iXZ$, so the phase update differs in sign from forward conjugation. Use the old input bits, and reduce $s$ modulo four.

The modular Heisenberg group consists of upper-unitriangular $3\times 3$ matrices over the finite field ${\mathbb{F}}_p$. In coordinates $M(x,y,z)$, multiplication is $M(x,y,z)M(x\prime ,y\prime ,z\prime )=M(x+x\prime ,y+y\prime +xz\prime ,z+z\prime )$, and its order is $p^3$. Its center of a group is $\{M(0,y,0)\}\cong C_p$; the quotient group by the centre is $C_p\times C_p$, represented by the $x,z$ coordinates. The elementary generators $a=M(1,0,0)$, $b=M(0,0,1)$, $c=M(0,1,0)$ satisfy $a^p=b^p=c^p=e$, $ab{a}^{-1}{b}^{-1}=c$, and $c$ central. For $p=2$, $(ab{)}^2=c$, so the whole group does not have exponent two.

For the Heisenberg group law $(x,y,z)(a,b,c)=(x+a,y+b,z+c+xb)$, the right Maurer-Cartan form has coefficients $dx,dy,dz-ydx$. They satisfy $d{\sigma }^1=d{\sigma }^2=0$ and $d{\sigma }^3={\sigma }^1\wedge {\sigma }^2$. A general right-invariant Riemannian metric is a constant positive-definite symmetric matrix in this coframe.

At a prime not dividing the level, the root-of-unity average contributes $a_{pn}$ and the scaling overlattice contributes the second term. At a prime dividing the level that overlattice loses the marked point's exact order and is excluded. Extending the Dirichlet character by zero gives a uniform formula, with $a_{n/p}=0$ unless $p\mid n$. The bad-prime operator is $U_p$.

A repulsive condensate next to an impenetrable planar wall has Dirichlet boundary condition $\psi (0)=0$. Writing $\psi =\sqrt{n_0}f$ reduces its stationary Gross–Pitaevskii equation to ${\ell }_h^2{f}^{\prime \prime }+(1-f^2)f=0$. The bulk conditions $f\to 1,f^{\prime }\to 0$ give ${\ell }_h^2(f^{\prime }{)}^2=(1-f^2{)}^2/2$ and hence the displayed number density. Omitting $n_0$ describes normalized number density, not dimensional number density.

For the Hawking exponential ray map, regulated integrals ${\int }_0^{\infty }{x}^{ia}{e}^{-(ϵ\pm i{\omega }^{\prime })x}dx=\Gamma (1+ia)(ϵ\pm i{\omega }^{\prime }{)}^{-1-ia}$ have squared-modulus ratio $e^{-2\pi a}$ as $ϵ\downarrow 0$, where $a=\omega /\kappa$. Combining this with the canonical identities for a bosonic Bogoliubov transformation gives the bosonic occupation $[e^{2\pi \omega /\kappa }-1{]}^{-1}$. Continuum modes require wave-packet normalization to interpret finite particle counts.