Let G be a Baumslag–Solitar group. We calculate the intersection $\gamma_{\omega}(G)$ of all terms of the lower central series of G. Using this, we show that $[\gamma_{\omega}(G),G]=\gamma_{\omega}(G)$, thus answering a question of Bardakov and Neschadim [1]. For any $c \in \mathbb{N}$, with $c \geq 2$, we show, by using Lie algebra methods, that the quotient group $\gamma_{c}(G)/\gamma_{c+1}(G)$ of the lower central series of G is finite.

We determine the dimensions of $\textrm{Ext}$-groups between simple modules and dual generalized Verma modules in singular blocks of parabolic versions of category $\mathcal{O}$ for complex semisimple Lie algebras and affine Kac-Moody algebras.

A classic hand-eye system involves hand-eye calibration and robot-world and hand-eye calibration. Insofar as hand-eye calibration can solve only hand-eye transformation, this study aims to determine the robot-world and hand-eye transformations simultaneously based on the robot-world and hand-eye equation. According to whether the rotation part and the translation part of the equation are decoupled, the methods can be divided into separable solutions and simultaneous solutions. The separable solutions solve the rotation part before solving the translation part, so the estimated errors of the rotation will be transferred to the translation. In this study, a method was proposed for calculation with rotation and translation coupling; a closed-form solution based on Kronecker product and an iterative solution based on the Gauss–Newton algorithm were involved. The feasibility was further tested using simulated data and real data, and the superiority was verified by comparison with the results obtained by the available method. Finally, we improved a method that can solve the singularity problem caused by the parameterization of the rotation matrix, which can be widely used in the robot-world and hand-eye calibration. The results show that the prediction errors of rotation and translation based on the proposed method be reduced to $0.26^\circ$ and $1.67$ mm, respectively.

For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $\Delta (\lambda )$ to be such that every nonzero homomorphism from another Verma supermodule to $\Delta (\lambda )$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak {pe} (n)$ and, furthermore, to reduce the problem of description of $\mathrm {Ext}^1_{\mathcal O}(L(\mu ),\Delta (\lambda ))$ for $\mathfrak {pe} (n)$ to the similar problem for the Lie algebra $\mathfrak {gl}(n)$ . Additionally, we study the projective and injective dimensions of structural supermodules in parabolic category $\mathcal O^{\mathfrak {p}}$ for classical Lie superalgebras. In particular, we completely determine these dimensions for structural supermodules over the periplectic Lie superalgebra $\mathfrak {pe} (n)$ and the orthosymplectic Lie superalgebra $\mathfrak {osp}(2|2n)$ .

Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra $B$ by a Lie algebra $X$ corresponds to a Lie algebra morphism $B\to {\mathit {Der}}(X)$ from $B$ to the Lie algebra ${\mathit {Der}}(X)$ of derivations on $X$. In this article, we study the question whether the concept of a derivation can be extended to other types of non-associative algebras over a field ${\mathbb {K}}$, in such a way that these generalized derivations characterize the ${\mathbb {K}}$-algebra actions. We prove that the answer is no, as soon as the field ${\mathbb {K}}$ is infinite. In fact, we prove a stronger result: already the representability of all abelian actions – which are usually called representations or Beck modules – suffices for this to be true. Thus, we characterize the variety of Lie algebras over an infinite field of characteristic different from $2$ as the only variety of non-associative algebras which is a non-abelian category with representable representations. This emphasizes the unique role played by the Lie algebra of linear endomorphisms $\mathfrak {gl}(V)$ as a representing object for the representations on a vector space $V$.

Lie algebra is an area of mathematics that is largely used by electrical engineer students, mainly at post-graduation level in the control area. The purpose of this paper is to illustrate the use of Lie algebra to control nonlinear systems, essentially in the framework of mobile robot control. The study of path following control of a mobile robot using an input-output feedback linearization controller is performed. The effectiveness of the nonlinear controller is illustrated with simulation examples.

