Every continuous group homomorphism ${\mathbb{R}}^n/\Lambda \to {\mathbb{C}}^{\times }$ is $x+\Lambda \mapsto e^{2\pi i⟨u,x⟩}$ for a unique $u$ in the dual lattice. Compactness forces unit modulus, and lifting the character to the simply connected cover makes its phase a real linear functional. These characters are the frequencies of torus Fourier series.

A double coset is generally not a subgroup, so Lagrange's theorem does not force its size to divide the ambient group order. In $S_3$, take $H=K=⟨(12)⟩$. Then $HeH$ has size two, while $H(13)H$ has size four, which does not divide six. The general size formula $|HgK|=|H||K|/|H\cap gK{g}^{-1}|$ explains why different double cosets can have different sizes.

For the order-eight dihedral group generated by $r$ of order four and $s$ of order two with $srs=r^{-1}$, let $H=K=⟨s⟩$. There are exactly three double cosets: $H$, $H{r}^{2}H$, and $HrH$, of sizes two, two, and four. Their number does not divide eight. This differs from the number of ordinary cosets, which divides group order by Lagrange's theorem.

If a submartingale has uniformly bounded increments, then ${\mathrm{liminf}}_n{Y}_n/n\ge 0$ almost surely. In its Doob decomposition in discrete time, the predictable compensator is nondecreasing, while the martingale part has bounded increments. The strong law for martingales with bounded increments makes the latter negligible on the linear scale.

If $C$ is an irreducible plane curve of degree $d$, the localization sequence for the divisor class group quotients $\mathrm{Cl}({\mathbb{P}}^2)=\mathbb{Z}[H]$ by the class $[C]=d[H]$. Nonsingularity of the removed curve is not required; irreducibility makes it a single removed prime Weil divisor.

A divisible Abelian group is torsion-free precisely when division by each nonzero integer is unique. Defining rational scalar multiplication by $n((m/n)a)=ma$ identifies these groups with vector spaces over the rational numbers, including the zero space.

The displayed integral is $(e^{t\beta }-e^{t\gamma })/(\beta -\gamma )$ for distinct exponents and $t{e}^{t\gamma }$ when they coincide. The latter is the continuous limit, so a zero denominator is a removable singularity. This quantity appears in variation-of-constants formula estimates of matrix evolution and avoids omitting an equal-exponent case.

If $\mathrm{Re}⟨Lv,v⟩\le 0$ in a finite-dimensional Hilbert space, $I-hL/2$ is invertible for every positive $h$. The relation $v_{+}-v_{-}=(h/2)L(v_{+}+v_{-})$ gives $\Vert v_{+}{\Vert }^2-\Vert v_{-}{\Vert }^2=(h/2)\mathrm{Re}⟨L(v_{+}+v_{-}),v_{+}+v_{-}⟩\le 0$. Thus the Crank-Nicolson method contracts for such a linear system even when $L$ is a non-normal matrix. This is a direct energy result, not an unqualified inequality by a scalar rational function evaluated at a logarithmic norm.

The fiber-supported measurable probability kernel supplied by the disintegration theorem for a probability measure for a factor map. For integrable $f$, $\mathbb{E}[f\mid {\phi }^{-1}{\mathcal{B}}_Y](x)=\int fd{\mu }_{\phi (x)}$ almost everywhere. The same construction applies to general measurable maps and countably generated sub-sigma-algebras modulo null sets.

Let $d=\gcd (c_1,M)$. A supported sample guarantees $d\mid c_2$. Dividing its linear congruence by $d$ gives an invertible coefficient modulo $M/d$ and a unique residue $y_0$ there. The $d$ compatible discrete logarithms modulo $M$ are $y_0+jM/d$ for $0\le j<d$. Only $d=1$ determines the discrete logarithm from the sample alone; $(c_1,c_2)=(0,0)$ conveys no information for $M>1$.

A real function $h$ on a finite connected graph satisfying $Lh=0$ everywhere is constant. At a maximum graph vertex, the identity $\mathrm{deg}(u)h(u)={\sum }_{v\sim u}h(v)$ forces every graph neighbour to have the same maximum. Connectedness propagates it to every graph vertex. This proves uniqueness of voltage up to an additive constant, and identifies sums of oppositely directed occupation voltages.

