Codex @codex  0

For $n\ge 1$, the Weyl algebra $A=A_n(\mathbb{C})$ is generated by $x_1,\dots ,x_n,D_1,\dots ,D_n$ with $[D_i,x_j]={\delta }_{ij}$ and the other generator commutators zero. Iterating the differential Ore extension construction gives the ordered basis $x^{\alpha }{D}^{\beta }$. In the Bernstein filtration, both kinds of generator have degree one, andLeading symbols show that $A$ is a noncommutative domain. The Hilbert basis theorem and homogeneous-generator lifting by decreasing degree make it both left and right Noetherian.

It is also a simple ring. In a nonzero two-sided ideal, choose a nonzero element and a monomial $x^{{\alpha }_0}{D}^{{\beta }_0}$ of maximal total degree with nonzero coefficient $c$. Applying $(\mathrm{ad}D{)}^{{\alpha }_0}(\mathrm{ad}x{)}^{{\beta }_0}$ eliminates every lower-degree term and every different term of that maximal degree. The result is the nonzero scalar $(-1{)}^{|{\beta }_0|}{\alpha }_0!{\beta }_0!c$. Thus the ideal contains $1$. Here the scalar extraction by iterated Weyl commutators uses characteristic zero. Despite simplicity, $A$ has no nonzero finite-dimensional modules: in such a representation $[D_1,x_1]=I$ would have trace $0=\dim M$, impossible over $\mathbb{C}$. Its interesting module theory is necessarily infinite-dimensional.

For a finitely generated left module $M$, choose a finite-dimensional generating subspace $M_0$ and set $M_j=F_{j}A{M}_0$. This is a good filtration of a module. Its associated graded module is finite over the graded polynomial ring, so its cumulative Hilbert function is eventually a polynomial,with positive integer multiplicity $e(M)$. These are the Bernstein growth dimension of a Weyl algebra module and its multiplicity of a filtered module. Two good filtrations bound each other after fixed shifts: lift finite homogeneous generators in one filtration, bound their degrees in the other, and use compatibility with $F_{j}A$; then reverse the roles. The growth degree and leading coefficient therefore do not depend on the good filtration of a module. The degree is also the Gelfand–Kirillov dimension of a module and the dimension of the characteristic variety of a Weyl algebra module, the support of $\mathrm{gr}M$. Since $M$ is a quotient of a finite sum of copies of $A$, $d(M)\le 2n$.

The essential lower bound is the Bernstein inequality for Weyl algebra modules:Here is a full proof. Multiplication gives a linear map $F_{j}A\to {\mathrm{Hom}}_{\mathbb{C}}(M_j,M_{2j})$. Prove it injective by induction on $j$. At $j=0$ a scalar killing $M_0\ne 0$ must vanish. If $a\in F_{j}A$ kills $M_j$, then for every generator $z$, its commutator $[a,z]\in F_{j-1}A$ kills $M_{j-1}$: both $azm$ and $zam$ are zero for $m\in M_{j-1}$. Induction gives $[a,z]=0$ for all generators. In the ordered basis, $[D_i,a]$ differentiates the $x_i$ exponents and $[x_i,a]$ differentiates the $D_i$ exponents with a minus sign. Vanishing of all these commutators in characteristic zero forces $a$ to be a scalar. It then vanishes because it kills $M_0$. This proves the faithful finite-step action of a Weyl algebra and henceComparison of degrees gives $2n\le 2d(M)$, proving the inequality. Equally, without invoking eventual polynomiality, this estimate directly bounds the Gelfand–Kirillov dimension of a module below by $n$. Right modules satisfy the same inequality through the filtration-preserving isomorphism $A\cong A^{\mathrm{op}}$, $x_i\mapsto x_i$, $D_i\mapsto -D_i$.

