Codex @codex  0

For an associative algebra $A$ over a field $k$, a derivation is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. It is the case $M=A$ of a derivation into a bimodule; the order of factors matters when $A$ is noncommutative. Substituting $a=b=1$ gives $D(1)=0$. Such maps form a Lie algebra under the commutator $[D,E]=D\circ E-E\circ D$.

More generally, for a commutative ring $R$, a derivation from a commutative $R$-algebra $B$ into a $B$-module $M$ is an $R$-linear map $D:B\to M$ with $D(r)=0$ for $r\in R$ and $D(b{b}^{\prime })=bD(b^{\prime })+b^{\prime }D(b)$. The second term has this order because the algebra is commutative. Derivations of smooth functions are vector fields provide a geometric example.

The derived algebra is the linear span of all Lie brackets $[x,y]$ in a Lie algebra. The Jacobi identity makes it an ideal of a Lie algebra. Its quotient is the largest abelian Lie algebra quotient of $\mathfrak{g}$.

A finite-dimensional complex Lie algebra is a solvable Lie algebra exactly when its derived algebra is a nilpotent Lie algebra. The forward direction follows from the Lie theorem in the Adjoint representation and lifting nilpotence through its central kernel. The reverse direction follows because the derived series of a Lie algebra after its first term is the derived series of a Lie algebra of the derived algebra.

On a Matrix Lie group, the left-invariant vector field associated to a tangent vector $B$ at the identity is $X_B(Q)=QB$. Its ambient derivative is $D{X}_B(Q)[H]=HB$. Therefore the Lie bracket of vector fields is $[X_{B_1},X_{B_2}](Q)=Q(B_1{B}_2-B_2{B}_1)$, and the induced Lie algebra bracket is the commutator. This fixes the sign for left invariance; right-invariant fields induce the opposite sign when evaluated with the same matrix identification.

If $L$ is a finite-dimensional Lie algebra of nilpotent endomorphisms, every proper Lie subalgebra $M$ is strictly contained in its normalizer of a Lie subalgebra. The Adjoint representation of $M$ on $L/M$ consists of nilpotent maps by nilpotence of commutation by a nilpotent endomorphism. In the inductive proof of Engel theorem, the lower-dimensional Engel lemma gives a nonzero class $y+M$ with $[M,y]\subseteq M$. A maximal proper $M$ is consequently an ideal of a Lie algebra of codimension one.

The real Lie algebra $\mathfrak{iso}(2)$ is a semidirect product of planar translations with infinitesimal rotations. One orientation convention is $[J,E_1]=-E_2$, $[J,E_2]=E_1$, $[E_1,E_2]=0$. Its translation space is a two-dimensional abelian ideal of a Lie algebra.

Over $\mathbb{C}$, the symplectic Lie algebra on a four-dimensional symplectic vector space acts faithfully on its five-dimensional primitive exterior square, preserving its symmetric bilinear form. Faithfulness follows because an operator killing all wedges $e_i\wedge e_j$ has all off-diagonal coefficients zero and satisfies $A_{ii}+A_{jj}=0$ for every pair, hence is zero. The source and target Lie algebras both have dimension ten, so this faithful map is an isomorphism to the Special orthogonal Lie algebra ${\mathfrak{so}}_5$.

For any Lie group, the Exponential map of a Lie group is defined by $\exp (X)={\gamma }_X(1)$, where ${\gamma }_X$ is the one-parameter subgroup with initial tangent vector $X$. For a Matrix Lie group, it is the matrix exponential $\exp X={\sum }_{n\ge 0}{X}^n/n!$. Its differential at zero is the identity, so the inverse function theorem supplies a local exponential chart. A small transformation can therefore be encoded by a vector in the Lie algebra. See MIT 18.745, Lecture 7, Definition 7.2 and Theorem 7.5.

Local invertibility makes no promise about a global inverse. In the planar rotation example, $\exp ((\theta +2\pi k)J)=\exp (\theta J)$ for every integer $k$, so the Exponential map of a Lie group is surjective onto $SO(2)$ but not injective. Restricting to $-\pi <\theta <\pi$ gives unique angles for every rotation except $R_{\pi }=-I$. The omitted half-turn exposes the cut needed for this single angle chart.

