Related papers: Right-angled Artin pro-$p$ groups

The main purpose of this article is to study pro-$p$ groups with quadratic $\mathbb{F}_p$-cohomology algebra, i.e. $H^\bullet$-quadratic pro-$p$ groups. Prime examples of such groups are the maximal Galois pro-$p$ groups of fields…

We consider the graph $\Gamma_{\rm{virt}}(G)$ whose vertices are the elements of a finitely generated profinite group $G$ and where two vertices $x$ and $y$ are adjacent if and only if they topologically generate an open subgroup of $G$. We…

We characterize twisted right-angled Artin groups (T-RAAGs) that are subgroup separable using only their defining mixed graphs: such a group is subgroup separable if and only if the underlying simplicial graph contains neither induced paths…

A non-trivial finitely generated pro-$p$ group $G$ is said to be strongly hereditarily self-similar of index $p$ if every non-trivial finitely generated closed subgroup of $G$ admits a faithful self-similar action on a $p$-ary tree. We…

Let G be a right-angled Artin group. We use geometric methods to compute a presentation of the subgroup H of Aut(G) consisting of the automorphisms that send each generator to a conjugate of itself. This generalizes a result of McCool on…

Given a graph $\Gamma$, its auxiliary \emph{square-graph} $\square(\Gamma)$ is the graph whose vertices are the non-edges of $\Gamma$ and whose edges are the pairs of non-edges which induce a square (i.e., a $4$-cycle) in $\Gamma$. We…

A {\it graph product} $G$ on a graph $\Gamma$ is a group defined as follows: For each vertex $v$ of $\Gamma$ there is a corresponding non-trivial group $G_v$. The group $G$ is the quotient of the free product of the $G_v$ by the commutation…

Given a finite group $G$, the generating graph $\Gamma(G)$ of $G$ has as vertices the non-identity elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. Let $G$ be a 2-generated…

We give a short proof of the following result due to Howie: if $A(\Gamma)$ is a right-angled Artin group embedding into some one-relator group, then $\Gamma$ is a finite forest. The proof only uses elementary Bass--Serre theory and…

We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…

We study a class of finite groups $G$ which behave similarly to elementary abelian $p$-groups with $p$ prime, that is, there exists a subgroup $N$ such that all elements of $G\setminus N$ are conjugate or inverse-conjugate under $\Aut(G)$.…

Given a finite group $G$, the generating graph $\Gamma(G)$ of $G$ has as vertices the (nontrivial) elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. In this paper we…

We show that the membership problem in a finitely generated submonoid of a graph group (also called a right-angled Artin group or a free partially commutative group) is decidable if and only if the independence graph (commutation graph) is…

Let $G$ be a finite group, let $\pi(G)$ be the set of prime divisors of $|G|$ and let $\Gamma(G)$ be the prime graph of $G$. This graph has vertex set $\pi(G)$, and two vertices $r$ and $s$ are adjacent if and only if $G$ contains an…

We prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups…

We prove a criterion for the mildness of a finitely presented pro-$p$ group $G$. It implies as a special case a cohomological mildness criterion via Massey products, generalizing results due to Schmidt and G\"artner. It subsumes Labute's…

In this work we prove that, given a simplicial graph $\Gamma$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $\Gamma\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely…

Let $G$ be a right-angled Artin group with $|\mathrm{Out}(G)|<+\infty$. We prove that if a countable group $H$ with bounded torsion is measure equivalent to $G$, with an $L^1$-integrable measure equivalence cocycle towards $G$, then $H$ is…

A graph $\Gamma$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $\Gamma$, where an arc is an ordered pair of adjacent vertices. Let $\Gamma$ be a $G$-symmetric graph such that its…

We study fixed subgroups of automorphisms of any large-type Artin group $A_{\Gamma}$. We define a natural subgroup $\mathrm{Aut}_\Gamma(A_\Gamma)$ of $\mathrm{Aut}(A_{\Gamma})$, and for every $\gamma \in \mathrm{Aut}_\Gamma(A_\Gamma)$ we…