Related papers: Rough ends of infinite primitive groups

A subset $C$ of the vertex set of a graph $\Gamma$ is said to be $(\alpha,\beta)$-regular if $C$ induces an $\alpha$-regular subgraph and every vertex outside $C$ is adjacent to exactly $\beta$ vertices in $C$. In particular, if $C$ is an…

A regular bipartite graph $\Gamma$ is called semisymmetric if its full automorphism group $\mathrm{Aut}(\Gamma)$ acts transitively on the edge set but not on the vertex set. For a subgroup $G$ of $\mathrm{Aut}(\Gamma)$ that stabilizes the…

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being…

Assume that $G$ is a finite group. For every $a, b \in\mathbb N,$ we define a graph $\Gamma_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and $(y_1,\dots,y_b)$ are adjacent if…

A group $G$ is said to have restricted centralizers if for each $g \in G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. We take…

Let $G$ be a finite group. For each $m>1$ we define the symmetric canonical subset $S=S(m)$ of the Cartesian power $G^m$ and we consider the family of Cayley graphs $\mathscr{G}_m(G)=Cay(G^m,S)$. We describe properties of these graphs and…

Let $\mathbb{K}$ be an unramified quadratic extension of $\mathbb{Q}_{p}$ for a fixed $p>2$. Projective general linear groups $G=\operatorname{PGL}_{2}(\mathbb{K})$ and $H=\operatorname{PGL}_{2}(\mathbb{Q}_{p})$ act transitively on…

Let $\sigma =\{\sigma_i |i\in I\}$ is some partition of all primes $\mathbb{P}$ and $G$ a finite group. A subgroup $H$ of $G$ is said to be $\sigma$-subnormal in $G$ if there exists a subgroup chain $H=H_0\leq H_1\leq \cdots \leq H_n=G$…

A finite group $G$ admits an {\em oriented regular representation} if there exists a Cayley digraph of $G$ such that it has no digons and its automorphism group is isomorphic to $G$. Let $m$ be a positive integer. In this paper, we extend…

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…

For a graph $\Gamma$ and group $G$, $G^\Gamma$ is the subgroup of $G^{|\Gamma|}$ generated by elements with $g$ in the coordinates corresponding to $v$ and its neighbors in $\Gamma$. There is a natural epimorphism $G^\Gamma \to…

Let $G$ be a group. A subset $D$ of $G$ is a determining set of $G$, if every automorphism of $G$ is uniquely determined by its action on $D$. The determining number of $G$, denoted by $\alpha(G)$, is the cardinality of a smallest…

The Hawkes graph $\Gamma_H(G)$ of $G$ is the directed graph whose vertex set coincides with $\pi(G)$ and it has the edge $(p, q)$ whenever $q\in\pi(G/O_{p',p}(G))$. The Sylow graph $\Gamma_s(G)$ of $G$ is the directed graph with vertex set…

A finite simple graph $\Gamma$ determines a quotient $P_\Gamma$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior…

Let $G$ be a permutation group on a set $\Omega$ and recall that a base for $G$ is a subset of $\Omega$ such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of $G$, denoted…

We prove that for every finitely generated group $\Gamma$, at least one of the following holds: (1) $\Gamma$ has fixed price; (2) each of its Cayley graphs $G$ has infinitely many infinite clusters for some Bernoulli percolation on $G$.

We say that a finite group $G$ acting on a set $\Omega$ has Property $(*)_p$ for a prime $p$ if $P_\omega$ is a Sylow $p$-subgroup of $G_\omega$ for all $\omega\in\Omega$ and Sylow $p$-subgroups $P$ of $G$. Property $(*)_p$ arose in the…

A tubular group $G$ is a finite graph of groups with $\mathbb{Z}^2$ vertex groups and $\mathbb{Z}$ edge groups. We characterize residually finite tubular groups: $G$ is residually finite if and only if its edge groups are separable. Methods…

Let G,H be closed permutation groups on an infinite set X, with H a subgroup of G. It is shown that if G and H are orbit-equivalent, that is, have the same orbits on the collection of finite subsets of X, and G is primitive but not…

Finite rank median spaces are a simultaneous generalisation of finite dimensional ${\rm CAT}(0)$ cube complexes and real trees. If $\Gamma$ is an irreducible lattice in a product of rank one simple Lie groups, we show that every action of…