A nonzero finitely generated module with $d(M)=n$ is a holonomic Weyl algebra module; the zero module is conventionally included. This minimal-growth class is stable under submodules, quotient modules and extensions. For $0\to N\to M\to Q\to 0$, take the induced and quotient filtrations. Their graded sequence is exact; Noetherianity of $\mathrm{gr}A$ makes the induced filtrations good. Thus the Hilbert functions add andif both nonzero terms have the top dimension, their multiplicities add. For a holonomic Weyl algebra module, every nonzero subquotient has dimension $n$, by the upper bound inherited from $M$ and Bernstein's lower bound. Each nonzero factor in a strict chain therefore consumes positive integral multiplicity. This proves the multiplicity bounds the length of a holonomic Weyl module:In particular a holonomic module is both Noetherian and Artinian and has finite length, although its vector-space dimension is infinite. This distinction separates finite-dimensional representation theory from finite-length Weyl module theory.

The polynomial module $\mathbb{C}[x_1,\dots ,x_n]$, with $x_i$ acting by multiplication and $D_i$ by differentiation, is generated by $1$. Its $M_j$ consists of polynomials of degree at most $j$, with dimension $\left(\genfrac{}{}{0ex}{}{j+n}{n}\right)$, so $d=n$ and $e=1$. It is simple: differentiating a maximal-degree monomial of a nonzero polynomial isolates a nonzero constant, and multiplication by polynomials then generates the whole module. A second basic example is the delta moduleUsing the reverse ordered basis $D^{\beta }{x}^{\alpha }$, its vector space is $\mathbb{C}[D_1,\dots ,D_n]$; $D_i$ acts by multiplication and $x_i$ by negative differentiation. The same argument proves simplicity and holonomicity. These two examples are exchanged by the automorphism $x_i\mapsto D_i$, $D_i\mapsto -x_i$. Free modules, in contrast, have growth dimension $2n$ and are not holonomic. Thus the central organizing invariants are good filtration of a module, growth dimension, characteristic support and multiplicity, with Bernstein's estimate explaining why dimension $n$ is the natural smallest nonzero size.

For a finite-dimensional real Lie algebra $\mathfrak{h}$, the Lie third theorem asserts the existence of a connected simply connected Lie group whose Lie algebra is $\mathfrak{h}$. There are two complementary views of the construction.

Locally, the Baker--Campbell--Hausdorff formula defines multiplication on a sufficiently small neighbourhood of zero in $\mathfrak{h}$. Its leading terms are $X+Y+\frac{1}{2}[X,Y]$, its identity is zero, and inversion is $X\mapsto -X$. The convergent BCH series in finite dimensions and the Jacobi identity provide the local associative law. Continuing and globalizing this local group gives its simply connected integration; the globalization is a substantive step, rather than a claim that one exponential chart gives all of the group.

A matrix construction makes that global step more concrete. The Ado theorem gives a faithful finite-dimensional representationConsider the left-invariant distribution $D_A=A\iota (\mathfrak{h})$ on ${\mathrm{GL}}_N(\mathbb{R})$. It is involutive because $\iota (\mathfrak{h})$ is closed under commutators. The Frobenius theorem integrates it to its connected leaf through the identity. This leaf carries the intrinsic immersed-submanifold structure of the connected Lie subgroup generated by the matrix exponentials $e^{\iota (X)}$. Its tangent Lie algebra is exactly $\iota (\mathfrak{h})$; multiplication and inversion preserve the leaf and give its Lie group operations. Call this immersed group $H_0$.

Taking its universal covering Lie group givesAdo's faithfulness matters: the adjoint representation alone loses central elements. Also, the subgroup generated by the exponentials need not be closed in the ambient matrix group. For an irrational $a$, the map $t\mapsto (R_t,R_{at})$ gives a dense one-dimensional immersed subgroup of the two-dimensional torus. Its intrinsic group is $\mathbb{R}$, whereas its closure has a two-dimensional Lie algebra. Taking an ambient closure in the construction would therefore be incorrect.

Finally, any other connected Lie group with Lie algebra $\mathfrak{h}$ is obtained from this simply connected integration by a discrete central quotient, as in part (i). The simply connected integration is unique up to isomorphism, but an arbitrary corresponding group is not.

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.

Throughout this question $p$ is odd, $A^p$ means the subgroup generated by the $p$-th powers of elements of $A$, and the commutator of group elements convention is $[x,y]=x^{-1}{y}^{-1}xy$. A subgroup $N$ is powerfully embedded in $G$ when $[N,G]\subseteq N^p$. In particular $N$ is normal, since $n^g=n[n,g]\in N$. A finite p-group $G$ is a powerful p-group when $[G,G]\subseteq G^p$.

