Related papers: Anti-commutative Groebner-Shirshov basis of a free…
We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra in characteristic zero. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of…
We consider the Lie algebra consisting of all derivations on the free associative algebra, generated by the first homology group of a closed oriented surface, which kill the symplectic class. We find the first non-trivial abelianization of…
Makar-Limanov's conjecture states that if a division ring D is finitely generated and infinite dimensional over its center k then D contains a free k-subalgebra of rank 2. In this work, we will investigate the existence of such structures…
In this paper, we establish the Gr\"{o}bner-Shirshov bases theory for metabelian Lie algebras. As applications, we find the Gr\"{o}bner-Shirshov bases for partial commutative metabelian Lie algebras related to circuits, trees and some…
We study sympathetic Lie algebras, namely perfect and complete Lie algebras. They arise among other things in the study of adjoint Lie algebra cohomology. This is motivated by a conjecture of Pirashvili, which says that a non-trivial…
This is a simple way rigorously to construct Grassmann, Clifford and Geometric Algebras, allowing degenerate bilinear forms, infinite dimension, using fields or certain modules (characteristic 2 with limitation) - and characterize the…
We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of…
Over an arbitrary field $\mathbb{F}$, let $p$ and $q$ be monic polynomials with degree $2$ in $\mathbb{F}[t]$. The free Hamilton algebra of the pair $(p,q)$ is the free noncommutative algebra in two generators $a$ and $b$ subject only to…
It is well known that an element of the algebra of noncommutative *-polynomials is positive in all *-representations if and only if it is a sum of squares. This provides an effective way to determine if a given *-polynomial is positive, by…
In Kapranov, M. {\it Noncommutative geometry based on commutator expansions,} J. reine angew. Math {\bf 505} (1998) 73-118, a theory of noncommutative algebraic varieties was proposed. Here we prove a structure theorem for the…
For a field $\mathbb{F}$, let $L_k(\mathbb{F})$ be the Lie algebra of derivations $f(t)\frac{d}{dt}$ of the polynomial ring $\mathbb{F}[t]$, where $f(t)$ is a polynomial of degree $\geqslant k$. For any $k\geqslant -1$, we present a basis…
The Mishchenko-Fomenko conjecture says that for each real or complex finite-dimensional Lie algebra $\goth g$ there exists a complete set of commuting polynomials on its dual space $\goth g^*$. In terms of the theory of integrable…
Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…
We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an…
Long before we learn to construct the field of rational numbers (out of the ring of integers) at university, we learn how to calculate with fractions at school. When it comes to "numbers", we are used to a commutative multiplication, for…
The notions of left-right noncommutative Poisson algebra ($\NP^{lr}$-algebra) and left-right algebra with bracket $\AWB^{lr}$ are introduced. These algebras are special cases of $\NLP$-algebras and algebras with bracket $\AWB$,…
We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…
A criterion for elements of free Zinbiel algebras to be Lie or Jordan is established. This criterion is used in studying speciality problems of Tortkara algebras. We construct a base of free special Tortkara algebras. Furthermore, we prove…
Given a commutative algebra $\mathcal{A}$, we exhibit a canonical structure of post-Lie algebra on the space $\mathcal{A}\otimes {\rm Der}(\mathcal{A})$ where ${\rm Der}(\mathcal{A})$ is the space of derivations on $\mathcal{A}$, in order…
We first present a filtration on the ring L of Laurent polynomials such that the direct sum decomposition of its associated graded ring gr L agrees with the direct sum decomposition of gr L, as a module over the complex general linear Lie…