Let $f,g$ be positive bumps of an order automorphism whose supports of a permutation have matching endpoint types, as required by conjugacy of positive real-line bumps. Suppose $c<d<\min \{cf,cg\}$, using right actions. Their conjugacy can be chosen to fix $[c,d]$ pointwise.

Start with an increasing bijection $b_0:[c,cf]\to [c,cg]$ that is the identity on $[c,d]$. Such an extension exists because both right endpoints lie strictly beyond $d$. Extend $b_0$ along the bump iterates using $b(t{f}^n)=b_0(t)g^n$, and extend over the complementary rays. Endpoint agreement makes the iterated pieces fit, and gives $fb=bg$ while retaining the prescribed fixed interval.

There is also a useful commuting version. If both bump supports lie strictly inside one fundamental interval of another order automorphism $h$ moving points to the right, choose the conjugator within that cell and fix its endpoints. Repeat it on all $h$-translates of the cell, and use the identity outside the resulting orbital. The pieces define a conjugator commuting with $h$. It also commutes with every automorphism whose support lies in an interval that the conjugator fixes pointwise.

There is no positive integer right triangle whose area is a square. For a hypothetical primitive triangle of minimal hypotenuse, its primitive Pythagorean parametrization makes $m,n,m-n,m+n$ pairwise coprime squares. Write $m=r^2$, $n=s^2$, $m+n=u^2$, $m-n=v^2$. Modulo eight forces $m$ odd and $n$ even. The new integer legs $(u+v)/2,(u-v)/2$ have hypotenuse $r$ and area $(s/2{)}^2$, a smaller positive hypotenuse, contradicting infinite descent. Clearing denominators extends the conclusion to rational right triangles of area one.

A primitive Pythagorean triple of area twice a square would satisfy $mn(m-n)(m+n)=2s^2$. Pairwise coprimality makes the odd factors squares and the even factor twice a square. The possibility $m$ even is excluded modulo eight. Thus $m=a^2,n=2b^2,m+n=c^2,m-n=d^2$. The coprime integers $u=(c+d)/2,v=(c-d)/2$ have $uv=b^2$, hence are themselves squares, and $a^2=u^2+v^2$ contradicts fourth-power sum cannot be a square. Clearing denominators gives the assertion for rational triangles.

The orthogonal complements of the universal frames define a complex vector bundle of rank $n-k$ inside the trivial ${\mathbb{C}}^n$ bundle. The orthogonal projector $I-{\sum }_i{v}_i{v}_i^{\ast }$ is smooth of constant rank, giving local bundle frames. Its underlying real bundle has canonical orientation and rank $2(n-k)$. Its sphere bundle is exactly $V_{k+1}({\mathbb{C}}^n)$, by appending the unit vector in the complement to the frame.

Use the complement bundle on a complex Stiefel manifold inductively. If the ring for $V_k$ is exterior with smallest positive degree $2n-2k+1$, the complement bundle has Euler degree $2(n-k)$, in which base cohomology vanishes. Its Euler class is consequently zero. The Gysin ring splitting for an odd-dimensional sphere bundle adds one exterior generator of degree $2(n-k)-1$. The initial base $V_0$ is a point. This gives the full integral cohomology ring and in particular its torsion-freeness. At $k=n$, the unitary group has Poincare polynomial ${\prod }_{j=0}^{n-1}(1+t^{2j+1})$.

Lift finite homogeneous generators of the associated graded module of a right ideal $I$ to $x_i\in I$ of degrees $d_i$. Successive leading-symbol cancellations write an element $x\in F_{d}I$ as finite partial sums ${\sum }_i{x}_i{a}_i^{(q)}$ with residual in $F_{d-q}R$. The coefficient increments lie in $F_{d-q-d_i}R$ and therefore converge in the complete negative filtration. Multiplication is continuous, so their limits express $x$ as a finite sum ${\sum }_i{x}_i{a}_i$. This generates the actual right ideal and does not presuppose that it is closed. The left-sided statement is analogous.

A freely falling particle's physical momentum is measured in the local orthonormal frame of a comoving observer. With proper peculiar velocity $\mathbf{v}=ad\mathbf{x}/dt$ and Lorentz factor $\gamma =(1-v^2{)}^{-1/2}$, it is $m\gamma \mathbf{v}$. It differs by one factor of the scale factor from the conserved comoving momentum. For a nonrelativistic particle, its peculiar velocity therefore decays as $a^{-1}$.