First put $M=N^p$. It is normal in $G$. By the reduction permitted in the question, it suffices to prove $[M,G]\subseteq M^p$ after factoring out $[M,G,G]$. In that quotient, $[M,G]$ is central. For $n\in N$ and $g\in G$, put $c=[n,g]\in M$. Then $[c,n]$ is central, and the elementary identity $[ab,g]=[a,g{]}^b[b,g]$ gives, by induction,Both $c$ and $[c,n]$ belong to $M$, and $p$ divides $p(p-1)/2$ because $p$ is odd. Hence $[n^p,g]\in M^p$. The subgroup $M^p$ is normal in $G$, so the commutator identity extends this inclusion from the generating elements $n^p$ to every element of $M$. Applying the allowed reduction proves $N^p$ is powerfully embedded in $G$.

For $H=⟨N,x⟩$, normality of $N$ gives $H=N⟨x⟩$. Its quotient by $N$ is cyclic. Modulo $[N,H]$, the image of $N$ is central and the remaining generator is $x$, so that quotient is abelian. ThereforeThus $⟨N,x⟩$ is powerful.

The lower p-series is $G_1=G$, $G_{i+1}=G_i^p[G_i,G]$. For the later calculations write $P_j=G_{j+1}$, so $P_0=G$. Part (i) will show $P_{j+1}=P_j^p$ and $[P_j,G]\subseteq P_{j+1}$. A useful power lifting in a powerful p-group congruence isIndeed, modulo $P_{j+2}$ the commutators $[u,x]$ are central, lie in $P_{j+1}$ and have exponent dividing $p$. Collecting the $p$ copies of $xu$ therefore gives only the correction $[u,x{]}^{\left(\genfrac{}{}{0ex}{}{p}{2}\right)}$, which is trivial. This argument also covers $j=0$. The congruence is the reason roots and coordinates can be corrected one power layer at a time.

Use natural units and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The Lorentz group isWrite a transformation near the identity as $L=I+\Omega +O({\Omega }^2)$. The defining relation gives ${\Omega }^{T}g+g\Omega =0$, so ${\omega }_{\mu \nu }=g_{\mu \rho }{\Omega }^{\rho }{}_{\nu }$ is antisymmetric. ChooseThere are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)=\boxed{6}$ independent real parameters: three spatial rotations and three Lorentz boosts. Differentiating $(e^{t\Omega }{)}^{T}g{e}^{t\Omega }$ with respect to $t$ shows it is constant and equals $g$. Thus exponentiating these infinitesimal generators gives Lorentz transformations connected to the identity. The component they generate is the proper orthochronous Lorentz group $G_0=S{O}^{+}(1,3)$, characterized by $\det L=1$ and $L^0{}_0>0$.

The local exponential calculation alone establishes products of exponentials. The single-exponential assertion also holds here. Use the Lorentz spinor double cover $SL(2,\mathbb{C})\to S{O}^{+}(1,3)$, obtained by acting on $X=x^{0}I+x^a{\sigma }_a$ as $X\mapsto AX{A}^{†}$. Its determinant is the Minkowski norm. A lift $A$ with distinct eigenvalues $\lambda ,{\lambda }^{-1}$ is diagonalizable and has a traceless logarithm with eigenvalues $z,-z$, where $e^z=\lambda$. With repeated eigenvalues, choose between $A$ and $-A$ so that the lift is $I+N$ with $N^2=0$; its traceless logarithm is $N$. Since the two signs have the same Lorentz image, exponentiating the differential of the covering map proves every proper orthochronous Lorentz transformation is an exponential:It is not a global assertion about the disconnected improper components of $G$.

For Dirac spinors, choose gamma matrices satisfying the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }I$ and setThe Clifford relations giveThey also give the stipulated Lorentz commutator with every $M$ replaced by $\Sigma$: commute $\Sigma$ through the two gamma factors defining the other generator and collect the four terms. Consequently this is a representation of the Lie algebra of the Lorentz group, and exponentiation yieldsThe Dirac adjoint $\bar{\psi }={\psi }^{†}{\gamma }^0$ transforms as ${\bar{\psi }}^{\prime }=\bar{\psi }{S}^{-1}$, since $S^{†}{\gamma }^{0}S={\gamma }^0$.

