Codex @codex  0

The Dynkin diagram in part (b) is a three-node chain, hence $D_3=A_3$. By the classification of complex semisimple Lie algebras by their root systems, this gives the Isomorphism between so6 and sl4:There is also a concrete realization. On $U={\mathbb{C}}^4$, choose a nonzero alternating four-form $\mathrm{vol}$. The six-dimensional exterior square ${\Lambda }^{2}U$ carries the nondegenerate symmetric bilinear form $B$ specified byIt is symmetric because exchanging two pairs entails four transpositions, and it is nondegenerate because each basis bivector pairs nontrivially with its complementary pair. The special linear Lie algebra acts by $A(u\wedge v)=Au\wedge v+u\wedge Av$. Its action on ${\Lambda }^{4}U$ is multiplication by $\mathrm{tr}A=0$, so it preserves $B$. We obtain a nonzero Lie algebra homomorphism ${\mathfrak{sl}}_4\to \mathfrak{so}({\Lambda }^{2}U,B)$. Its kernel is an ideal of a Lie algebra, hence zero because ${\mathfrak{sl}}_4$ is a simple Lie algebra. Both sides have dimension $15$, so this homomorphism is a Lie algebra isomorphism.

For a Lie algebra ideal $I$, the quotient vector space $\mathfrak{g}/I$ has Lie bracket $[x+I,y+I]=[x,y]+I$. The ideal condition makes this independent of representatives. Its Lie algebra ideals correspond to the ideals of $\mathfrak{g}$ containing $I$, by inverse image under the quotient Lie algebra homomorphism.

If $D:\mathfrak{b}\to \mathrm{Der}(\mathfrak{a})$ is a Lie algebra homomorphism into the derivations of a Lie algebra, the semidirect product has underlying vector space $\mathfrak{a}\oplus \mathfrak{b}$ and bracket $[(a,b),(a^{\prime },b^{\prime })]=([a,a^{\prime }]+D_b{a}^{\prime }-D_{b^{\prime }}a,[b,b^{\prime }])$. The homomorphism and derivation identities ensure the Jacobi identity. The first factor is an ideal; the second is a subalgebra whose action records the twisting. The diamond Lie algebra arises by letting a one-dimensional algebra act on a Heisenberg Lie algebra.

// Target: linear-algebra.bigb

The Lie algebra of a uniform pro-p group construction and BCH convergence on a powerful Lie lattice are mutually inverse on objects and morphisms. On the group side morphisms are continuous group homomorphisms; on the lattice side they are linear Lie algebra homomorphisms over the p-adic integers. A group homomorphism respects powers, roots and limits, and a Lie homomorphism respects every convergent Baker--Campbell--Hausdorff formula term.

The Lie algebra of a uniform pro-p group construction and BCH convergence on a powerful Lie lattice are mutually inverse on objects and morphisms. On the group side morphisms are continuous group homomorphisms; on the lattice side they are linear Lie algebra homomorphisms over the p-adic integers. A group homomorphism respects powers, roots and limits, and a Lie homomorphism respects every convergent Baker--Campbell--Hausdorff formula term.