The group of maps $x\mapsto Ax+b$ of a finite-dimensional vector space, with $A$ invertible. Identifying the underlying points with a regular elementary abelian group identifies its normalizer in the symmetric group with this semidirect product.

For conjugation of $n$ by $n$ complex matrices by the special linear group, the affine null cone consists exactly of the nilpotent matrices. If a conjugate tends to zero along an algebraic one-parameter subgroup, its constant characteristic polynomial must be $T^n$. Conversely, put a nilpotent matrix in strictly upper triangular form and conjugate it by $\mathrm{diag}(t^{n-1},t^{n-3},\dots ,t^{1-n})$. Every active matrix entry has positive weight and tends to zero. The Hilbert-Mumford criterion for projective stability therefore identifies the semistable locus of the projective conjugation representation as the complement of the projectivized nilpotent cone.

For a Noetherian ring $A$, a finitely generated module $M$ has a finite presentation of a module, and kernels of maps from finite free modules to $M$ are finitely generated. Its affine module sheaf is therefore a coherent sheaf. Conversely, if $\tilde{M}$ is coherent, choose a finite principal open subset cover on which its section modules are finitely generated. Lift their finitely many generators to numerators in $M$. The submodule generated by these numerators becomes all of $M$ on every chart, and hence is all of $M$: its quotient has zero localization at every point. This proves finite generation without assuming that global sections preserve arbitrary sheaf surjections.

Specify the displayed rule on left-invariant vector fields and extend by the Leibniz rule to an affine connection on the Lie group. In a left-invariant vector field frame $L_i$, the extension is ${\nabla }_{L_i}(z^j{L}_j)=L_i(z^j)L_j+\lambda z^j[L_i,L_j]$. Applying the bare bracket formula to arbitrary vector fields instead would violate the Leibniz rule unless $\lambda =1$. With $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity givesfor left-invariant arguments, where $B$ is the Killing form and $\mathrm{Ric}(X,Y)=\mathrm{tr}(Z\mapsto R(Z,X)Y)$. These identities determine the tensor fields everywhere. The endpoints $\lambda =0,1$ have zero curvature, with respectively left- and right-invariant parallel frames, and opposite torsion tensors. The midpoint $\lambda =1/2$ is torsion-free but need not have zero curvature.

Two torsion-free connections are projectively equivalent if they have the same unparametrized geodesics. Their difference of affine connections is a tensor $S$. A change of parameter adds only tangential acceleration, so equality of curves requires $S(v,v)$ to be parallel to $v$ for every tangent vector. The symmetric bilinear diagonal-parallel lemma gives exactly the displayed condition. Conversely the geodesic reparametrization under projective equivalence absorbs this tangential term. Agreement with the same affine parameters instead forces $S=0$.

For any ideal $I$ and surjective module map $f:M\to N$, compatible representatives $n_r$ modulo $I^{r}N$ can be lifted recursively. Having chosen $f(m_r)=n_r$, lift $n_{r+1}-n_r\in I^{r}N$ to ${\delta }_r\in I^{r}M$ and put $m_{r+1}=m_r+{\delta }_r$. These define the required element of the adic completion of a module. No finite-generation hypothesis on the modules is required.

If $I=(a_1,\dots ,a_s)$, evaluation $X_i\mapsto a_i$ gives a ring map to the $I$-adic completion, with each series evaluated modulo $I^r$ using only terms of total degree below $r$. It is surjective: successively represent the residual class in $I^r/I^{r+1}$ by a homogeneous degree-$r$ polynomial in the $a_i$. If $R$ is a commutative Noetherian ring, Noetherianity of formal power series rings therefore makes its completion Noetherian.

A face $F$ of an additive monoid $S$ is a submonoid such that $a+b\in F$ implies $a,b\in F$. If $S=C\cap M$ for a rational polyhedral cone, its faces are precisely $S\cap \nu$ for faces $\nu$ of $C$. Finite generation and clearing rational denominators identify these monoid faces with the exposed faces of the cone.

// Target: geometry-and-topology.bigb

In an additive regression model, each component can transfer a constant to the regression intercept, so impose empirical mean-zero constraints, or population mean-zero constraints when appropriate. Even after centering, nonzero component perturbations $h_j$ with ${\sum }_j{h}_j(x_{ij})=0$ at every observed point make the additive decomposition nonidentifiable. Extra smoothing penalties may resolve the fitted decomposition, but centering alone does not remove concurvity.

// Target: probability-and-statistics.bigb

An additive functor between abelian categories is right exact functor when it sends every exact sequence $X\to Y\to Z\to 0$ to an exact sequence $FX\to FY\to FZ\to 0$. Equivalently, it preserves cokernels in a category, since additivity already preserves finite biproducts. This is the convention used in constructing left derived functors. Left exactness preserves the initial part $0\to X\to Y\to Z$ instead. Contravariant Hom becomes a right exact functor covariant functor with target the opposite abelian category.

An additive functor between abelian categories is right exact when it preserves categorical cokernels, equivalently when it sends every exact sequence ending in zero to an exact sequence ending in zero. Additivity and preservation of cokernels in a category imply preservation of finite colimits. The additivity assumption is part of the ordinary left derived functor construction.