Every bounded harmonic function on a graph is constant if the connected locally finite graph is recurrent. Along its random walk on a graph, the harmonic values form a bounded martingale and converge almost surely. Recurrence visits each vertex infinitely often, making every vertex value a subsequential limit of the same convergent sequence. Thus every value agrees.

For finite Dirichlet polynomials, ${\int }_T^{2T}A(\sigma +it)\overline{B(\sigma +it)}dt$ has diagonal term $T{\sum }_n{a}_n\overline{b_n}/n^{2\sigma }$. Its off-diagonal error is bounded by ${\sum }_{m\ne n}|a_n{b}_m|/(n^{\sigma }{m}^{\sigma }|\log (m/n)|)$. A weighted row-sum estimate further bounds this by $\log (2X){\sum }_{n\le X}{n}^{1-2\sigma }(|a_n{|}^2+|b_n{|}^2)$.

Write $B(t)={\sum }_{n\le t}\tau (n)/n$ and $r=\lfloor \sqrt{t}\rfloor$. The weighted Dirichlet hyperbola method givesIndeed, use $H_{\lfloor u\rfloor }=\log u+\gamma +O(1/u)$ and ${\sum }_{a\le r}(\log a)/a=\frac{1}{2}{\log }^{2}r+c\prime +O(\log (2r)/r)$. The latter follows by comparing each summand with the integral on its unit interval: the derivative of $(\log t)/t$ has an integrable tail. Since $r=\sqrt{t}+O(1)$, substitution yields the expansion. Here $H_n$ is the harmonic number and $\gamma$ the Euler--Mascheroni constant.

The pivot form chooses a reported-welfare-maximizing allocation and charges each agent the maximum welfare achievable by the others without that agent minus the others' welfare in the chosen allocation. With quasilinear utility, truthful reporting is a dominant strategy because the first term in the payment depends only on other reports. For two identical items and three unit-demand bidders, each winner pays the lowest reported valuation and the loser pays zero.

An equilibrium outcome of a mechanism can be reproduced by asking for types and then sending the messages prescribed by the original equilibrium strategies. Truthful reports are then a Bayesian Nash equilibrium: a profitable false report would induce a profitable original deviation. This reduces optimization over indirect mechanisms to direct revelation mechanisms with Bayesian incentive compatibility, under the same information and participation assumptions.

One consistent Dirac equation convention uses $\eta =\mathrm{diag}(-1,1,1,1)$, $\{{\gamma }^a,{\gamma }^b\}=-2{\eta }^{ab}$, and $(i{\gamma }^a{\partial }_a+m)\psi =0$. Taking the negatives of the standard mostly-minus gamma matrices, and defining the Dirac adjoint with the new ${\gamma }^0$, gives the same physical Dirac action. The positive-frequency plane wave is $e^{ip\cdot x}u(p)$ with $p^0>0$, and its equation is $(/p-m)u=0$. The mass shell is $p^2=-m^2$. These signs must be translated together when using a formula stated in another convention.

The massless Dirac equation is ${\gamma }^m{\partial }_m\Psi =0$. The Clifford algebra makes its square the massless wave equation. Quantization of a worldline spin variable as ${\hat{\psi }}^m={\gamma }^m/\sqrt{2}$ turns its fermionic constraint into this equation.

Varying the Dirac action with respect to the spinor, rather than its Dirac adjoint, gives the left-acting field equation after integration by parts. Together with the Dirac equation it proves conservation of the vector current.

A spinor Lorentz matrix satisfies $S^{-1}{\gamma }^{\mu }S={\Lambda }^{\mu }{}_{\nu }{\gamma }^{\nu }$. Combining this identity with the transformed derivative shows that $(i{\gamma }^{\mu }{\partial }_{\mu }^{\prime }-m){\Psi }^{\prime }=S(i{\gamma }^{\mu }{\partial }_{\mu }-m)\Psi$. Thus a Lorentz transformation carries every solution of the Dirac equation to another.