A subgroup $A$ is a free factor of $G$ if $G$ is isomorphic to a free product $A\ast B$ by an isomorphism restricting to the inclusion of $A$, for some subgroup $B$. The normal form theorem for a free product ensures that both factors embed. A free factor need not be a normal subgroup.

Suppose $P$ has a soluble word problem for a group and $z$ generates an infinite cyclic group. In $P\ast ⟨z⟩$, for $g\ne 1$ the words $gz$ and $[g,z]$ are cyclically reduced with two and four syllables respectively. Their nonzero powers have syllable lengths $2|k|$ and $4|k|$. Given an input's reduced free product form, its length bounds the possible exponents; compare the finitely many candidates using the base word algorithm. Membership and the exponent in each of these infinite cyclic subgroups are therefore computable, with no algorithm for the order of $g$ required.

A finite generating set and finitely many relators in a free pro-p group, divided out by their closed normal closure. Relators are elements of the free pro-p group; they need not be finite ordinary words. A pro-p group with such a presentation is finitely presented in the pro-$p$ category.

Embed a free pro-p group on $x_1,\dots ,x_d$ into the units of the noncommutative power-series algebra ${\mathbb{F}}_p⟨⟨X_1,\dots ,X_d⟩⟩$ by $x_i\mapsto 1+X_i$. Its Magnus degree is the lowest total degree occurring in $\iota (w)-1$, with $D(1)=\infty$. Since $(1+v{)}^{p^e}=1+v^{p^e}$ in characteristic $p$, one has $D(w^{p^e})\ge p^{e}D(w)$. High powers therefore impose relations with small weight at any fixed parameter $0<\tau <1$.

Writing the characteristic equation with reciprocal hyperbolic cosine avoids exponentially large products. For the positive roots indexed from one, $q_n=(n+1/2)\pi +2(-1{)}^{n+1}{e}^{-(n+1/2)\pi }+O(e^{-2(n+1/2)\pi })$. The apparent root at zero represents the separate affine kernel, not another positive bending mode. Evaluating hyperbolic pieces of high modes with decaying exponential forms also avoids cancellation.

For bounded operators with trace-class commutator, the multiplicative commutator differs from identity by a trace-class operator. Along $F(t)=e^{tA}{e}^B{e}^{-tA}{e}^{-B}$, the trace of its logarithmic derivative is the constant $\mathrm{Tr}[A,B]$. This follows by writing $e^{B}A{e}^{-B}-A$ as the integral of conjugates of $[B,A]$ and using trace invariance under bounded similarities. Integrating the Fredholm determinant derivative from $F(0)=I$ proves the formula. Individual traces of $A$ and $B$ need not exist.

Suppose $f(a+h)=f(a)+Lh+r(h)$ and $|r(h)|/\Vert h{\Vert }_1\to 0$. If $c\Vert h{\Vert }_1\le \Vert h{\Vert }_2\le C\Vert h{\Vert }_1$, then $|r(h)|/\Vert h{\Vert }_2\le c^{-1}|r(h)|/\Vert h{\Vert }_1\to 0$. The boundedness of $L$ is also preserved, and the same argument in reverse proves equivalence of differentiability. The derivative is the same linear map, not a norm-dependent replacement.

A subset generates a finite p-group precisely when its images span the Frattini quotient. Indeed $⟨S⟩\Phi (G)=G$ implies $⟨S⟩=G$, since otherwise a maximal subgroup contains both factors. Minimal generating sets correspond to vector-space bases in the quotient.

For a vector bundle carrying a smooth nondegenerate symmetric bilinear form of constant metric signature, a pseudo-orthonormal frame is a smooth local frame of a vector bundle whose Gram matrix is the constant diagonal signature matrix $\eta$. It identifies the metric bundle locally with a fixed model ${\mathbb{R}}^{p,q}$. Two such frames differ by a smooth map into the corresponding orthogonal group. Positive-definite signature is included as the ordinary orthonormal case. A global pseudo-orthonormal frame is a section of a fiber bundle of the orthonormal frame bundle and trivializes that principal bundle.

Factor subsets multiply by symmetric difference; their sign columns multiply pointwise. The subgroup generated by independent defining words has $2^k$ elements. On a selected fractional factorial design, every word in this subgroup is constant, with sign determined by the chosen generator signs. The cosets classify identical or opposite contrast columns.

The resolution of a regular fraction is the shortest nonidentity word in its defining contrast subgroup. Two effects alias only when their word product belongs to that subgroup. Thus resolution VI separates all main effects and two-factor interactions from one another and from three-factor interactions, though some three-factor interactions alias in complementary pairs.

On the unit square with exact Dirichlet boundary data, let $D_{9}U=B_{h}f$ and suppose the normalized residual on the exact smooth solution has supremum norm at most $\epsilon$. The error satisfies $D_{9}e=-\tau$ and vanishes on the boundary. The barrier $q=[x(1-x)+y(1-y)]/4$ has $D_{9}q=-1$, $q\ge 0$ on the boundary, and maximum $1/8$. Apply the discrete maximum principle to $e-\epsilon q$ and $-e-\epsilon q$, obtaining $|e|\le \epsilon q$. Thus $\Vert e{\Vert }_{\infty }\le \epsilon /8$, and fourth-order residual gives fourth-order supremum norm nodal convergence. The proof needs a uniform smoothness bound and a compatible boundary discretization.

