Work in the affine plane over a finite field ${\mathbb{F}}_q$ of odd characteristic. The union of the affine lines $y=mx-m^2/4$, for $m\in {\mathbb{F}}_q$, contains a line of every finite slope. Completing the square givesFor a fixed $x$, the union therefore contains exactly the $(q+1)/2$ values of $y$ for which $x^2-y$ is a square, including zero. Adding the vertical affine line $x=0$ completes all directions. The resulting finite-field Kakeya set has cardinalityIts density tends to one half as $q$ grows through odd prime powers. Geometrically the finite-slope lines are the tangents to the parabola $y=x^2$, because the tangent at $x=m/2$ has the displayed equation.

Inside an algebraic closure, choose compatible roots $t^{1/n}$. The fields $\mathbb{C}((t^{1/n}))$ exhaust all finite extensions by finite extensions of the complex Laurent series field. Restriction from a degree-$m$ field to a degree-$n$ field for $n\mid m$ sends an exponent modulo $m$ to its reduction modulo $n$. The absolute Galois group is their inverse limit, namely the profinite completion of $\mathbb{Z}$. This is a procyclic group, rather than the direct-limit torsion group of all complex roots of unity.

For a finite-dimensional Hermitian matrix $A$, its spectral projection $P_{\lambda }$ is the orthogonal projection onto the eigenspace for $\lambda$. In an orthonormal eigenbasis, the displayed sum is over every basis vector with that eigenvalue. The projection is independent of the choice of basis within a repeated eigenspace. For distinct eigenvalues $\lambda ,\mu$,This is the spectral decomposition grouped by distinct eigenvalues: decompose a vector into orthogonal pieces, then scale each piece. For the matrix $A=\left(\begin{array}{cc}2& 1\\ 1& 2\end{array}\right)$,Thus $P_3(1,0{)}^T=(1/2,1/2{)}^T$ and $P_1(1,0{)}^T=(1/2,-1/2{)}^T$: the two pieces add back to $(1,0{)}^T$. Squaring the matrix simply squares each scalar, $A^2=9P_3+P_1$, and similarly the matrix exponential is $e^{tA}=e^{3t}{P}_3+e^t{P}_1$. Spectral projections of a self-adjoint matrix turn repeated matrix calculations into scalar calculations on fixed vector subspaces.

For a positive integer $n$ and a congruence class $k$ in the additive finite cyclic group $\mathbb{Z}/n\mathbb{Z}$, the order of a group element isIndeed, write $d=\gcd (n,k)$, $n=d{n}^{\prime }$ and $k=d{k}^{\prime }$. Returning to zero after $m$ steps means $n\mid mk$, equivalently $n^{\prime }\mid m{k}^{\prime }$. Since $n^{\prime }$ and $k^{\prime }$ are coprime, this holds exactly when $n^{\prime }\mid m$; the least positive such $m$ is $n^{\prime }$. This argument also covers $k=0$, since $\gcd (n,0)=n$.

For $n=6$, the orders of $0,1,2,3,4,5$ are respectively $1,6,3,2,3,6$. The translation in a group $x\mapsto x+k$ has the same period from every starting element. Consequently its cycles each have length $n/d$ and there are $d$ of them. They are exactly the cosets of the cyclic subgroup generated by $k$, which explains both the lengths and the number of components in the picture.

The signed symmetric group consists of permutations of $\{\pm 1,\dots ,\pm n\}$ commuting with sign change. It is the Coxeter group of type $B_n$.

The longest element $w_0$ is the unique element of maximal Coxeter length in a finite Coxeter group. It is an involution and satisfies $\ell (w_{0}w)=\ell (w_0)-\ell (w)$.

The finite cyclic group $C_4=\mathbb{Z}/4\mathbb{Z}$ and the Klein four-group $V_4=C_2\times C_2$ are both abelian groups of order four. In $C_4$, composition is addition modulo four. In $V_4$, label the elements $00,01,10,11$ and add each coordinate modulo two. For example, $01+10=11$ and $11+11=00$.

The order of a group element is preserved by a group isomorphism: an equation $g^m=e$ holds exactly when its image satisfies the same equation. In $C_4$, both $1$ and $3$ have order four. In $V_4$, each nonidentity element has order two. Hence these groups are not isomorphic, despite having the same order of a finite group. No relabelling can repair this discrepancy.

For a geometric model of $V_4$, take the symmetries of a non-square rectangle: the identity element, reflection in its horizontal axis, reflection in its vertical axis, and rotation through $180^{\circ }$. The two reflections commute, and their composite is the half-turn. Every nonidentity motion is its own inverse element. This makes the two binary switches concrete: choosing whether to apply each reflection specifies all four motions. The case of abelian groups of prime-square order generalizes this distinction from $p=2$ to any prime $p$.

An ultrafilter $U$ on $P_{\kappa }(\lambda )$ is normal when each function with $f(x)\in x$ on a $U$-large set is constant on a $U$-large subset. This is the small-subset version of normality; together with fineness and kappa-completeness it gives the measure characterization of a supercompact cardinal.

For a functor $F:\mathcal{C}\to \mathcal{D}$, precomposition by $u:B\to B^{\prime }$ induces $(B^{\prime }\downarrow F)\to (B\downarrow F)$, hence a map of categorical connected components in the opposite direction to $u$. This defines a presheaf on $\mathcal{D}$. Its category of elements is the intermediate category in the final-discrete-fibration factorization.

