An imputation is an efficient, individually rational allocation in a transferable utility game. Its total is the grand-coalition value and each player receives at least its singleton value. The set is nonempty exactly when $v(N)\ge {\sum }_{i}v(\{i\})$, and is then compact. This individual-rationality condition distinguishes the nucleolus from the prenucleolus.

When the imputation set is nonempty, the nucleolus is the unique imputation lexicographically minimizing the vector of excesses of a coalition sorted decreasingly. It minimizes the largest complaint first, then subsequent complaints among ties. It can be computed through successive linear programs that minimize the current maximum excess and retain constraints fixed by prior stages. Its uniqueness is the standard nucleolus theorem. If the core of a cooperative game is nonempty, the nucleolus belongs to it; an empty core does not preclude a nucleolus.

Duality assigns a coalition the grand-coalition value less the value of its complement. For a normalized transferable utility game, the dual is normalized and taking the dual twice recovers the original game. A player's dual marginal contribution at predecessor set $S$ equals its original contribution at the complementary predecessor set in $N\setminus \{i\}$. This preserves the Shapley value.

The transcendence degree is the cardinality of a transcendence basis. It counts independent transcendental parameters. In a finitely generated separably generated field extension, it equals the dimension of the Kähler differentials as a vector space over the extension field.

A transcendence basis $T$ for $L/k$ is separating if $L/k(T)$ is a separable field extension. In this case the $dt$, $t\in T$, form a basis of the Kähler differentials. In characteristic zero every transcendence basis is separating. In positive characteristic the condition on the chosen basis is essential.

If continuously differentiable $F_j,F$ converge uniformly on a compact interval and have uniformly bounded total variation of a function, then $\int b{F}_j^{\prime }\to \int b{F}^{\prime }$ for every continuous $b$. For continuously differentiable test functions this is integration by parts. Uniform approximation by polynomials extends the conclusion to continuous tests using the variation bound.

The product of three circles is a compact smooth three-manifold. Quotient coordinates allow constant commuting vector fields. A rank-two plane field can have dense immersed leaves, as in a dense immersed cylinder in a three-dimensional torus.

For an abelian group $A$, its $p$-primary torsion subgroup is $A\{p\}=\{a:p^{r}a=0\text{ for some }r\ge 0\}$. It is zero exactly when $A[p]=0$, since a nonzero element of $p$-power order has a multiple of order $p$. Multiplication by an integer prime to $p$ is an automorphism on it.

Apply clearing denominators relative to an independent module subset to find $0\ne a$ with $aM$ lying in a finite free module. Multiplication by $a$ is injective on a torsion-free module, giving the required embedding. A submodule need not itself be free over a general integral domain.

Linear axisymmetric compressive modes of a barotropic closure of a razor-thin disk combine radial epicyclic restoration, softened self-gravity and pressure. The off-plane razor-thin Poisson kernel supplies the exponential gravity reduction. Here $k$ is the nonnegative radial wavenumber magnitude. The full linear system also has an axisymmetric geostrophic mode.

At the marginal radial wavenumber, the forced axisymmetric density mode with vortensity has zero squared frequency. Its mass density amplitude is $C_0+C_{1}t-\Omega {\Sigma }_0^2{q}^{\prime }{t}^2$. Thus there is no exponential instability but nonzero conserved vortensity can force quadratic growth, and a homogeneous generalized mode can grow linearly. The spectral boundary $Q=1$ of the Toomre stability criterion must not be mistaken for boundedness of every initial-value solution.

In units where a circular planet has orbital radius and speed one, the particle's relative speed $u$ outside a close encounter satisfies $u^2=3-T$, to leading order in the planet-to-star mass ratio. This follows from the vis-viva equation and $u^2=v^2+1-2h_z$ at the encounter radius. A short conservative encounter changes the direction of this relative velocity while preserving its magnitude.

For bound planet-crossing Kepler orbits, $T=2/(q+Q)+2\sqrt{2qQ/(q+Q)}\cos I$, with the planet radius taken as one. At fixed $q<1$, $T$ is maximized by $I=0$ and $Q=1$. For $2<T<3$ this gives $q\ge (1-\sqrt{3-T}{)}^2/[1+2\sqrt{3-T}-(3-T)]$. This form remains regular at $T=\sqrt{8}$. It is an invariant-based accessibility bound, not a guarantee that a scattering history attains it; for $0<T\le 2$ it gives no positive universal pericentre floor.

The time-ordered exponential solves $i\hslash {\partial }_{t}U=H(t)U$ with initial condition $U(t_0,t_0)=I$. Its expansion is the Dyson series. For bounded continuous Hamiltonian operators the series converges, as in differentiation of the Dyson time-ordered exponential. If the generators commute at all times, time ordering is unnecessary and an ordinary operator exponential suffices.

A majority Boolean function outputs one when more than half its input bits are one. An odd number of inputs avoids a tie convention. For three bits its unique multilinear polynomial is $x_1{x}_2+x_1{x}_3+x_2{x}_3-2x_1{x}_2{x}_3$, so the polynomial method for quantum query lower bounds requires at least two exact queries.

For covers branched over three real points with a real base point, choose the two generating loops so complex conjugation reverses each. A sheet permutation satisfying the displayed identities lifts that conjugation to an anticonformal equivalence of the covers, including the filled branch points. For closed hyperbolic Riemann surfaces this is a Riemannian isometry. Such an isometry need not come from conjugating the subgroups inside the original deck group, so a Gassmann equivalent pair can be isometric despite nonconjugacy there.

For a liquid film heated below and cooled above, the quasistatic temperature of a conductively cooled film makes a thicker region colder at the surface. If surface tension decreases with temperature, Marangoni stress draws fluid towards thicker regions, competing with smoothing by capillary pressure. Writing ${\gamma }_s={\gamma }_0+bh$ gives $a_c={\gamma }_0/(3\mu )$, $a_m=b/(2\mu )$. A balanced long-wave scaling gives $H_{\tau }+(H^2{H}_X{)}_X+(H^3{H}_{XXX}{)}_X=0$. The dispersion relation $s=k^2-k^4$ has unstable band $0<|k|<1$ and fastest normal mode at $|k|=1/\sqrt{2}$. This thermal mechanism does not require surfactant.

If a charged-particle rate coefficient has $\lambda \propto {\eta }^2{e}^{-\eta }$ with $\eta \propto T^{-1/3}$, its logarithmic temperature derivative is $(\eta -2)/3$. This is a local slope evaluated at fixed composition. It increases as temperature falls, so extrapolating a single power law across a large temperature range can be inaccurate.

For two equal-frequency quantum harmonic oscillators, the ordinary thermal trace is $r/(1-r{)}^2$ and the trace with the parity operator is $r/(1+r{)}^2$, where $r=e^{-\beta \hslash \omega }$. Total excitation $N$ has degeneracy $N+1$ and parity $(-1{)}^N$. Therefore the traces expand as ${\sum }_{n\ge 1}(\pm 1{)}^{n-1}n{r}^n$. The alternating weights come from parity insertion in a bosonic state space, not fermionic statistics.

A zero-energy mode lies in the kernel of the quadratic elastic filament operator. For pure bending, zero curvature makes the displacement affine. Free-free endpoints therefore leave translation and tilt modes, while slope-constrained, force-free endpoints leave only translation. Both clamped-clamped and hinged-hinged endpoints remove these modes. An unrestricted modal amplitude has constant Boltzmann distribution weight, so no normalizable canonical ensemble or finite displacement variance exists. Fixing the rigid degrees of freedom allows the equipartition theorem on the positive complement.