Related papers: Some notes on extended equation solvability and id…

The second author introduced notions of weak permutability and commutativity between groups and proved the finiteness of a group generated by two weakly permutable finite groups. Two groups H,K weakly commute provided there exists a…

Let $G$ be a finite group, let $p$ be a prime and let $w$ be a group-word. We say that $G$ satisfies $P(w,p)$ if the prime $p$ divides the order of $xy$ for every $w$-value $x$ in $G$ of $p'$-order and for every non-trivial $w$-value $y$ in…

Answering a question posed by Bergelson and Leibman in [6], we establish a nilpotent version of the polynomial Hales-Jewett theorem that contains the main theorem in [6] as a special case. Important to the formulation and the proof of our…

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be…

We consider the equation $$ ab + cd = \lambda, \qquad a\in A, b \in B, c\in C, d \in D, $$ over a finite field $F_q$ of $q$ elements, with variables from arbitrary sets $ A, B, C, D \subseteq F_q$. The question of solvability of such and…

In this paper, we determine the structure of the nilpotent multipliers of all pairs $(G,N)$ of finitely generated abelian groups where $N$ admits a complement in $G$. Moreover, some inequalities for the nilpotent multipliers of pairs of…

We show that CC-circuits of bounded depth have the same expressive power as circuits over finite nilpotent algebras from congruence modular varieties. We use this result to phrase and discuss a new algebraic version of Barrington, Straubing…

Probabilistic algorithms are applied to prove theorems about the finite general linear and unitary groups which are typically proved by techniques such as character theory and Moebius inversion. Among the theorems studied are Steinberg's…

After substantial progress over the last 15 years, the "algebraic CSP-dichotomy conjecture" reduces to the following: every local constraint satisfaction problem (CSP) associated with a finite idempotent algebra is tractable if and only if…

In a finite group G, we consider nilpotent weights, and prove a pi-version of the Alperin Weight Conjecture for certain pi-separable groups. This widely generalizes an earlier result by I. M. Isaacs and the first author.

Let $p$ be a prime and let $G$ be a finite group such that the smallest prime that divides $|G|$ is $p$. We find sharp bounds, depending on $p$, for the commuting probability and the average character degree to guarantee that $G$ is…

We show that with a suitable weak notion of general position, the Elekes-Szab\'o condition on the group operation of a connected complex algebraic group characterises nilpotence of the group. Along the way, we prove a Mordell-Lang result…

Let A be an algebra whose group of units U(A) satisfies a Laurent polynomial identity (LPI). We establish conditions on these polynomials in such a way that nil-generated algebras and group algebras with torsion groups over infinite fields…

Bogopolski, Martino and Ventura in [BMV10] introduced a general criteria to construct groups extensions with unsolvable conjugacy problem using short exact sequences. We prove that such extensions have always solvable word problem. This…

We compute the characteristic varieties and the Alexander polynomial of a finitely generated nilpotent group. We show that the first characteristic variety may be used to detect nilpotence. We use the Alexander polynomial to deduce that the…

We show that including degrees of a particular kind of provability in the search target for any theorem-prover in sufficiently powerful formal systems over finite-sized statements preserves well-definition and a sufficient consistency while…

Let $S^{\cdot}$ be a noetherian graded algebra over a commutative $k$-algebra $A$, where $k$ is a commutative ring, and assume it is a module over a Lie algebroid ${\mathfrak g}_{A/k}$. If $S^\cdot$ is semi-simple over ${\mathfrak g}_{A/k}$…

Let $\Gamma_G$ denote a graph associated with a group $G$. A compelling question about finite groups asks whether or not a finite group $H$ must be nilpotent provided $\Gamma_H$ is isomorphic to $\Gamma_G$ for a finite nilpotent group $G$.…

In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated…

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…