The nine-point finite-difference stencil for the Laplacian has expansion $D_{9}u=\Delta u+h^2{\Delta }^{2}u/12+h^4(u_{xxxxxx}+u_{yyyyyy}+5u_{xxxxyy}+5u_{xxyyyy})/360+O(h^6)$. If $\Delta u=f$, differentiating this equation gives $u_{xxxxyy}+u_{xxyyyy}=f_{xxyy}$ and $u_{xxxxxx}+u_{yyyyyy}={\Delta }^{2}f-3f_{xxyy}$. Hence the corrected compact equationhas sixth-order normalized consistency of a numerical method. Source derivatives can be supplied analytically; numerical approximation of $\Delta f$ must be fourth order and of the fourth derivatives second order. With exact square-grid Dirichlet boundary data and uniformly smooth solution, the discrete maximum principle inverse bound converts this residual into sixth-order nodal convergence. The unknown stencil stays compact even if more distant known source values are used.

For a random restriction, first fix the live set $J$ and average over the unbiased assignment $a$ outside it. The coefficient at $U\subset J$ is ${\sum }_{B\subset J^c}\hat{f}(U\cup B){\chi }_B(a)$. Orthogonality eliminates cross terms in its squared expectation. Averaging over $J$ gives the displayed identity. The original Fourier weight is weighted by a binomial distribution survival probability, not simply preserved.

This uniform bound is the actual fixed-time stability requirement for a vector-valued periodic grid evolution. Eigenvalue moduli alone are insufficient for nonnormal matrices. A unit Jordan block with an order-one off-diagonal entry grows like $n$, while an entry proportional to $\Delta t$ can give bounded growth on $n\Delta t\le T$. Uniform eigenvector conditioning or a suitable discrete energy estimate can establish the bound. Mesh-dependent diagonalizations cannot be treated as automatically harmless.

For a scalar constant-coefficient grid update, Fourier transformation turns $S$ into multiplication by its symbol $G$. Parseval identity proves the displayed norm equality; necessity is obtained by concentrating Fourier data near a maximizing frequency. Contractivity for every step is equivalent to $|G|\le 1$. Mesh-uniform fixed-time stability, on $nk\le T$, permits $\sup |G|\le 1+Ck$: powers are bounded by $e^{CT}$. Conversely a uniform bound at $n=\lfloor T/k\rfloor$ gives this $1+O(k)$ restriction as $k\to 0$. For matrix symbols, use the existing uniform power bound for matrix Fourier symbols rather than only eigenvalue moduli.

A bound tending to zero with one factor's Gowers U3 norm, uniformly over all finite abelian groups, is false. On $G={\mathbb{F}}_2^m$, choose a random independent sign at each point. A cube with eight distinct vertices has sign product of expectation zero. The probability of a collision among its vertices is at most $\left(\genfrac{}{}{0ex}{}{8}{2}\right)/|G|$, since each equality of distinct vertices imposes a nonzero linear equation in the increments. Thus some sign function $f$ has $\Vert f{\Vert }_{U^3}^8\le 28/|G|$. But the four-term arithmetic progression is $(x,x+d,x,x+d)$, so choosing factors $(f,1,f,1)$ gives correlation identically one. As $m\to \infty$, the norm tends to zero. Bounded torsion, as in cyclic groups, avoids this obstruction.

For a complete ring with an adic topology defined by $I$, the formal spectrum has the prime ideals containing $I$ as its points and structure sheaf ${\underleftarrow{\lim }}_n{\mathcal{O}}_{\mathrm{Spec}(A/I^{n+1})}$. On a principal open subset $D(f)$ its sections form the completed localization of an adic ring, not generally the ordinary localization $A_f$.

// Target: ringed-space.bigb

For a closed subscheme with ideal sheaf $\mathcal{I}$ in a locally Noetherian scheme, the completion is the formal scheme on $|Y|$ with topological structure sheaf ${\underleftarrow{\lim }}_n({\mathcal{O}}_X/{\mathcal{I}}^{n+1}){|}_{|Y|}$. On a Noetherian affine scheme $\mathrm{Spec}A$, it is $\mathrm{Spf}({\underleftarrow{\lim }}_{n}A/I^{n+1})$. Its adic topology remembers every infinitesimal neighbourhood.

// Target: commutative-algebra.bigb

For a local ring $(A,\mathfrak{m})$ with residue field $k$, put $B=A[[x]]$ and $I=\mathfrak{m}B+xB$. There is a natural $k$-vector space isomorphism $I/I^2\cong (\mathfrak{m}/{\mathfrak{m}}^2)\oplus k$. The inverse sends $(\bar{a},\bar{b})$ to the class of $a+bx$. It is well-defined because changing $a$ by ${\mathfrak{m}}^2$ or $b$ by $\mathfrak{m}$ changes the result by $I^2$. It is surjective since every $f\in I$ is congruent modulo $x^{2}B\subseteq I^2$ to its constant and linear terms. As $I^2={\mathfrak{m}}^{2}B+x\mathfrak{m}B+x^{2}B$, those coefficients of an element of $I^2$ lie in ${\mathfrak{m}}^2$ and $\mathfrak{m}$, respectively. This proves injectivity. Thus adjoining one formal variable increases finite embedding dimension by one.