With Minkowski metric signature $+---$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu }{\gamma }^{\rho }{\gamma }^{\sigma }{\gamma }_5)=4i{ϵ}^{\mu \nu \rho \sigma }$, define $H^{\mu \nu }(a,b)=a^{\mu }{b}^{\nu }+a^{\nu }{b}^{\mu }-g^{\mu \nu }a\cdot b+i{ϵ}^{\mu \nu \rho \sigma }{a}_{\rho }{b}_{\sigma }$. Then $\mathrm{tr}[/a{\gamma }^{\mu }(1-{\gamma }_5)/b{\gamma }^{\nu }(1-{\gamma }_5)]=8H^{\mu \nu }(a,b)$. The symmetric-tensor contraction gives twice the sum of the two possible dot-product pairings; the Levi-Civita symbol contraction, including the two factors of $i$, gives twice their difference. Their sum is the displayed identity, explaining the single pairing in left-chiral weak rates.

For a real Abelian vector superfield, $W_{\alpha }=-{\bar{D}}^2{D}_{\alpha }V/4$ is chiral. The supercovariant derivative algebra with left derivatives gives $D^{\alpha }{\bar{D}}^2{D}_{\alpha }={\bar{D}}_{\dot{\alpha }}{D}^2{\bar{D}}^{\dot{\alpha }}$, proving the displayed reality condition. Its component equations contain the ordinary gauge-theory Bianchi identity, not the Maxwell equations of motion. For a non-Abelian gauge group, replace these by gauge-covariant derivatives and compare both field strengths in the same gauge frame; the identity follows from the graded Jacobi identity of the superconnection.

A chief factor of $G$ is a quotient $N/M$ with $M,N$ normal in $G$ and no $G$-normal subgroup strictly between them. Equivalently, $N/M$ is a minimal normal subgroup of $G/M$. Such factors are the successive factors of a chief series, and are direct products of isomorphic simple groups when $G$ is finite.

For equal-length roots $r,s$ with a root sum, their angle is $2\pi /3$. The vectors $2r+s$ and $r+2s$ have squared length three times a root's squared length, so neither is a root. Thus $[e_r,e_{r+s}]=[e_s,e_{r+s}]=0$. Apply the central-commutator exponential identity to $A=t\mathrm{ad}{e}_r$ and $B=u\mathrm{ad}{e}_s$, whose commutator is $tu{N}_{r,s}\mathrm{ad}{e}_{r+s}$, to obtain the displayed identity over the complex numbers.

For simple-root generators $e_i,f_i,h_i$ with $[h_i,e_j]=a_{ij}{e}_j$, the Serre relations include $[e_i,f_j]={\delta }_{ij}{h}_i$ and $(\mathrm{ad}{e}_i{)}^{1-a_{ij}}{e}_j=(\mathrm{ad}{f}_i{)}^{1-a_{ij}}{f}_j=0$ for $i\ne j$. The off-diagonal Cartan entries are nonpositive integers. These relations restrict which iterated simple-root brackets remain nonzero.

For a finitely generated torsion Iwasawa module, this is a generator of its characteristic ideal, unique up to a unit of the formal power series ring. It may be chosen as a power of $p$ times a product of distinguished polynomials. The series itself and the ideal it generates are different objects; changing a generator by a unit preserves the ideal. When the finite Euler characteristic of a one-variable Iwasawa module is defined, the inverse p-adic absolute value of its constant term gives that invariant.

For a primitive Dirichlet character $\chi$ modulo $D$, its Gauss sum of a Dirichlet character gives $f_{\chi }=\tau (\overline{\chi }{)}^{-1}{\sum }_u\overline{\chi }(u)f|U_u$, with $U_u=\left(\begin{array}{cc}1& u/D\\ 0& 1\end{array}\right)$. If $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in {\Gamma }_0(N{D}^2)$, take $v\equiv d^{2}u(\mathrm{mod}D)$. Then $U_u\gamma U_v^{-1}\in {\Gamma }_0(N)$ and its lower-right entry is congruent to $d$ modulo $N$. Reindexing the sum yields the character $\psi (d)\chi (d{)}^2$. Rational translations preserve vanishing at modular cusps, proving the stated cuspidality as well as the transformation law.

Take the even primitive Dirichlet character ${\chi }_{12}$ whose values at $1,5,7,11$ modulo twelve are $1,-1,-1,1$. Its Gauss sum of a Dirichlet character is $\sqrt{12}$. The displayed series $A$ has $A(-1/\tau )=\sqrt{-i\tau }A(\tau )$ and $A(\tau +1)=e^{\pi i/12}A(\tau )$. Thus $A^{24}$ is the normalized weight-twelve modular discriminant. It has no interior zeros by the valence formula for the modular group. Its logarithmic derivative equals $E_2/24$, so integration gives the Dedekind eta function product. The odd character modulo four similarly produces a series $B$ with $B^8=A^{24}$ and leading term $q^{1/8}$; consequently $B=A^3$.