Two factorizations of one functor have a unique connecting functor in each direction, by the orthogonality of final functors and discrete fibrations. Their composites and the identity fill the same lifting square, so uniqueness makes both composites identities. The intermediate categories are therefore canonically isomorphic.

An almost commutative algebra over a field is an algebra with an exhaustive increasing nonnegative multiplicative filtration whose associated graded ring is commutative and finitely generated as an algebra over the field. A common presentation uses finitely many degree-one generators, scalar degree-zero part, and commutators that lower degree. The finite-generation requirement is essential: an infinitely generated commutative polynomial ring has commutative associated graded algebra but need not be Noetherian.

For an exhaustive ascending multiplicative filtration with $1\in F_{0}A$, its Rees ring contains the central element $h$. The quotient by $h$ is the associated graded ring, and the quotient by $h-1$ is the original algebra. If $[F_{i}A,F_{j}A]\subseteq F_{i+j-1}A$, commutators of lifts are divisible by $h$. Their first-order term defines the Poisson bracket from a central deformation parameter on the associated graded ring.

Consecutive Fibonacci numbers are coprime by the Euclidean algorithm. The Fibonacci addition formula writes $F_m=F_{m-n}{F}_{n+1}+F_{m-n-1}{F}_n$ for $m>n$. Taking the greatest common divisor with $F_n$ removes the last summand, and multiplication by the coprime factor $F_{n+1}$ leaves that gcd unchanged. The case $m=n$ uses $F_0=0$. Applying the Euclidean algorithm to the indices yields the strong-divisibility identity $\gcd (F_m,F_n)=F_{\gcd (m,n)}$ for nonnegative indices, with the usual zero conventions.

For a finite group presentation $H=⟨x_1,\dots ,x_m\mid r_1,\dots ,r_n⟩$, let $F$ be the free group on its generators and $\pi :F\to H$. The corresponding fiber product of groups is generated by $(x_i,x_i)$ and $(1,r_j)$. Conjugation by the diagonal pairs supplies every pair $(1,r)$ with $r$ in the normal closure of the relators, and $(u,v)=(u,u)(1,u^{-1}v)$ proves the generating claim. Membership of $(1,w)$ is equivalent to $w=1$ in $H$, so this finitely generated subgroup can have undecidable membership even though $F\times F$ has soluble word problem.

The dimension of the fibre of a morphism locally at its source point $x$: the maximum of the dimensions of the fibre's irreducible components through $x$. This differs from the Krull dimension of the local ring at a nonclosed point.

An orthogonal structure is a reduction of the transition functions of a real rank-$r$ vector bundle to the orthogonal group. Its orthonormal frames define a fiber metric, independent of the chosen frame because orthogonal transitions preserve the inner product. Conversely a fiber metric gives smooth orthonormal frames by the Gram-Schmidt process, with orthogonal transition matrices. This equivalence does not require the vector bundle to be globally trivial.

For a fixed impermeable object, the Ffowcs Williams-Hawkings equation has a volume acoustic quadrupole and a surface acoustic dipole, with no mass-injection term. If $F$ is the total force exerted on the fluid and $Q=\int TdV$ the integrated Lighthill stress tensor, the acoustic compact-source approximation in the acoustic far field gives the displayed pressure at retarded time. A force convention directed onto the body reverses the loading sign. The retarded acoustic Green function carries $1/c_0^2$ when the wave operator is ${\partial }_t^2-c_0^2\Delta$.

For normalized triplets $(E^{+},n,e{)}_L$ and $(E^{+},N,e{)}_R$, let the raising matrix have ones in entries $(1,2)$ and $(2,3)$. Its commutator with its adjoint is $\mathrm{diag}(1,0,-1)$. Neutral mixing in $n=c_{\alpha }\nu +s_{\alpha }N$ leaves this result unchanged because $c_{\alpha }^2+s_{\alpha }^2=1$. With current normalization using $1\mp {\gamma }^5=2P_{L,R}$, fermionic bilinear charge algebra gives the displayed proportionality to the leptonic electric charge $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$. Other current normalizations change the numerical prefactor, not closure. Equal-time algebra does not itself imply conservation of a fermionic weak charge in a symmetry-broken theory.

For a fixed pants decomposition of a closed genus-$g$ hyperbolic surface, its $3g-3$ cuff lengths determine all its Y-pieces. Two suitably chosen transverse simple closed curves at each cuff, one obtained from the other by a Dehn twist, determine the corresponding twist: hyperbolic seam identities express their lengths through shifted hyperbolic cosines of that twist, removing the sign ambiguity of just one transversal. Thus finitely many marked lengths determine the Fenchel–Nielsen coordinates. The unmarked length spectrum lacks these labels, which is why this fact alone does not imply global spectral uniqueness.

After cutting a hyperbolic surface along a simple closed geodesic, reglue its two boundary copies after an arclength displacement $\tau$. The boundary length remains fixed, while the Riemannian metric varies. In marked Fenchel–Nielsen coordinates, the twist is real-valued; changing it by one boundary length corresponds to a Dehn twist in the marking. This construction also applies to a hyperbolic pair of pants with a fixed cone angle and two geodesic boundaries.