We classify up to automorphisms all left-invariant non-Einstein solutions to the Einstein–Maxwell equations on four-dimensional Lie algebras.

Let $V$ be a hypersurface with an isolated singularity at the origin defined by the holomorphic function $f:(\mathbb{C}^{n},0)\rightarrow (\mathbb{C},0)$. The Yau algebra $L(V)$ is defined to be the Lie algebra of derivations of the moduli algebra $A(V):={\mathcal{O}}_{n}/(f,\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}x_{1},\ldots ,\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}x_{n})$, that is, $L(V)=\text{Der}(A(V),A(V))$. It is known that $L(V)$ is finite dimensional and its dimension $\unicode[STIX]{x1D706}(V)$ is called the Yau number. We introduce a new series of Lie algebras, that is, $k$th Yau algebras $L^{k}(V)$, $k\geq 0$, which are a generalization of the Yau algebra. The algebra $L^{k}(V)$ is defined to be the Lie algebra of derivations of the $k$th moduli algebra $A^{k}(V):={\mathcal{O}}_{n}/(f,m^{k}J(f)),k\geq 0$, that is, $L^{k}(V)=\text{Der}(A^{k}(V),A^{k}(V))$, where $m$ is the maximal ideal of ${\mathcal{O}}_{n}$. The $k$th Yau number is the dimension of $L^{k}(V)$, which we denote by $\unicode[STIX]{x1D706}^{k}(V)$. In particular, $L^{0}(V)$ is exactly the Yau algebra, that is, $L^{0}(V)=L(V),\unicode[STIX]{x1D706}^{0}(V)=\unicode[STIX]{x1D706}(V)$. These numbers $\unicode[STIX]{x1D706}^{k}(V)$ are new numerical analytic invariants of singularities. In this paper we formulate a conjecture that $\unicode[STIX]{x1D706}^{(k+1)}(V)>\unicode[STIX]{x1D706}^{k}(V),k\geq 0.$ We prove this conjecture for a large class of singularities.

We describe all degenerations of three-dimensional anticommutative algebras $\mathfrak{A}\mathfrak{c}\mathfrak{o}\mathfrak{m}_{3}$ and of three-dimensional Leibniz algebras $\mathfrak{L}\mathfrak{e}\mathfrak{i}\mathfrak{b}_{3}$ over $\mathbb{C}$. In particular, we describe all irreducible components and rigid algebras in the corresponding varieties.

Let R be a commutative integral unital domain and L a free noncommutative Lie algebra over R. In this article we show that the ring R and its action on L are 0-interpretable in L, viewed as a ring with the standard ring language $+ , \cdot ,0$. Furthermore, if R has characteristic zero then we prove that the elementary theory $Th\left( L \right)$ of L in the standard ring language is undecidable. To do so we show that the arithmetic ${\Bbb N} = \langle {\Bbb N}, + , \cdot ,0\rangle $ is 0-interpretable in L. This implies that the theory of $Th\left( L \right)$ has the independence property. These results answer some old questions on model theory of free Lie algebras.

Let $R$ be an $n!$-torsion free semiprime ring with involution $*$ and with extended centroid $C$, where $n\,>\,1$ is a positive integer. We characterize $a\,\in \,K$, the Lie algebra of skew elements in $R$, satisfying ${{(\text{a}{{\text{d}}_{a}})}^{n}}\,=\,0$ on $K$. This generalizes both Martindale and Miers’ theorem and the theorem of Brox et al. In order to prove it we first prove that if $a,\,b\,\in \,R$ satisfy ${{(\text{a}{{\text{d}}_{a}})}^{n}}\,=\,\text{a}{{\text{d}}_{b}}$ on $R$, where either $n$ is even or $b\,=\,0$, then ${{(a\,-\,\lambda )}^{[(n+1)/2]}}\,=\,0$ for some $\lambda \,\in \,C$.