Suppose $N◃G$, $G/N$ is solvable, $\theta \in \mathrm{Irr}(N)$ is invariant under $G$, and $\theta (1)$ is coprime to $[G:N]$. If a linear character $\mu$ of $G$ restricts to the determinant character $\det \theta$, then there is a unique character extension $\chi \in \mathrm{Irr}(G)$ with determinant $\mu$. The coprime degree makes determinant normalization remove the ambiguity from twisting an extension by linear characters of the quotient group.

Under the invariant, coprime-degree and determinant hypotheses of the coprime-degree determinant extension theorem, without assuming $G/N$ solvable, each cyclic-quotient subgroup $N⟨g⟩$ has a unique determinant-normalized extension. Use its value at $g$ to define $f$. Uniqueness makes $f$ conjugacy-invariant. On an elementary subgroup $E$, it agrees with the restriction of the extension to $NE$, since $NE/N$ is a solvable quotient of $E$. Brauer's characterization of characters therefore makes $f$ a generalized character, with $f_N=\theta$.

Let $N◃G$ and let $\theta \in \mathrm{Irr}(N)$ be invariant under $G$. If $\theta (1)$ is coprime to $[G:N]$, then $\theta$ extends to $G$ if and only if its determinant character extends to a linear character of $G$. In particular, if the determinant order is also coprime to the index, there is a unique extension whose determinant order is coprime to the index. When $G/N$ is a p-group and $N=O^p(N)$, every invariant irreducible character of degree prime to $p$ satisfies this latter determinant condition.

For $a_n=(-1{)}^n(n+1)$, direct finite summation gives $s_{2m}=m+1$ and $s_{2m+1}=-(m+1)$. ConsequentlyThe distinct even and odd subsequential limits prevent first-order Cesàro summation. More averaging is a different method; a value assigned by another method is not a first-order Cesàro sum.

Construct partial sums $s_n$ from alternating blocks of zero and one, with lengths $1,3,9,27,\dots$. Block $j$, beginning with $j=0$, has length $3^j$ and value zero when $j$ is even, one when $j$ is odd. Define a series by $a_0=s_0$ and $a_n=s_n-s_{n-1}$ for $n\ge 1$; the telescoping series identity recovers these chosen partial sums. They remain in $[0,1]$.

At the end of odd block $2m+1$, the Cesàro mean is exactly $3/4$. At the end of even block $2m$, it isThese two subsequences have different subsequential limits, so the series has no first-order Cesàro sum. A later block remains a substantial fraction of everything averaged so far. Boundedness alone therefore does not ensure a stable average.

The finite limit of a sequence of averaged partial sums in the declared Cesàro summation convention, when that limit exists. It can exist when an ordinary sum does not, but every ordinarily convergent series has the same Cesàro sum as its ordinary sum.

For the geometric series with terms $z^n$, $z\ne 1$, the partial sums are $(1-z^{n+1})/(1-z)$. Averaging the finite expressions givesIf $|z|\le 1$ and $z\ne 1$, the second term has absolute value at most $2/((N+1)|1-z{|}^2)$, and therefore tends to zero. On the unit circle, except at $z=1$, this yields a first-order Cesàro sum even though the terms do not tend to zero. For $z=1$, instead $s_n=n+1$ and ${\sigma }_N=(N+2)/2$, so there is no finite Cesàro sum.^[ref]

The series with terms $a_n=(-1{)}^n$, indexed from zero, named for Guido Grandi. Its even-indexed partial sums are one and its odd-indexed partial sums are zero, so it has no ordinary sum. First-order Cesàro summation gives $1/2$. Grouping adjacent pairs would obscure this distinction: the partial sums of the grouped expressions select only one of the original subsequences.

In the average of partial sums $s_0,\dots ,s_N$, the term $a_k$ occurs exactly $N-k+1$ times. Reordering this finite sum gives the displayed identity. Early terms have weights closer to one, and the newest term has weight $1/(N+1)$. The triangular weight expresses the cumulative averaging rule; it is not a claim that one may freely rearrange an infinite series.

The centralizer of a subset $A$ of a group consists of the elements commuting with every member of $A$. It is the intersection of the element centralizers, hence a subgroup. Directly, identity commutes with every element, products of two elements that each commute with every member of $A$ still have that property, and the same is true of inverses. For $A=G$ this is the centre of a group. For an empty subset the commutation condition is vacuous and the centralizer is all of $G$.

A cellular chain that is the boundary of a chain one dimension higher. The chain-complex identity $d_n{d}_{n+1}=0$ makes every cellular boundary a cellular cycle; their quotient is cellular homology.

Suppose a normal linear model gives an unrestricted mean to each cell and has $m$ independent observations per cell, with common error variance ${\sigma }^2$. Each fitted cell mean is its sample mean, with variance ${\sigma }^2/m$; different fitted cell means are independent. Estimate ${\sigma }^2$ by the pooled within-cell residual sum of squares divided by $n-q$, where $q$ is the number of cells. Thus a cell mean has standard error $s/\sqrt{m}$, a difference of two cell means has standard error $s\sqrt{2/m}$, and a two-by-two difference-of-differences has standard error $2s/\sqrt{m}$.

// Target: probability-and-statistics.bigb