For a positively oriented basis $\mathbf{a},\mathbf{b},\mathbf{c}$, put $\tau =\mathbf{a}\cdot (\mathbf{b}\times \mathbf{c})>0$. The center of an interior sphere at distance $r$ from each of the three tetrahedron face planes through the origin has the displayed expression. The three inward unit vectors are the normalized cross products $\mathbf{b}\times \mathbf{c}$, $\mathbf{c}\times \mathbf{a}$, $\mathbf{a}\times \mathbf{b}$. Taking inner products with these vectors solves three independent signed-distance equations. Reversing some signs instead produces centers on exterior sides. Existence of a sphere contained in the full tetrahedron also requires clearance from the fourth face.

The tensor-product weight diagram has six distinct nonzero differences of the three defining weights and a zero weight of multiplicity three. Identify the tensor product with endomorphisms of ${\mathbb{C}}^3$ under conjugation. Its scalar line is a singlet, while the traceless matrices give the irreducible adjoint octet, with two zero weights. The root commutators connect all of the traceless matrix units, proving irreducibility rather than inferring it solely from a drawing.

An invariant tensor is fixed by every element of the represented group, so it spans or belongs to a trivial group representation. The special unitary group preserves its identity tensor and the upper and lower volume tensors. Such tensors make tensor contraction equivariant and permit invariant inner products and real structures.

A $(j,k)$ tensor has one fundamental representation factor for every upper index and a dual factor for every lower index. Under $A\in SU(n)$, upper factors transform by $A$ and lower factors by $A^{-1}$; unitarity identifies the latter with conjugate fundamental matrices. Thus complex conjugation exchanges $(j,k)$ and $(k,j)$. Index permutations and contraction with an invariant tensor commute with the action, producing invariant subspaces and decomposition maps.

When the two indicated groups are finite, their size ratio is multiplicative on short exact sequences. It is one for finite modules and therefore unchanged by finite-index modifications. A trivial integral module $\mathbb{Z}$ has quotient $|G|$, while an induced regular lattice ${\mathbb{Z}}_p[G]$ has both Tate groups zero and quotient one. These facts permit norm-index calculations without explicitly finding every norm.

A tangent vector is a linear map on germs of smooth functions satisfying $D(ab)=a(x)D(b)+b(x)D(a)$. In a manifold chart, first-order expansion shows $Dh={\sum }_{i}D(u^i){\partial }_{i}h(x)$. Thus the coordinate derivations form a basis, and the dimension equals the manifold dimension. Composition of germs with a smooth map defines its differential of a smooth map without choosing charts.

A conservation law flux $F(U)$ transports the conserved density $U$ across a surface. In one dimension $U_t+{\partial }_{x}F(U)=0$; a moving discontinuity satisfies $s[U]=[F]$. For a stationary shock wave, each conserved flux has the same value on both sides.

A total is a set of five edge-disjoint synthemes covering all fifteen duads of a six-point set. There are six totals; each syntheme belongs to two and every two totals share exactly one syntheme. Each total contains exactly one syntheme containing any prescribed duad. Totals are one-factorizations of the complete graph.

For constant $P=w\rho$ and velocity potential $v_i=i{k}_i\theta$, stress-energy conservation gives the displayed density equation in synchronous gauge in cosmology. Here $h$ is the trace of the spatial metric perturbation, and primes denote conformal time. In particular cold baryons obey ${\delta }_b^{\prime }=k^2{\theta }_b-h^{\prime }/2$. A positive sign in front of $k^2{\theta }_b$ on the left contradicts this potential convention.

If each daughter subsequently conserves its own spin while contracting at fixed outer separation, its next critical radius is $a/8$. A local repetition of the synchronous fission model for binary formation gives the displayed inner-to-outer separation ratio. Continuous tidal locking throughout the contraction would instead keep the spin frequency fixed and decrease its centrifugal-to-gravity ratio as the cube of its radius; the repeated fission would not follow. Spin-orbit torque assumptions must therefore be explicit.

Counting successive symplectic pairs givesFor each nonzero first vector there are $q^{2m-1}$ partners with pairing one, after which its nondegenerate plane splits off. The exact defining-characteristic part is $q^{m^2}$, realized by an upper symplectic unitriangular subgroup.

