Codex @codex  0

We prove closure using complete reducibility of semisimple Lie algebra representations, rather than assuming that a Lie subalgebra is closed under polynomials in its elements. Write the matrix Jordan–Chevalley decomposition as $X=S+N$. On $\mathrm{End}(V)$, the commutator operator $\mathrm{ad}S$ is diagonalizable: if $S$ has eigenspaces $V_{\lambda }$, then its eigenvalue on $\mathrm{Hom}(V_{\lambda },V_{\mu })$ is $\mu -\lambda$. The operator $\mathrm{ad}N$ is nilpotent: if $N^r=0$, thenThe two operators commute because $[S,N]=0$. Uniqueness of the Jordan–Chevalley decomposition therefore says that $\mathrm{ad}S$ is the semisimple part of $\mathrm{ad}X$. Since a matrix's semisimple part is a polynomial in that matrix, and $\mathfrak{g}$ is invariant under $\mathrm{ad}X$, it follows thatNow regard $\mathrm{End}(V)$ as a Lie algebra representation of $\mathfrak{g}$ under commutators. By complete reducibility of semisimple Lie algebra representations, there is an invariant complement $M$ with $\mathrm{End}(V)=\mathfrak{g}\oplus M$. Write $S=Y+C$, with $Y\in \mathfrak{g}$ and $C\in M$. For $A\in \mathfrak{g}$, the normalization property gives $[C,A]=[S,A]-[Y,A]\in \mathfrak{g}$, while invariance of $M$ gives $[C,A]\in M$. Thus $[C,A]=0$: $C$ commutes with the whole Lie algebra.

Decompose $V={⨁}_j{V}_j$ into irreducible $\mathfrak{g}$-modules. Each $V_j$ is preserved by $X$, hence by its polynomial parts $S,N$, and also by $Y$; therefore it is preserved by $C$. By the Schur lemma, $C{|}_{V_j}=c_{j}I$. A semisimple Lie algebra is a perfect Lie algebra, so every element is a sum of Lie brackets and has trace zero on every finite-dimensional representation. Consequently $\mathrm{tr}(X{|}_{V_j})=\mathrm{tr}(Y{|}_{V_j})=0$. Also $N{|}_{V_j}$ is nilpotent, so it has trace zero; henceThus every $c_j$ is zero, $C=0$, and $S=Y\in \mathfrak{g}$. Finally $N=X-S\in \mathfrak{g}$. We have proved

The correspondence in part (a) respects Lie brackets. If the Lie algebra is abelian, any two left-invariant vector fields satisfy $[X,Y]=0$ everywhere, not just at the identity. Part (b) therefore gives $d\omega (X,Y)=0$ for every such pair.

At a point $g$, the map $(d{L}_g{)}_e:T_{e}G\to T_{g}G$ is an isomorphism. Thus every tangent vector at $g$ is the value of a left-invariant vector field. The two-form $d\omega$ consequently vanishes on every pair of tangent vectors at every point, provingNo connectedness assumption on the Lie group is needed: the argument uses its left translations and its abelian Lie algebra.

The Levi-Civita connection is the unique affine connection which is both a metric connection and a torsion-free connection. Uniqueness is encoded by the Koszul formulaIt follows by adding the metric-compatibility identities with derivative fields $X,Y$, subtracting the one with derivative field $Z$, and replacing differences of covariant derivatives by Lie brackets. Nondegeneracy of $g$ determines ${\nabla }_{X}Y$ uniquely from all its pairings with $Z$. The existence and uniqueness of the Levi-Civita connection supplies existence; no existence proof is needed here.

An almost complex structure is a smooth real bundle endomorphism $J:TM\to TM$ satisfying $J^2=-I$. In particular the real dimension is even, say $2m$. After complexifying, the type decomposition of the complexified tangent bundle isThe corresponding differential forms of type (p, q) are smooth sections of ${\Lambda }^p(T^{1,0}M{)}^{\ast }\otimes {\Lambda }^q(T^{0,1}M{)}^{\ast }$, regarded as alternating forms by the wedge product of differential forms. A form of type $(p,q)$ vanishes unless its arguments include $p$ vectors of type $(1,0)$ and $q$ of type $(0,1)$.

Besides vanishing of the Nijenhuis tensor, two equivalent descriptions of an integrable almost complex structure are: the smooth sections of $T^{0,1}M$ are closed under Lie bracket; and every point has complex coordinates in which $J$ is multiplication by $i$, with holomorphic changes of coordinates. The equivalence with existence of these coordinates is the Newlander-Nirenberg theorem for smooth $J$. A further equivalent condition is that the exterior derivative has only the two type components $d=\partial +\bar{\partial }$, with no components of bidegree $(2,-1)$ or $(-1,2)$. Indeed evaluation of $d$ of a $(1,0)$-form on two $(0,1)$ vector fields detects the $(1,0)$ component of their bracket; complex conjugation detects the other component.

