If $E$ is a ring spectrum, then $F(X_{+},E)$ is a ring spectrum. Its multiplication is adjoint to evaluating the two functions on the two copies supplied by the diagonal of $X$, then multiplying in $E$. Its unit is the constant unit function. Coassociativity of the diagonal and associativity in $E$ prove the associative identity; the counit and unit identities prove both unit laws.

A fundamental matrix for $F^{\prime }=RF/z$ on a chosen logarithm branch is $\exp (R\log z)$. A counterclockwise circuit changes the logarithm by $2\pi i$, giving the displayed monodromy matrix and the cyclic group it generates. Changing the solution basis conjugates the matrix. The residue eigenvalues exponentiate to the monodromy eigenvalues; the latter do not determine the former uniquely.

Suppose the matrix $B$ is holomorphic at zero and $0$ is an eigenvalue of $R$. Let $m$ be the largest nonnegative integer for which $-m$ is an eigenvalue of $R$. Seek $F=z^m{\sum }_{n\ge 0}{h}_n{z}^n$, with $h_0\in \ker (mI+R)$ nonzero. The Frobenius method gives $((m+n)I+R)h_n=-{\sum }_{j=0}^{n-1}{B}_j{h}_{n-1-j}$ for $n\ge 1$, where scalar terms multiply the identity. Every left-hand matrix is invertible by the choice of $m$. Its inverse is $O(1/n)$, so a scalar convergent majorant proves convergence of the series. This yields a nonzero analytic solution; it is necessarily nonconstant when $m>0$, but can be constant when $m=0$. For the displayed sign convention, indicial exponents are eigenvalues of $-R$.

A local series solution at a regular singular point, with exponent $r$ satisfying the indicial equation. Resonant exponents can require a logarithmic companion solution.

With $s=\sqrt{z}$ and $Y(s)=y(s^2)$, the displayed linear differential equation becomes $Y_{ss}+Y=0$ away from zero. Its Frobenius solutions have exponents $0$ and $1/2$: $\cos \sqrt{z}={\sum }_{n\ge 0}(-1{)}^n{z}^n/(2n)!$ and $\sin \sqrt{z}=z^{1/2}{\sum }_{n\ge 0}(-1{)}^n{z}^n/(2n+1)!$. The first is an entire function of $z$; the second needs a local square-root branch. This illustrates how a regular singular point can arise from a degenerate change of independent variable.

When two indicial roots differ by a positive integer, the recurrence for the smaller-root Frobenius solution can have a zero coefficient at the index of the larger root. If the corresponding right-hand side also vanishes, that coefficient is free and adds the larger-root solution; if it does not vanish, a pure Frobenius series is obstructed and a logarithmic term may be required. For $x^2{y}^{\prime \prime }-2x{y}^{\prime }-x^{2}y=0$, the recurrence $n(n-3)a_n=a_{n-2}$ has $a_1=0$ and leaves $a_3$ free. Choosing $a_3=0$ selects the even solution, not the only solution with exponent zero.

A Frobenius complement is the nontrivial proper subgroup $H$ in a Frobenius group with the displayed trivial-intersection property. In the action on cosets of $H$, it is a point stabilizer; no nonidentity element fixes two distinct points.

The Frobenius kernel consists of the identity and the elements lying in no conjugate of a Frobenius complement. The Frobenius kernel theorem proves that this conjugacy-invariant set is a normal subgroup, rather than assuming closure as part of its definition.

The integral homology of the loop space of a sphere implies that the unit $S^{r-1}\to \Omega S^r$ has vanishing relative homology through degree $2r-3$. Both spaces are simply connected for $r\ge 3$. The absolute Hurewicz theorem first identifies their degree-two homotopy groups with homology; the relative Hurewicz theorem then rules out a first nonzero relative homotopy group in degrees three through $2r-3$. The relative homotopy sequence makes the unit an isomorphism on ${\pi }_i$ through degree $2r-4$. Loop-suspension adjunction identifies this map with suspension, yielding ${\pi }_i(S^{r-1})\cong {\pi }_{i+1}(S^r)$ in that range.

Write the suspension of an $(n-2)$-connected based CW complex as two cones meeting in the original space. Each cone pair is $(n-1)$-connected because its relative groups shift the original homotopy groups by one. Homotopy excision theorem compares the cone pair with the suspension relative to the other cone, giving the suspension homomorphism as an isomorphism for $i<2n-2$ and a surjection at $i=2n-2$ in the indexing ${\pi }_{i-1}X\to {\pi }_i\Sigma X$.

A Freiman 2-isomorphism is a bijection between subsets of abelian groups preserving additive quadruple relations in both directions. It need not extend to an ambient group homomorphism. Multiplication by a nonzero scalar in a finite field and translation are examples; reduction of an integer set modulo a prime is an example only when it creates no new additive relations.

An eight-term Freiman isomorphism extends injectively to the two-sum/two-difference set by sending its representations to the corresponding integer differences. Independence of representation uses four-term relations, and additivity whenever $y,z,y+z$ lie in that difference set uses six-term relations. Thus a proper symmetric progression in the modeled difference set lifts, one coordinate step at a time, to a proper integer progression of the same rank and cardinality.