The stabilizer of a totally isotropic $k$-space in a finite symplectic space also stabilizes its orthogonal complement. Its block decomposition has a unipotent normal subgroup $Q$ and a block-diagonal complement $L\cong {\mathrm{GL}}_k(q)\times {\mathrm{Sp}}_{2m-2k}(q)$. The paired $k$-space carries the contragredient action. A row-vector convention gives upper-triangular blocks; a column-vector convention transposes the arrangement. The unipotent radical count for a symplectic parabolic subgroup yields its order.

An invertible real matrix preserving the standard symplectic form. With $J=\left(\begin{array}{cc}0& I\\ -I& 0\end{array}\right)$, it satisfies $A^{T}JA=J$, equivalently $AJ{A}^T=J$. The first identity describes preservation of the form; the second describes preservation of coordinate Poisson brackets.

The full symmetry group of a cube acts transitively and faithfully on its twelve edges. For vertices $(\pm 1,\pm 1,\pm 1)$, its signed permutation matrices act transitively on the edges. The stabilizer subgroup of $\{(1,1,z):-1\le z\le 1\}$ consists of independently swapping $x,y$ and reversing $z$, and is a Klein four-group. The orbit-stabilizer theorem gives order $12\cdot 4=48$. Fixing every edge fixes every vertex, as each vertex is the unique intersection of its three incident edges, so the group action is faithful. The resulting subgroup of $S_{12}$ has index $12!/48$ and is not normal: central inversion has cycle type $2^6$, whose conjugacy class in $S_{12}$ has $12!/(2^{6}6!)=10395>48$ elements.

In the classical risk model with premium rate $c>0$ and claim Poisson process rate $\lambda$, the first-claim decomposition for survival probability implies the displayed equation for ultimate survival probability. Change the first-claim integral to an integral over available capital and differentiate its lower limit. The bounded survival probability function convolved with the integrable claim probability density function is continuous, so this also establishes the needed differentiability. In particular ${\phi }^{\prime }(0)=(\lambda /c)\phi (0)$.

At a regular Killing horizon, the generator is hypersurface orthogonal and satisfies ${\nabla }_{K}K=\kappa K$. The Killing derivative contraction identity gives the displayed squared surface gravity, including through a bifurcation surface by continuity. The generator's normalization is part of this formula.

For a static spacetime with $g_{tt}=-A(r)$, $g_{rr}=1/B(r)$ and simple simultaneous horizon zeros, the squared surface gravity of ${\partial }_t$ is $\lim B{A}^{\prime 2}/(4A)=A^{\prime }(r_{+})B^{\prime }(r_{+})/4$. Choose the positive value for the outer horizon. A rescaling of the time generator rescales its surface gravity.

For the future-directed central-time Killing vector field in a static patch of de Sitter spacetime, the outgoing null chart gives the future branch coefficient $+1/R$ in ${\nabla }_{k}k=\kappa k$. The ingoing chart gives $-1/R$ on the past branch. Both follow from $d(k^2)=-2\kappa k^{♭}$; the cross-term sign changes the horizon covector. The physical Hawking temperature uses $|\kappa |$, not a signed negative temperature.

On a nondegenerate interval, point evaluation of the derivative is unbounded for the supremum norm on smooth functions. The functions $f_N(x)=\sin (N(x-x_0))$ have supremum norm at most one but $f_N^{\prime }(x_0)=N$. Adding the supremum norm of the derivative makes this evaluation a bounded linear functional.

Let $[J_i,q_a]=(R_i{)}_{ab}{q}_b$, with numerical coefficient matrices and $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$. The Jacobi identity then gives $(R_j{R}_i-R_i{R}_j)q=i{ϵ}_{ijk}{R}_{k}q$, so component coefficient matrices obey the opposite bracket to state-representation matrices. Thus $R_i=-{\sigma }_i/2$ is consistent for an upper-column spinor, whereas $+{\sigma }_i/2$ in that same component prescription is not. Inverse adjoint actions and dual row conventions must be compared with their index contractions intact.