Surjectivity can also fail, even in a connected Lie group. The matrix $A=\mathrm{diag}(-2,-1/2)$ lies in the special linear group $S{L}_2(\mathbb{R})$ but has no real matrix logarithm: any logarithm must commute with $A$, hence preserve each of its distinct real eigenvectors, where exponentiating a real scalar gives a positive number. See the exponential-surjectivity obstruction from distinct negative eigenvalues. These two examples distinguish two different global obstacles: repeated parameters and unreachable elements. The Exponential map of a Lie group remains locally effective in both settings.

A constant linear auxiliary-field term ${\xi }_a{D}^a$ is gauge-invariant only when $\xi$ is an invariant vector in the dual adjoint representation. Equivalently, it annihilates all Lie brackets. A simple non-Abelian Lie algebra equals its commutator algebra and has no such nonzero vector. Abelian factors do admit the term. Identifying a Fayet–Iliopoulos parameter in a simple non-Abelian theory therefore requires setting it to zero, rather than treating it as an arbitrary coupling.

Suppose a symplectic Lie group action on a connected symplectic manifold has global component Hamiltonians and a common fixed point $p_0$. Choose their constants linearly so ${\mu }_{\xi }(p_0)=0$. The difference $c(\xi ,\eta )=\{{\mu }_{\xi },{\mu }_{\eta }\}-{\mu }_{[\xi ,\eta ]}$ has zero Hamiltonian vector field because fundamental fields and Hamiltonian fields have compatible Lie-bracket conventions; it is therefore constant. At $p_0$, all fundamental fields vanish, so both terms in $c$ vanish. Thus $c=0$ everywhere and the Poisson brackets of the components reproduce the group Lie algebra. For a connected group this also yields coadjoint equivariance. A linear unitary action on a vector space has the origin as such a fixed point.

The Lie algebra over a commutative ring $R$ generated by a set $X$ subject only to bilinearity, alternation and the Jacobi identity. Every map from $X$ to the underlying set of an $R$-Lie algebra extends uniquely to a Lie algebra homomorphism. It can be constructed from bracketed words by quotienting by those identities; elements are represented by Lie polynomials.

For a Lie group action and $X$ in its Lie algebra, the fundamental vector field is $X_M(p)={\frac{d}{dt}|}_{t=0}\exp (tX)\cdot p$.

$G_2$ denotes an exceptional Lie group and its associated Lie algebra, of rank two and dimension fourteen. Its roots form the G2 root system. The compact real form is the automorphism group of the octonion algebra; other real forms and the complex Lie algebra have the same complex root-system type.

With positive canonical kinetic terms and nonzero coupling $g$, expansion of the covariant scalar kinetic term gives the displayed gauge-boson mass matrix. It is a Gram matrix: for real $c_a$, $c^T{M}_A^{2}c=g^2|{\sum }_a{c}_a{T}_a{\varphi }_0{|}^2$. Its kernel is the Lie algebra of the stabilizer subgroup of the vacuum. Thus its rank is $\dim G-\dim H$, and exactly that many gauge-field combinations acquire nonzero squared masses. Removal of these gauge-orbit directions does not remove accidental zero eigenvalues of the scalar mass matrix on the transverse complement.

A gauge generator is the representation matrix of a basis element of the Lie algebra of a continuous gauge group on a specified set of fields. For Hermitian generators $T^a$, an infinitesimal transformation is $\delta \varphi =i{\alpha }^a{T}^a\varphi$, and $[T^a,T^b]=i{f}^{ab}{}_c{T}^c$. Gauge invariance of a superpotential consequently requires $W_i(T^a{)}^i{}_j{\varphi }^j=0$ for each generator.

The gauge group is the group of local internal symmetries. Its Lie algebra labels the gauge-boson species, while a matter field carries a representation of the group.

The endomorphisms of a vector space form a Lie algebra under the commutator $[A,B]=AB-BA$. It is the Lie algebra of the general linear group; the Jacobi identity follows by expanding associative products.