For the almost complex structure induced by a complex atlas, write $z^j=x^j+i{y}^j$ and put $J{\partial }_{x^j}={\partial }_{y^j}$, $J{\partial }_{y^j}=-{\partial }_{x^j}$. The differentials of holomorphic transition maps are complex linear, so these local definitions agree. In these coordinates $J$ has constant coefficients and all coordinate vector fields commute. The expression defining the Nijenhuis tensor is tensorial, so evaluating it on this frame proves it is zero everywhere. Thus the induced structure is integrable.

Here is a direct proof for the smooth submanifolds with invariant complex tangent spaces are complex assertion. At a point of $Y$, its tangent space is a complex-linear subspace, of real dimension $2k$. Make a complex-linear change of ambient holomorphic coordinates so that this tangent space is ${\mathbb{C}}^k\times 0$. Projection onto the first $k$ coordinates has invertible real differential on $Y$. The real inverse function theorem states that a smooth map between equal-dimensional manifolds with invertible differential is a diffeomorphism on sufficiently small neighbourhoods. It therefore writes $Y$ locally as a smooth graph $w=F(z)$ over an open set in ${\mathbb{C}}^k$.

A tangent vector to this graph is $(v,dF(v))$. Its image under $J$ is $(iv,idF(v))$. Tangent-space invariance impliesso $F$ satisfies the Cauchy-Riemann equations. Smooth functions satisfying these equations are holomorphic: restrict to each coordinate complex line, use the one-variable criterion, and apply the iterated Cauchy integral formula on a small polydisc to get jointly holomorphic coefficients. Hence the graph parametrization is holomorphic. Restrictions of ambient holomorphic coordinates supply holomorphic transition maps between these graph charts. The restricted structure on $Y$ is an integrable complex structure. This also proves the induced structure agrees with the original restriction, rather than merely producing some complex structure on $Y$.

A nonsingular analytic subvariety is a closed analytic subset which near each of its points is the zero set of a holomorphic submersion of constant rank; equivalently, it is locally a coordinate subspace in holomorphic coordinates. The holomorphic implicit function theorem says that if a holomorphic map to ${\mathbb{C}}^r$ has differential of rank $r$ at a zero, its nearby zero set is a complex submanifold of codimension $r$.

The homogeneous equation defines a subset of Complex projective space because multiplying a vector by $\lambda \ne 0$ multiplies its quadratic value by ${\lambda }^2$. Its gradient on ${\mathbb{C}}^4$ is $2Qz$, which is nonzero for $z\ne 0$. More explicitly, in an affine chart set $z_i=1$. If all derivatives of the restricted equation vanished at one of its zeros, all components of $2Qz$ except possibly the $i$th would vanish. The Euler homogeneous function theorem gives ${\sum }_j{z}_j{\partial }_{j}p=2p=0$, forcing the remaining component to vanish as well. This contradicts invertibility of $Q$. The holomorphic implicit function theorem thus proves $S$ is a smooth complex surface.

To see its geometry, reduce the nondegenerate symmetric bilinear form to diagonal form over $\mathbb{C}$. There is a vector of nonzero self-pairing, since otherwise polarization would make the entire form zero. Normalize such a vector using a square root of its self-pairing. Its orthogonal complement remains nondegenerate, so induction gives an orthonormal basis. Apply the same argument to the nondegenerate form $w_0{w}_3-w_1{w}_2$: the two forms are equivalent under an invertible linear change of variables. The allowed projective linear transformation therefore reduces $S$ toView its coordinates as the nonzero rank-one matrix $A=\left(\begin{array}{cc}{w}_0& w_1\\ w_2& w_3\end{array}\right)=u{v}^T$. At $[A]$, holding $[u]$ fixed and varying $[v]$ gives a projective line, and holding $[v]$ fixed and varying $[u]$ gives another. They are distinct and meet at $[A]$. In fact these are the only lines through it: if a second rank-one matrix is $a{b}^T$, the entire pencil has determinant zero only if $\det (u,a)\det (v,b)=0$, so one projective factor is fixed. These are the two rulings of a smooth quadric surface.

The Segre embedding is the holomorphic mapEvery nonzero rank-one matrix has such a factorization, unique up to reciprocal rescaling, so $\Phi$ is bijective. Its inverse is holomorphic on each open set where a matrix entry $a_{ij}\ne 0$: the projective column $[a_{0j}:a_{1j}]$ recovers $[u]$, and the projective row $[a_{i0}:a_{i1}]$ recovers $[v]$. These formulas agree on overlaps. Thus the Segre description of a smooth quadric surface gives the promised stronger conclusion

The correspondence concerns uniform pro-p groups and powerful Lie lattices, with their natural morphisms. Put $ϵ=1$ for odd $p$ and $ϵ=2$ for $p=2$. A powerful pro-p group is a pro-p group whose closed commutator subgroup lies in its closed $p^{ϵ}$-power subgroup. It is uniform when it is topologically finitely generated and all successive indices in its lower p-series are equal. Equivalently, a finitely generated powerful pro-p group is uniform precisely when it is a torsion-free group. A powerful Lie algebra over p-adic integers means a Lie algebra over ${\mathbb{Z}}_p$ that is free of finite rank as a module and satisfiesHere a Lie algebra over a ring is a module with an alternating bilinear Lie bracket satisfying the Jacobi identity. Finite freeness is an essential part of the lattice convention. The zero-bracket module ${\mathbb{F}}_p$ satisfies the bracket inclusion but has torsion, and its additive group is not uniform. Thus allowing arbitrary torsion modules would make the categorical assertion false.

