Related papers: Testing spherical transitivity in iterated wreath …

Given a unitary representation of a finite group on a finite-dimensional Hilbert space, we show how to find a state whose translates under the group are distinguishable with the highest probability. We apply this to several quantum oracle…

It is well known that the pair $(\mathcal{S}_n,\mathcal{S}_{n-1})$ is a Gelfand pair where $\mathcal{S}_n$ is the symmetric group on $n$ elements. In this paper, we prove that if $G$ is a finite group then $(G\wr \mathcal{S}_n, G\wr…

The aim of the present paper is to generalize the notion of the group determinants for finite groups. For a finite group $G$ of order $kn$ and its subgroup $H$ of order $n$, one may define an $n$ by $kn$ matrix $X=(x_{hg^{-1}})_{h\in H,g\in…

Let $G = X \wr H$ be the wreath product of a nontrivial finite group $X$ with $k$ conjugacy classes and a transitive permutation group $H$ of degree $n$ acting on the set of $n$ direct factors of $X^n$. If $H$ is semiprimitive, then $k(G)…

We study the unit group of the modular group algebra KG, where G is a 2-group of maximal class. We prove that the unit group of KG possesses a section isomorphic to the wreath product of a group of order two with the commutator subgroup of…

After recent work of Hill, Hopkins, and Ravenel on the Kervaire invariant one problem, as well as Adams' solution of the Hopf invariant one problem, an immediate consequence of Curtis conjecture is that the set of spherical classes in…

A finitely generated group is said to be an automata group if it admits a faithful self-similar finite-state representation on some regular $m$-tree. We prove that if $G$ is a subgroup of an automata group, then for each finitely generated…

We examine the conjugacy growth series of all wreath products of the finitary permutation groups $\text{Sym}(X)$ and $\text{Alt}(X)$ for an infinite set $X$. We determine their asymptotics, and we characterize the limiting behavior between…

We prove that if a subgroup $H$ of the automorphism group $\mathrm{Aut}(\Sigma^{\mathbb{Z}})$ of a non-trivial full shift acts on points of finite support with a free orbit, then for every finitely-generated abelian group $A$, the abstract…

Let $H$ be a permutation group on a set $\Lambda$, which is permutationally isomorphic to a finite alternating or symmetric group $A_n$ or $S_n$ acting on the $k$-element subsets of points from $\{1,\ldots,n\}$, for some arbitrary but fixed…

In this article, we initiate the study of the large-scale geometry of permutational wreath products of the form $F\wr_{H/N}H$, where $H$ is finitely presented and where $N$ is a normal subgroup of $H$ satisfying a certain assumption of non…

In this paper, we introduce a new function related to the sum of element orders of finite groups. It is used to give some criteria for a finite group to be cyclic, abelian, nilpotent, supersolvable and solvable, respectively.

We show that the commutator subgroup G' of a classical knot group G need not have subgroups of every finite index, but it will if G' has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also…

A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the…

We survey recent results on multiple transitivity of automorphism groups of affine algebraic varieties. We consider the property of infinite transitivity of the special automorphism group, which is equivalent to flexibility of the…

We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…

Sabidussi's theorem [Duke Math. J. 28, 1961] gives necessary and sufficient conditions under which the automorphism group of a lexicographic product of two graphs is a wreath product of the respective automorphism groups. We prove a quantum…

We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall,…

In the 1980's K.S. Brown proved that the Houghton group $H_n$ is of type $\operatorname{F}_{n-1}$ but not $\operatorname{FP}_n$. We show that, provided $n\ge3$, the same conclusion holds for all subgroups $G$ of $H_n$ that are 'large' in…

The symmetric group $S_{2n}$ and the hyperoctaheadral group $H_{n}$ is a Gelfand triple for an arbitrary linear representation $\phi$ of $H_{n}$. Their $\phi$-spherical functions can be caught as transition matrix between suitable symmetric…