Galois groups and group actions on Lie algebras

TL;DR

This paper characterizes Galois groups of Lie algebra extensions, proves an Artin-type theorem for Lie algebras, and explores the structure and solvability of Galois groups in various Lie algebra contexts.

Contribution

It explicitly describes Galois groups of Lie algebra extensions and establishes an Artin-type theorem, extending classical Galois theory to Lie algebras.

Findings

Galois group described as a subgroup of a semidirect product

Artin-type theorem for Lie algebras proved

Galois groups of radical extensions are solvable

Abstract

If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$ is explicitly described as a subgroup of the canonical semidirect product of groups ${\rm GL} (m, \, k) \rtimes {\rm M}_{n\times m} (k)$. An Artin type theorem for Lie algebras is proved: if a group $G$ whose order isinvertible in $k$ acts as automorphisms on a Lie algebra $\mathfrak{h}$, then $\mathfrak{h}$ is isomorphic to a skew crossed product $\mathfrak{h}^G \, \#^{\bullet} \, V$, where $\mathfrak{h}^G$ is the subalgebra of invariants and $V$ is the kernel of the Reynolds operator. The Galois group ${\rm Gal} \,(\mathfrak{h}/\mathfrak{h}^G)$ is also computed, highlighting the difference from the classical Galois theory of fields where the corresponding group is $G$. The counterpart for Lie algebras of Hilbert's Theorem 90 is proved and based on it the structure of Lie algebras $\mathfrak{h}$ having a certain type of action of a finite cyclic group is described. Radical extensions of finite dimensional Lie algebras are introduced and it is shown that their Galois group is solvable. Several applications and examples are provided.