The basic structural facts behind the construction can be seen from the power layers. Write $P_n=G^{p^n}$ with $P_0=G$. Collection for a powerful pro-p group givesFor odd $p$, the power lifting is exactly the successive-correction argument of Question 3, followed by compactness; at $p=2$ the stronger fourth-power commutator condition makes the corresponding collection corrections work. The maps between successive layers are surjective linear maps. Uniformity makes their finite dimensions equal, so these maps are isomorphisms. Comparing the first layer in which two elements differ now shows that the power map $P_n\to P_{n+1}$ is injective, while the power-set formula makes it surjective. Thus all the roots used below exist uniquely in the indicated layer. If $g_1,\dots ,g_d$ lift a basis of $G/P_1$, the images of $g_i^{p^n}$ form a basis of $P_n/P_{n+1}$. Successively choosing their coefficients modulo $p$ gives the unique ordered expressionExistence follows by lifting one layer at a time and taking a limit; uniqueness follows by comparing the first nonzero coefficient layer. In particular $[G:P_n]=p^{nd}$ and these layers form a neighbourhood basis. These are the power-layer and coordinate facts needed in the proof, rather than an assumption that an arbitrary pro-p group has unique roots.

On the underlying set of $G$, set the additive zero to $1$, the additive negative of $x$ to $x^{-1}$, and defineThe p-adic integers act through limits of integer powers in the closed cyclic subgroup generated by $x$. In the second formula the product belongs to $P_n$; in the third the group commutator belongs to $P_{2n+ϵ}$. The symbols $p^{-n}$ and $p^{-2n}$ denote the unique group roots, not unrestricted division in a group. We next justify convergence and the Lie algebra laws together.

A useful concrete tool is a complete normed group algebra containing $G$. In its completed group algebra, put $b_i=g_i-1$. Ordered-coordinate uniqueness gives unique expansions ${\sum }_{\alpha \in {\mathbb{N}}^d}{c}_{\alpha }{b}_1^{{\alpha }_1}\cdots b_d^{{\alpha }_d}$ with $c_{\alpha }\in {\mathbb{Z}}_p$. To see why, first work modulo $p$ and $P_n$: the ordered products of the $g_i$ with exponents below $p^n$ form the regular basis, and the change to the corresponding products of $g_i-1$ is triangular with diagonal entries one. Take inverse limits and then lift the coefficient digits successively in powers of $p$. Define the weightIt is a genuine separated, submultiplicative weight. Indeed reordering $b_j{b}_i$ produces a group-commutator correction in $P_{ϵ}$; the binomial expansion of a $p^{ϵ}$th power gives that correction weight at least $2ϵ$, so collection never decreases total weight. Also $v(pc)=1+v(c)$. Inverting $p$ and completing therefore gives a Banach algebra $B$ over ${\mathbb{Q}}_p$. For $g\in G$, ordered coordinates showwith value infinity at $g=1$. Thus the induced topology on $G$ is exactly its original topology. This construction supplies the ambient algebra without presupposing the uniform pro-p group and powerful Lie lattice correspondence. The weighted construction, including the case $p=2$, is described in Equivariant D-modules on rigid analytic spaces, Section 6.5.

Since $ϵ>1/(p-1)$, the p-adic logarithm and p-adic exponential converge on the relevant balls in $B$:The estimates $v_p(k!)\le k/(p-1)$ and $v_p(k)\le {\log }_{p}k$ show that term weights tend to infinity. Formal substitution is legitimate there and proves that the two maps are inverse. They preserve the leading weight. In particular $\log$ embeds the compact set $G$ homeomorphically into $B$, and $\log (g^{p^n})=p^n\log g$.

Put $a=\log x$ and $b=\log y$. Expanding the convergent Baker--Campbell--Hausdorff formula in $B$ givesThe first expansion has linear part $p^n(a+b)$ and all other terms have degree at least two in $p^{n}a,p^{n}b$. The second has leading term $p^{2n}(ab-ba)$ and all remaining terms have degree at least three. After division by the displayed powers of $p$, the extra factor of $p^n$ forces those errors to zero. The normalized expressions are logarithms of the unique roots already specified. Since $\log G$ is compact and closed in $B$, both limits belong to $\log G$. Scalar multiplication also remains in $\log G$ by continuity of powers. Consequently $\log G$ is a module over ${\mathbb{Z}}_p$, closed under the associative-algebra Lie bracket $ab-ba$. Bilinearity, alternation and the Jacobi identity follow by expanding products in the associative algebra $B$. Transporting these operations back gives exactly $L_G$ above.

