Use undercooling $\Delta T=T_m-T_{\infty }$, solidification attachment mobility $\mathcal{M}$, velocity scale $U_0=\mathcal{M}\Delta T$, length $\ell =\kappa /U_0$ and time $\kappa /U_0^2$. Let $S=L/(c_p\Delta T)$ be the latent-to-sensible heat ratio, $\theta =(T-T_{\infty })/\Delta T$, and $\Gamma ={\gamma }_T/(\Delta T\ell )$. In the one-sided liquid-diffusion model, a travelling planar front has $\theta =S{e}^{-V\xi }$ and $V=1-S$. For a corrugation $\zeta e^{\sigma t+i\alpha y}$, the decaying thermal perturbation is $A_1{e}^{-p\xi }$, with $p^2-Vp=\sigma +{\alpha }^2$ and the branch $p=[V+\sqrt{V^2+4(\sigma +{\alpha }^2)}]/2$. The displaced kinetic condition gives $A_1=(SV-\sigma -\Gamma {\alpha }^2)\zeta$. The displaced Stefan condition gives $S\sigma \zeta =p{A}_1-S{V}^2\zeta$. Eliminating $A_1$ proves the displayed dispersion relation. Neglect of solid-side perturbation heat flux is part of this model.

For a morphism of sheaves $\varphi :\mathcal{F}\to \mathcal{G}$ of abelian groups or modules, the cokernel sheaf is the sheafification of the presheaf $U\mapsto \mathcal{G}(U)/\varphi (\mathcal{F}(U))$. Its stalk at $x$ is $\mathrm{coker}({\mathcal{F}}_x\to {\mathcal{G}}_x)$. The presheaf quotient itself need not satisfy the sheaf gluing axiom, which explains why a surjective morphism of sheaves need not be surjective on global sections.

If an integer-valued monotone sequence $(a_n)$ is nondecreasing and bounded above by $M$, it can increase strictly at most $\lfloor M\rfloor -a_1$ times. Thus its values eventually remain constant. Such sequences are determined by a finite initial list followed by a constant tail, so their collection is a countable set.

Map a binary sequence $({ϵ}_j)$ to the rational partial sums $s_n={\sum }_{j=1}^n{ϵ}_j{3}^{-j}$. They are nondecreasing and bounded above by $1/2$. A first different digit makes the corresponding partial sums different at that index, so the map is injective. Cantor's diagonal argument then makes this family uncountable despite every individual term being rational.

// Target: special-relativity.bigb

Suppose $x_n,y_n>0$ and the displayed inequality holds with fixed $\lambda >0$. Then $y_n$ decreases to some $l\ge 0$. Telescoping shows ${\sum }_n\min (x_n,y_n)\le y_1/\lambda$. If $l>0$, this bounds ${\sum }_n\min (x_n,l)$, contradicting clipping preserves divergence of a positive series when ${\sum }_n{x}_n$ diverges. Thus divergence of the positive input series forces $y_n\to 0$.

A vector space of bounded functions containing constants and indicators of a generating pi-system, and closed under uniformly bounded monotone pointwise limits, contains all bounded functions measurable for the generated sigma-algebra. This function version extends identities established on elementary integrands to every bounded measurable integrand.

// Target: probability-and-statistics.bigb

Upward-closed subsets of ${\mathbb{N}}^r$, including the empty subset, form a well-quasi-ordering by reverse inclusion. For $r=1$, tails correspond to the well-order $\mathbb{N}\cup \{\infty \}$. Inductively slice in the last coordinate. The slices increase and eventually stabilize: their union has a finite minimal basis by the Dickson lemma, all of which has appeared in one finite slice. Encode an upset by the word of its pre-stabilization slices and its final slice. The Higman lemma and finite product closure of well-quasi-orderings compare these encodings in the reverse-inclusion slice order. A subsequence map $f$ has $f(k)\ge k$, so containment of the matched later slice implies containment of the slice at $k$; the final-slice comparison handles the tail. The entire earlier upset therefore contains the later upset.

Every finite monomial group is a solvable group. Thus expressing every irreducible character as induction from a linear character imposes a group-theoretic solvability condition.

Every finite solvable group is isomorphic to a subgroup of a finite monomial group. This is an embedding assertion and does not assert that every solvable group is monomial, nor that the embedding is normal.

In a finite monomial group, the displayed intersection is a normal subgroup. Every irreducible character is induced from a linear character of a subgroup containing $K$. On restriction to $K$, all conjugate inducing lines remain invariant, so $K^{\prime }$ lies in every irreducible character kernel. The intersection of those kernels is trivial, proving that $K$ is Abelian.

