Related papers: Lie rings in finite-dimensional theories
In this paper, we classify finite-dimensional nilpotent Lie superalgebras of superbreadth at most two.
Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…
We compare, for L a Lie ring over the integers, its lower central series (\gamma_n(L))_{n>0} and its dimension series defined by \delta_n(L):=L\cap \varpi^n(L) in the universal enveloping algebra of L. We show that \gamma_n(L)=\delta_n(L)…
We prove Dirichlet's theorem for polynomial rings: Let F be a pseudo algebraically closed field. Then for all relatively prime polynomials a(X), b(X)\in F[X] and for every sufficiently large positive integer n there exist infinitely many…
In this paper, the main objective is to compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional supersolvable Lie algebras. We characterise the maximal abelian subalgebras of solvable Lie algebras and study…
We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…
All finite-dimensional indecomposable solvable Lie algebras $L(n,f)$, having the triangular algebra T(n) as their nilradical, are constructed. The number of nonnilpotent elements $f$ in $L(n,f)$ satisfies $1\leq f\leq n-1$ and the dimension…
We study from the point of view of rational equivalence the enveloping algebras of Lie algebras of dimension 3 whose derived Lie subalgebra is of dimension 2, over an algebraically closed base field in arbitrary characteristics.
We study numerical invariants of identities of finite-dimensional solvable Lie superalgebras. We define new series of finite-dimensional solvable Lie superalgebras $L$ with non-nilpotent derived subalgebra $L'$ and discuss their codimension…
In this paper, we classify all capable nilpotent Lie algebras with the derived subalgebra of dimension 2 over an arbitrary field. Moreover, the explicit structure of such Lie algebras of class 3 is given.
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $\alpha, \beta\in \Bbb F$ such that $\alpha\neq 0$ and $[[a,b],c]=\alpha…
For some numerical semigroup rings of small embedding dimension, namely those of embedding dimension 3, and symmetric or pseudosymmetric of embedding dimension 4, presentations has been determined in the literature. We extend these results…
We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended…
We discuss the structure of finite groups for which the projective indecomposable modules have special given dimensions. In particular, we prove the converse of Fong's dimension formula for $p$-solvable groups. Furthermore, we characterize…
We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective symplectic linear group over a finite field, corresponding to unipotent orbits, have infinite dimension. We give a criterium to deal with unipotent…
We classify hom-Lie structures with nilpotent twisting map on $3$-dimensional complex Lie algebras, up to isomorphism, and classify all degenerations in such family. The ideas and techniques presented here can be easily extrapolated to…
We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…
Many infinite-dimensional Lie groups of interest can be expressed as a union of an ascending sequence of (finite- or infinite-dimensional) Lie groups. In this survey article, we compile general results concerning such ascending unions,…
We prove that every local derivation on a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero is a derivation. We also give examples of finite-dimensional nilpotent Lie algebras $\mathcal{L}$…