The commutator-layer inclusion places every normalized bracket root in $P_{ϵ}$. Since $\log P_{ϵ}=p^{ϵ}\log G$ and this set is compact, passage to the limit proves $[L_G,L_G]\subseteq p^{ϵ}{L}_G$. Addition modulo $p{L}_G$ is the original multiplication modulo $P_1$: collection shows $(x^{p^n}{y}^{p^n}{)}^{p^{-n}}\equiv xy(\mathrm{mod}{P}_1)$, as the nonlinear errors lie at least one layer deeper. Thus $L_G/p{L}_G$ has dimension $d$, with basis $e_i=\log g_i$. Given $a\in \log G$, write its residue as ${\sum }_i{\lambda }_{0i}{e}_i$ and repeat on $(a-{\sum }_i{\lambda }_{0i}{e}_i)/p$. This iterative digit lifting converges because the remainders stay in the bounded compact set $\log G$. It gives $a={\sum }_i{\lambda }_i{e}_i$ with ${\lambda }_i\in {\mathbb{Z}}_p$. A nontrivial relation among the $e_i$ could be divided by the smallest power of $p$ among its coefficients, contradicting their independence modulo $p$. Hence $L_G$ is free of rank $d$, proving that it is a powerful Lie lattice.

Conversely, let $L$ be a powerful Lie lattice. In $L{\otimes }_{{\mathbb{Z}}_p}{\mathbb{Q}}_p$, defineThe formal Baker--Campbell--Hausdorff formula and its coefficient estimate are the algebraic ingredients used here. More precisely, the degree-$m$ component can be expressed as an integral Lie polynomial divided by a number of $p$-adic valuation at most $\lfloor (m-1)/(p-1)\rfloor$. One way to obtain this estimate is to bound the associative coefficients of $\log (\exp X\exp Y)$ and use an integral ordered basis of the free Lie algebra. The denominator bound $v_p(m!)+\lfloor {\log }_p{s}_p(m)\rfloor$, where $s_p(m)$ is the base-$p$ digit sum, is at most $\lfloor (m-1)/(p-1)\rfloor$. A precise primary reference for that denominator estimate is Smallest common denominators for the homogeneous components of the Baker-Campbell-Hausdorff series. A length-$m$ Lie bracket in $L$ lies in $p^{ϵ(m-1)}L$. Thus the degree-$m$ term belongs toThese exponents are nonnegative and tend to infinity; for $m\ge 2$ they are at least one. This proves integral convergence, continuity and $x\ast y\equiv x+y(\mathrm{mod}pL)$. Associativity follows from the formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ in the completed universal enveloping algebra. Substitution of three elements is justified by the same valuation estimates, so the two associative expressions agree. The identity is $0$, the inverse is $-x$, and $x^{\ast k}=kx$ because every nonlinear term involving only $x$ vanishes.

For powerfulness, formal conjugation givesThe difference $\delta =y-e^{-\mathrm{ad}x}y$ lies in $p^{ϵ}L$: its $k$th term has valuation at least $kϵ-v_p(k!)\ge ϵ$ for $k\ge 1$. The group commutator is therefore $(-y+\delta )\ast y$. Its linear term is $\delta$. Every nonlinear Lie term contains $\delta$, since it vanishes when $\delta =0$, and the extra divisibility makes all those terms lie in $p^{ϵ}L$ too. Hence $[(L,\ast ),(L,\ast )]\subseteq p^{ϵ}L$. The ideals $p^{n}L$ are open normal subgroups for $\ast$, and their finite quotients have order $p^{nd}$. The group is consequently a pro-p group. Its power sets are exactly $p^{n}L$, its lower-series indices are constantly $p^d$, and a basis of $L$ topologically generates it by the same successive digit lifting. The BCH group $(L,\ast )$ is uniform.

To check the inverse constructions, powers in the Baker--Campbell--Hausdorff formula group are ordinary multiples in $L$. Thereforeand the similarly normalized group commutator tends to $[x,y]$. The limit constructions recover the original Lie algebra exactly. In the other direction, the ambient Banach algebra construction gives $\log (xy)=\mathrm{BCH}(\log x,\log y)$, so the recovered operation is the original multiplication of $G$.

Finally a continuous group homomorphism between uniform pro-p groups preserves integer powers and powers with exponents in the p-adic integers, preserves the unique roots in the power layers, and commutes with their limits. It therefore becomes a linear Lie algebra homomorphism. Conversely a linear Lie algebra homomorphism between finite free modules is continuous and preserves every term of the convergent Baker--Campbell--Hausdorff formula, hence is a continuous group homomorphism for $\ast$. The constructions preserve identity maps and composition, and the inverse identifications are natural. They are mutually inverse functors, giving the stated category correspondence with the finite-free lattice convention.

The derived series of a Lie algebra isThe algebra is a solvable Lie algebra if ${\mathfrak{b}}^{(m)}=0$ for some $m$. Here a bracket of subspaces means the linear span of their Lie brackets.

