Related papers: Knapsack and the power word problem in solvable Ba…

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

A group-word $w$ is concise in a class of groups $\mathcal X$ if and only if the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in a group $G\in \mathcal X$. It is a long-standing open problem whether every…

In this article, we study the space of subgroups of non-amenable generalized Baumslag-Solitar groups (GBS groups) of rank $d$, that is, groups acting cocompactly on an oriented tree with vertex and edge stabilizers isomorphic to…

In this paper, we show that each finite group $G$ containing at most $p^2$ Sylow $p$-subgroups for each odd prime number $p$, is a solvable group. In fact, we give a positive answer to the conjecture in \cite{Rob}.

Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest…

We investigate partial Equality and Word Problems for finitely generated groups. After introducing Upper Banach (UB) density on free groups, we prove that solvability of the Equality Problem on squares of UB-generic sets implies solvability…

We compute the Bieri-Neumann-Strebel invariants $\Sigma^1$ for the generalized solvable Baumslag-Solitar groups $\Gamma_n$ and their finite index subgroups. Using $\Sigma^1$, we show that certain finite index subgroups of $\Gamma_n$ cannot…

Hans Zassenhaus conjectured that every torsion unit of the integral group ring of a finite group $G$ is conjugate within the rational group algebra to an element of the form $\pm g$ with $g\in G$. This conjecture has been disproved recently…

We study the impact of certain identities and probabilistic identities on the structure of finite groups. More specifically, let $w$ be a nontrivial word in $d$ distinct variables and let $G$ be a finite group for which the word map…

The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special…

We study the Identity Problem, the problem of determining if a finitely generated semigroup of matrices contains the identity matrix; see Problem 3 (Chapter 10.3) in ``Unsolved Problems in Mathematical Systems and Control Theory'' by…

Let $G$ be a finite group, and let cs$(G)$ be the set of conjugacy class sizes of $G$. Recalling that an element $g$ of $G$ is called a \emph{vanishing element} if there exists an irreducible character of $G$ taking the value $0$ on $g$, we…

Recent papers of the authors have completely described the hyperbolic actions of several families of classically studied solvable groups. A key tool for these investigations is the machinery of confining subsets of Caprace, Cornulier,…

I. Hambleton, L. Taylor and B. Williams conjectured a general formula in spirit of H. Lenstra for the decomposition of $G_n(RG)$ for any finite group $G$ and noetherian ring $R.$ The conjectured decomposition was shown to hold for some…

Let $G$ be a finite group and $D_{2n}$ be the dihedral group of $2n$ elements. For a positive integer $d$, let $\mathsf{s}_{d\mathbb{N}}(G)$ denote the smallest integer $\ell\in \mathbb{N}_0\cup \{+\infty\}$ such that every sequence $S$…

We prove an extension property for $M_d$-multipliers from a subgroup to the ambient group, showing that $M_{d+1}(G)$ is strictly contained in $M_d(G)$ whenever $G$ contains a free subgroup. Another consequence of this result is the…

The goal of this paper is two-fold. First we provide the information needed to study Bol, $A_r$ or Bruck loops by applying group theoretic methods. This information is used in this paper as well as in [BS3] and in [S]. Moreover, we…

As announced in [arXiv:0908.2596], we show that the non-passive finite simple groups are among the $PSL_2(q)$ with $q-1 \ge 4$ a 2-power. [arXiv:0908.2596]: Baumeister,Stein,Stroth: On Bruck Loops of 2-power Exponent

Recently, Macdonald et. al. showed that many algorithmic problems for finitely generated nilpotent groups including computation of normal forms, the subgroup membership problem, the conjugacy problem, and computation of subgroup…

We introduce and investigate different definitions of effective amenability, in terms of computability of F{\o}lner sets, Reiter functions, and F{\o}lner functions. As a consequence, we prove that recursively presented amenable groups have…