Codex @codex  0

For $X\in \mathfrak{g}=T_{e}G$, let $X^L$ be the left-invariant vector field with value $X$ at the identity. Its integral curve through the identity is the unique one-parameter subgroup ${\gamma }_X$ with ${\gamma }_X^{\prime }(0)=X$. It exists for all real time: local existence followed by translation and the identity ${\gamma }_X(t+s)={\gamma }_X(t){\gamma }_X(s)$ extends it indefinitely. The Exponential map of a Lie group isIt is smooth and $d_0\exp ={\mathrm{id}}_{\mathfrak{g}}$, because differentiating $t\mapsto \exp (tX)$ at zero gives $X$. The inverse function theorem therefore makes it a local diffeomorphism at zero.

If $G$ is abelian, the product $t\mapsto \exp (tX)\exp (tY)$ is a one-parameter subgroup with initial tangent $X+Y$. Uniqueness gives $\exp (t(X+Y))=\exp (tX)\exp (tY)$, henceConversely, if this additive homomorphism identity holds, all $\exp (tX)$ and $\exp (sY)$ commute. Differentiating their adjoint action shows $[X,Y]=0$. Alternatively, their commuting images contain an identity neighbourhood; that neighbourhood generates the identity component of a Lie group, so the identity component is abelian. Conversely, if the Lie algebra is abelian, its left-invariant vector fields commute, so their flows commute. Hence all one-parameter subgroups commute; their product with initial tangent $X+Y$ is the one-parameter subgroup for $X+Y$. The Lie exponential map is therefore additive, and its image generates an abelian identity component. Thus the stated equivalence holds for connected $G$. Without connectedness the exact assertion is that the Lie exponential map is a homomorphism precisely when $G^{\circ }$ is abelian. The converse implication to all of $G$ is false: in $O(2)$ the Lie algebra consists of $tJ$, whereRotations satisfy $R_{t+s}=R_t{R}_s$, but a reflection $S$ satisfies $S{R}_t{S}^{-1}=R_{-t}$, so the full orthogonal group is not abelian.

Now take a connected abelian Lie group of dimension $n$. Its Lie exponential map is a homomorphism whose image contains an identity neighbourhood, hence an open subgroup. A connected group has no proper open subgroup, so this map is onto. Its kernel $\Lambda$ is discrete, since it is injective on a neighbourhood of zero. The induced map is a bijective local diffeomorphism and therefore a Lie group isomorphismHere is the needed classification of $\Lambda$. Let $r$ be the dimension of its real span. Choose ${\lambda }_1,\dots ,{\lambda }_r\in \Lambda$ that form a real basis of that span. Their integer span ${\Lambda }_0$ has finite index in $\Lambda$: subtract integer multiples of the ${\lambda }_i$ to put each coset representative in a compact parallelepiped. Only finitely many points of $\Lambda$ lie there, since discreteness at zero gives a uniform positive separation between distinct points. Thus $\Lambda$ is finitely generated and torsion-free, and the structure theorem for finitely generated abelian groups makes it free abelian of rank $r$. Its integer basis is a real basis of the span. A linear change of coordinates consequently sends $\Lambda$ to ${\mathbb{Z}}^r\times \{0\}$ in ${\mathbb{R}}^n$.

This proves the classification of connected abelian Lie groups:The isomorphism depends on the choice of lattice basis and complementary vector space. Compactness is equivalent to $s=0$.

By part (i), finite-dimensional continuous unitary representations separate points of the compact group. More explicitly, if every representation sent some $g\ne e$ to the identity, all their matrix coefficients would take the same values at $g$ and $e$. Uniform density would force every continuous scalar function to do so, contradicting separation of points on a compact Hausdorff space. HenceEach representation kernel is a closed normal subgroup. We claim that the intersection can be reduced to finitely many kernels. Begin with $K_0=G$. If $K_j\ne \{e\}$, choose $g_j\in K_j\setminus \{e\}$ and a representation ${\theta }_{j+1}$ with ${\theta }_{j+1}(g_j)\ne I$. ThenAn indefinite continuation would violate the descending chain condition for closed subgroups. Thus after finitely many steps, $K_N=\{e\}$.