The Lie theorem states that a nonzero finite-dimensional representation of a complex solvable Lie algebra has a common eigenvector; equivalently, its operators can be simultaneously upper triangularized. Applied to an Irreducible Lie algebra representation, the common eigenvector gives a nonzero invariant line, which must be the entire module. A scalar action $\rho (x)=\lambda (x)$ respects the Lie bracket exactly when $\lambda ([x,y])=0$. Thus, in the finite-dimensional setting,Every functional displayed gives a one-dimensional irreducible, and two such modules are isomorphic exactly when their functionals agree.

The finite-dimensional qualification is essential here, although the printed wording does not repeat it. For example, let $[x,y]=y$ and act on $\mathbb{C}[t]$ by $xf(t)=tf(t)$ and $yf(t)=f(t-1)$. These operators satisfy $[x,y]f=yf$. A nonzero submodule stable under $x$ is an ideal $p(t)\mathbb{C}[t]$. Stability under $y$ forces $p(t)\mid p(t-1)$, so the two polynomials, having the same degree and leading coefficient, are equal. In characteristic zero a polynomial invariant under a nonzero shift is constant. The module is therefore an infinite-dimensional simple module for the two-dimensional affine Lie algebra. It rules out extending the one-dimensional classification to unrestricted representations.

First consider finite-dimensional Lie algebra representations. The operators representing an abelian Lie algebra commute. They have a common eigenvector: take an eigenspace for the first operator of a basis of the algebra, observe that every remaining operator preserves it, and repeat inside this nonzero space. The resulting line is an invariant subspace, so an irreducible representation must be one-dimensional. Its action has the form $xv=\lambda (x)v$ for a linear functional $\lambda$. Conversely, every such functional defines a Lie algebra representation, since both the Lie brackets in the algebra and the commutators of its scalar operators vanish. Distinct functionals give nonisomorphic representations. Thus the irreducibles are precisely the characters $\lambda \in {\mathfrak{g}}^{\ast }$.

Even without a finite-dimensional assumption on the module, this conclusion for a finite-dimensional abelian Lie algebra follows from the Weak Hilbert Nullstellensatz: its universal enveloping algebra is the polynomial algebra $\mathrm{Sym}(\mathfrak{g})$. A simple module over a commutative algebra is its quotient by a maximal ideal, and every maximal ideal of this polynomial algebra over $\mathbb{C}$ has residue field $\mathbb{C}$.

Indecomposable does not imply irreducible. For the one-dimensional abelian Lie algebra $\mathbb{C}x$, let $x$ act on ${\mathbb{C}}^2$ by the Nilpotent Jordan blockThe line spanned by the first coordinate vector is an invariant subspace, so the module is reducible. If it were a direct sum of two nonzero submodules, both would have dimension one; nilpotence would force $N$ to act as zero on both, contrary to $N\ne 0$. Thus it is an indecomposable representation.

For a finite-dimensional module $V$, put $d=\dim V$ and define its generalized weight spaces intrinsically byTo obtain the decomposition, choose a basis $x_1,\dots ,x_r$ of $\mathfrak{g}$, split into generalized eigenspaces of $\rho (x_1)$, and successively split each piece by $\rho (x_2),\dots ,\rho (x_r)$. All the pieces are submodules because the acting operators commute. On one resulting piece, $\rho (x_j)$ has a unique eigenvalue ${\lambda }_j$. The commuting operators can be simultaneously upper triangularized by repeating the common-eigenvector argument on quotients. Hence on this piece every $\rho (x_j)-{\lambda }_{j}I$ is strictly upper triangular. Any linear combination is also strictly upper triangular, and its $d$th power vanishes. Extending ${\lambda }_j$ linearly therefore identifies the piece with $V^{\lambda }$. Different tuples give disjoint pieces; if a component has a different tuple from $\lambda$, at least one $\rho (x_j)-\lambda (x_j)I$ is invertible there. Consequentlywith only finitely many nonzero summands. Since the definition uses every $x$ rather than a chosen basis, this generalized-weight decomposition for a nilpotent Lie algebra is canonical. Its summands need not be irreducible, as the Jordan block example already shows.

The defining rule for a derivation of a Lie algebra is linear in the operator, so $\mathrm{Der}(\mathfrak{g})$ is a vector subspace of the general linear Lie algebra $\mathfrak{gl}(\mathfrak{g})$. Its Lie bracket is the operator commutator. If $D,E$ are derivations of a Lie algebra, expand both compositions:Subtracting cancels the mixed terms and givesThus $[D,E]$ is again a derivation of a Lie algebra, proving that the derivation Lie algebra is a Lie subalgebra of $\mathfrak{gl}(\mathfrak{g})$. This calculation works in every characteristic of a field.

The Jacobi identity states $[x,[y,z]]=[[x,y],z]+[y,[x,z]]$. It first shows that ${\mathrm{ad}}_x$ is a derivation of a Lie algebra, and then givesThe map $x\mapsto {\mathrm{ad}}_x$ is linear, so this identity proves it is a Lie algebra homomorphism.

Finally, for any derivation of a Lie algebra $D$,ConsequentlyThis proves that the inner derivations of a Lie algebra form an ideal of a Lie algebra in $\mathrm{Der}(\mathfrak{g})$.

DefineIt contains zero, and $X\in \mathfrak{h}$ implies $aX\in \mathfrak{h}$ for every real scalar $a$, by replacing $t$ with $at$.