The $k$th logarithmic derivative in the additive formal logarithm coordinate defines the Coates–Wiles homomorphism. Products of local units become sums under this map. For elliptic units, differentiating the underlying complex elliptic function expresses the result in terms of critical Hecke L-function values divided by a CM period.

Assume $K_{\mathfrak{p}}={\mathbb{Q}}_p$, $p>2$, $f(t)\in {\mathbb{Z}}_p[[t]{]}^{\times }$, and $[\pi ]t\equiv t^p(\mathrm{mod}p)$. Then the displayed ratio lies in $1+p{\mathbb{Z}}_p[[t]]$, so its logarithm divided by $p$ is integral. A formal-group isomorphism over the completed unramified coefficient ring transfers it to an integral Amice transform. A norm relation makes the corresponding p-adic measure supported on units. Its $k$th moment has the Euler correction $1-{\pi }^k/p$.

For odd $p$, the Coleman norm operator satisfies the displayed inclusion for every $k\ge 1$. Write $M_h$ for multiplication by $h$ on the finite free module $R$ over $\varphi (R)$. Its trace is $p\varphi (S(h))$, where $S$ is the Coleman trace operator. In $\det (I+p^k{M}_h)$ the linear term is therefore divisible by $p^{k+1}$, and all higher terms are divisible by $p^{2k}$. Congruence reflection for Frobenius substitution gives the assertion. A norm-fixed element of $1+pR$ lies in $1+p^{k}R$ for every $k$ and hence equals $1$.

Every unit $\overline{f}\in {\mathbb{F}}_p[[T]{]}^{\times }$ has a unique Coleman norm operator-fixed lift to ${\mathbb{Z}}_p[[T]{]}^{\times }$. Choose any lift $f$ and use $Nf\equiv f(\mathrm{mod}p)$. The consecutive quotients of the iterates are $N^n(Nf/f)\in 1+p^{n+1}R$ by Coleman norm contraction, so they converge coefficientwise uniformly in the p-adic integers. Their limit is norm-fixed by continuity. Two such lifts have norm-fixed quotient in $1+pR$ and therefore coincide. Uniqueness also makes the lifting map multiplicative and independent of the initial lift.

The Weyl group of the Cn root system is the signed symmetric group. A Weyl reflection in $2{\epsilon }_i$ changes the sign of coordinate $i$; one in ${\epsilon }_i-{\epsilon }_j$ interchanges coordinates $i,j$; one in ${\epsilon }_i+{\epsilon }_j$ interchanges and negates both coordinates. These generate all independent sign changes and all permutations, giving order $2^{n}n!$.

Choose positive roots of a root system ${\epsilon }_i-{\epsilon }_j$, ${\epsilon }_i+{\epsilon }_j$ for $i<j$, and $2{\epsilon }_i$. The simple roots are ${\alpha }_i={\epsilon }_i-{\epsilon }_{i+1}$ for $i<n$ and ${\alpha }_n=2{\epsilon }_n$. Their coroots are ${\alpha }_i^{\vee }={\epsilon }_i-{\epsilon }_{i+1}$ and ${\alpha }_n^{\vee }={\epsilon }_n$. Therefore the fundamental weights and Weyl vector areThe highest root is $2{\epsilon }_1=2{\alpha }_1+\cdots +2{\alpha }_{n-1}+{\alpha }_n$. These formulas include rank one.

For $n\ge 2$, the finite Dynkin diagram has a chain of short roots ${\alpha }_1,\dots ,{\alpha }_{n-1}$ with single bonds, followed by a double bond to the long root ${\alpha }_n$, pointing toward ${\alpha }_{n-1}$. The Extended Dynkin diagram adds the long root ${\alpha }_0=-2{\epsilon }_1$, doubly bonded to ${\alpha }_1$ with arrow toward ${\alpha }_1$. All other bonds remain. For $n=1$, the finite diagram is a single vertex; the affine diagram has two equal-length vertices joined by a double bond without an arrow, with Cartan matrix $\left(\begin{array}{cc}2& -2\\ -2& 2\end{array}\right)$.

For a closed subscheme defined by an ideal sheaf $\mathcal{I}$, its $n$th infinitesimal neighbourhood has structure sheaf ${\mathcal{O}}_X/{\mathcal{I}}^{n+1}$. All these neighbourhoods have the same underlying topological space because the radicals of $\mathcal{I}$ and its positive powers agree. Their inverse limit of structure sheaves is the formal completion of a scheme.

// Target: ringed-space.bigb

