If $a=N_{L/K}c$, let $L$ act on itself by multiplication and let the extra generator act by $c\sigma$. Its $n$th power is multiplication by $a$, and these operators give the cyclic algebra as ${\mathrm{End}}_K(L)$. Conversely, if the algebra is a matrix algebra on an $n$-dimensional vector space, its embedded degree-$n$ field $L$ makes that space one-dimensional over $L$. The extra generator is then $c\sigma$ in an $L$-basis, so its $n$th power forces $a=Nc$.

The cycle class of an algebraic cycle is its image under the cycle class map. For a codimension-$r$ cycle on a smooth complex projective variety, it belongs to $H^{2r}(X,\mathbb{Z})$ and is the Poincare dual of its fundamental homology class. The map factors through the Chow group, but a Chow class retains finer information than its cohomological cycle class.

For a unit-speed geodesic $\gamma (t)={\exp }_p(tv)$, a finite cut time $c(v)$ is the last time to which its segment from $p$ minimizes Riemannian distance. Its endpoint is the Riemannian cut point along that geodesic. It lies in the cut locus; it need not be a cut point in the topological sense. The segment up to the cut time still minimizes by continuity of distance.

For the symplectic Lie algebra ${\mathfrak{sp}}_{2n}$, the defining crystal basis is the chain $1,2,\dots ,n,\bar{n},\dots ,\bar{1}$, with weights ${\epsilon }_1,\dots ,{\epsilon }_n,-{\epsilon }_n,\dots ,-{\epsilon }_1$. Its successive lowering-edge colors are $1,2,\dots ,n-1,n,n-1,\dots ,1$. Every step subtracts its color's simple root. Applying the crystal tensor-product rule to two copies gives a complete grid description of the tensor-square crystal. For $n\ge 2$, its only highest vertices are $1\otimes 1$, $1\otimes 2$, and $1\otimes \bar{1}$, of highest weights $2{\omega }_1$, ${\omega }_2$, and zero. For $n=1$, the middle vertex is absent and only the other two highest vertices remain.

For the B2 root system with ${\alpha }_1={\epsilon }_1-{\epsilon }_2$ long and ${\alpha }_2={\epsilon }_2$ short, the spin fundamental weight is ${\Lambda }_2=({\epsilon }_1+{\epsilon }_2)/2$. Its four-dimensional highest-weight representation has the minuscule weight orbit $\frac{1}{2}(\pm {\epsilon }_1\pm {\epsilon }_2)$, each of multiplicity one. The crystal basis is the chain $++\stackrel{2}{\to }+-\stackrel{1}{\to }-+\stackrel{2}{\to }--$, where signs denote the coordinates. Each Kashiwara operator subtracts its indicated simple root; the sl2 Lie algebra strings have length one. This fixes every edge and gives a connected highest-weight graph with the correct character.

With long-first simple roots ${\alpha }_1={\epsilon }_1-{\epsilon }_2$, ${\alpha }_2={\epsilon }_2$, the Adjoint representation has highest weight ${\epsilon }_1+{\epsilon }_2=2{\Lambda }_2$. Its crystal basis has one vertex $x_{\beta }$ for every root and two distinct zero-weight vertices $z_1,z_2$. The color-one strings are $x_{{\epsilon }_1}\to x_{{\epsilon }_2}$, $x_{{\alpha }_1}\to z_1\to x_{-{\alpha }_1}$, and $x_{-{\epsilon }_2}\to x_{-{\epsilon }_1}$. The color-two strings are $x_{{\epsilon }_1+{\epsilon }_2}\to x_{{\epsilon }_1}\to x_{{\epsilon }_1-{\epsilon }_2}$, $x_{{\epsilon }_2}\to z_2\to x_{-{\epsilon }_2}$, and $x_{-{\epsilon }_1+{\epsilon }_2}\to x_{-{\epsilon }_1}\to x_{-{\epsilon }_1-{\epsilon }_2}$. All other edges vanish. One construction takes the component generated by $1\otimes 2$ in the tensor square of the crystal of the defining odd-orthogonal representation; the crystal tensor-product rule produces exactly these ten vertices. The equivariant isomorphism ${\Lambda }^2{\mathbb{C}}^5\cong {\mathfrak{so}}_5$ identifies its highest weight and representation.