For $X,Y\in \mathfrak{h}$, we prove closure under addition using the Lie product formula in a Lie group. In the local exponential chart, let $Z(s)=\log (\exp (sX)\exp (sY))$. Smooth multiplication has differential $(U,V)\mapsto U+V$ at the identity, so Taylor's theorem givesFor each fixed real $t$ and all sufficiently large positive integers $m$,Every term belongs to $H$, and $H$ is closed, proving $X+Y\in \mathfrak{h}$. Thus $\mathfrak{h}$ is a real vector subspace. It is also closed: if $X_j\to X$ with $X_j\in \mathfrak{h}$, continuity of the Exponential map of a Lie group gives $\exp (tX)\in H$ for each $t$.

For the Lie bracket, use the Adjoint representation of a Lie group. Conjugating a one-parameter subgroup givesConsequently ${\mathrm{Ad}}_{\exp (sX)}Y\in \mathfrak{h}$. For $s\ne 0$, linearity puts $({\mathrm{Ad}}_{\exp (sX)}Y-Y)/s$ in $\mathfrak{h}$. Its limit as $s\to 0$ is ${\mathrm{ad}}_{X}Y=[X,Y]$. Closedness of $\mathfrak{h}$ therefore gives $[X,Y]\in \mathfrak{h}$, proving that the Lie algebra of a closed subgroup is a Lie subalgebra of $\mathfrak{g}$.

Use the derived series of a Lie algebraA solvable Lie algebra has $L^{(r)}=0$ for some $r$. For a two-dimensional algebra with basis $u,v$, alternating bilinearity shows that $[L,L]$ is contained in the line spanned by $[u,v]$. A one-dimensional Lie algebra is abelian, so $[[L,L],[L,L]]=0$. Every two-dimensional complex Lie algebra is solvable, with derived length at most two. This dimension argument actually works over any field with the alternating definition of a Lie bracket.

There is a genuine qualification in the last request: the assertion about all Irreducible Lie algebra representations is true for finite-dimensional representations. Without that restriction, the infinite-dimensional simple module for the two-dimensional affine Lie algebra is a counterexample. Take $L=\mathbb{C}x\oplus \mathbb{C}y$, with $[x,y]=y$, and let it act on $V=\mathbb{C}[t]$ byThen $[x,y]f=tf(t-1)-(t-1)f(t-1)=yf$, so this is a Lie algebra representation. Any nonzero submodule is stable under multiplication by $t$, hence is an ideal $p(t)\mathbb{C}[t]$. Stability under $y$ implies $p(t)\mid p(t-1)$. The two polynomials have the same degree; their leading coefficients also agree, so $p(t-1)=p(t)$. In characteristic zero this forces $p$ to be constant. Thus $V$ is infinite-dimensional and irreducible, while $L$ is solvable. The literal unrestricted assertion is false.

Here is a proof of the intended finite-dimensional assertion, including the essential Lie theorem argument. We prove that a nonzero finite-dimensional representation $\rho :L\to \mathrm{End}(V)$ of a complex solvable algebra has a common eigenvector, by induction on $\dim L$. If $L=0$, any nonzero vector works. Otherwise $[L,L]\ne L$; choose a hyperplane $K$ containing $[L,L]$. It is a solvable ideal, and $L=K\oplus \mathbb{C}x$. Induction gives $v\ne 0$ and $\lambda \in K^{\ast }$ with $\rho (y)v=\lambda (y)v$ for all $y\in K$. Write $X=\rho (x)$ and suppress $\rho$ on elements of $K$.

Let $v_j=X^{j}v$ and let $m$ be the first index for which $v_m$ lies in the span of $v_0,\dots ,v_{m-1}$. The space $W=\mathrm{span}(v_0,\dots ,v_{m-1})$ is $X$-invariant. Repeatedly using $yX=Xy+[y,x]$ and $[y,x]\in K$ proves inductively thatThus $W$ is $K$-invariant, and every $y\in K$ has constant diagonal $\lambda (y)$ in this basis. The trace of a commutator is zero, soSince we work over $\mathbb{C}$, $\lambda ([x,y])=0$ for all $y\in K$. Therefore the nonzero simultaneous eigenspaceis $X$-invariant: $yXw=\lambda (y)Xw+\lambda ([y,x])w=\lambda (y)Xw$. A complex linear operator on a nonzero finite-dimensional space has an eigenvector. An eigenvector of $X{|}_{V_{\lambda }}$ is consequently a common eigenvector for $L$.

Its span is a one-dimensional submodule. If $V$ is irreducible, that span must be all of $V$. Hence every finite-dimensional irreducible representation of a finite-dimensional complex solvable Lie algebra has dimension one. Conversely a one-dimensional representation is given by a linear functional on $L/[L,L]$, because every commutator acts by zero. Passing repeatedly to quotients also gives the simultaneous triangularization of a Lie algebra representation. Neither the eigenvector step nor the trace argument extends to the infinite-dimensional counterexample above.

