群论

The commuting graph of a group $G$ is the graph whose vertices are the elements of $G$, two distinct vertices joined if they commute. Our purpose in this paper is twofold: we discuss the computational problem of deciding whether a given…

Let $G$ be an infinite compact group. We prove that for every cardinal $\kappa$ between the density and the weight of $G$, there exists a dense subgroup of $G$ of density $\kappa$.

A description of the endomorphisms of semidirect products of two groups as a group of $2\times 2$ matrices of maps is already known. Using this description, we have studied the concept of determinant for the endomorphisms of semidirect…

Let $L$ and $M$ be finite extensions of $K = \mathbb{C}(t)$. If $L\otimes _K M$ is a field of genus $0$, then at least one of $L$ and $M$ is ramified over at most four valuations of $K$.

We classify all varieties of aperiodic monoids with central idempotents whose subvariety lattice is finite or satisfies the descending chain condition or satisfies the ascending chain condition. It turns out that for varieties in this…

Killing forms on finite groups arise as examples of braided Killing forms on braided Lie algebras. For a finite group $G$ and a $G$-stable subset $\mathcal{C}$, the Killing form associated with $\mathbb{C}[\mathcal{C}]$ is given by…

Recently, Bonn and Sauer showed that, from the point of view of compactness properties, the Schlichting completion of a Hecke pair $(\Gamma,\Lambda)$ behaves precisely as if it were the quotient of $\Gamma$ by $\Lambda$. Motivated by this…

We investigate the complexity of the conjugacy problem for fibre products in torsion-free hyperbolic groups. Let $G$ be a torsion-free hyperbolic group and let $P<G\times G$ be the fibre product associated to an epimorphism…

We provide conditions on the defining graph of a right-angled Coxeter group presentation that guarantees the boundary of any CAT(0) space on which the group acts geometrically will be locally connected. This is a revised version of a…

The aim of this short survey is to advertise various tools that have been developed to study hierarchically hyperbolic spaces (HHSs) in recent years, with particular emphasis on those that require little to no knowledge of the HHS machinery…

We define Conradian left-preorders and the space of Conradian left-preorders. We show that this space is either finite or uncountable. We describe conditions that are equivalent to say that the space of Conradian left-preorders is finite.…

We find a polynomial (n^6) isoperimetric function for Artin groups, the defining graph of which contains no edges labelled by 3. This in particular shows that even Artin groups have solvable word problem. We use small cancellation theory of…

We construct a `nice' subcomplex of the Outer Space for a free product in order to give a geometric proof that the pure symmetric outer automorphisms of a given splitting of a free product are generated by factor outer automorphisms and…

We describe the outer automorphism group of a one-ended fundamental group of a graph of groups, when edge groups are cyclic, and vertex groups are torsion-free with cyclic centralizers. We show that in this case the outer automorphism group…

We introduce two new moves on graphs of groups with cyclic edge groups that preserve the fundamental group. These moves allow us to address the isomorphism problem without the use of expansions, therefore keeping the number of vertices and…

We prove a purely combinatorial obstruction for the Bloch-Kato property within the class of fundamental groups of complement manifolds of toric arrangements (i.e., arrangements of hypersurfaces in the complex torus). As a stepping stone we…

The D2 problem of C. T. C. Wall asks whether every finite cohomologically 2-dimensional CW-complex is homotopy equivalent to a finite 2-complex. Several potential counterexamples have been proposed, the longest standing of which is a…

The prime coprime graph $\Theta(G)$ of a finite group $G$ is the graph whose vertex set is $G$ and any two distinct vertices are adjacent if the greatest common divisor of their orders is either $1$ or a prime. In this paper, we investigate…

We transform the method of Glasson into a sufficient condition under which a monoid is non-finitely related, add a new member to the collection of interlocking word-patterns, and use it to show that the monoid $M(ab^2a, a^2b^2)$ is…

Given a measure equivalence coupling between two finitely generated groups, Delabie, Koivisto, Le Ma\^itre and Tessera have found explicit upper bounds on how integrable the associated cocycles can be. These bounds are optimal in many cases…