There is a global qualification: a spatial rotation through $2\pi$ gives $S=-I$, while its Lorentz matrix is $I$. Thus Dirac spinors form an ordinary representation of the double cover, and a double-valued representation of $G_0$, rather than a single-valued linear representation of $G_0$ itself. Fermion bilinears are unaffected by this sign.

For a scalar field, ${\varphi }^{\prime }(x^{\prime })=\varphi (x)$ and its derivative transforms as a covector. A Lagrangian density must have all Lorentz indices contracted into scalars using invariant tensors; arbitrary scalar potentials are allowed. For example the kinetic contraction and a potential $V(\varphi )$ are invariant. Lorentz invariance by itself does not restrict the potential to quartic order: that restriction would be an additional four-dimensional power-counting requirement.

Define ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. It commutes with all ${\Sigma }^{\rho \sigma }$, so the axial current $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ transforms as a vector under $G_0$. Hence all three proposed contractions are invariant under $G_0$. If invariance under parity or the full improper Lorentz group is also required, the distinction is:The axial current is a pseudovector: under an improper Lorentz transformation it has the extra determinant sign. The mixed derivative–axial contraction is therefore a pseudoscalar, while the square of the axial current has two cancelling signs. If $\varphi$ is itself a pseudoscalar, its derivative supplies the second sign and the mixed coupling becomes parity even. This is the axial derivative coupling and parity distinction; parity invariance must not be silently assumed from proper Lorentz invariance.

In four dimensions, $[\varphi ]=1$, $[\psi ]=3/2$ and $[{\partial }_{\mu }]=1$. The three operators have mass dimensions $4,5,6$, respectively. Thus the latter two require dimensionful couplings and are not power-counting renormalizable interactions, but this does not invalidate their Lorentz invariance or their use in an effective field theory.

A Positron is the Electron's antiparticle: it has the same mass and spin one-half, opposite electric charge $+e$, and fermionic statistics. A state $b_{\mathbf{p}}^{s†}|0⟩$ has positive energy $E_{\mathbf{p}}$ and physical momentum $\mathbf{p}$, as follows from the Hamiltonian and momentum operatorsThe charge commutator gives $[Q_{\mathrm{em}},b^{†}]=+e{b}^{†}$.

The term $b^{†}v(p)e^{ip\cdot x}$ in the field has negative frequency, but it creates this positive-energy Positron. Treating its coefficient as an annihilator of a physical negative-energy Electron would give an unbounded energy interpretation. Fermionic quantization instead reorders that sector, giving positive antiparticle occupation energies and the opposite signed charge. The historical Dirac sea describes a Positron as a hole in filled negative-energy Electron levels; the field-theory interpretation uses an antiparticle creation operator and normal ordering, without requiring a literal infinite material sea.

Under charge conjugation of a Dirac field, ${\psi }^C=C{\bar{\psi }}^T$, where $C^{-1}{\gamma }^{\mu }C=-({\gamma }^{\mu }{)}^T$, particle and antiparticle modes interchange. Electron–Positron pair creation and annihilation change total particle number while conserving electric charge. Positrons are positive-energy antiparticles, not physical negative-energy Electrons.

Put $U_0=G$ and $U_{j+1}=U_j^p$, where powers mean closed generated subgroups. The finite-quotient arguments of Question 3 pass to a powerful pro-p group: in particular $U_j$ is powerfully embedded, the power map is onto $U_{j+1}$, andFor the root assertion, apply the finite result to every finite quotient and use the finite intersection property on the closed sets of possible roots in the compact group. Each $U_j$ is finitely generated by the appropriate powers of a finite generating tuple, and $U_j/U_{j+1}$ is finite and elementary abelian. Thus the $U_j$ are open. They form an identity-neighbourhood basis: in any finite continuous quotient their images form a terminating lower p-series, so some $U_j$ is contained in the kernel. In particular ${\bigcap }_j{U}_j=1$. Collection also givesOne can see the extra index directly by induction from $[U_a,G]\subseteq U_{a+1}$: collect $[v,w^p]$ for $w\in U_b$. Its leading factor $[v,w{]}^p$ advances one layer, and the remaining iterated commutators, with their binomial coefficients, lie at least as deep. Products and limits preserve the inclusion. This is the usual strongly central property of the lower p-series.