The direct sum $\rho ={\theta }_1\oplus \cdots \oplus {\theta }_N$ is consequently a finite-dimensional faithful representation, with continuous injective homomorphismCompactness of $G$ makes this a homeomorphism onto a compact, hence closed, image. The closed-subgroup theorem makes that image an embedded Lie subgroup of the finite-dimensional unitary group. Transporting its smooth structure to $G$ provesThis is the mechanism behind the assertion that compact groups with a descending chain condition are Lie groups: the chain condition turns an arbitrarily large separating family into one finite-dimensional faithful representation.

A Lie algebra homomorphism $\theta :{\mathfrak{g}}_1\to {\mathfrak{g}}_2$ always defines a local group homomorphism near the identities by the exponential charts:for sufficiently small $X$. Preservation of the BCH multiplication law makes this a local homomorphism. The issue is extending it consistently around all paths and periods in the source.

Suppose first that $G_1$ is connected and simply connected. For a piecewise smooth path $\gamma :[0,1]\to G_1$ from $e_1$ to $g$, letbe its left logarithmic velocity. Solve in $G_2$ the differential equationThe equation exists throughout the finite path interval: bounded smooth body velocity gives a uniform local existence interval at the identity, and left translation repeatedly continues the solution. Define the proposed map by the endpoint $\Phi (g)=\eta (1)$.

Bracket preservation makes this endpoint invariant under fixed-endpoint homotopy. To see the mechanism, for a two-parameter path write $A={\gamma }^{-1}{\partial }_t\gamma$ and $B={\gamma }^{-1}{\partial }_s\gamma$, using the Maurer-Cartan form rather than literal multiplication for nonmatrix groups. The Maurer-Cartan equation givesAfter applying $\theta$, the same identity holds for $a=\theta A$ and $b=\theta B$. If $c={\eta }^{-1}{\partial }_s\eta$, the transport equation impliesBoth have zero initial value because the path starts at a fixed identity. Uniqueness gives $c=b$. At the fixed endpoint, $B(s,1)=0$, hence ${\partial }_s\eta (s,1)=0$. The endpoint is therefore unchanged by the homotopy. Simple connectedness then makes it independent of the chosen path.

For paths to $g$ and $h$, concatenate the first with the left translate by $g$ of the second. Its transported endpoint is $\Phi (g)\Phi (h)$, because left logarithmic velocity is unchanged by left translation. It follows that $\Phi (gh)=\Phi (g)\Phi (h)$. Near the identity, choose $\gamma (t)=\exp (tX)$; transport yields $\Phi (\exp X)=\exp (\theta X)$. Thus $\Phi$ is smooth near the identity and, by translation, everywhere, and its differential is $\theta$. The uniqueness argument from the root solution givesThis is integration of a Lie algebra homomorphism.

For a connected source that is not simply connected, first integrate $\theta$ on its universal cover $p:{\tilde{G}}_1\to G_1$. The resulting map $\tilde{\Phi }:{\tilde{G}}_1\to G_2$ descends exactly whenIndeed two lifts of one element differ by a kernel element, so this condition is both necessary and sufficient for their images to agree. It is the period obstruction to integration of a Lie algebra homomorphism. For $G_1=G_2=S^1$, identify the Lie algebras with $\mathbb{R}$ and take $\theta (t)=ct$. The integrated map on the cover is $t\mapsto e^{ict}$, which respects the source period $2\pi$ precisely when $c\in \mathbb{Z}$. Therefore half-scaling is a valid Lie algebra homomorphism but does not integrate to a circle homomorphism. If both groups are written as simply connected covers modulo central subgroups, the equivalent descent condition is that the integrated cover map send ${\Gamma }_1$ into ${\Gamma }_2$.

For disconnected $G_1$, first solve this problem on $G_1^{\circ }$, obtaining ${\varphi }_0$. One must then assign images $a_{\gamma }$ to representatives $s_{\gamma }$ of the component group. These assignments must satisfy the conjugation and multiplication relations. Explicitly, with $s_e=e$ and $s_{\gamma }{s}_{\delta }=s_{\gamma \delta }{c}_{\gamma ,\delta }$ for $c_{\gamma ,\delta }\in G_1^{\circ }$, the conditions areWhen these can be solved, $\varphi (s_{\gamma }h)=a_{\gamma }{\varphi }_0(h)$ is a smooth global homomorphism. They may prevent existence or allow several extensions with the same differential. Thus a bracket-preserving linear map gives local data; global integration requires the source's periods and, when present, its component relations to be respected.