Along one path, analytic continuation is a chain of function elements on overlapping open discs, each agreeing with the preceding germ of a holomorphic function near the crossing point. The identity theorem makes this chain unique along that fixed path. Equality at a crossing means equality on a neighbourhood, not just equality of a single value.

For the deformation step, fix one intermediate path $t\mapsto H(s_0,t)$ and its continuation. By compactness of $[0,1]$, choose a finite chain of representative open discs and subdivide the parameter so that each subarc fits in its assigned open disc, with consecutive junctions in overlap neighbourhoods where the representatives agree. Joint continuity of $H$ ensures that every sufficiently nearby intermediate path uses that same chain and those same overlaps. The endpoints stay fixed, so the terminal germ of a holomorphic function stays unchanged. Existence along every intermediate path supplies this argument at each $s_0$; local constancy and connectedness of $[0,1]$ give equality at $s=0$ and $s=1$. This proves the monodromy theorem without assuming that every analytic germ projection is a covering map.

The monodromy theorem gives equality of continuations that exist under its hypothesis. It does not assert that every holomorphic function admits analytic continuation everywhere, even within a simply connected domain.

For an explicit obstruction, take $f(z)=1/(1-z)$ near $a=0$ and attempt to apply the theorem on $D=\mathbb{C}$. The path $\eta (t)=t$ ends at $1$, where no terminal germ of a holomorphic function exists. If a holomorphic representative $G$ near $1$ continued $f$, then the identity theorem would extend $(1-z)G(z)=1$ to that neighbourhood. Substituting $z=1$ would give $0=1$. Thus the pole prevents the existence hypothesis, although $\mathbb{C}$ is a simply connected domain. The analytic continuation article explains why the same rational function does continue throughout $\mathbb{C}\setminus \{1\}$.

Existence at an endpoint by some route is also weaker than existence along every path from the base point. Along the real segment from $1$ towards $0$, a holomorphic square root of $z$ tends to $0$, yet cannot continue holomorphically through $0$: a local representative $G$ would satisfy $G^2=z$ by the identity theorem, and differentiating at $0$ would give $2G(0)G^{\prime }(0)=1$ with $G(0)=0$. A finite limiting value therefore does not remove a branch point. More severe obstructions appear at a natural boundary of a holomorphic function.

Start at $a=1$ with complex logarithm germ of a holomorphic function $L(1)=0$ and holomorphic square root germ of a holomorphic function $S(1)=1$. On the punctured plane $D=\mathbb{C}\setminus \{0\}$, both admit analytic continuation along every path. To construct it locally, for any $c\ne 0$ choose a small open disc avoiding $0$, select a holomorphic logarithm there, and select its additive multiple of $2\pi i$ to agree with the arriving germ of a holomorphic function; exponentiating half this logarithm supplies the arriving holomorphic square root. A finite chain of these open discs follows any given path.

Compare two paths from $1$ to $i$, parametrized by $0\le t\le 1$:The first follows a counterclockwise quarter-circle; the second follows a clockwise three-quarter-circle. Following ${\gamma }_A$ and then path reversal of ${\gamma }_B$ makes one positive turn about $0$. Its winding number is $1$, so the two paths cannot be homotopic with endpoints fixed in the punctured plane.

The continued values along the chosen paths areAt their common endpoint,Both complex logarithm values exponentiate to $i$, and both holomorphic square root values square to $i$. These give different terminal germ of a holomorphic function representatives, consistently obtained from the same starting germ of a holomorphic function. The monodromy theorem applies, but does not equate these two non-homotopic paths.

The closed path $\lambda (t)=e^{2\pi it}$ instead returns to $1$, with continued values $L_{\lambda }(t)=2\pi it$ and $S_{\lambda }(t)=e^{\pi it}$. One counterclockwise turn changes the complex logarithm by $2\pi i$ and flips the holomorphic square root from $1$ to $-1$. Hence neither initial germ of a holomorphic function can come from a global holomorphic logarithm or a global holomorphic square root of $z$ on the punctured plane. Repeating a loop of winding number $n$ gives the changes $2\pi in$ and $(-1{)}^n$. ^[ref]

Now restrict to the slit domain $D_{\mathrm{slit}}=\mathbb{C}\setminus (-\infty ,0]$. The principal logarithm and $\exp (\mathrm{Log}z/2)$ realize the same initial germ of a holomorphic function for each expression globally. To see that this is a simply connected domain, polar form identifies this domain with $(0,\infty )\times (-\pi ,\pi )$, a convex set; every loop contracts there. The simply connected corollary of the monodromy theorem now forces equality along every pair of paths with matching endpoints. In particular, ${\gamma }_A$ and the segment $\sigma (t)=1-t+it$ both give $L(i)=\pi i/2$ and $S(i)=(1+i)/\sqrt{2}$. The explicit homotopy $H(s,t)=(1-s){\gamma }_A(t)+s\sigma (t)$ stays in the closed first quadrant away from $0$, hence in $D_{\mathrm{slit}}$.

