Related papers: The equation solvability problem over nilpotent Ma…
A nilpotent quotient algorithm for finitely presented Lie rings over Z (LieNQ) is described. The paper studies graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented,…
Let $\mathfrak{Nil}$ be the class of nilpotent groups. This article explores the finiteness of meta and para-$\mathfrak{Nil}$-Hamiltonian groups or their derived subgroups when these groups contain a soluble subgroup of finite index or a…
The aim of this work is to present the first problems that appear in the study of nilpotent Leibniz superalgebras. These superalgebras and so the problems, will be considered as a natural generalization of nilpotent Leibniz algebras and Lie…
Nilpotent semigroups in the sense of Mal'cev are defined by semigroup identities. Finite nilpotent semigroups constitute a pseudovariety, $\mathsf{MN}$, which has finite rank. The semigroup identities that define nilpotent semigroups, lead…
<i>H</i> is the theory extending β-conversion by identifying all closed unsolvables. <i>H</i>ω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that…
The present article is part of a research program the aim of which is to find all indecomposable solvable extensions of a given class of nilpotent Lie algebras. Specifically in this article we consider a nilpotent Lie algebra n that is…
Let $G$ be a finite group and $p$ a fixed prime divisor of $|G|$. Combining the nilpotence, the normality and the order of groups together, we prove that if every maximal subgroup of $G$ is nilpotent or normal or has $p'$-order, then (1)…
We define the notion of computability of F{\o}lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has…
If $X$ is an orientable, strongly minimal $PD_4$-complex and $\pi_1(X)$ has one end then it has no nontrivial locally-finite normal subgroup. Hence if $\pi$ is a 2-knot group then (a) if $\pi$ is virtually solvable then either $\pi$ has two…
We prove that any symplectic resolution of the closure of a nilpotent orbit in a semi-simple complex Lie algebra is isomorphic to the collapsing of the cotangent bundle of a projective homogenous variety. Then we give a complete…
We construct all solvable Lie algebras with a specific n-dimensional nilradical n_{n,3} which contains the previously studied filiform nilpotent algebra n_{n-2,1} as a subalgebra but not as an ideal. Rather surprisingly it turns out that…
For every group $G$, the set $\mathcal{P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup$ and element-wise multiplication $\cdot$ and forms an involution semigroup under $\cdot$ and element-wise inversion ${}^{-1}$.…
This paper is devoted to give the complete algebraic and geometric classification of $4$-dimensional nilpotent Novikov algebras over $\mathbb C.$
Two classic results, due to K. Doerk and P. Hall respectively, establish the solvability of those finite groups all of whose maximal subgroups are supersolvable, and the solvability of finite groups in which all maximal subgroups have prime…
Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…
We consider aspects of the relationship between nilpotent orbits in a semisimple real Lie algebra $\mathfrak{g}$ and those in its complexification $\mathfrak{g}_{\mathbb{C}}$. In particular, we prove that two distinct real nilpotent orbits…
There exist combable groups in which the conjugacy problem is unsolvable. The isomorphism problem is unsolvable for certain recursive sequences of finite presentations of combable groups.
We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary…
We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of…
The main goal of the paper is to present a general model theoretic framework to understand a result of Shalev on probabilistically finite nilpotent groups. We prove that a suitable group where the equation $[x_1,\ldots,x_k]=1$ holds on a…