When the solid and liquid have the same pressure, equality of chemical potentials implies $-(s_l-s_s)dT+(1/{\rho }_l-1/{\rho }_s)dp=0$. With latent heat of fusion $L=T_m(s_l-s_s)$, this gives the displayed slope. If solid is less dense than liquid, raising the common pressure depresses the melting temperature. $T_m$ is absolute temperature. This coexistence-curve derivative differs from a thermomolecular pressure difference between equal-density phases.

A concrete experiment turns the phase coexistence curve into pairs of temperature and saturation pressure. A 1969 paper reports water measurements made in 1942 and 1947–1949 using a boiler and precision mercury manometer. Platinum resistance thermometers read the boiler temperature through a resistance bridge. The pressure-transfer line passed through an ice-water condenser and a dry-ice trap; helium filled connecting sections. Corrected mercury column height gave the pressure at the thermometer coils, including hydrostatic pressure contributions from water vapor, helium, mercury, and mercury vapor.^[ref]

Controls included normal/reversed-lead readings, readings at two thermometer electric currents extrapolated to zero current to remove self-heating, repeated bridge calibration, and daily triple point thermometer calibration checks. Cellar temperature measurements corrected fluid-column and gauge-block thermal expansion. One measurement series was excluded because a trapped gas bubble was suspected of corrupting the mercury head. The paper adjusted measurements to round temperatures using previously tabulated slopes; those adjusted values therefore are not independent measurements of those slopes.^[ref]

The thermodynamic inference requires liquid and gas in phase coexistence, a well-defined common temperature, and a pressure corrected to that same location. Leaks, contamination, or a temperature gradient can spoil that interpretation. A separate calorimetry measurement of latent heat, together with the two specific volumes, allows a test of the full Clapeyron equation. Converting a measured phase coexistence curve slope directly into latent heat instead assumes that equation; it is not an independent test.

For liquid–gas phase coexistence, make two distinct approximations: the gas obeys the ideal gas law, $v_{m,g}=RT/p$, and its molar volume greatly exceeds the liquid molar volume, $v_{m,g}\gg v_{m,l}$. Here $R$ is the molar gas constant and $p$ is the saturation pressure of the pure substance. Substitution into the Clapeyron equation giveswhere $p_{\ast }>0$ is any fixed reference pressure, making the logarithm dimensionless. Constant latent heat is a further approximation, needed for the elementary Integrated Clausius-Clapeyron relation below.^[ref]

The neglected liquid molar volume has a transparent error estimate. If the gas is ideal but $ϵ=v_{m,l}/v_{m,g}$ is retained, thenThus ignoring the liquid molar volume underestimates this slope by a relative amount $ϵ$. This estimate does not bound errors from treating a real gas as ideal or from freezing $L_m(T)$. Near a thermodynamic critical point, the gas and liquid molar volumes approach each other and these dilute-vapor assumptions fail.

For the Levi-Civita connection, the action of the curvature commutator on a bivector $w^{ab}$ obeys $[{\nabla }_a,{\nabla }_b]w^{ab}=0$: both resulting curvature contractions pair the symmetric Ricci tensor with an antisymmetric tensor. For a bivector of one chirality, $w^{A{A}^{\prime }B{B}^{\prime }}={\varphi }^{AB}{ϵ}^{A^{\prime }{B}^{\prime }}$, this is $2{\Delta }_{AB}{\varphi }^{AB}=0$. In particular it holds for ${\varphi }^{AB}={\alpha }^A{\alpha }^B$; polarization gives ${\Delta }_{AB}({\alpha }^{(A}{\beta }^{B)})=0$. The polarization step avoids incorrectly calling ${\alpha }_A{\beta }_B{ϵ}_{A^{\prime }{B}^{\prime }}$ a simple bivector for independent spinors.

Metric compatibility makes the curvature action on a two-component spinor symplectic, so its lowered curvature spinor is symmetric in each pair. The pair-exchange symmetry of the Riemann curvature tensor makes $X_{ABCD}=X_{CDAB}$. This six-component tensor decomposes into the five-component totally symmetric Weyl curvature spinor ${\Psi }_{ABCD}=X_{(ABCD)}$ and one scalar term. In the displayed normalization, with alternating forms satisfying ${ϵ}^{AB}{ϵ}_{AB}=2$, its scalar is $\Lambda =X_{ABCD}{ϵ}^{AC}{ϵ}^{BD}/3$. This coefficient follows by contracting the displayed scalar term; different normalizations of that term give different scalar conventions.