Propagation of uncertainty estimates how measurement errors in inputs affect a calculated result. For small input errors with covariance matrix $\Sigma$, linearizing a differentiable function $g$ gives the displayed approximation for its variance. For independent errors in a product $g=2fd$, the squared relative standard deviations add. Correlated errors need the covariance terms; systematic offsets require separate assessment.

An oscilloscope displays an electrical signal versus time. In an acoustic wavelength measurement, the microphone trace supplies the tone's frequency and oscillation amplitude as the detector changes position.

In a coherent specular model, let $r_b$ be the effective lower pressure reflection coefficient referenced to $z=0$, and let the planar upper interface lie at $z=d$. With layer and upper normal impedances $Z_1,Z_2$, $r_{12}=(Z_2-Z_1)/(Z_2+Z_1)$ and $t_{21}=2Z_1/(Z_1+Z_2)$. Summing repeated round trips gives the displayed downward amplitude at the upper interface. The mean layer field is $D{e}^{i\alpha x}[e^{-i\beta (z-d)}+r_b{e}^{2i\beta d}{e}^{i\beta (z-d)}]$. Feedback through diffuse roughness channels must be neglected in this scalar model or included in a context-dependent effective reflection coefficient.

For a small rigid sphere translating with velocity $\mathbf{V}(t)$, the integrated thickness source ${\rho }_0\int \mathbf{V}\cdot {\mathbf{n}}_{s}dS$ vanishes. The first spatial moment is instead ${\rho }_0\int y_j\mathbf{V}\cdot {\mathbf{n}}_{s}dS={\rho }_0\mathcal{V}{V}_j$, where $\mathcal{V}$ is the sphere volume. Expanding the retarded time across the compact source gives the displayed first nonzero thickness field. It is an acoustic dipole, at the same order as acoustic loading noise for a translating sphere. The added mass of a sphere supplies half this volume-mass coefficient through the loading term; their sum is $3{\rho }_0\mathcal{V}\mathbf{n}\cdot \ddot{\mathbf{V}}/(8\pi c_0^{3}r)$.

In the incompressible near field of a spherical bubble, $u_r=a^2\dot{a}/s^2$. Its volume-flux acoustic monopole is the displayed term at retarded time. The integrated surface pressure force vanishes by spherical symmetry, while the Lighthill stress tensor approximation ${\rho }_0{u}_i{u}_j$ has moment $S_{ij}=4\pi {\rho }_0{a}^3{\dot{a}}^2{\delta }_{ij}/3$. Its leading compact acoustic quadrupole contribution is ${\rho }_0(a^3{\dot{a}}^2{)}^{\prime \prime }/(3c_0^{4}r)$. For small fractional radius oscillation $\delta$ and compactness parameter $\alpha =\omega a_0/c_0$, its size relative to the leading monopole is $O(\delta {\alpha }^2)$.

For a nonseparating small body in a smooth nearly inviscid eddy of speed $U$ and length $\ell$, the fluctuating resultant is an added mass or pressure-gradient force $F\sim {\rho }_0{a}^3{U}^2/\ell$. A uniform pressure integrates to zero over a closed surface. With time $\ell /U$, its acoustic dipole power divided by the eddy's acoustic quadrupole power is $(a/\ell {)}^6/M^2$, where $M=U/c_0$ is the Mach number. Equal powers therefore give the displayed threshold. An area-scaled separated drag force with the same eddy time instead gives $a/\ell \sim \sqrt{M}$; a body-scale time gives a different criterion. The threshold depends on the specified loading and time models.

The two positive parts satisfy $g=g^{+}(g^{-}{)}^{-1}$, commute with one another, and have meet one. They isolate positive and negative displacement in the pointwise model of a lattice-ordered permutation group. These are group elements, unlike the scalar positive part of a real number.

Let $C$ be a smooth connected ample curve in an abelian surface $A$. Translate its chosen basepoint to zero and apply the universal property of the Jacobian variety. The image of $J(C)\to A$ is a closed connected algebraic subgroup containing the translated curve. If it had dimension one, that curve would be the subgroup itself; a distinct coset is disjoint and numerically equivalent, forcing $C^2=0$. This contradicts ampleness, so the homomorphism is surjective.

The free object on generators $x_1,\dots ,x_n$ has the universal property that an arbitrary assignment of these generators to an Abelian lattice-ordered group extends uniquely to a lattice-ordered group homomorphism. It can be constructed from terms using addition, negation, zero, join and meet, modulo identities valid in every Abelian lattice-ordered group. Its underlying group need not be finitely generated even when there are only two lattice generators.

For a totally ordered set $\Gamma$, take real coefficient families whose support satisfies the maximum condition: every nonempty subset of the support has a largest index. Add coefficients pointwise and decide the sign from the largest nonzero coordinate. This defines an ordered Abelian group. For $\Gamma ={\mathbb{Z}}_{>0}$ with its usual order, the maximum condition forces finite support. Some presentations reverse the index order and use a minimum instead; specify the convention when applying an embedding theorem.