For a complete Noetherian ring with ideal of definition $I$, completed localization is the completion of the localization of a ring $A_f$ in the induced adic topology. It gives the sections of the formal spectrum over $D(f)$. For $A=k[t][[q]]$, its completed localization at $t$ is $k[t,t^{-1}][[q]]$. Ordinary localization allows a bounded pole order in $t$ across all coefficients; the latter ring also contains ${\sum }_{n\ge 0}{q}^n{t}^{-n}$, whose pole orders are unbounded.

// Target: ringed-space.bigb

With $z_1=x^1+i{x}^2$, $z_2=x^3+i{x}^4$, formThe two ADHM construction constraints say that ${\mathcal{D}}_z{\mathcal{D}}_z^{†}$ has zero off-diagonal blocks and equal diagonal blocks, so it equals $1_2\otimes f^{-1}$. Assume it is invertible everywhere. Choose an orthonormal kernel bundle frame $\Psi$, so ${\mathcal{D}}_z\Psi =0$ and ${\Psi }^{†}\Psi =1_N$, and set $A={\Psi }^{†}d\Psi$. The orthogonal complement projector is $1-\Psi {\Psi }^{†}={\mathcal{D}}_z^{†}(1_2\otimes f){\mathcal{D}}_z$. Differentiating the kernel equation givesIts space-time differential two-form entries are combinations of $d{z}_1\wedge d{\bar{z}}_1-d{z}_2\wedge d{\bar{z}}_2$, $d{z}_1\wedge d{\bar{z}}_2$, and $d{\bar{z}}_1\wedge d{z}_2$, all anti-self-dual. Thus the constructed gauge curvature satisfies the Anti-self-dual Yang-Mills equations.

Fix a prime number $p$. Take the full subcategory of finitely generated abelian groups with no element of order $p^2$. It is closed under finite direct sums and subgroups. If $t_p(G)$ is the $p$-primary torsion subgroup, the map $G\to R(G)=G/(p{t}_p(G))$ is a reflection into this subcategory: every map to an allowed group kills $p{t}_p(G)$. Therefore ordinary kernels in a category and reflected cokernels in a category supply all finite categorical limits and colimits. No nonzero finitely generated group has zero reflection, so the epimorphisms are precisely surjections and are all conormal epimorphisms. Multiplication by $p^2$ on $\mathbb{Z}$ is a monomorphism but not a normal monomorphism: its cokernel here is $\mathbb{Z}/p\mathbb{Z}$, whose kernel is $p\mathbb{Z}$, not $p^2\mathbb{Z}$. Multiplication by $p$ is normal; composing it with itself gives this nonnormal monomorphism.

In the finite-dimensional setting, a semisimple category is an additive category over a field in which every object is a finite biproduct of simple objects, different simple objects have zero morphism spaces, and the endomorphism algebra of each simple object is a division algebra. Such categories have finite matrix blocks and all their idempotents split. The semisimplicity of the reduced Temperley-Lieb category gives an example whose simple objects are the surviving Jones-Wenzl colors.

For $H=p_r^2/2+{\ell }^2/(2r^2)-k/r$, a noncollision bound orbit has $\ell \ne 0$ and $-k^2/(2{\ell }^2)\le E<0$. Its radial action is $\sqrt{-2E}/\pi$ times ${\int }_{\alpha }^{\beta }\sqrt{(r-\alpha )(\beta -r)}dr/r$, where $\alpha ,\beta =[k\mp \sqrt{k^2+2E{\ell }^2}]/(-2E)$. Evaluating the integral gives the displayed action and $H=-k^2/[2(I_r+|\ell |{)}^2]$. The angular and radial frequencies have equal magnitudes, explaining closed orbits rather than generic quasiperiodicity. The circular limit has $I_r=0$; zero angular momentum gives collision in the unregularized phase space.

The sampling rate is the number of recorded samples per unit time. A sample-index difference $N$ represents a delay $N/f_s$ when the acquisition clock is correctly calibrated.

A microphone is an acoustic transducer that converts an acoustic wave into an electrical signal. In an acoustic time-of-flight speed measurement, its response affects which recorded feature is identified as arrival.

Timing calibration for acoustic speed measurements separates travel delay from the offset ${\tau }_0$ between acquisition channels and checks the clock defining the sampling rate. A constant offset changes the intercept of a delay-versus-distance linear regression; a clock-scale error changes the inferred speed of sound itself.

The secondary spectrum is residual chromatic aberration after an achromatic lens brings two selected wavelengths to the same optical focus. For example, equal red and blue focal lengths can coexist with a different green focal length. The Abbe number fixes one F–C relative difference, not the complete shape of optical dispersion between or beyond those wavelengths. The perfectly flat sum in the achromatic doublet power balance diagram deliberately omits this residual effect. ^[ref].

An achromatic doublet is an achromatic lens with two optical lens elements. In the contact thin lens model, their optical powers add and their primary colour changes cancel according to achromatic doublet power balance. The conventional positive achromatic doublet uses a converging crown glass element and a weaker diverging flint glass element; these names describe a common choice, not a universal ordering of every modern optical glass composition.

For a finite Markov chain in which an absorbing state is accessible from every state, order the nonabsorbing states first and writeHere $I$ is the identity matrix and $N$ is the matrix inverse of $I-Q$. With $T$ the first hitting time of the absorbing set,Thus $N$ gives the expected occupation count before absorption, including the initial visit; $B_{ia}$ is the absorption probability of state $a$; and $t_i$ is the expected hitting time of the absorbing set. The vector $1$ has every entry one. See Grinstead and Snell, section 11.2, theorems 11.4-11.6.