The Lie group–Lie algebra correspondence separates local differential structure from global topology. For a Lie group $G$, define $LG=T_{e}G$ as a real vector space. Extend each $X\in T_{e}G$ to the left-invariant vector fieldThe commutator of two such vector fields is again left-invariant. SetThe vector-field commutator is bilinear, antisymmetric and satisfies the Jacobi identity, so this makes $T_{e}G$ a Lie algebra. For a matrix group this bracket is $XY-YX$.

For a smooth Lie group homomorphism $\varphi :G_1\to G_2$, its differential at the identity is the linear mapThe identity $\varphi \circ L_g=L_{\varphi (g)}\circ \varphi$ shows that the corresponding left-invariant fields are $\varphi$-related. Brackets of related vector fields are related, henceThe chain rule also gives $L(\psi \circ \varphi )=L\psi \circ L\varphi$ and $L(\mathrm{id})=\mathrm{id}$. Thus differentiation is a functor from Lie groups and smooth homomorphisms to real Lie algebras and bracket-preserving linear maps.

To see what information the differential retains, apply $\varphi$ to a one-parameter subgroup. Its initial tangent is $L\varphi (X)$, so uniqueness yieldsIf $G_1$ is connected, a small exponential neighbourhood generates it. Every $g\in G_1$ is a finite product $\exp X_1\cdots \exp X_k$, and thereforeFor an already existing homomorphism this expression is independent of the chosen product because it equals $\varphi (g)$. Two homomorphisms with the same differential agree on that neighbourhood and hence everywhere. This proves that a Lie group homomorphism determined by its differential requires a connected source.

On a disconnected source only the restriction to $G_1^{\circ }$ is determined. For instance a nontrivial finite discrete group has zero Lie algebra, so its identity and trivial endomorphisms have the same zero differential but are different maps. The discussion of all components must therefore include additional global data. The remaining parts explain the corresponding existence and topology conditions.

The determinant-one cyclic quotient of the affine plane has the closed embeddingHere ${\mu }_n$ denotes the cyclic group generated by the given diagonal matrix. We establish the presentation of the polynomial invariant ring and verify that its fibres really are the group orbits.

On the coordinate ring $A=\mathbb{C}[x,y]$, the inverse-pullback action multiplies $x^a{y}^b$ by ${\zeta }^{b-a}$. Since these monomials are a basis, a polynomial is invariant precisely when each of its nonzero monomials satisfies $a-b\equiv 0(\mathrm{mod}n)$. If $a\ge b$, such a monomial is $(x^n{)}^{(a-b)/n}(xy{)}^b$; if $b\ge a$, it is $(y^n{)}^{(b-a)/n}(xy{)}^a$. ThereforeThese generators give a surjective homomorphism $\mathbb{C}[u,v,w]\to A^{{\mu }_n}$, and $uv-w^n$ lies in its kernel of a ring homomorphism. To prove there are no further relations, reduce any monomial using $uv=w^n$. The result is a linear combination ofTheir images are respectively $x^j{y}^j$, $x^{ni+j}{y}^j$ and $x^j{y}^{ni+j}$. All have distinct exponent pairs, so they are linearly independent in $A$. Any polynomial in the kernel of a ring homomorphism has zero reduced expression and hence belongs to $(uv-w^n)$. ConsequentlyThis proves the claimed closed subvariety embedding of the affine quotient.

For surjectivity of $\pi$, if $u\ne 0$ choose $x^n=u$ and set $y=w/x$. Then $y^n=w^n/u=v$. If $u=0$, the relation forces $w=0$; choose $x=0$ and any $n$th root of $v$ for $y$. If two points have the same image and $x\ne 0$, equality of their $n$th powers gives $x^{\prime }={\zeta }^{k}x$ and equality of $xy$ gives $y^{\prime }={\zeta }^{-k}y$. If $x=0$, both first coordinates vanish, and the same argument using $y^n$ gives the orbit relation; the case $x=y=0$ has only that one point in its fibre. Thus every fibre is exactly one group orbit.

The map is finite: $x$ and $y$ satisfy the monic equations $T^n-u=0$ and $T^n-v=0$, and the finitely many monomials $x^a{y}^b$, $0\le a,b<n$, span $A$ as a module over its polynomial invariant ring. A finite morphism is closed when it is surjective as here and therefore gives the quotient topology. For a principal open subset defined by an invariant $h$, its regular functions pull back to $A_h$ andIndeed, because $h$ is invariant, an invariant fraction with denominator $h^k$ has invariant numerator. These principal open subsets cover the affine hypersurface, proving the required local equality of invariant regular functions. Together with the orbit fibres, this verifies the geometric quotient, not merely a bijection of underlying sets.

