群论

In this paper we establish necessary condition for the Freiheitsatz of Magnus can be extended to free pro-${\it p}$-groups

We prove that for a suitable class of representations of free group tensor products are generically irreducible. In particular we prove that there exist irreducible boundary realizations with infinite dimensional fiber.

As a common non-trivial generalization of the concept of a proper generalized Bassian group, we introduce the notion of a semi-generalized Bassian group and initiate its comprehensive investigation. Precisely, we give a satisfactory…

We prove that the hierarchical hull of any finite set of interior points, hierarchy rays, and boundary points in a hierarchically hyperbolic space (HHS) is quasi-median quasi-isometric to a CAT(0) cube complex of bounded dimension. Our…

We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs.…

We have classified, upto isoclinism, certain groups with a given central factor. As an application, we classify, upto isoclinism, groups having at the most nine element centralizers. Among other results of independent interest, we have…

We prove a statement concerning hyperlinearity for central extensions of property (T) groups in the presence of flexible HS-stability, and more generally, weak ucp-stability. Notably, this result is applied to show that if $\text{Sp}_{2g}…

A finitely presented group is semistable at infinity if all proper rays in the Cayley 2-complex are properly homotopic. A long standing open question asks whether all finitely presented groups are semistable at infinity. This article…

Gruenberg and Linnell showed that the standard relation module of a free product of $n$ groups of the form $C_r \times \mathbb{Z}$ could be generated by just $n+1$ generators, raising the possibility of a relation gap. We explicitly give…

In this paper we investigate computational properties of the Diophantine problem for spherical equations in some classes of finite groups. We classify the complexity of different variations of the problem, e.g., when $G$ is fixed and when…

We prove that every profinite $n$-ary group $(G, f)=\Gf$ has a unique Haar measure $m_p$ and further for every measurable subset $A\subseteq G$, we have $$ m_p(A)=m(A)=(n-1)m^{\ast}(A) $$ where $m$ and $m^{\ast}$ are the normalized Haar…

We obtain an ESN theorem for a very general class of biunary semigroups with idempotent-valued domain and range operations, representing them in terms of small categories equipped with a suitable biaction of the identities on the category.…

Given a monoid $S$ with $E$ any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left $E$-completion. In general, the construction yields a one-sided variant of a small category…

In this paper, we study isometric actions on finite-dimensional CAT(0) spaces for the Higman-Thompson groups $T_n$, which are generalizations of Thompson's group $T$. It is known that every semi-simple action of $T$ on a complete CAT(0)…

We exhibit a topological group $G$ with property (T) acting non-elementarily and continuously on the circle. This group is an uncountable totally disconnected closed subgroup of $\operatorname{Homeo}^+(\mathbf{S}^1)$. It has a large unitary…

Based on Kantor's geometry, we give a new Highly symmetric construction of Lyons' sporadic simple group $Ly$ via its minimal representation over $\mathbb F_5^{111}$, thus obtaining elementary existence proofs for both the group and the…

We show that for all $n\leq X$ apart from $O(X\exp(-c(\log X)^{1/2}(\log \log X)^{1/2}))$ exceptions, the alternating group $A_n$ is invariably generated by two elements of prime order. This answers (in a quantitative form) a question of…

For every $k\geqslant 3$, we exhibit a simply connected $k$-nilpotent Lie group $N_k$ whose Dehn function behaves like $n^k$, while the Dehn function of its associated Carnot graded group $\mathsf{gr}(N_k)$ behaves like $n^{k+1}$. This…

We describe how to compute for two polynomials $f(X), g(X) \in \mathbb{Z}[X]$ with integer coefficients the greatest common divisors of $f(z)$ and $g(z)$ for all integers $z \in \mathbb{Z}$. As an application we determine the structures…

A typical question addressed in this paper is the following. Suppose $Z\subset Y\subset X$ are hyperbolic spaces where $Z$ is quasiconvex in both $Y$ and $X$. Let $\HAT{Y}$ and $\HAT{X}$ denote the spaces obtained from $Y$ and $X$…