For a finite subset $B\subseteq {\mathbb{F}}_2^N$ containing zero, choose $m=\lceil {\log }_2(2|12B|)\rceil$ and a uniformly random linear map $L:{\mathbb{F}}_2^N\to {\mathbb{F}}_2^m$. Each fixed nonzero vector has zero image with probability $2^{-m}$. The union bound gives a map whose kernel meets $12B$ only at zero. It is injective on $6B$, and $2^m<4|12B|$. The Plünnecke-Ruzsa inequality makes the image of $B$ have density at least $1/(4C^{12})$ if $|B+B|\le C|B|$.

Let $A$ be a nonempty subset of ${\mathbb{F}}_2^N$ with doubling constant at most $C\ge 1$. Translate to $B=A+a$ containing zero. The Petridis minimal-growth lemma and Ruzsa triangle inequality bound $|kB|\le C^k|B|$. In injective linear modelling of a small sumset, the image has density at least $1/(4C^{12})$. The Finite-field Bogolyubov lemma finds a subspace of codimension at most $\lceil 32C^{24}\rceil$ in its fourfold sumset.

After lifting a subspace through a Freiman model, obtain $\tilde{W}\subseteq 4B$ with $|\tilde{W}|\ge 2^{-\lceil 32C^{24}\rceil }|B|$. The set $B+\tilde{W}\subseteq 5B$ uses at most $C^5{2}^{\lceil 32C^{24}\rceil }$ cosets. Their representatives generate a quotient group of size at most two to this number. Since $|\tilde{W}|\le C^4|B|$, adjoining those representatives and $a$ proves the displayed bound. Its constants are deliberately coarse, but depend only on $C$. The nonempty assumption is necessary: no vector subspace has cardinality at most a constant times the size of the empty set.

Write a group element as $\exp (v+a[e_1,e_2])$. The step-two Baker-Campbell-Hausdorff formula gives the displayed multiplication and inverse $(-v,-a)$. The scalar $a$ is the antisymmetric second signature coordinate, which equals the signed area for a closed planar path. The Carnot-Carathéodory distance is comparable to $|v|+|a{|}^{1/2}$ near the identity, with the same homogeneous scaling globally.

A finite linear combination of iterated Lie brackets in formal variables. It evaluates naturally in every Lie algebra, and every Lie algebra homomorphism preserves its evaluation. The homogeneous terms of the Baker--Campbell--Hausdorff formula are rational Lie polynomials; this permits the group law to be reconstructed from the bracket wherever the series converges.

In the nested partial unary operation category, suppose the lower-operation diagram $A\rightrightarrows B\stackrel{q}{\to }Q$ has a split coequalizer with $qs=1$, $ft=1$ and $gt=sq$. The section $s$ takes eligible fixed points to eligible fixed points, so the displayed next operation is defined on exactly the required domain. For eligible $x\in B$, the equations giveThus $q$ preserves the next operation. Every factored morphism preserves it by evaluating at $sz$, giving creation of the specified coequalizer. Together with reflection of isomorphisms, the Beck monadicity theorem proves one-step monadicity.

Nonzero bending modes have the sine, cosine, hyperbolic sine and hyperbolic cosine form. Free conditions at the first end identify the cosine and hyperbolic cosine coefficients, and likewise the sine coefficients. The remaining boundary determinant is $2(1-\cos q\cosh q)$. Its first positive roots are about $4.73004,7.85320,10.99561$. The complete basis additionally includes two zero-energy filament modes, constant translation and affine tilt; these are absent from the finite-coefficient formula at $k=0$.

A chiral Majorana fermion with modes $\{b_r,b_s\}={\delta }_{r+s,0}$ and $b_r^{†}=b_{-r}$ has $T=-:\psi \partial \psi :/2$ and central charge $1/2$. The even and odd fermion-number parts of its Neveu–Schwarz sector give unitary modules with lowest weights $0$ and $1/2$. In its Ramond sector, a choice of ground-state zero-mode eigenvalue gives the module of weight $1/16$; the other choice gives an isomorphic Virasoro algebra module. Their cyclic highest-weight submodules are irreducible: a positive-energy invariant proper submodule would have a lowest vector orthogonal to every descendant of the original highest vector, which is impossible in a positive inner-product cyclic module.

Suppose $u_t=D{u}_{xx}+f_0(u)+\epsilon h(u)$ has a balanced stationary front $U_0(z)$, where $z=(x-q)/\sqrt{D}$ and $U_0^{\prime \prime }+f_0(U_0)=0$. Take $\dot{q}/\sqrt{D}=\epsilon c_1+\cdots$ and $u=U_0+\epsilon U_1+\cdots$. At first order, $L{U}_1=-c_1{U}_0^{\prime }-h(U_0)$ with $L=d^2/d{z}^2+f_0^{\prime }(U_0)$. Differentiating the front equation proves $L{U}_0^{\prime }=0$. Integration by parts against the decaying translation mode givesThis is the Fredholm solvability condition determining the velocity, derived from the self-adjoint differential operator rather than assumed. An orthogonality condition or a fixed midpoint removes the freedom to add a multiple of $U_0^{\prime }$ to $U_1$. For the bistable cubic reaction-diffusion equation, $h=-a{U}_0(1-U_0)$ gives $c_1=-\sqrt{2}a$, and its first-order forcing vanishes pointwise, so the phase-fixed shape correction is zero.