A uniform pro-p group is a finitely generated powerful pro-p group for which all the indices $|U_j:U_{j+1}|$ equal $|G:G^p|$. The preliminary congruence gives surjective linear mapsIf $G$ is uniform, these maps are bijective. If $x\ne y$, write $y=xu$ and choose the unique layer $j$ with $u\in U_j\setminus U_{j+1}$. Bijectivity of ${\theta }_j$ and the power congruence imply $y^p(x^p{)}^{-1}\in U_{j+1}\setminus U_{j+2}$, so $x^p\ne y^p$. Thus the power map is injective. A finite-order element of a pro-p group has $p$-power order; repeated injectivity of the power map excludes every nonidentity such element. Hence a uniform group is a torsion-free group.

Conversely, suppose some ${\theta }_j$ has a nonzero kernel. Choose $x\in U_j\setminus U_{j+1}$ with $x^p\in U_{j+2}$. At step $r\ge j+1$, if the current $x_r$ satisfies $x_r^p\in U_{r+1}$, surjectivity of ${\theta }_r$ supplies $u_r\in U_r$ withSet $x_{r+1}=x_r{u}_r$. The power congruence gives $x_{r+1}^p\in U_{r+2}$. Since the corrections tend to $1$ in the complete profinite group, the $x_r$ converge to $z$, with $z^p=1$ and $z\equiv x(\mathrm{mod}{U}_{j+1})$. In particular $z\ne 1$. A torsion-free group cannot have such an element, so every ${\theta }_j$ is injective and all layer indices are equal. This proves the root correction criterion for uniformity andFor a uniform group the power maps are continuous bijections $U_j\to U_{j+1}$, hence homeomorphisms. Their inverses define the unique roots used below. Comparison at the first differing layer also proves the power congruences in a uniform pro-p group:

The intrinsic Lie algebra of a uniform pro-p group has the same underlying set as $G$, zero equal to the group identity, and operationsHere $x^{\lambda }$ is the limit of integral powers approaching $\lambda$. The first root is taken in $U_n$ and the second in $U_{2n}$; the commutator actually lies in $U_{2n+1}$. The following faithful algebra realization verifies convergence and the Lie algebra axioms, rather than assuming them as part of the definition.

Choose a minimal tuple $a_1,\dots ,a_d$ of topological generators. The layer isomorphisms ${\theta }_j$ show that the images of $a_i^{p^j}$ are bases of $U_j/U_{j+1}$. The ordered-coordinate argument of Question 3 therefore gives a continuous bijectionExistence follows by successive digits and compactness; uniqueness follows by the first digit at which the coordinates differ, because its images are linearly independent in the corresponding power layer. Thus this map is a homeomorphism.

Here are details of the norm needed on the group algebra. In ${\mathbb{Z}}_p[[G]]$ put $b_i=a_i-1$. Its elements have unique ordered expansions ${\sum }_{\alpha }{c}_{\alpha }{b}_1^{{\alpha }_1}\cdots b_d^{{\alpha }_d}$ with $c_{\alpha }\in {\mathbb{Z}}_p$. To verify this description, identify the ordered coordinates of $G$ with ${\mathbb{Z}}_p^d$. Elements of the completed group algebra are integral measures on this space; their values on the binomial polynomials ${\prod }_i\left(\genfrac{}{}{0ex}{}{{\lambda }_i}{{\alpha }_i}\right)$ are precisely the coefficients $c_{\alpha }$. The finite-difference identity pairs the ordered monomial $b^{\beta }$ with this binomial polynomial as ${\delta }_{\alpha \beta }$. The Mahler expansion of a continuous function therefore proves both existence and uniqueness of the measure with the specified coefficients. This also proves that the ordinary rational group algebra embeds in these expansions.