A group automorphism is a bijective group homomorphism from $G$ to itself. The multiplication in $\mathrm{Aut}(G)$ is composition: $(\alpha \beta )(g)=\alpha (\beta (g))$. Composition is associative, the identity map is the identity element, and each inverse bijection is again a homomorphism, so these maps form the automorphism group.

For conjugation by $h$, multiplication is preserved becauseConjugation by $h^{-1}$ is its inverse, so $\psi (h)$ is an group automorphism. MoreoverHence $\psi :G\to \mathrm{Aut}(G)$ is a homomorphism, with image the inner automorphisms. Its group homomorphism kernel is the group center of $G$, since $\psi (h)$ is the identity precisely when $hg=gh$ for every $g$.

Use the following standard facts: $A_5$ has order $60$ and is a nonabelian simple group; the coset action on the cosets of an index-$j$ subgroup is a transitive homomorphism into $S_j$. If $H<A_5$ has index $j>1$, that action is nontrivial. Its kernel is a normal subgroup, hence is trivial by simplicity. It would therefore embed $A_5$ in $S_j$. For $j=2,3,4$ this is impossible since $j!<60$. There are no subgroups of indices 2, 3 or 4.

An index-5 subgroup has order $12$ by Lagrange's theorem. Consider its natural action on the five letters. It cannot be transitive, since an orbit of size 5 would divide its order by the orbit-stabilizer theorem. If it had no fixed letter, its orbits would have sizes 2 and 3. It would then be a subgroup of the permutations preserving that partition, namely $S_2\times S_3$. Exactly half of those 12 permutations are even, so $(S_2\times S_3)\cap A_5$ has order 6, too small to contain $H$.

Thus $H$ fixes a letter $i$. The stabilizer of $i$ in $A_5$ is the copy of $A_4$ consisting of even permutations of the other four letters; it has order 12. Containment and equality of orders force $H$ to equal that stabilizer. Conversely each such stabilizer has index 5. ConsequentlyThese five subgroups are distinct: for $i\ne j$, a three-cycle on letters other than $i$ can move $j$, so it belongs to the stabilizer of $i$ but not that of $j$.

For the closed orientable surface ${\Sigma }_g$, use the fundamental group presentationSince $g\ge 1$, define a homomorphism to $\mathbb{Z}/n$ by sending $a_1$ to $1$ and every other displayed generator to zero. All commutators map to zero, so the relation is respected, and the map is surjective. Its kernel has index $n$. The classification of connected covering spaces supplies a connected $n$-sheeted covering space, including the identity cover when $n=1$.

Every connected finite covering space of ${\Sigma }_g$ is a closed orientable surface: compactness follows from finite degree, and the base orientation lifts through local covering charts. Lift a finite cell decomposition of the base. Every cell has $n$ lifts, so the Euler characteristic under a finite covering gives $\chi (\tilde{\Sigma })=n\chi ({\Sigma }_g)$. If the covering surface has genus $h$, this reads $2-2h=n(2-2g)$. ThereforeThis genus of a finite cover of a closed orientable surface depends only on the sheet number, not on the particular subgroup used to construct the cover.

Write $N=\#E({\mathbb{F}}_q)$. The Hasse bound isWe prove it using isogeny degrees of endomorphisms, with no assumption about a pre-existing Frobenius eigenvalue estimate. The standard elliptic isogeny facts we use are these: isogeny degree is multiplicative under composition; $\mathrm{deg}[m]=m^2$; assigning isogeny degree zero to the zero homomorphism makes isogeny degree a quadratic form, satisfying the degree parallelogram law; and the isogeny degree of a separable isogeny equals the number of its geometric kernel of an isogeny points.

Let $\varphi$ be the $q$-power Frobenius isogeny. It has isogeny degree $q$ and zero differential. Therefore $1-\varphi$ has differential the identity and is a separable isogeny. Its kernel of an isogeny consists exactly of the points fixed by Frobenius, including the identity, soPut $t=q+1-N$. Polarization of the isogeny degree quadratic form gives, for all integers $m,n$,The cross coefficient is fixed by the case $m=n=1$, where the isogeny degree is $N=1-t+q$; the coefficients of $m^2,n^2$ are $\mathrm{deg}1=1$ and $\mathrm{deg}\varphi =q$.

