A permutation commutes with a transposition exactly when it preserves its two-element support as a set. It may swap those two points and independently permute the remaining points. Thus this centraliser has order $2(n-2)!$.

Commutation with a fixed-point-free involution preserves its partner relation. A commuting permutation can permute the $m$ pairs and independently swap each pair. This gives the permutation wreath product with order $2^{m}m!$.

The dominant energy condition for the Interior Schwarzschild metric reduces to its largest pressure satisfying $p_c\le \rho$. Substitution of the exact central pressure gives $\sqrt{1-2M/R}\ge 1/2$, hence $M/R\le 3/8$. Equality has finite central pressure and is allowed by the non-strict condition.

At a target barrier parameter $\mu$, let $r_p=Ax-b-s$, $r_d=A^{\top }y-c$, $r_c=y+\mu \nabla F(s)$. The Newton direction solvesFull column rank of $A$ and a positive-definite barrier Hessian give a positive-definite reduced matrix. Backtracking must keep both cone variables interior; solving the linear equations alone does not guarantee that a full step stays inside the cones.

For a CW complex $X$ and coefficient abelian group $A$, the cohomology of its cellular cochain complex naturally equals its singular cohomology:The cellular cochain group is $\mathrm{Hom}(C_q^{\mathrm{cell}}(X;\mathbb{Z}),A)$, and its coboundary map is precomposition with the cellular boundary.

If $X$ has only even-dimensional cells, every cellular coboundary map is zero. If, in addition, there are finitely many cells in each dimension, then its integral cohomology groups are free abelian groups, with one generator for each cell in that degree. For infinitely many cells in one degree, the cochain group is a direct product of groups of copies of $\mathbb{Z}$, rather than the direct sum used for cellular chains; the finite-cell freeness conclusion must not be applied without that qualification. Even with all additive groups known, the cup product still requires a separate computation.

For a finite cover whose nonempty intersections have zero sheaf cohomology in degrees $1,\dots ,i-1$, the displayed sequence is exact for $i>0$. Apply the Čech cochain complex to a flasque resolution. Local primitives and successive primitives of their overlap differences reduce a class with zero restrictions to a Čech cocycle with values in the original sheaf. Vanishing in degree $i$ on all intersections is not needed.

Let two triples of projective lines meet in nine distinct points. Any plane cubic containing eight contains all nine. To prove this, write the triples as $F=L_1{L}_2{L}_3$ and $G=M_1{M}_2{M}_3$, with the missing point on $L_3$. The candidate cubic $H$ agrees with a scalar multiple of $G$ on $L_1$, so $H-\lambda G=L_{1}Q$. Its three known zeros on $L_2$ force $Q=L_{2}L$. Two remaining known zeros on $L_3$ force the linear factor $L$ to be a multiple of $L_3$. Hence $H=\lambda G+\mu F$ and vanishes at the missing point.

A broad-spectrum stationary source below height $H$ first sends an upward packet there after $2H/U$, at $x=H$. This uses the maximum vertical group velocity $U/2$ at $\theta =\pi /4$. A source lacking the corresponding wavenumber has a later actual arrival.

A lower ray reaches $H$ after ${\tau }_1=H/[U_1\sin {\theta }_1\cos {\theta }_1]$, at $x_H=H\cot {\theta }_1$. Conserved horizontal wavenumber gives $\cos {\theta }_2=(U_2{N}_1/U_1{N}_2)\cos {\theta }_1$. The transmitted front is $(x_H,H)+(t-{\tau }_1){\mathbf{c}}_{g2}$ on propagating branches; reflection reverses the vertical group velocity.

With chosen $J$-shaped categorical limits, the limit functor sends each diagram in a category to its limit object. A natural transformation induces the unique morphism compatible with the limit-cone projections. It is a right adjoint to the constant diagram functor, so it preserves existing categorical limits.

A categorical cone $L\to E_i$ is a categorical limit precisely when $\mathcal{C}(C,L)\to {\lim }_i\mathcal{C}(C,E_i)$ is a bijection for every object $C$. This is exactly the universal property expressed as a test on hom-sets. Consequently a functor preserves existing categorical limits if every composite with a covariant representable functor does.