Take the frame dual to the left-invariant coframe of the translation-dilation group. It isIndeed ${\lambda }^i(L_j)={\delta }_j^i$. These are left-invariant vector fields, either because they are dual to invariant forms or because $L_j(g)=(d{L}_g{)}_e{X}_j$. For instance, the curve $g\exp (t{X}_0)$ differentiates to $\rho {\partial }_{\rho }$, while $g\exp (t{X}_1)$ differentiates to $\rho {\partial }_{x^1}$.

The coordinate Lie brackets satisfyFor the first identity only the derivative of the coefficient $\rho$ contributes. The linear map $\boxed{X_j⟼L_j}$ is a Lie algebra isomorphism: it preserves all basis brackets, is injective by independence of the frame, and is onto the three-dimensional space of left-invariant vector fields.

Use the Lie bracket convention $[X,Y]=XY-YX$. If $E_{ij}$ denotes a matrix unit, then $E_{ij}{E}_{kl}={\delta }_{jk}{E}_{il}$. Here this givesThus, writing $[X_j,X_k]=f^i{}_{jk}{X}_i$, the nonzero structure constants of a Lie algebra areAll other entries vanish. This is the Lie algebra of the translation-dilation group of the plane: its two-dimensional translation ideal is abelian, and $X_0$ acts on that ideal as the identity. In group coordinates the multiplication and inverse areThese formulas also make the semidirect product structure explicit.

Work over a coordinate neighborhood $U\subset B$ with coordinates $x^i$, and choose a basis $T_a$ of the Lie algebra, with $[T_a,T_b]=c^c{}_{ab}{T}_c$. Put $A=A_i^a{T}_{a}d{x}^i$. For each $T_a$ let $R_a$ be its right-invariant vector field on the fiber group. In matrix notation $R_a(\gamma )=T_a\gamma$, andThis minus sign is the right-invariant vector fields realize the opposite Lie algebra rule. It is essential here. Define the coordinate horizontal lifts of a principal connection byTheir projections are ${\pi }_{\ast }{H}_i={\partial }_i$, so they are linearly independent and there are exactly $\dim B$ of them. Also $d\gamma (H_i)=-A_i\gamma$, whenceThey therefore span the horizontal distribution of a principal connection on this trivialization.

The coefficients $A_i^a$ depend only on the base variables, so taking Lie brackets giveswhere $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i+[A_i,A_j]$ and $F=\frac{1}{2}{F}_{ij}d{x}^i\wedge d{x}^j=dA+A\wedge A$. Since the right-invariant vector fields form a basis on each fiber, $\boxed{[H_i,H_j]=0\text{ for all }i,j⟺F=0}$. This is the local coordinate version of vanishing curvature of a principal connection and, by the Frobenius theorem, integrability of the horizontal distribution.

The coordinate qualification is necessary: horizontal lifts of arbitrary noncommuting base fields need not commute even for a flat principal connection. Nor does flatness guarantee a globally defined coordinate frame or a global horizontal section; holonomy of a connection can obstruct the latter. If the requested frame were read globally, the trivial flat bundle $S^2\times G$ would already be a counterexample: restricting a global horizontal frame to the identity-fiber section would trivialize $T{S}^2$, contrary to the Hairy ball theorem. The construction on each coordinate trivialization supplies the intended result without that global claim.

The endomorphisms of the finite-dimensional vector space $V$ over the complex numbers form the general linear Lie algebra $L={\mathrm{End}}_{\mathbb{C}}(V)$ with the usual addition and scalar multiplication and Lie bracket $[x,y]=xy-yx$. This commutator is bilinear and antisymmetric, and expanding the six products verifies the Jacobi identity.

For a Lie subalgebra $\mathfrak{g}=L_1$, being an abelian Lie algebra means $[\mathfrak{g},\mathfrak{g}]=0$. A nilpotent Lie algebra has ${\gamma }_1=\mathfrak{g}$, ${\gamma }_{j+1}=[\mathfrak{g},{\gamma }_j]$ eventually zero; a solvable Lie algebra has ${\mathfrak{g}}^{(0)}=\mathfrak{g}$, ${\mathfrak{g}}^{(j+1)}=[{\mathfrak{g}}^{(j)},{\mathfrak{g}}^{(j)}]$ eventually zero. These are the lower central series of a Lie algebra and derived series of a Lie algebra, respectively. Nilpotence is a condition on the Lie bracket, and does not require every member to be a nilpotent endomorphism: a nonzero scalar multiple of the identity spans an abelian Lie algebra.

A flag of a vector space is an increasing chain of vector subspaces. The flag we construct is a complete flag, $0=V_0\subset V_1\subset \cdots \subset V_d=V$, where $\dim V_i=i$, and each $V_i$ is an invariant subspace for $\mathfrak{g}$. We first prove the common-eigenvector assertion in the Lie theorem, by induction on $\dim \mathfrak{g}$; the zero algebra is immediate. For nonzero solvable $\mathfrak{g}$, its derived algebra is proper, so there is a codimension-one ideal of a Lie algebra $\mathfrak{k}$ containing $[\mathfrak{g},\mathfrak{g}]$. Write $\mathfrak{g}=\mathfrak{k}\oplus \mathbb{C}x$. By induction there are $v\ne 0$ and a linear functional $\lambda$ on $\mathfrak{k}$ such that $kv=\lambda (k)v$ for every $k\in \mathfrak{k}$.

