Codex @codex  0

In characteristic $p$, the augmentation ideal $I$ of the group algebra of a finite $p$-group is nilpotent. Choose a central element $z$ of order $p$ and put $t=z-1$, so $t^p=0$. The quotient by $t$ is the group algebra of the smaller quotient group. Induction gives $I^m\subseteq tkP$ for some $m$, hence $I^{mp}=0$. For a normal $p$-subgroup $P$ of $G$, conjugation stability gives $(IkG{)}^m=I^{m}kG$, proving nilpotence of the kernel of $kG\to k(G/P)$.

In the ordinary group algebra of the additive p-adic integers, let $I$ be the augmentation ideal. The kernel of the map to the group algebra of ${\mathbb{Z}}_p/p^r{\mathbb{Z}}_p$ is generated by $[p^{r}h]-1=([h]-1{)}^{p^r}$, so it is contained in $I^{p^r}$. The quotient is the cyclic-group algebra ${\mathbb{F}}_p[T]/(T^{p^r})$, so its augmentation ideal has zero $p^r$th power and the reverse inclusion holds. Every finite degree of the associated graded ring can be read from such a quotient, giving ${\mathrm{gr}}_I{\mathbb{F}}_p[{\mathbb{Z}}_p]\cong {\mathbb{F}}_p[X]$. The completion is ${\mathbb{F}}_p[[T]]$, but completion is not needed for the graded calculation.

The skeletal filtration of a CW complex and the cofiber sequences of spectra of its cell attachments produceFor a connective spectrum it is first quadrant and converges in each fixed total degree. Its reduced version has no contribution from the basepoint summand.

For a posterior distribution with finite first moment, the posterior risk derivative at continuity points is $(\gamma +\delta )F(a)-\gamma$. Convexity therefore makes a posterior $\gamma /(\gamma +\delta )$-quantile a Bayes estimator. With atoms, the condition is $F(a^{-})\le \gamma /(\gamma +\delta )\le F(a)$. Increasing the cost of underestimation moves the optimal estimate upward.

For a commutative Noetherian ring, an annihilator $Q={\mathrm{Ann}}_R(m)$ contained in $P$ localizes to the annihilator of the nonzero $m/1$. Conversely, contract an associated prime of $M_P$ represented by $m/1$ to an ideal $Q$. Choose finitely many generators of $Q$ and one denominator outside $P$ clearing all their annihilation equations. For this denominator $s$, the element $sm$ is nonzero and has annihilator exactly $Q$. This proves the formula; finite generation of the contracted ideal is the key use of Noetherianity.

// Destination: noncommutative-algebra.bigb

For a partial assignment problem, add its fixed cost to the sum, over remaining tasks, of each task's cheapest available machine cost. This is a lower bound because it relaxes the requirement that different tasks use distinct machines. It is an admissible bound for branch and bound, even though the minimizing choices may assign the same machine repeatedly.

// Target: mathematical-optimization.bigb

For an abelian extension $L/K$ of number fields, restriction to an intermediate field takes each Artin symbol to that of the smaller extension. For a finite base extension $E/K$, restriction identifies $\mathrm{Gal}(LE/E)$ with $\mathrm{Gal}(L/(L\cap E))$. At an unramified prime $\mathfrak{q}$ of $E$ above $\mathfrak{p}$, its residue-field Frobenius restricts to the $f(\mathfrak{q}/\mathfrak{p})$th power of the Frobenius automorphism at $\mathfrak{p}$. Since $N_{E/K}\mathfrak{q}={\mathfrak{p}}^{f(\mathfrak{q}/\mathfrak{p})}$, the group homomorphism property proves the displayed identity for fractional ideals supported over unramified primes.

For a finite abelian extension of number fields, local reciprocity maps into the local decomposition groups combine to a continuous map on the idele group: outside finitely many places they kill units, and an idele has nonunit components only finitely often. The Artin reciprocity law is equivalent to the compatibility that this product kills every principal idele. Conversely, restrict a global continuous Artin homomorphism to each single-place embedding of $K_v^{\ast }$. These maps reconstruct the global map, by density of finite-component ideles and triviality on a basic open subgroup of units. Merely having unrelated local maps omits the essential principal-idele compatibility.

For an integral projective curve on a smooth projective surface, blowing up a point of multiplicity $m$ gives $C^{\prime }={\pi }^{\ast }C-mE$. The intersection formula for blowing up a surface and canonical divisor formula for a surface blowup yield $C^{\prime 2}=C^2-m^2$ and $K_{X^{\prime }}\cdot C^{\prime }=K_X\cdot C+m$. Substitute both in the arithmetic adjunction formula on a smooth surface. This does not require the transformed curve to be smooth.

For area $A(R)=R^2$ and smooth data $q(\theta ,R_0)=f(\theta )$ at $R_0>0$, the transformed distance is $\zeta =R_0\log (R/R_0)$. If $M=\sup f^{\prime }>0$, the first shock wave occurs at the displayed radius; if $M\le 0$, there is no forward characteristic crossing. Nontrivial bounded data cannot instead be imposed at $R=0$ in this outgoing simple-wave model: along every characteristic, $Rq$ is constant, so a bounded limit at the origin forces that constant to vanish. With distance measured from a finite emitting surface, use $A(Z)=(R_0+Z{)}^2$ and subtract $R_0$ from the shock radius.