The reversal from decreasing to increasing orbital period during continuing donor mass loss. The Roche-lobe-filling period-density relation gives $d\log P/d\log M_d=(3\zeta -1)/2$, where $\zeta$ is the effective stellar radius response exponent along the mass-losing sequence. A crossing from $\zeta >1/3$ to $\zeta <1/3$ gives a local cataclysmic-variable period minimum.

The Casimir operator formed from the Killing form acts on an Irreducible Lie algebra representation with highest weight $\lambda$ by the scalar $(\lambda ,\lambda +2\rho )$, where $\rho$ is the half-sum of positive roots. It is zero on the trivial Lie algebra representation and nonzero on every nontrivial finite-dimensional irreducible complex representation of a semisimple Lie algebra.

Early case B overflow occurs in an early post-main-sequence donor, commonly crossing the Hertzsprung gap with a largely radiative envelope. A stabilizing mass-loss response can allow transfer at binary mass ratios that would destabilize a convective giant. This is an evolutionary-stage classification, distinct from recombination terminology.

In a $y$-independent magnetostatic equilibrium with no axial pressure or gravitational force, $\nabla \psi \times \nabla B_y=0$. Thus $B_y=b(\psi )$ on a regular connected flux region. The remaining balance is $[{\nabla }^2\psi +b{b}^{\prime }]\nabla \psi /{\mu }_0+\nabla p+\rho \nabla \Phi =0$. Constancy on separate components of a level set does not automatically give one global single-valued $b$.

If real $f$ and $f^2$ belong to the generator domain of a Feller semigroup, Jensen inequality gives $P_t(f^2)-(P_{t}f{)}^2\ge 0$. This expression is zero at $t=0$, so its right derivative is nonnegative, proving the inequality. It is equivalent to positivity of the carré du champ.

For steady equal-pressure flow, mass conservation gives $Aw=A_0{w}_0$ and the kinematic boundary condition gives $(D\sqrt{w}{)}_z=\gamma /(2\mu \sqrt{w})$, where $D=R_e-R_i$. Therefore finite-height closure occurs exactly whenFor positive velocity the integral is increasing. If it diverges, closure is finite; if its limiting value lies below the right-hand threshold, there is no finite closure. Quadratic freely falling profiles have logarithmically divergent integrals, while sufficiently strongly drawn exponentially accelerating profiles can have finite integrals. Thus nozzle speed alone is insufficient to guarantee closure: the axial tension or downstream condition matters.

For a nonhyperelliptic smooth projective curve of geometric genus four, the canonical map is an embedding of degree six. Dimension counts $10>h^0(2K)=9$ and $20>h^0(3K)=15$ supply a quadric and a cubic not divisible by it. The quadric is irreducible because the curve is nondegenerate. Degree six and unmixedness of a complete intersection then identify the intersection with the curve as a scheme.

For a centered Gaussian random variable in a Banach space, a Borel set $C=-C$, and $h$ in its Cameron-Martin space of a Gaussian random variable in a Banach space, the Cameron-Martin theorem for a Gaussian measure gives the translated density $e^{-\hat{h}(X)-\Vert h{\Vert }_H^2/2}$. The joint law of $(X,\hat{h}(X))$ is invariant under simultaneous negation. Averaging the two density formulas therefore replaces $e^{-\hat{h}(X)}$ by $\cosh \hat{h}(X)\ge 1$, proving the lower bound. No convexity of $C$ is required.

Let $\mathcal{G}$ be the first Gaussian chaos of a centered Gaussian random variable in a Banach space. By Fernique's theorem, $Sg=\mathbb{E}[Xg]$ is a Bochner integral in $B$. The map $S$ is injective, because $Sg=0$ implies $\mathbb{E}[g\ell (X)]=0$ for every continuous linear functional $\ell$, hence $g=0$. Its range becomes a Hilbert space under $⟨Sg,Sv{⟩}_H=\mathbb{E}[gv]$. The embedding in $B$ is continuous by Cauchy-Schwarz inequality. Its reproducing property is $⟨h,S\ell (X){⟩}_H=\ell (h)$. Thus this is the Reproducing kernel Hilbert space of the random variable, including degenerate laws. For $h=Sg$, the scalar coordinate $\hat{h}(X)=g$ has variance $\Vert h{\Vert }_H^2$; it is generally a measurable linear coordinate rather than a continuous functional on $B$.