Let $V$ be a hypersurface with an isolated singularity at the origin defined by the holomorphic function $f:(\mathbb{C}^{n},0)\rightarrow (\mathbb{C},0)$. The Yau algebra, $L(V)$, is the Lie algebra of derivations of the moduli algebra of $V$. It is a finite-dimensional solvable algebra and its dimension $\unicode[STIX]{x1D706}(V)$ is the Yau number. Fewnomial singularities are those which can be defined by an $n$-nomial in $n$ indeterminates. Yau and Zuo [‘A sharp upper estimate conjecture for the Yau number of weighted homogeneous isolated hypersurface singularity’, Pure Appl. Math. Q.12(1) (2016), 165–181] conjectured a bound for the Yau number and proved that this conjecture holds for binomial isolated hypersurface singularities. In this paper, we verify this conjecture for weighted homogeneous fewnomial surface singularities.

This paper presents a framework for a strapdown Inertial Navigation System (INS) algorithm design by using Lie group and Lie algebra. The general way to solve Lie group differential equations is introduced. Investigations reveal that this general Lie group method provides a simpler unified way to solve differential equations involving direction cosine matrix, quaternion and dual quaternion, which are widely used in INS algorithm design. Furthermore, we also present a new INS algorithm based on the Special Euclidean group se(3) under the guidelines of Lie group method. Analyses show that se(3) algorithm has the same accuracy as a dual quaternion algorithm, this is also justified by numerical simulations. Though the se(3) algorithm has no improvements in accuracy, the general Lie group method used in the design process shows its brevity and uniformity.

Volume-preserving algorithms (VPAs) for the charged particles dynamics is preferred because of their long-term accuracy and conservativeness for phase space volume. Lie algebra and the Baker-Campbell-Hausdorff (BCH) formula can be used as a fundamental theoretical tool to construct VPAs. Using the Lie algebra structure of vector fields, we split the volume-preserving vector field for charged particle dynamics into three volume-preserving parts (sub-algebras), and find the corresponding Lie subgroups. Proper combinations of these subgroups generate volume preserving, second order approximations of the original solution group, and thus second order VPAs. The developed VPAs also show their significant effectiveness in conserving phase-space volume exactly and bounding energy error over long-term simulations.

A representation of the central extension of the unitary Lie algebra coordinated with a skew Laurent polynomial ring is constructed using vertex operators over an integral ${{\mathbb{Z}}_{2}}$-lattice. The irreducible decomposition of the representation is explicitly computed and described. As a by-product, some fundamental representations of affine Kac–Moody Lie algebra of type $A_{n}^{\left( 2 \right)}$ are recovered by the new method.

We describe all finite dimensional uniserial representations of a commutative associative (resp. abelian Lie) algebra over a perfect (resp. sufficiently large perfect) field. In the Lie case the size of the field depends on the answer to following question, considered and solved in this paper. Let $K/F$ be a finite separable field extension and let $x,\,y\,\in \,K$. When is $F\left[ x,\,y \right]\,=\,F\left[ \alpha x\,+\,\beta y \right]$ for some nonzero elements $\alpha ,\,\beta \,\in \,F?$

We prove that for simple complex finite dimensional Lie algebras, affine Kac–Moody Lie algebras, the Virasoro algebra, and the Heisenberg–Virasoro algebra, simple highest weight modules are characterized by the property that all positive root elements act on these modules locally nilpotently. We also show that this is not the case for higher rank Virasoro algebras and for Heisenberg algebras.

Many natural populations are well modelled through time-inhomogeneous stochastic processes. Such processes have been analysed in the physical sciences using a method based on Lie algebras, but this methodology is not widely used for models with ecological, medical, and social applications. In this paper we present the Lie algebraic method, and apply it to three biologically well-motivated examples. The result of this is a solution form that is often highly computationally advantageous.