For an ideal $H\subseteq R[[X]]$, let $A_n$ consist of coefficients of $X^n$ in members of $H$ with all lower coefficients zero. These are ideals of $R$ and $A_n\subseteq A_{n+1}$, by multiplication by $X$. If $R$ is Noetherian, this chain stabilizes. Choose series whose leading coefficients generate the finitely many distinct coefficient ideals, then cancel coefficients successively. The accumulated multipliers are formal power series, giving an ordinary finite ideal generating set for $H$, rather than merely a dense subideal.

In $R=k[t_1,t_2,\dots ]/(t_1^2,t_2^2,\dots )$, the nilradical is generated by all ${\bar{t}}_i$. Every element uses finitely many variables and is nilpotent, while each square-free product ${\bar{t}}_1\cdots {\bar{t}}_j$ is nonzero. Thus this nilradical is not a nilpotent ideal. A Noetherian ring cannot have this behavior: finitely many nilpotent generators give a nilpotent ideal.

Over an algebraically closed field, a finite-dimensional Lie algebra is nilpotent exactly when every two-dimensional Lie subalgebra is abelian. A nonnilpotent Adjoint representation matrix has a nonzero eigenvalue $\lambda$ with eigenvector $y$, so $[x,y]=\lambda y$ generates a nonabelian two-dimensional subalgebra. Conversely a subalgebra of a nilpotent Lie algebra is nilpotent, while a nonabelian two-dimensional algebra has a basis $u,v$ with $[u,v]=v$ and a nonnilpotent adjoint matrix. Algebraic closure is what guarantees the required eigenvector.

For $0<k<1$, a neutral mode of the equal-width Hazel model behaves as $w\sim z^{1-k}$ near $z=0$. Its derivative diverges as $z^{-k}$, so it is not a classical continuously differentiable mode across the critical level of an internal gravity wave. The horizontal velocity is proportional to $w^{\prime }/k$; its local kinetic energy is finite only for $k<1/2$, because ${\int }_0^{ϵ}{z}^{-2k}dz$ converges precisely then. One possible neutral-mode convention is the boundary value from $U-c$ with $c_i\downarrow 0$, which fixes the phase of the power on the negative-$z$ side. The Miles–Howard theorem concerns growing modes with nonreal $c$ and does not rule out such singular neutral limits.

Let $\mathcal{R}=k_B/({\mu }_m{m}_p)$ for constant mean molecular weight ${\mu }_m$ in proton-mass units, and let $\sigma$ be the Stefan–Boltzmann constant in the Stefan–Boltzmann law. The gas sound speed used here satisfies $c_s^2=\mathcal{R}T$, and $\Omega$ is the local orbital frequency. For the local opacity approximation $\kappa ={\kappa }_0{\rho }^{1/3}{T}^{10}$, a gas-supported optically thick alpha disk has $\rho \sim \Sigma /H$ and $\mathcal{R}T\sim {\Omega }^2{H}^2$. Integrated viscous heating is $F_{+}\sim \alpha \Sigma {\Omega }^3{H}^2$. Radiative diffusion gives $F_{-}\sim (\sigma /{\kappa }_0)T^{-6}{\Sigma }^{-4/3}{H}^{1/3}\sim (\sigma /{\kappa }_0){\mathcal{R}}^6{\Omega }^{-12}{\Sigma }^{-4/3}{H}^{-35/3}$. Equating the fluxes proves the thickness scaling. At fixed composition and $\alpha$, it gives $H/r\propto r^{53/82}{\Sigma }^{-7/41}$ and $c_s\propto r^{6/41}{\Sigma }^{-7/41}$ in Keplerian rotation. Radial powers therefore require a surface-density profile; they are not determined by opacity alone. The formula is local to the stated opacity regime and small disk aspect ratio.

For a dimensionless Navier-slip Taylor swimming sheet, the decaying first-harmonic streamfunction is $(1+Y)e^{-Y}\sin (X-\tau )$. Its tangential surface velocity and surface shear both vanish at $Y=0$. Hence it obeys the first-order Navier slip boundary condition for every nonnegative slip length, including the no-slip boundary condition.

At second order, the displaced-boundary Navier slip boundary condition gives $({\psi }_2{)}_Y-\delta [({\psi }_2{)}_{YY}-({\psi }_2{)}_{XX}]=(1+2\delta ){\sin }^2(X-\tau )$ at $Y=0$. Its mean shear is zero in a bounded half-space flow, so the Navier-slip Taylor swimming sheet dimensionless speed is $U^{\ast }={ϵ}^2(1+2\delta )/2+O({ϵ}^4)$. The sheet travels opposite to the wave. This fixed-slip asymptotic expansion predicts a speed enhancement factor $1+2\delta$.

A natural bijection between set-valued functors is a natural transformation whose component functions are bijections. Their inverse functions are automatically natural, so it is a natural isomorphism.

The first-order string action isThe multipliers impose the two Virasoro constraints. The canonical equations give a spatial momentum flux $J_m=e{T}^2{X}_m^{\prime }+u{P}_m$.