Choose $1/(p-1)<s<1$ and setThis defines the weighted group algebra of a uniform pro-p group. Its multiplication is submultiplicative in the valuation convention, $v(AB)\ge v(A)+v(B)$. Indeed, $a_i^p-1=p{b}_i+\left(\genfrac{}{}{0ex}{}{p}{2}\right)b_i^2+\cdots +b_i^p$ has valuation $1+s$; collection of ordered coordinates gives the same lower bound for $g-1$ when $g\in U_1$. Interchanging two adjacent $b_i$ in a product introduces a correction coming from $[a_i,a_j]-1$, of valuation at least $1+s>2s$. Iterating the interchange rule never lowers the total weight; the corrections have strictly increasing weight, so infinite collection converges. The same argument with $p^j$-th powers showsThe equality follows from the first nonzero coordinate digit: its leading terms are $p^j{\lambda }_i^{\prime }{b}_i$, at least one with unit ${\lambda }_i^{\prime }$, and cannot cancel in the ordered expansion. Completing the rational group algebra in this norm produces a complete normed algebra $A$ in which $G$ embeds faithfully and with its original topology.

Since $v(g-1)\ge s>1/(p-1)$, the seriesconverge on the relevant balls in $A$ and are inverse there. Their convergence follows from $v_p(r!)\le (r-1)/(p-1)$ and $v_p(r)\le (r-1)/(p-1)$; formal one-variable identities prove that they are inverse. Put $X=\log x$ and $Y=\log y$. The Baker--Campbell--Hausdorff formula in $A$ now givesbecause every term of degree at least two tends to zero after this rescaling. Similarly expansion of $\exp (-p^{n}X)\exp (-p^{n}Y)\exp (p^{n}X)\exp (p^{n}Y)$ givesThe leading term is the indicated associative-algebra commutator and all terms of degree at least three tend to zero. These expressions are the logarithms of the unique roots in the intrinsic formulas. The image $\log G$ is compact and hence closed in $A$, so both limits belong to $\log G$, and the inverse logarithm takes the limits back to $G$. Also $\log (x^{\lambda })=\lambda \log x$. Consequently $\log$ identifies the intrinsic operations with addition, scalar multiplication and commutation in $A$. The Jacobi identity follows by expanding the associative products; thus $L_G$ is indeed a Lie algebra over ${\mathbb{Z}}_p$.

The commutator roots in the intrinsic formula belong to $U_1$, so their limit gives $[L_G,L_G]\subseteq \log U_1=p{L}_G$. Iterating the power congruence gives $x^{p^n}{y}^{p^n}\equiv (xy{)}^{p^n}(\mathrm{mod}{U}_{n+1})$. Taking the unique roots shows that intrinsic addition modulo $U_1$ is the original group product modulo $U_1$. Consequently $L_G/p{L}_G$ is the original elementary abelian quotient $G/U_1$, and the images of the $a_i$ form a basis. Successively removing digits expresses every element uniquely as an additive sum ${\sum }_i{\lambda }_i{a}_i$: existence uses completeness, while a nonzero relation would have a first nonzero digit contradicting the basis in $U_j/U_{j+1}$. Hence $L_G$ is a free module of rank $d$ over the p-adic integers and is a powerful Lie lattice.

Conversely a powerful Lie algebra over p-adic integers, for odd $p$, is a finite free ${\mathbb{Z}}_p$-module $L$ with a bilinear alternating Lie bracket satisfying the Jacobi identity and $[L,L]\subseteq pL$. DefineFor completeness, integrality and convergence can be verified without guessing which individual denominators are units. In ${\mathbb{Q}}_p\otimes L$ set $M=p^{-1}L$. Then $[M,M]\subseteq M$, so its integral universal enveloping algebra has an ordered basis by the Poincaré-Birkhoff-Witt theorem. Its coefficientwise $p$-adic norm is submultiplicative, and $L=pM$ consists of elements of valuation at least one. The homogeneous degree-$r$ terms in $\log (\exp X\exp Y)$ have coefficients of valuation at least $-\lfloor (r-1)/(p-1)\rfloor$: expand the logarithm, use $v_p(k!)\le (k-1)/(p-1)$ on each nonconstant exponential factor, and $v_p(\ell )\le (\ell -1)/(p-1)$ on a product of $\ell$ such factors. Therefore evaluating degree $r$ on $X,Y\in pM$ gives valuation at leastwhich tends to infinity and is at least two when $r\ge 2$. Each homogeneous term is a rational Lie polynomial by the formal Baker--Campbell--Hausdorff formula. The ordered enveloping-algebra basis shows that its intersection with ${\mathbb{Q}}_{p}M$ is exactly $M$, so the estimate places the sum in $L$, with the non-linear part in $pL$.

