群论

Random groups of density d<\frac{1}{2} are infinite hyperbolic, and of density d>\frac{1}{2} are finite. We prove the existence of a uniform quantifier elimination procedure for formulas of minimal rank (probably the superstable part of the…

Random groups of density d<\frac{1}{2} are infinite hyperbolic, and of density d>\frac{1}{2} are finite. We prove that for any given system of equations \Sigma, all the solutions of \Sigma over a random group of density d<\frac{1}{2} are…

As a result of impressive research arXiv:2106.07231, D. Garc\'{\i}a-Lucas, \'{A}. del R\'{i}o and L. Margolis defined an infinite series of non-isomorphic $2$-groups $G$ and $H$, whose group algebras $\mathbb{F}G$ and $\mathbb{F}H$ over the…

We introduce an extension of the fellow traveler property which allows fellow travelers to be at distance bounded from above by a function $f(n)$ growing slower than any linear function. We study normal forms satisfying this extended fellow…

We answer a question of Bardakov (Kourovka Notebook, Problem 19.8) which asks for the existence of a pair of natural numbers $(c, m)$ with the property that every element in the free group on the two-element set $\{a, b\}$ can be…

This paper is devoted to the problem of finding characterizations for Cayley automatic groups. The concept of Cayley automatic groups was recently introduced by Kharlampovich, Khoussainov and Miasnikov. We address this problem by…

Let $G$ be a group acting $2$-transitively on the boundary of a locally finite tree, and exclude the situation (which is a genuine exception) where $G$ has both $\mathrm{P}\Gamma\mathrm{L}_3(4)$ and $\mathrm{P}\Gamma\mathrm{L}_3(5)$ as…

Let $\Omega$ be a set equipped with an equivalence relation $\sim$; we refer to the equivalence classes as blocks of $\Omega$. A permutation group $G \le \mathrm{Sym}(\Omega)$ is $k$-by-block-transitive if $\sim$ is $G$-invariant, with at…

It was conjectured that the augmentation ideal of a dihedral quandle of even order $n>2$ satisfies $|\Delta^k(\text{R}_n)/\Delta^{k+1}(\text{R}_{n})|=n$ for all $k\geq 2$. In this article we provide a counterexample against this conjecture.

Kuz'min (1996) characterized groups having Wirtinger presentations in relation to their second group homology. In this paper, we further refine the relation between these groups and their second group homology.

In this study, it is proven that the universal equivalence of general linear groups (admitting the inverse-transpose automorphism) of orders greater than $2$, over local, not necessarily commutative rings with $1/2$, is equivalent to the…

This paper targets to generalize the notion of Hopfian groups in the commutative case by defining the so-called {\bf relatively Hopfian groups} and {\bf weakly Hopfian groups}, and establishing some their crucial properties and…

Let $\mathcal{C}$ be a smooth, projective, geometrically integral curve defined over a perfect field $\mathbb{F}$. Let $k=\mathbb{F}(\mathcal{C})$ be the function field of $\mathcal{C}$. Let $\mathbf{G}$ be a split simply connected…

The twisted group ring isomorphism problem (TGRIP) is a variation of the classical group ring isomorphism problem. It asks whether the ring structure of the twisted group ring determines the group up to isomorphism. In this article, we…

In [K. Bou-Rabee, B. Seward, J. Reine Angwe. Math. 2016] Bou-Rabee and Seward constructed examples of finitely generated residually finite groups $G$ whose residual finiteness growth function $\mathcal{F}_G$ can be at least as fast as any…

A positive integer $m$ is called a Hall number if any finite group of order precisely divisible by $m$ has a Hall subgroup of order $m$. We prove that, except for the obvious examples, the three integers $12$, $24$ and $60$ are the only…

The classical Klein-Maskit combination theorems provide sufficient conditions to construct new Kleinian groups using old ones. There are two distinct but closely related combination theorems: The first deals with amalgamated free products,…

The article deals with finite groups in which commutators have prime power order (CPPO-groups). We show that if G is a soluble CPPO-group, then the order of the commutator subgroup G' is divisible by at most two primes.

The ideal membership problem asks whether an element in the ring belongs to the given ideal. In this paper, we propose a function that reflecting the complexity of the ideal membership problem in the ring of Laurent polynomials with integer…

We give a new geometric proof of a theorem of Heuer showing that, in the presence of letter-quasimorphisms (which are analogues of real-valued quasimorphisms with image in free groups), and in particular in RAAGs, there is a sharp lower…