Every isogeny degree is nonnegative. For $n\ne 0$, divide by $n^2$ to obtain $u^2-tu+q\ge 0$ for every rational $u=m/n$. Continuity and density of the rationals imply the same inequality for real $u$. Its minimum, attained at $u=t/2$, is $q-t^2/4$, so $t^2\le 4q$. This is precisely the stated bound. Equality is allowed; a zero value of the quadratic form can occur when the two endomorphisms involved are rationally dependent.

We can use reduction instead of expanding a very large rational addition formula. Modulo $2$, both $P_1$ and $P_2$ reduce to $(0,0)$, which generates the three-element reduced group. The reduction homomorphism therefore givesThe rational point $P_2$ is not any of the three torsion points just found, so it has infinite order. In particular $R=P_1+5P_2\ne O$: otherwise multiplication by three would give $15P_2=O$.

If $R$ had integral coordinates, its affine integral representative would reduce to an affine point modulo $2$, not to the point at infinity. This contradicts its reduction to $O$. ThusIndeed, it is not even integral at $2$. This is a reduction certificate for a nonintegral elliptic point, with the crucial nonidentity condition verified by the torsion calculation.

To compute the rank of an elliptic curve, translate the rational point of order two to $(0,0)$ and put the curve in the form $y^2=x^3+a{x}^2+bx$, with $a,b\in \mathbb{Z}$ after clearing denominators and $b(a^2-4b)\ne 0$. Its two-isogenous partner and the elliptic isogeny areThe maps extend over their exceptional points. The dual isogeny isThe two-torsion square-class homomorphism is $\alpha :E(\mathbb{Q})\to {\mathbb{Q}}^{\times }/{\mathbb{Q}}^{\times 2}$, defined by $\alpha (O)=1$, $\alpha ((0,0))=[b]$, and $\alpha ((x,y))=[x]$ otherwise. Define ${\alpha }^{\prime }$ similarly on $E^{\prime }$ with $b^{\prime }=a^2-4b$.

Here are the ingredients behind the descent procedure. For a generic chord $y=mx+c$, the cubic of intersection coordinates has root product $c^2$. As the third intersection is the negative of the group sum and negation leaves $x$ unchanged, this proves the square-class homomorphism property. For a line through $(0,0)$, the two nonzero intersection coordinates have product $b$, so the assigned class $[b]$ gives the same multiplicativity. A vertical line has two equal coordinates and contributes their square, and $O$ has identity class. These observations also cover tangencies and the exceptional sums. Its kernel is $\hat{\varphi }(E^{\prime }(\mathbb{Q}))$. Indeed, the displayed formula gives $x(\hat{\varphi }(X,Y))=(Y/(2X){)}^2$. Conversely, if a point on $E$ has $x=r^2\ne 0$, the possible preimage coordinates satisfyIts elliptic-curve discriminant is $16(r^4+a{r}^2+b)=16y^2/r^2$, a rational square. A root $X$ and $Y=2rX$, with the sign chosen appropriately, give a preimage. The identity is always in the image. The point $(0,0)$ is in the image exactly when $b$ is a square: its nonzero preimage coordinates are $X=a\pm 2\sqrt{b}$, with $Y=0$. Thus the exceptional points satisfy precisely the same kernel statement. Interchanging the curves similarly gives $\ker {\alpha }^{\prime }=\varphi (E(\mathbb{Q}))$.

A prime not dividing $b$ can occur only with even valuation in an $x$-coordinate. If its valuation is positive, the factor $x^2+ax+b$ is a unit and $2v(y)=v(x)$; if negative, $x^2$ dominates that factor and $2v(y)=3v(x)$. Thus square classes in $\mathrm{im}\alpha$ have signed square-free representatives dividing $b$, giving finitely many candidates. To test a candidate $d$, put $x=d(u/v{)}^2$ and $y=duN/v^3$. The curve equation becomesA nontrivial rational solution, including the appropriate limiting points, is exactly a realization of the class. Clear denominators and arrange $\gcd (u,v)=1$ for congruence tests. Do the same for $E^{\prime }$ with $b^{\prime }$.