For the toy routine in absorbing state, direct matrix multiplication givesThe first row of $N$ says that starting at $u$ gives $2.4$ visits to $u$ and $0.8$ to $v$ before termination. Their sum is the mean duration $3.2$. The identities $(I-Q)N=I$, $B=QB+R$, and $t=1+Qt$ independently verify the inverse, outcome, and duration calculations. The absorbing set must be reachable from every state for these finite formulas: applying them to all nonabsorbing states in the closed-cycle example would leave a persistent cycle in $Q$ and make $I-Q$ singular.

An absolutely summing operator is an absolutely p-summing operator with $p=1$. The identity on the infinite-dimensional l2 sequence space is not absolutely summing: the first $n$ coordinate vectors have sum of norms $n$, while their weak 1-norm is $\sqrt{n}$.

For an absolutely p-summing operator $T:E\to F$, there is a probability measure $\mu$ on the dual unit ball with its weak-star topology such that $\Vert Tx\Vert \le {\pi }_p(T)(\int |\varphi (x){|}^{p}d\mu (\varphi ){)}^{1/p}$. Thus $T$ factors through the closed span of the evaluation functions in $L^p(\mu )$, with the final operator having norm at most ${\pi }_p(T)$. Conversely this factorization implies the summing inequality by summing under the integral. Existence of $\mu$ follows from finite-dimensional Hahn-Banach separation theorem: failure for finitely many vectors would contradict the summing inequality for a nonnegative weighted family. Compactness of probability measures then combines the finite constraints. The final operator need only be defined on the indicated closed subspace, not on all of $L^p(\mu )$.

A bounded linear operator $T:E\to F$ is 2-summing if ${\sum }_j\Vert T{x}_j{\Vert }^2\le C^2{\sup }_{\varphi \in B_{E^{\ast }}}{\sum }_j|\varphi (x_j){|}^2$ for every finite family; ${\pi }_2(T)$ is the least $C$. For operators between Hilbert spaces, this is equivalent to being a Hilbert-Schmidt operator, with ${\pi }_2(T)=\Vert T{\Vert }_{\mathrm{HS}}$. The upper bound follows by applying the Hilbert-Schmidt norm ideal inequality to the column operator of the family; testing finite orthonormal families gives the reverse bound.

The Abelian Ward splitting by Laurent series gives this gauge potential through the Cauchy integral formula, with $f_{,B}=\partial f/\partial {\omega }^B$ evaluated on the twistor line. The integrand has total projective degree zero. Holding the contour fixed locally and differentiating gives $F_{A{A}^{\prime }B{B}^{\prime }}={ϵ}_{A^{\prime }{B}^{\prime }}(2\pi i{)}^{-1}{\oint }_{\Gamma }{f}_{,AB}{\pi }_{D^{\prime }}d{\pi }^{D^{\prime }}$, using ${\pi }_{A^{\prime }}{\iota }_{B^{\prime }}-{\pi }_{B^{\prime }}{\iota }_{A^{\prime }}={ϵ}_{A^{\prime }{B}^{\prime }}({\iota }_{C^{\prime }}{\pi }^{C^{\prime }})$. Its unprimed two-component spinor is symmetric, so the primed gauge curvature vanishes and the field obeys the anti-self-dual Maxwell equations. These signs use ${ϵ}_{0^{\prime }{1}^{\prime }}=1$, ${ϵ}^{0^{\prime }{1}^{\prime }}=-1$ and raising by left multiplication; other consistent raising conventions can reverse both displayed overall signs.

The Jacobian variety of a smooth projective algebraic curve parametrizes degree-zero line bundles. Its dimension is the genus of the algebraic curve. An effective degree-$d$ Cartier divisor defines a point in a degree-$d$ torsor through the Abel map of an algebraic curve. The theta divisor induces an isomorphism with the dual abelian variety.

If $N$ is invertible in the base field, multiplication by $N$ on an abelian variety is finite étale: its differential is $N$ times the identity, and properness turns its zero-dimensional fibres into finite fibres. The Theorem of the Cube gives $[N{]}^{\ast }L\cong L^{N^2}$ for a symmetric ample line bundle. Top intersection products give degree $N^{2\dim A}$. For each prime power ${\ell }^r\mid N$, the kernels killed by ${\ell }^s$ have orders ${\ell }^{2s\dim A}$; the classification of finite abelian groups forces $2\dim A$ cyclic factors of length $r$. Combining the prime powers gives the displayed group.

For a connected abelian Lie group, the Lie exponential map is an additive group homomorphism and a local diffeomorphism at zero. Its image is an open subgroup, hence the whole connected group. Its kernel is a discrete additive subgroup of a real vector space. A basis of that kernel identifies it with ${\mathbb{Z}}^r$ inside ${\mathbb{R}}^n$, giving the displayed classification. The compact factors record periods of one-parameter subgroups.

An odd square is congruent to one modulo eight. Conversely, for $u\equiv 1(\mathrm{mod}8)$, begin with $x_3=1$ and $x_n^2\equiv u(\mathrm{mod}{2}^n)$. For $n\ge 3$, adding ${\epsilon }_n{2}^{n-1}$ changes the square by ${\epsilon }_n{2}^n{x}_n$ modulo $2^{n+1}$. Since $x_n$ is odd, one choice of ${\epsilon }_n\in \{0,1\}$ gives the next congruence. The corrections tend to zero 2-adically, so completeness produces an odd square root. This directly proves the unit square criterion without needing a unit derivative in Hensel lemma.

These are units that lie in every finite-layer norm image, using the p-adic closures of the unit groups. Compactness makes this intersection the image of the norm inverse limit. Local and global universal norm subgroups need not coincide. In the cyclotomic main-conjecture proof, the finite defect of global units from universal norms is related by class field theory to invariants of the unramified module.