At a point of local degree $e$, the critical multiplicity is $e-1$. At an ordinary finite point this is the order of vanishing of the derivative. The invariant local-coordinate definition also works at poles and infinity. For $R(z)=z^d$, zero and infinity both have multiplicity $d-1$, so a critical-point count must count multiplicities: there are two distinct critical points but total multiplicity $2d-2$.

Local degrees multiply under composition: $e_p(S\circ R)=e_p(R)e_{R(p)}(S)$, directly by substituting the two local power-series expansions. ConsequentlyIn particular every critical point of $R$ remains critical for each positive iterate, and every critical point of an iterate reaches a critical point of $R$ in fewer than $n$ steps. This covers infinity as well as finite points. For polynomials at finite points the same conclusion follows from $(P^n{)}^{\prime }(z)={\prod }_{j=0}^{n-1}{P}^{\prime }(P^j(z))$.

A critical orbit is the forward sequence $p,R(p),R^2(p),\dots$ starting at a critical point of a rational map. The postcritical set records the forward images, usually from the first iterate onward, of all critical points; a single critical orbit and the union of all such images are distinct notions. For quadratic polynomials there is one finite critical point, zero, and its orbit controls connectedness of the filled Julia set and membership in the Mandelbrot set. A bounded orbit can be preperiodic to a repelling cycle, as $0\mapsto i\mapsto -1+i\mapsto -i\mapsto -1+i$ for $z^2+i$; boundedness then does not imply Fatou membership.

In the crystallographic convention, a Coxeter graph is admissible when it is realized by linearly independent unit vectors $v_i$ in a Euclidean space, with nonpositive mutual inner products and $4(v_i,v_j{)}^2=n_{ij}\in \{0,1,2,3\}$ for distinct vertices. The number $n_{ij}$ records a single, double or triple connection; equivalently, the displayed Gram matrix is positive-definite. In edge-label notation the nonzero connections have labels $3,4,6$. Forgetting multiplicity, the underlying graph is a forest: for any cycle of $k\ge 3$ distinct vertices, the sum of the corresponding unit vectors would have squared norm at most $k-k=0$, contradicting their linear independence. Multiple lines on one connection are labels and are not length-two cycles. This is the convention of Wehler's Lie algebra notes, section 6.3.

A five-cycle whose points are in orbit order along the real line gives four interval vertices with arrows $0\to 1\to 2\to 3$ and $3\to 0,1,2,3$. The transition-matrix traces for lengths one through four are $1,3,7,15$. Primitive closed words force at least one fixed point, one two-cycle, two three-cycles and three four-cycles. The second iterate has a two-branch horseshoe for an interval map on vertices two and three. The map itself need not have a one-step horseshoe: the unimodal affine example $F(x)=x+1$ for $x\le 3$, $F(x)=16-4x$ for $x\ge 3$ has precisely this five-cycle and has no two disjoint self-covering branches.

For cycle points ordered $x_3<x_1<x_0<x_2<x_4$, successive gap vertices have arrows $0\to 3$, $1\to 1,2$, $2\to 0$, $3\to 0,1$. Their transition-matrix traces through length four are $1,3,1,7$, forcing periods one, two and four but not three. The affine interpolation through ordered values $(4,3,1,0,2)$ has no three-cycle: its only length-three closed interval itinerary is $111$, on which the map is $5-2x$ and its third iterate has only its fixed point. Two distinct length-four return words at vertex one give a horseshoe for the fourth iterate.

With the local martingale definition requiring each stopped process itself to be a martingale, the initial value is integrable. A normalized continuous semimartingale decomposition $X=M+A$ with $A_0=0$ can therefore have a local-martingale part only if $X_0$ is integrable. A smooth transformation need not preserve this condition: take $M=0$, $A_t=G$ for an initially known standard normal random variable, and $f(x,a)=e^{a^2}$. Then $f(M_0,A_0)$ is finite almost surely but has infinite expectation. The always-valid decomposition is instead $X=X_0+N+V$ with a zero-starting continuous local martingale $N$ and a continuous finite-variation process $V$ starting at zero.