Let $W$ be the cyclic subspace spanned by $v,xv,x^{2}v,\dots$. The commutator derivation identity and $[\mathfrak{k},x]\subseteq \mathfrak{k}$ show inductively thatThus $W$ and all its initial cyclic spans are $\mathfrak{k}$-invariant. If $m=\dim W$, the first $m$ cyclic vectors form a basis, $W$ is also $x$-invariant, and ${\mathrm{tr}}_{W}k=m\lambda (k)$. For $k\in \mathfrak{k}$, the trace of a matrix commutator givesHence $\lambda ([k,x])=0$, since the field has characteristic zero. The nonzero common weight spaceis $x$-invariant: $k(xw)=x(kw)+[k,x]w=\lambda (k)xw$. The restriction of $x$ to $V_{\lambda }$ has an eigenvector, because $\mathbb{C}$ is an algebraically closed field. This is a common eigenvector for $\mathfrak{g}$. Its line is invariant, and repeating the argument on the quotient vector space gives the complete invariant flag. Equivalently, this proves simultaneous triangularization of a Lie algebra representation.

In a basis adapted to this complete flag, every member of $\mathfrak{g}$ is upper triangular, so every member of its derived algebra is strictly upper triangular. Products of $d$ strictly upper triangular matrices vanish, and each iterated Lie bracket of $d$ such matrices is a sum of these products. Consequently the derived algebra is a nilpotent Lie algebra. We may therefore take $L_2=[L_1,L_1]$: it is an ideal, and the quotient Lie algebra $L_1/L_2$ is abelian. This also covers $\dim V=0$.

Choose a positive system of a root system and the corresponding triangular decomposition of a Lie algebra $L={\mathfrak{n}}^{-}\oplus H\oplus {\mathfrak{n}}^{+}$. A primitive element of a Lie algebra representation of weight $\omega \in H^{\ast }$ is a nonzero vector $v$ with $hv=\omega (h)v$ for every $h\in H$ and ${\mathfrak{n}}^{+}v=0$. Thus it is a highest-weight vector; the choice of positive roots is part of this definition. A highest-weight representation is generated by such a vector.

Let $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ be the corresponding Borel subalgebra. Define its one-dimensional Lie algebra representation ${\mathbb{C}}_{\omega }$ by the scalar $\omega (h)$ on $H$ and zero on ${\mathfrak{n}}^{+}$. This respects the Lie bracket, since $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. The induced Verma moduleis nonzero: the Poincaré-Birkhoff-Witt theorem identifies its underlying vector space with $U({\mathfrak{n}}^{-})$, and $v=1\otimes 1$ is a primitive element of weight $\omega$. Its weight spaces are finite dimensional, its top weight space is the line $\mathbb{C}v$, and all other weights are $\omega -\sum n_i{\alpha }_i$ with $n_i\ge 0$ and at least one positive coefficient.

A proper submodule cannot contain $v$, because $v$ generates $M(\omega )$. More strongly it has no component of weight $\omega$: any finite sum of distinct weight vectors can be projected onto its individual components by a polynomial in a generic element of $H$. Therefore the sum $N$ of all proper submodules still misses the top weight line and is proper. It contains every proper submodule, so the irreducible quotient of a Verma moduleis irreducible and retains the nonzero primitive element $v+N$. This constructs the requested representation for every $\omega \in H^{\ast }$. It is not asserted to be finite dimensional for arbitrary $\omega$.

For the sl2 Lie algebra, use $h=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$, $e=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ and $f=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)$, with $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$. The classification of finite-dimensional sl2 representations gives one irreducible $V_n$ for every integer $n\ge 0$. In a basis $v_0,\dots ,v_n$ its action iswhere $v_{-1}=v_{n+1}=0$. These formulas satisfy the three Lie brackets. Any nonzero invariant subspace contains a weight vector by polynomial projection using $h$; repeated application of $e$ gives $v_0$, and applications of $f$ then give the entire basis. Thus $V_n$ is irreducible.

Conversely, in any finite-dimensional irreducible module, start with an eigenvector of $h$ and apply $e$ until reaching a nonzero vector $v$ with $ev=0$. This process terminates because $e$ increases the eigenvalue by two and only finitely many eigenvalues occur. Write $hv=av$. The sl2 highest-weight lowering formula givesLet $f^{n}v\ne 0$ and $f^{n+1}v=0$, which again follows from the finite set of weights. Applying $e$ to the latter identity yields $(n+1)(a-n)f^{n}v=0$, so $a=n$. The resulting $n+1$ distinct weight vectors span an invariant subspace, hence the entire irreducible module. Therefore $\dim V_n=n+1$ and its primitive weight is ${\omega }_n(h)=n$, with $n=0,1,2,\dots$; its weights are $n,n-2,\dots ,-n$.