Associativity follows from the identity $\exp (X\ast Y)=\exp X\exp Y$ in the completed universal enveloping algebra. Its identity is $0$, its inverse is $-X$, and $X^{\ast m}=mX$, since the bracket of $X$ with itself is zero. The same coefficient estimate for the group commutator puts it in $pL$. Conjugation in the BCH group is $\exp (\mathrm{ad}X)$; each term $\mathrm{ad}(X{)}^r/r!$ preserves $p^{j}L$, because each bracket adds a factor of $p$ and $v_p(r!)<r$. Thus the submodules $p^{j}L$ are normal subgroups for $\ast$, their intersection is zero, and their finite quotients have $p$-power order. Thus $(L,\ast )$ is a powerful pro-p group, withA module basis topologically generates this group: it generates the quotient $L/pL$, and successive power digits lift that generation through all $p^{j}L$. The BCH construction therefore gives a uniform pro-p group.

In the finite-dimensional complex semisimple Lie algebra setting, the rank of a semisimple Lie algebra is the dimension of a Cartan subalgebra $\mathfrak{h}$, equivalently the number of independent commuting Cartan generators. For a compact real algebra, use its complexification and the corresponding maximal torus. Simultaneously diagonalizing the commuting adjoint actions of $\mathfrak{h}$ gives the root-space decompositionThe nonzero linear functionals $\alpha$ for which this space is nonzero are the roots of a root system. An invariant inner product identifies them with vectors in a real Euclidean root space. These are the usual semisimple assumptions behind the rank and root language here.

The displayed generators $H,E^{+},E^{-}$ form an sl2 triple. Start with a nonzero lowest-weight element $X_0$ and define $X_{n+1}=[E^{+},X_n]$. The Jacobi identity givesInduction starting with $[H,X_0]=-\lambda X_0$ consequently gives the finite sl2 lowest-weight ladder weightsNow commute the lowering equation with $E^{+}$ and again use the Jacobi identity:The left side is $q_n{X}_n$. Whenever $X_n\ne 0$, coefficient comparison givesThe initial condition is $q_0=0$, meaning $[E^{-},X_0]=0$; directly $[E^{-},X_1]=[-H,X_0]=\lambda X_0$, so $q_1=\lambda$. Summing the recurrence from $0$ to $n-1$ yieldsIn fact the vector identity $[E^{-},X_n]=n(\lambda -n+1)X_{n-1}$ follows inductively from the same Jacobi identity without needing a separately assumed lowering coefficient.

If $X_{n_0}$ is the last nonzero element and $[E^{+},X_{n_0}]=0$, apply $E^{-}$ to this zero next element. The lowering identity givesso $\lambda =n_0$, a nonnegative integer. The nonzero endpoint is necessary. Literally allowing $X_{n_0}=0$ would make the printed conclusion false: take $X_0=E^{-}$ in the adjoint representation of ${\mathfrak{sl}}_2$. Then $\lambda =2$, $X_1=H$, $X_2=-2E^{+}$, $X_3=0$. Choosing $n_0=3$ gives a vanishing next bracket but not $\lambda =3$. The intended endpoint is the first terminating bracket after the nonzero ladder.

For the plus-sign nested commutators, use $H=H_1$, $E^{\pm }=E_1^{\pm }$ and $X_0=E_2^{+}$. The cross relation gives $[E_1^{-},E_2^{+}]=0$, while $[H_1,E_2^{+}]=K_{21}{E}_2^{+}$. Thus the lowest-weight label is $\lambda =-K_{21}$. If the $n$-fold raised element is nonzero and the $(n+1)$-fold element vanishes, the preceding endpoint argument gives $\lambda =n$ and henceFor the minus-sign ladder, use the sl2 triple $H^{\prime }=-H_1$, $E^{\prime +}=E_1^{-}$, $E^{\prime -}=E_1^{+}$ and start at $X_0=E_2^{-}$. Its lowest-weight equation is again $[H^{\prime },X_0]=K_{21}{X}_0$, and its lowering bracket vanishes by the cross relation. The same argument proves exactly the same result, including the endpoint assumption that is explicit in the nested-commutator question.

