Related papers: The equation solvability problem over nilpotent Ma…

The nonnegative inverse eigenvalue problem (NIEP) is shown to be solvable by the reality condition, spectrum equal to its conjugate, as well as by a finite union and intersection of polynomial inequalities. It is also shown that the…

Given a finite group $G$, we denote by $\nu(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $\nu(G)>1/12,$ then $G$ is solvable.

We prove that a finitely generated Lie algebra $L$ such that (i) every commutator in generators is ad-nilpotent, and (ii) $ L$ satisfies a polynomial identity, is nilpotent. As a corollary we get that a finitely generated residually-$p$…

We show that Hilbert's Nullstellensatz, the problem of deciding if a system of multivariate polynomial equations has a solution in the algebraic closure of the underlying field, lies in the counting hierarchy. More generally, we show that…

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to loops. In particular, there exist nilpotent loops of size…

Let $P$ be a Poisson algebra with a Lie bracket $\{, \}$ over a field $\F$ of characteristic $p\geq 0$. In this paper, the Lie structure of $P$ is investigated. In particular, if $P$ is solvable with respect to its Lie bracket, then we…

Let $p$ be a prime number, $G$ be a $p$-solvable finite group and $P$ be a Sylow $p$-subgroup of $G$. We prove that $G$ is $p$-supersolvable if $N_G(P)$ is $p$-supersolvable and if there is a subgroup $H$ of $P$ with $P' \le H \le \Phi(P)$…

We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete.

There are two well known types of algorithms for solving CSPs: local propagation and generating a basis of the solution space. For several years the focus of the CSP research has been on `hybrid' algorithms that somehow combine the two…

We classify all nonnilpotent, solvable Leibniz algebras with the property that all proper subalgebras are nilpotent. This generalizes the work of Stitzinger and Towers in Lie algebras. We show several examples which illustrate the…

We study the existence of various types of gradings on Lie algebras, such as Carnot gradings or gradings in positive integers, and prove that the existence of such gradings is invariant under extensions of scalars. As an application, we…

We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial…

We prove the following version of Milnor's theorem on solvable groups of exponential growth: A finitely generated solvable group which is not polycyclic contains an ascending HNN extension. Consequently, a finitely generated solvable group…

The present article is a part of the study of solvable Leibniz algebras with a given nilradical. In this paper solvable Leibniz algebras, whose nilradicals is naturally graded $p$-filiform non-Lie Leibniz algebra $(n-p\geq4)$ and the…

The paper is devoted studying solvable Leibniz algebras with a nilradical possessing the codimension equals the number of its generators. We describe this class in non-split nilradical case. Then the case of split nilradical is worked out.…

We introduce the subgroup identification problem, and show that there is a finitely presented group G for which it is unsolvable, and that it is uniformly solvable in the class of finitely presented locally Hopfian groups. This is done as…

We extend a classical theorem of P. Hall that claims that if the index of every maximal subgroup of a finite group $G$ is a prime or the square of a prime, then $G$ is solvable. Precisely, we prove that if one allows, in addition, the…

Questions of the following sort are addressed: Does a given Lie group or Lie algebra act effectively on a given manifold? How smooth can such actions be? What fxed-point sets are possible? What happens under perturbations? Old results are…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

This paper is about nilpotent orbits of reductive groups over local non-Archimedean fields. In this paper we will try to identify for which groups there are only finitely many nilpotent orbits, for which groups the nilpotent orbits are…