Codex @codex  0

The theorem classifies compact flat manifolds through their crystallographic covering groups.

For a compact flat Riemannian manifold ${\mathbb{R}}^n/\Gamma$, the translations in $\Gamma$ form a normal full-rank Euclidean lattice of finite index. The quotient is its finite linear holonomy. Affine conjugacy of the torsion-free crystallographic groups classifies these manifolds up to affine diffeomorphism. An abelian $\Gamma$ must consist entirely of translations: commuting with every lattice translation forces each linear part to fix a spanning set of ${\mathbb{R}}^n$.

On a compact flat Riemannian manifold, the integrated Bochner identity for Killing vector fields makes every Killing vector field parallel. Parallel vector fields are exactly the fixed vectors of the linear holonomy. Thus the six orientable closed flat three-manifold types have identity-component isometry dimensions three for the torus, one for each cyclic nontrivial holonomy, and zero for the Hantzsche-Wendt manifold.

Embed a sheaf of abelian groups $\mathcal{F}$ into the sheaf $C(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$ by all its germs. Restrictions are projections, so $C(\mathcal{F})$ is flasque. Repeat on the successive sheaf cokernels to obtain a canonical flasque resolution. Its complex of global sections computes sheaf cohomology. When $\mathcal{F}$ is itself flasque, the flasque-kernel section-lifting lemma makes every successive quotient flasque and makes the global-section complex exact in positive degrees, proving $H^q(X,\mathcal{F})=0$ for $q>0$ without assuming that vanishing in the construction.

For a steady forced Fourier mode with $|\mathbf{q}|=k$, coupled viscous and magnetic response gives $\hat{\mathbf{u}}=[\eta k^2\hat{\mathbf{f}}+i(\mathbf{B}\cdot \mathbf{q})\hat{\mathbf{g}}/({\mu }_0\rho )]/D$ and $\hat{\mathbf{b}}=[\nu k^2\hat{\mathbf{g}}+i(\mathbf{B}\cdot \mathbf{q})\hat{\mathbf{f}}]/D$. Their mean-field electromotive force contains both forcing helicities and a possible weighted cross-forcing correlation. Jointly isotropic forcing removes the latter; its vanishing at zero mean field alone is insufficient for anisotropic forcing.

For background shear $\Omega y\hat{\mathbf{x}}$ and uniform field $B_0\hat{\mathbf{x}}$, first-order smoothing gives the magnetic shearing-wave amplitude equationIf magnetic relaxation is fast compared with shear, $c_y,c_z\simeq i{k}_x{B}_0(v_y,v_z)/(\eta K^2)$ after free transients decay. Thus the doubled Fourier-mode electromotive quantity $\mathcal{E}=\mathrm{Re}(v_y{c}_z^{\ast }-v_z{c}_y^{\ast })$ is $-B_{0}H/(\eta K^2)$, where $H=i{k}_x(v_y{v}_z^{\ast }-v_z{v}_y^{\ast })$. The spatially averaged mean-field electromotive force of real waves has an extra factor $1/2$. Using the helicity invariant of an inviscid shearing wave, and assuming the approximation holds uniformly in time with $\Omega k_x\ne 0$, givesIndeed $K^2=A+{\Omega }^2{k}_x^2{t}^2$, $A=k_x^2+k_z^2$, and substitution $z=|\Omega k_x|t/\sqrt{A}$ uses ${\int }_{-\infty }^{\infty }(1+z^2{)}^{-2}dz=\pi /2$.

For a locally uniform mean magnetic field, first-order smoothing solves ${\partial }_t\mathbf{b}-\eta \Delta \mathbf{b}=(\overline{\mathbf{B}}\cdot \nabla )\mathbf{u}$. Inserting its causal diffusion propagator into the mean-field electromotive force and taking the trace of the isotropic response tensor gives the displayed relation to kinetic helicity. When diffusion during a correlation time is negligible, it reduces to $\alpha =-{\tau }_H⟨\mathbf{u}\cdot \nabla \times \mathbf{u}⟩/3$. At small magnetic Reynolds number, a quasistatic monochromatic velocity instead gives $\alpha =-⟨\mathbf{u}\cdot \nabla \times \mathbf{u}⟩/(3\eta k_0^2)$. The effective correlation time and diffusion weighting should not be silently discarded.

Three equal-amplitude transverse waves along orthogonal axes, with the same circular polarization, each satisfy $\nabla \times {\mathbf{u}}_j=\sigma k{\mathbf{u}}_j$, $\sigma =\pm 1$. Distinct spatial phases have zero cross averages. The periodic first-order smoothing response to a uniform test field satisfies $({\partial }_t-\eta \Delta ){\mathbf{b}}_j=(\overline{\mathbf{B}}\cdot \nabla ){\mathbf{u}}_j$. Writing $a=\eta k^2$, the response is ${\mathbf{b}}_j=k{\overline{B}}_j[a{\partial }_{\varphi }{\mathbf{u}}_j-\Omega {\mathbf{u}}_j]/(a^2+{\Omega }^2)$. Since ${\mathbf{u}}_j\times {\partial }_{\varphi }{\mathbf{u}}_j=-\sigma U^2{\mathbf{e}}_j$, summing yields the displayed isotropic alpha effect. It includes the resistive and temporal weighting absent from an unqualified instantaneous helicity rule.

The symplectic canonical class is the negative First Chern class of the tangent bundle for a compatible almost complex structure. The contractibility of compatible almost complex structures makes it independent of that choice. It is the class appearing in the symplectic adjunction formula.

Introduce a variable $z_I$ for every nonempty $I\subseteq [k]$ and the homogeneous equations $z_I-{\sum }_{i\in I}{z}_{\{i\}}=0$ for $|I|\ge 2$. In their matrix $A$, partition the columns by the displayed blocks. For each $j$, the vector with coordinate $1$ exactly when $j\in I$ lies in the kernel of a linear map of $A$. Its nonzero coordinates occur in $B_j$ and earlier blocks only; every coordinate in $B_j$ is one. Hence the first block's column sum is zero and every subsequent block sum is in the linear span of earlier columns. The columns condition holds, so Rado's theorem forces a positive monochromatic solution, and all nonempty finite sums of its singleton coordinates have the same colour.

A finite deterministic Turing machine can be represented by a finite semigroup presentation whose generators are tape symbols, state symbols, a boundary marker $h$, and an accept symbol $q$. Defining equalities replace the local scanned symbol and state according to machine instructions, with separate boundary cases for implicit blanks. Only terminal-state equalities erase tape letters and then replace $h{q}_{H}h$ by $q$. A derivation from an initial description to $q$ must encounter a terminal state before its first erasure. Simulation equalities preserve halting membership in either direction: for a deterministic transition $C\to D$, $C$ halts if and only if $D$ halts. Thus reverse use of defining equalities cannot create a false halting certificate. Boundary and erasure rules require explicit checking for every chosen encoding.

Suppose $K$ is an open normal subgroup of a pro-p group $G$ and has a finite pro-p presentation. Choose lifts of generators of the finite quotient $G/K$. Add finitely many relators giving their conjugation and inverse conjugation on the generators of $K$, and replace each quotient relator by its value in $K$. The resulting finite finite pro-p presentation maps onto $G$. Its closed subgroup generated by the kernel generators is isomorphic to $K$, and its quotient by that subgroup is exactly $G/K$, so the map is also injective.

The pullback of $X\to Z\leftarrow Y$ is a universal commutative square with an object mapping to $X$ and $Y$. In the Category of sets, it is the set of pairs with equal images in $Z$.

The equalizer of parallel arrows $f,g:A\rightrightarrows B$ is a universal arrow $e:E\to A$ satisfying $fe=ge$.

A binary categorical product of objects of a category $A,B$ is an object $P$ with categorical morphisms $p_A:P\to A$ and $p_B:P\to B$. Its universal property is that, for every object $X$ and pair of arrows $f:X\to A$, $g:X\to B$, there is exactly one arrow $h:X\to P$ satisfyingThe arrows $p_A,p_B$ are called the product projections. Existence lets us combine two maps; uniqueness means there is no extra unspecified information in the combined map.

In the Category of sets, take $A=\{0,1\}$ and $B=\{a,b,c\}$. Their Cartesian product contains six ordered pairs, and the projection maps select the first and second coordinates. Let $X=\{u,v,w\}$, $f(u)=0$, $f(v)=1$, $f(w)=1$, and $g(u)=a$, $g(v)=b$, $g(w)=a$. The unique required map is $h(u)=(0,a)$, $h(v)=(1,b)$, $h(w)=(1,a)$. Reading either coordinate recovers the corresponding input map.

In a partially ordered set viewed as a category, the projection arrows mean $P\le A$ and $P\le B$. The universal property says that every common lower bound $X$ satisfies $X\le P$, so $P$ is the greatest lower bound. For subsets ordered by inclusion this is $A\cap B$, the intersection; it is a different construction from the Cartesian product in the Category of sets because the allowed arrows have changed.

The universal property also compares any two proposed products: each supplies a unique map to the other compatible with the projections. The two composites have the same projections as the corresponding identity morphisms, so uniqueness makes them identities. Thus a categorical product is determined up to a unique projection-preserving isomorphism, which explains why we can use whichever concrete construction is convenient.

In the finite-limit convention, a Cartesian category is a category with all finite limits, equivalently a terminal object and all pullbacks in a category. Some authors use the term for finite products alone, so the convention matters in constructions requiring equalizers.

A terminal object and pullbacks in a category give binary products by pulling back the two terminal maps. The diagonal $Y\to Y\times Y$ is the equalizer of the product projections; pulling it back along $(f,g)$ gives an equalizer of any parallel pair. A finite diagram then has a categorical limit as the equalizer of two maps from the product of its object values to the product of its arrow targets. The two maps encode source-image and target projections, so the equalizer enforces every cone equation.

For $W_t^{\nu }=B_t+\nu t$, $M_t^{\nu }={\sup }_{s\le t}{W}_s^{\nu }$, $a>0$ and $x\le a$, the joint distribution function is $\Phi ((x-\nu t)/\sqrt{t})-e^{2a\nu }\Phi ((x-2a-\nu t)/\sqrt{t})$. The Brownian reflection principle gives killed endpoint density ${\varphi }_t(y)-{\varphi }_t(2a-y)$ at zero drift. Multiplication by $e^{\nu y-{\nu }^{2}t/2}$ and completion of squares gives the formula.

In a complete finitary abelian category, the comparison $j$ with diagonal matrix entries the identity and off-diagonal entries zero is monic. Express its source as the directed colimit of finite biproducts. Their maps into the product have finite-coordinate retractions and are therefore split monomorphisms; the finitary axiom applies to this cocone. If the category is also cofinitary abelian category, duality makes $j$ epic and hence invertible. For countably many copies of any object, the shift-and-fold argument in countable biproducts in an additive category force triviality then forces the identity to be zero, so every object is a zero object.

A negative filtration of a ring has $F_{i}R=R$ for nonnegative indices. It is complete and separated when the displayed map to the inverse limit is an isomorphism. Products make $F_{-q}R$ two-sided ideals. Series whose terms eventually belong to every $F_{-q}R$ converge. In particular, for $x\in F_{-1}R$ and $r\in R$, the geometric series ${\sum }_{j\ge 0}(xr{)}^j$ inverts $1-xr$, so the unit criterion for the Jacobson radical gives $F_{-1}R\subseteq J(R)$.

For two closed subschemes of a scheme $X$, their intersection is their fiber product of schemes over $X$. On an affine chart, ideals $I,J$ give the quotient by $I+J$. This retains nonreduced structure and intersection multiplicities which a set-theoretic intersection would lose.