For a nondegenerate induced worldsheet metric $g_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$, variation gives ${\partial }_a(\sqrt{-g}{g}^{ab}{\partial }_b{X}^m)=0$. In conformal gauge this is the two-dimensional wave equation, supplemented by the Virasoro constraints.

A circular closed string contracts and re-expands with $X^0=Rt$ and $X^1+i{X}^2=R\cos t{e}^{i\sigma }$. Its proper length is $2\pi R|\cos t|$, while its energy remains $2\pi TR$. At collapse the induced worldsheet metric degenerates, but the Nambu-Goto phase-space action supplies a regular continuation.

At an interior point where the regression function is differentiable, a symmetric compactly supported regression kernel makes the first-order bias of an estimator vanish asymptotically. In regular fixed-design nonparametric regression with $h\to 0$ and $nh\to \infty$, the local constant estimator then has squared bias of an estimator $o(h^2)$ and variance $R(K)/(nh)+o((nh{)}^{-1})$ for a unit-integral regression kernel. The differentiability remainder is pointwise and need not hold uniformly over a function class.

For two nearly edge-on orbits with small orbital inclination difference $\Delta I$ and small longitude of ascending node difference $\Delta \Omega$, expanding the dot product of their normals gives $I_m^2=(\Delta I{)}^2+(\Delta \Omega {)}^2+O({\delta }^4)$, with angles in radians and all offsets from edge-on of order $\delta$. Thus equality of observed sky-plane inclinations alone does not imply aligned orbital planes.

For a finite multitemperature blackbody disk, the low-frequency Rayleigh-Jeans law gives $F_{\nu }\propto {\nu }^2\int rT(r)dr$. If $T\propto r^{-3/4}$ away from the inner edge, outer annuli dominate because the weight per logarithmic radial interval grows as $r^{5/4}$. A measure-zero zero-temperature inner edge does not invalidate the leading law when $rT(r)$ is integrable.

For a blackbody disk with $T\propto r^{-3/4}$, the substitution $x=h\nu /(k_{B}T)$ in $F_{\nu }\propto {\nu }^3\int r(e^x-1{)}^{-1}dr$ produces $F_{\nu }\propto {\nu }^{1/3}\int x^{5/3}(e^x-1{)}^{-1}dx$. When the inner and outer temperatures make the limits approximately zero and infinity, that convergent integral is independent of frequency. The law applies between the outer-edge turnover and the hot inner-disk cutoff.

For a complementary-slackness optimum ${\mu }^{\ast }$, defineinterpreting a zero-reference summand as ${\mu }_j/{\kappa }_j$. This is a nonnegative generalized reverse-relative-entropy expression for positive resource prices. Along multiplicative resource-price dynamics, with $p=A^T\mu$ and $g=Ax-C$,Its sublevel bounds keep all route prices away from zero and permit the LaSalle invariance principle, including optima with some zero individual prices.

For a real measurable function $m$ on a sigma-finite measure space, multiplication on $D(M_m)=\{f\in L^2:mf\in L^2\}$ is an unbounded self-adjoint operator. Testing its adjoint relation on $\{|m|\le n\}$ identifies the same maximal domain. Outside the essential range, multiplication by $(m-z{)}^{-1}$ is a bounded resolvent. Inside it, normalized indicators of finite-positive-measure sets where $m$ is close to $z$ are approximate eigenvectors, so the inverse cannot be bounded.

For $q_i=2{\alpha }^i$, $r_i=1/2+2^{-i-1}$, a uniform power gain for elliptic solutions bounds the successive norms by factors $[DR{2}^{i+2}{]}^{{\alpha }^{-i}}$. Their infinite product isIt is finite because both $\sum {\alpha }^{-i}$ and $\sum i{\alpha }^{-i}$ converge. Uniform control of the $L^{q_i}$ norms on $B_{1/2}$ then controls the essential supremum, by comparing with the measure of a set where the function exceeds the proposed bound. A constant independent of $q$ left outside the $2/q$ power at every step would instead give a divergent product.

A morphism of schemes into an affine scheme is uniquely determined by its homomorphism on global sections. Conversely, a ring homomorphism $A\to \Gamma (X,{\mathcal{O}}_X)$ restricts on every affine open subscheme of $X$ to a map into $\mathrm{Spec}A$; equality on affine covers of overlaps glues these maps. No quasi-compactness or affineness assumption on $X$ is needed.

For morphisms of schemes $f:X\to Y$ and $g:Y\to Z$, the graph is the displayed map. It is the pullback of the diagonal morphism $Y\to Y{\times }_{Z}Y$ along $(f\circ p_X,p_Y)$. Thus a separated morphism $g$ makes ${\Gamma }_f$ a closed immersion. If also $g\circ f$ is a closed immersion, the projection $X{\times }_{Z}Y\to Y$ is a closed immersion by base change of a morphism of schemes, and its composite with ${\Gamma }_f$ proves that $f$ is a closed immersion.