The other route ${\gamma }_B$ crosses the removed ray at $t=2/3$ and is no longer admissible. In the punctured plane, that crossing is locally regular: analytic continuation passes through $-1$ smoothly, although evaluating the principal logarithm would reset its argument. The branch cut changes the allowed domain; it does not create additional branch points or poles. That distinction is the beauty of the obstruction: perfectly compatible local holomorphic functions can fail to make a global choice solely because of the allowed based loops. The branches of a multivalued function article develops how moving the branch cut changes the selected values.

On a simply connected domain $D$, a germ of a holomorphic function admitting analytic continuation along every path from its base point determines a unique holomorphic function $F:D\to \mathbb{C}$ with that initial germ of a holomorphic function. ^[ref]

Indeed, any two paths with the same endpoints are homotopic with endpoints fixed. Define $F(b)$ using the terminal germ of a holomorphic function. The monodromy theorem makes this independent of the path. In a small open disc about $b$, extend the chosen route by a short segment; the same local representative supplies $F$ throughout the open disc, proving holomorphy. The identity theorem proves uniqueness. The existence hypothesis of the monodromy theorem must still be checked.

For monic $p\in \mathbb{Z}[X]$ irreducible in $\mathbb{Q}[X]$, monic division gives an injection $\mathbb{Z}[X]/(p)\hookrightarrow \mathbb{Q}[X]/(p)$: an integer polynomial in the rational ideal has zero integer remainder. The target is a field, so the source is an integral domain. For positive degree $d$, unique remainders make the source a free abelian group on $1,X,\dots ,X^{d-1}$. The nonzero integer $2$ is not a unit, since multiplying an integer remainder by two cannot give remainder one. Thus this integral domain is not a field.

The precise monadicity theorem says that a right adjoint is monadic exactly when it reflects isomorphisms and creates coequalizers of the pairs whose images have split coequalizers.

For scalar metric potentials $d{s}^2=a^2[-(1+2A)d{\tau }^2+2B_{,i}d\tau d{x}^i+((1-2\psi ){\delta }_{ij}+2E_{,ij})d{x}^{i}d{x}^j]$ and positive extrinsic curvature, $\delta K^i{}_j=a^{-1}[-({\psi }^{\prime }+\mathcal{H}A){\delta }^i{}_j+{\partial }^i{\partial }_j(E^{\prime }-B)]$. The scalar shear terms cancel between its divergence and trace gradient. With $j_i=-P^{\mu }{}_i{T}_{\mu \nu }{n}^{\nu }$, the momentum constraint becomes $2{\partial }_i({\psi }^{\prime }+\mathcal{H}A)/a=-8\pi G{j}_i$. Reversing the convention for $K$ reverses the geometric left side.

For a weakly Hamiltonian left Lie group action on a connected symplectic manifold, choose ${\iota }_{X_f}\omega =df$. Fundamental vector fields and Hamiltonian vector fields are both antihomomorphisms, so the displayed difference is constant. The Jacobi identity for the Poisson bracket makes it a two-cocycle. Changing ${\mu }_X$ by $b(X)$ changes the difference by $-b([X,Y])$. Thus its class in Lie algebra cohomology obstructs choosing an equivariant moment map. For a connected group, vanishing of this class gives infinitesimal and group equivariance.

On the canonical cotangent bundle $T^{\ast }{\mathbb{R}}^n$, $\omega =i\sum d{z}_j\wedge d{\bar{z}}_j$ and $H=z^{†}z$. The unitary group acts by $z\mapsto Uz$, preserving both. For a Hermitian $A$, the generator $-iA$ has Hamiltonian ${\mu }_A=z^{†}Az$. The Poisson bracket satisfies $\{{\mu }_A,{\mu }_B\}={\mu }_{-i[A,B]}$, with no central term. The central generator has moment map $H$; imaginary antisymmetric matrices give ordinary angular momentum, while real symmetric matrices give quadratic observables mixing position and momentum.

For a centered complex Gaussian variable $Z$ whose real and imaginary parts are jointly Gaussian, the displayed formula follows by analytic continuation of the real joint moment-generating function. It uses the nonconjugated Second moment $\mathbb{E}[Z^2]$, not the positive variance $\mathbb{E}[|Z{|}^2]$. This distinction matters for the coherent mean in the Rytov approximation.