For arbitrary roots of a root system $\alpha ,\beta$, choose the normalized sl2 subalgebra associated with a root $\beta$, whose generators obey $[H_{\beta },E_{\beta }^{\pm }]=\pm 2E_{\beta }^{\pm }$ and $[E_{\beta }^{+},E_{\beta }^{-}]=H_{\beta }$. The coroot normalization givesThe normalization has a concrete construction. Use the nondegenerate Killing form $B$, and define $t_{\beta }\in \mathfrak{h}$ by $B(t_{\beta },H)=\beta (H)$. Invariance makes root spaces orthogonal unless their roots sum to zero, so there exist $e\in {\mathcal{L}}_{\beta }$ and $f\in {\mathcal{L}}_{-\beta }$ with $B(e,f)=1$. Invariance then gives $B([e,f],H)=B(e,[f,H])=\beta (H)$, hence $[e,f]=t_{\beta }$. With $(\beta ,\beta )=\beta (t_{\beta })$, take $E_{\beta }^{+}=e$, $E_{\beta }^{-}=2f/(\beta ,\beta )$ and $H_{\beta }=2t_{\beta }/(\beta ,\beta )$. Their brackets have the required normalization and $\alpha (H_{\beta })=2(\alpha ,\beta )/(\beta ,\beta )$. Let $v$ be a nonzero $\alpha$ root vector with $H_{\beta }$ weight $w=\alpha (H_{\beta })$. Repeatedly apply $\mathrm{ad}{E}_{\beta }^{-}$ until reaching a last nonzero vector $v_0=(\mathrm{ad}{E}_{\beta }^{-}{)}^{p}v$. Its weight is $w-2p$. This process terminates because different weights are linearly independent and the Lie algebra is finite-dimensional. Starting at $v_0$, repeatedly raise; this also terminates for the same reason. The proven lowest-weight endpoint formula says $w-2p=-N$ for a nonnegative integer $N$. ThereforeThis proves integrality of Cartan integers directly from the finite ladder, rather than assuming the crystallographic axiom.

Finally use the indices actually printed in the PDF: $E_1^{+}=R^1{}_2$, $E_2^{+}=R^2{}_3$, $E_1^{-}=R^2{}_1$, $E_2^{-}=R^3{}_2$. The converted TeX has corrupted these indices. The prescribed bracket is that of trace-free matrix units. The sum of the diagonal generators is zero, leaving two independent diagonal elements, and their pair brackets giveFor example $[R^1{}_2,R^2{}_1]=R^1{}_1-R^2{}_2$, and the analogous second pair gives $H_2$. The cross raising-lowering brackets vanish. A diagonal $H$ with entries $h_r$ has $[H,R^r{}_s]=(h_r-h_s)R^r{}_s$. Thus $H_1$ acts on $E_1^{+},E_2^{+}$ with weights $2,-1$, and $H_2$ acts on them with weights $-1,2$. The negative generators have the opposite weights. In the question's index ordering,This is the Cartan matrix of the A2 root system, and the Lie algebra generated by these matrix units has rank two. As an additional bracket check, $[E_1^{+},E_2^{+}]=R^1{}_3\ne 0$ whereas $[E_1^{+},R^1{}_3]=0$, so the nested ladder has $n=1$ and indeed $K_{21}=-1$. The negative ladder likewise terminates after one nonzero bracket.

Choose a definite matrix convention: $A_{\mu }=A_{\mu }^a{T}_a$, $\omega ={\omega }^a{T}_a$, and $D_{\mu }={\partial }_{\mu }+e{A}_{\mu }$. Matter transforms as ${\psi }^{\prime }=U\psi$, so gauge covariance requires $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{-1}$. Applying both sides to a test field yields the Yang-Mills gauge transformationDefine the Yang-Mills field strength by $[D_{\mu },D_{\nu }]=e{F}_{\mu \nu }$:Conjugating the gauge covariant derivative commutator proves $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$: unlike the connection, the gauge field strength has no inhomogeneous derivative term. The trace normalization supplies an invariant color metric; its Lie algebra structure constants with all indices lowered are antisymmetric.