The factor in the two-isogeny rank formula can also be checked directly. Let $A=E(\mathbb{Q})$, $B=E^{\prime }(\mathbb{Q})$ and $t=\#A[2]$. The index of $\hat{\varphi }(B)$ in $A$ is $\#\mathrm{im}\alpha$, while the map from $B/\varphi (A)$ onto $\hat{\varphi }(B)/2A$ has kernelThe numerator has order two. Moreover $\ker \hat{\varphi }\cap \varphi (A)=\varphi (A[2])$, since $\hat{\varphi }\varphi P=2P$, and the latter has order $t/2$. Hence this quotient has order $4/t$, andThe Mordell-Weil theorem gives $[A:2A]=2^{r}t$, where $r$ is the rank. Cancelling $t$ yieldsIn practice, local congruence and real-solubility tests remove many candidate quartics, giving an upper bound, while rational point searches realize classes and give a lower bound. These often coincide. Local solubility alone is not a proof of a rational point: an everywhere locally soluble covering can still fail globally, so a remaining gap must be reported rather than treated as an exact rank.

For the curve at hand, $a=8$, $b=-7$, $b^{\prime }=92$, andThe first image is contained in $\{1,-1,7,-7\}$ and contains $1,-7$, the latter from the point $(0,0)$. To exclude $-1$, its quartic would require coprime $u,v$ withModulo $16$, an odd fourth power is $1$ and an even fourth power is $0$. If $u$ is odd and $v$ even the right side is $15$; if $u$ is even and $v$ odd it is $7$; if both are odd it is $14$. None is among the square residues $0,1,4,9$. Thus $-1$ is impossible. The image is a subgroup, so $7$ is also impossible: its product with the known class $-7$ would be $-1$. We obtain $\mathrm{im}\alpha =\{1,-7\}$.

For $E^{\prime }$, its quadratic factor is $X^2-16X+92=(X-8{)}^2+28>0$. Every nonzero rational $X$-coordinate is therefore positive. Prime support leaves only $1,2,23,46$ as possible classes; $1$ and $23=[92]$ are supplied by $O$ and the two-torsion point. The explicit point $(18,48)$ is on $E^{\prime }$ becauseIts class is $[18]=2$. Multiplying classes supplies $46$, so $\mathrm{im}{\alpha }^{\prime }=\{1,2,23,46\}$. The two-isogeny rank formula now provesAs an additional concrete point on the original curve, the dual isogeny sends $(18,48)$ to $(16/9,116/27)$. The descent calculation proves the rank; it does not by itself certify that this point generates the full free quotient.

A group $G$ is a finitely presented group if there is an epimorphism $F(X)\to G$ from a finite-rank free group whose kernel is the normal closure of finitely many words $R$. Equivalently, $G=⟨X\mid R⟩$ with both $X$ and $R$ finite. Normal closure means that every kernel element is a finite product of conjugates of the chosen relators or their inverses.

For independence of finite presentation from finite generators, suppose $G=⟨y_1,\dots ,y_m\mid r_1,\dots ,r_s⟩$, and let $x_1,\dots ,x_k$ be any other finite generating set. Choose words $u_j(X)$ representing $y_j$ and words $v_i(Y)$ representing $x_i$. Consider the finite presentationSending each $x_i$ to its actual element gives a surjection $P\to G$. Conversely, send $y_j$ to $u_j(X)$; the substituted relators make this a homomorphism $G\to P$. Their composition on $G$ fixes every $y_j$, and their composition on $P$ fixes every $x_i$ by the extra relations. They are inverse isomorphisms. Hence finite presentability is independent of the chosen finite generating set.

For subgroups $A,B\le G$ and an isomorphism $\varphi :A\to B$, adopt the conventiona quotient of the free product $G\ast ⟨t⟩$. The generator $t$ is the stable letter of this HNN extension. Fix right coset transversals $R_{+}$ for $B\backslash G$ and $R_{-}$ for $A\backslash G$, each with $1$ representing the subgroup itself. Thus each $g$ has a unique decomposition $g=br$ with $b\in B,r\in R_{+}$, and a unique decomposition $g=ar$ with $a\in A,r\in R_{-}$.

A normal form is a stringwhere $r_i\ne 1$ whenever ${ϵ}_{i+1}=-{ϵ}_i$. The case $n=0$ is just $g_0$. The prohibition removes adjacent inverse stable letters that would cancel. The following permutation proof of HNN normal form uniqueness proves both existence and uniqueness.