For a smooth map $F=(f,g)$ on the plane with zero Jacobian determinant and $f_y\ne 0$, set $e=g_y/f_y$. The determinant identity gives $\nabla g=e\nabla f$. Along a curve solving $y^{\prime }=-f_x/f_y$, both $f$ and $g$ have zero derivative. Local existence and uniqueness for this smooth differential equation through every nearby point produce a local foliation by curves of constant $F$.

A relative-consistency result constructs a model of a first-order theory $S$, or interprets its proofs, from the assumed consistency of a background theory $T$. It establishes $\mathrm{Con}(T)\Rightarrow \mathrm{Con}(S)$ in the stated metatheory, not an unconditional proof of consistency. For independence of an axiom $\phi$ from $S$, obtain consistent models of both $S+\phi$ and $S+\neg \phi$, relative to the background assumption.

A relative cycle is represented by a singular chain $b$ whose boundary lies in $A$. Define $\delta [\bar{b}]=[\partial b]$. If a representative changes by $\partial c+a$ with $a\in C_n(A)$, its boundary changes by $\partial a$, an $A$-boundary. Thus the map is well-defined and additive. Its image is exactly the kernel of $H_{n-1}(A)\to H_{n-1}(B)$: a cycle in $A$ dies in $B$ precisely when it is the boundary of a relative cycle lifted to $B$. This proves the corresponding exactness in the long exact sequence in relative homology directly.

Let a nonzero Jacobi field $J$ vanish at times zero and $a$. On a longer geodesic segment ending at $b>a$, extend it by zero to a continuous piecewise smooth field $Z$. Then $I(Z,Z)=0$. Choose an endpoint-vanishing field $P$ with $P(a)=-D_{t}J(a)$; integration by parts gives $I(Z,P)=-|D_{t}J(a){|}^2<0$. Thus $I(Z+\epsilon P,Z+\epsilon P)<0$ for small positive $\epsilon$. Smooth approximation preserves negativity. The second variation of geodesic energy supplies a shorter path, so a minimizing geodesic cannot extend beyond its first conjugate point.

// Target: differential-geometry.bigb

For an odd prime $p$, let $E_p:y^2=x^3-p^{2}x$. Its two-isogeny descent partner is $E_p^{\prime }:y^2=x^3+4p^{2}x$. The first two-torsion square-class homomorphism has image exactly $\{1,-1,p,-p\}$: prime-support bounds allow only these classes, and the four rational two-torsion points realize all of them. Every nonidentity point on $E_p^{\prime }$ has positive $x$, so its square-class image is contained in $\{1,2,p,2p\}$. The two-isogeny rank formula gives $2^{\mathrm{rank}{E}_p}=\#{\alpha }^{\prime }(E_p^{\prime })\le 4$, hence the rank is at most $2$.

A Lambert quadrilateral with acute angle $\pi /14$ and sides $x,y$ incident to the opposite right-angle vertex satisfies the displayed relation. Reflect four copies around that vertex to make a symmetric hyperbolic quadrilateral whose four corner angles are $\pi /14$. Identifying opposite sides yields a torus with one cone angle $2\pi /7$. The two central axis loops have lengths $2x,2y$ and meet once at right angles. Cutting along one loop gives a pair of pants with two equal geodesic boundaries and the cone point; reglue the boundaries with a Fenchel–Nielsen twist to obtain the two-parameter cone-torus family. Its seven-sheeted torsion-free covers have genus four.

For a regular two-parameter exponential family, condition on the sample mean of the nuisance canonical statistic. Exponential tilting to its observed value and the saddlepoint density approximation give a nuisance-statistic density proportional to $d_{\lambda \lambda }^{-1/2}$ times its large-deviation exponential. Dividing the joint likelihood by this density gives the profile log-likelihood plus the displayed adjustment, up to a data-only constant. The sign is positive. This construction assumes an interior saddle with positive curvature and a sufficiently regular nonlattice density; conditioning on a lattice statistic requires the corresponding mass approximation.