Related papers: Finite Gr\"obner basis algebra with unsolvable nil…

We exhibit infinite, solvable, virtually abelian groups with a fixed number of generators, having arbitrarily large balls consisting of torsion elements. We also provide a sequence of 3-generator non-virtually nilpotent polycyclic groups of…

One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…

A non-nilpotent variety of algebras is almost nilpotent if any proper subvariety is nilpotent. Let the base field be of characteristic zero. It has been shown that for associative or Lie algebras only one such variety exists. Here we…

We construct a finitely presented (two-sided) totally orderable group with insoluble word problem.

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

We study the quantum finite W-algebras W(gl_N,f), associated to the Lie algebra gl_N, and its arbitrary nilpotent element f. We construct for such an algebra an r_1 x r_1 matrix L(z) of Yangian type, where r_1 is the number of maximal parts…

This article is devoted to the classification of anti-dendriform algebras that are associated with associativity. They are characterized as algebras with two operations whose sum is associative. In particular, the paper is devoted to…

For any sufficiently strong theory of arithmetic, the set of Diophantine equations provably unsolvable in the theory is algorithmically undecidable, as a consequence of the MRDP theorem. In contrast, we show decidability of Diophantine…

In general, the study of gradations has always represented a cornerstone in algebra theory. In particular, \textit{naturally graded} seems to be the first and the most relevant gradation when it comes to nilpotent algebras, a large class of…

The least upper bound on degrees of elements of a minimal system of generators of the algebra of invariants of 3x3 matrices is found, and the nilpotency degree of a relatively free finitely generated algebra with the identity x^3=0 is…

We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence…

Suppose that $G$ is a finite solvable group and $V$ is a finite, faithful and completely reducible $G$-module. Let $N$ be a nilpotent subgroup of $G$, then there exits $v \in V$ such that $|\bC_N(v)| \leq (|N|/p)^{1/p}$, where $p$ is the…

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…

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…

We study finite groups $G$ with the property that for any subgroup $M$ maximal in $G$ whose order is divisible by all the prime divisors of $|G|$, $M$ is supersolvable. We show that any nonabelian simple group can occur as a composition…

In this paper, we study Novikov algebras satisfying nontrivial identities. We show that a Novikov algebra over a field of zero characteristic that satisfies a nontrivial identity satisfies some unexpected "universal" identities, in…

The algebraic geometry of a universal algebra $\mathbf{A}$ is defined as the collection of solution sets of term equations. Two algebras $\mathbf{A}_1$ and $\mathbf{A}_2$ are called algebraically equivalent if they have the same algebraic…

This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact K\"ahler manifold) is a solvable group of matrices over Q (respectively…

We revisit tensor algebras of subproduct systems with Hilbert space fibers, resolving some open questions in the case of infinite dimensional fibers. We characterize when a tensor algebra can be identified as the algebra of uniformly…

The present paper is devoted to study the effect of connected and disconnected rotations of G\"odel algebras with operators grounded on directly indecomposable structures. The structures resulting from this construction we will present are…