Let $\mathcal{N}$ be the set of these formal strings. A base element $g$ acts by left multiplication on the initial coefficient $g_0$; call this permutation $L_g$. To define $L_t$, decompose the initial coefficient as $g_0=br$, with $b\in B,r\in R_{+}$. Unless $r=1$ and the old first stable letter is $t^{-1}$, replace the initial segment byIn the exceptional case, if the old string begins $b{t}^{-1}{r}_1\cdots$, cancel the new $t$ with that $t^{-1}$ and obtain the string beginning ${\varphi }^{-1}(b)r_1\cdots$. These operations use the defining identity $tb={\varphi }^{-1}(b)t$.

Define $L_{t^{-1}}$ similarly: write $g_0=ar$ with $a\in A,r\in R_{-}$, prepend $\varphi (a)t^{-1}r$, and cancel with an old first $t$ exactly when $r=1$. The resulting strings satisfy the normal-form conditions. These two maps are inverses. If the first operation inserts a letter, the reverse operation decomposes its new initial coefficient in the associated subgroup and cancels that letter. If the first operation cancels a letter, the reverse coset decomposition recovers the removed representative and reinserts it; an additional unwanted cancellation is excluded by the original normal-form condition.

The permutations satisfy $L_g{L}_h=L_{gh}$ andIndeed, in the decomposition $g_0=br$, multiplying $g_0$ on the left by $\varphi (a)$ leaves its representative $r$ unchanged and changes $b$ to $\varphi (a)b$. Its image under ${\varphi }^{-1}$ is $a{\varphi }^{-1}(b)$, exactly the coefficient produced by multiplying the normalized result on the left by $a$. The cancellation case has the same representative and the same conclusion. ThereforeAll defining relations of the HNN extension hold in this action, so it induces a homomorphism from $G{\ast }_{\varphi }$ into the permutations of $\mathcal{N}$.

Starting with the empty string, successive left multiplications normalize any word, and every normalization step uses a defining relation. This proves existence. If two normal words represented the same group element, their induced permutations would agree. Applied to the empty string, each normal word gives exactly its own formal string, since its representatives are already chosen and all forbidden cancellations have been excluded. Thus the strings are equal. This proves the normal form theorem for an HNN extension, including the injectivity of the base group $G\to G{\ast }_{\varphi }$.

A reduced sequence in an HNN extension is a wordwith no pinch $t^{-1}at$ for $a\in A$ and no pinch $tb{t}^{-1}$ for $b\in B$. Equivalently, if adjacent exponents are $-1,+1$, their intervening coefficient is outside $A$; if they are $+1,-1$, it is outside $B$.

Normalize such a word from right to left using the procedure above. Inductively its stable-letter length does not change. To see why, suppose the next letter has exponent $\delta$. Moving an associated-subgroup factor through it contributes to its left an element of ${\varphi }^{-1}(B)=A$ when $\delta =1$, or of $\varphi (A)=B$ when $\delta =-1$. If the preceding exponent is $-\delta$, this factor belongs to that preceding letter's pinch subgroup. Multiplying an intervening coefficient outside that subgroup by an element inside it cannot put the product inside the subgroup. Hence no cancellation occurs; when the two exponents agree, cancellation is impossible anyway. Thus a reduced word with $n\ge 1$ has a normal form still containing $n$ stable letters, which cannot be the identity normal form. This is Britton's lemma:

For the final example, write the centralizing extension asIt is generated by $a,b,t$. Suppose it were finitely presented. By the finite-generator independence already proved, the kernel of $F(a,b,t)\to E$ would be normally generated by finitely many words. Each of these kernel group generators is a finite product of conjugates of the displayed defining relators, so only finitely many indices occur in all their expressions. Choose $N$ at least as large as all of them. The full kernel would then equal the normal closure of the first $N$ relators: one inclusion follows from those expressions, and the reverse inclusion follows because all these relators already belong to the kernel.

But the group with only those first $N$ relators is the identity HNN extension over $H_N=⟨w_1,\dots ,w_N⟩$. Since the $w_j$ are a free basis of $H$, $w_{N+1}\notin H_N$. The word $t^{-1}{w}_{N+1}t{w}_{N+1}^{-1}$ is reduced in this partial extension, so Britton's lemma makes it nonidentity there. It is identity in $E$, contradicting equality of the kernels. ThereforeThis is the free-basis instance of the general fact that finite presentation of a centralizing HNN extension detects finite generation of its associated subgroup.