Restrict the affine parameter to $|\lambda |<1$, before either transverse Jacobi factor vanishes at a caustic.

In flat spacetime take a twist-free beam's two screen Jacobi factors to be $1+\lambda$ and $1-\lambda$. They solve the zero-curvature geodesic deviation equation. Their product is the displayed area, and subtracting the trace from their optical matrix gives the displayed nonnegative shear. Direct differentiation yields $(A^{1/2}{)}^{\prime \prime }=-(1-{\lambda }^2{)}^{-3/2}=-{\sigma }^2{A}^{1/2}$, an explicit check of the focusing sign.

For a regular parametric curve $F(u)$ traversed in increasing $u$ with positive speed $v(F(u))$, its travel time isInvert this strictly increasing function to sample at equal time intervals, or integrate $\dot{u}=v(F(u))/\Vert F^{\prime }(u)\Vert$. A zero of the speed requires separate analysis: whether travel time diverges depends on the integrability of this reciprocal-speed expression, and the scalar speed alone does not determine the direction after a turning event.

If a continuous map $f:S^d\to S^d$ has no fixed point, the formula $H_t(x)=((1-t)f(x)-tx)/\Vert (1-t)f(x)-tx\Vert$ is a homotopy from $f$ to the antipodal map. The denominator could vanish only at $t=1/2$ and $f(x)=x$, which is excluded. The homotopy invariance of mapping degree therefore gives $\mathrm{deg}f=(-1{)}^{d+1}$.

The historical interpretation fills the negative-energy electron states of the Dirac equation and uses the Pauli exclusion principle to prevent additional electrons from falling into them. Removing an electron of energy $-E$ and charge $-e$ gives a hole of excitation energy $E$ and charge $+e$, interpreted as a positron. A quantum field theory instead treats negative-frequency field coefficients as independent antiparticle creation operators in a Fock space, with positive excitation energies after normal ordering. No literal infinite material sea is needed. Bosonic antiparticles also exist, although a filled-sea exclusion argument cannot stabilize bosonic negative-energy levels.

Antimatter consists of antiparticles, whose rest masses and spins match those of the corresponding particles while additive internal conserved charges are reversed. A Positron, for example, has the electron's rest mass and opposite electric charge. Both have positive physical energy.

When a particle meets its antiparticle, annihilation can convert the pair into other particles while preserving total energy, momentum and applicable conserved charges. Electron-positron annihilation into two photons is a simple example. Producing a few antiparticles in energetic collisions does not establish a large cosmological antimatter population: the production process and the subsequent abundance are separate questions. The antiparticle description is built into relativistic quantum field theory, rather than requiring negative measured mass or energy.

Particle-antiparticle annihilation converts a particle and its antiparticle into other particles, conserving energy and applicable quantum numbers. Baryon-antibaryon annihilation commonly produces mesons whose subsequent decays can generate radiation.

On a connected open interval, if $F^{\prime }=g$, every antiderivative of $g$ has the form $F+C$, where $C$ is a constant function. Indeed, two solutions satisfy $(G-F{)}^{\prime }=0$: the zero derivative on a connected open set principle makes their difference constant. In one dimension, the mean value theorem proves this on any closed subinterval. ^[ref]

An initial condition or boundary condition can determine $C$. If a particular antiderivative is $F_0$ and $F(x_0)=y_0$, thenFor $g(x)=x^2$, $F_0(x)=x^3/3$ and $F(1)=2$, this gives $C=5/3$. Without that reference value, choosing $C=0$ simply selects one member of the family.

The freedom has a physical meaning in a simple kinematic model. A velocity $v(t)=at$, with constant acceleration $a$, determines position only as $x(t)=a{t}^2/2+C$. The initial condition $x(0)=x_0$ selects $C=x_0$; changing the starting position does not change the prescribed velocity.

For the differential equation $T^{\prime }=-B/r^2$ on $r>0$, the antiderivative is $T=B/r+C$. The boundary condition $T(R_s)=T_s$ gives $C=T_s-B/R_s$. Discarding the constant of integration therefore needs a specified condition or an approximation that quantifies its effect. On a domain with several connected components, the freedom is larger: antiderivatives on disconnected domains require a separate constant on each component.

Anti-self-dual gauge curvature obeys $F=-\ast F$ in oriented Euclidean four-space. In the corresponding two-spinor convention it has vanishing symmetric primed curvature spinor. A matrix-valued two-form which is both self-dual and anti-self-dual is zero, because adding the two equations gives $2F=0$.

A global anomaly obstructs invariance of a quantum theory under a topologically nontrivial symmetry transformation even when infinitesimal local anomaly tests vanish. The Witten SU(2) anomaly is one example; global gravitational anomalies are another class.

For $\xi \ne 0$ set $y=\xi /(2|\xi {|}^2)$, and take $R>r\ge 4|y|$. Translation by $y$ reverses the oscillatory exponential's sign. Comparing the original annulus with its translate gives twice the integral as an integrable kernel difference plus boundary-shell errors. The shell errors are bounded by $C_{d}A|y|(r^{-1}+R^{-1})$. The displayed estimate follows by enlarging the constant. Its right-hand side tends to zero as $r\to \infty$, proving convergence of the Fourier integral's improper far tail without absolute integrability of $K$ itself.