Related papers: Permutation groups with restricted stabilizers

We compute the fundamental group of a toroidal compactification of a Hermitian locally symmetric space $D/\Gamma$, without assuming either that $\Gamma$is neat or that it is arithmetic. We also give bounds for the first Betti number.

We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is…

A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids…

Transiso graph $\Gamma_d(G)$ is defined in for a finite group $G$ and a divisor $d$ of $|G|$. In the present paper, we have determined some finite groups $G$ for which the graphs $\Gamma_d(G)$ are complete for each divisor $d$ of $|G|$. We…

In 1954 B. H. Neumann discovered that if G is a group in which all conjugacy classes are finite with bounded size, then the derived group G' is finite. Later (in 1957) Wiegold found an explicit bound for the order of G'. We study groups in…

The Gruenberg-Kegel graph $\Gamma(G)$ associated with a finite group $G$ has as vertices the prime divisors of $|G|$, with an edge from $p$ to $q$ if and only if $G$ contains an element of order $pq$. This graph has been the subject of much…

We introduce notions of a constraint metric approximation and of a constraint stability of a metric approximation. This is done in the language of group equations with coefficients. We give an example of a group which is not constraintly…

The motion of a graph is the minimal degree of its full automorphism group. Babai conjectured that the motion of a primitive distance-regular graph on $n$ vertices of diameter greater than two is at least $n/C$ for some universal constant…

Permutation products and their various "fat diagonal" subspaces are studied from the topological and geometric point of view. We describe in detail the stabilizer and orbit stratifications related to the permutation action, producing a…

Let $G$ be a finite permutation group on $\Omega$. An ordered sequence $(\omega_1\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of…

The Schreier graphs of Thompson's group F with respect to the stabilizer of 1/2 and generators x_0 and x_1, and of its unitary representation in L_2([0,1]) induced by the standard action on the interval [0,1] are explicitly described. The…

It is proved that if a finite $p$-soluble group $G$ admits an automorphism $\varphi$ of order $p^n$ having at most $m$ fixed points on every $\varphi$-invariant elementary abelian $p'$-section of $G$, then the $p$-length of $G$ is bounded…

We prove that if $G$ is a transitive permutation group of sufficiently large degree $n$, then either $G$ is primitive and Frobenius, or the proportion of derangements in $G$ is larger than $1/(2n^{1/2})$. This is sharp, generalizes…

It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called…

Let F be the (Thompson's) group < x_0, x_1 | [x_0x_1^-1, x_0^-ix_1 x_0^i], i=1,2 >. We study the structure of F-limit groups. Let G_n= < y_1,..., y_m, x_0,x_1 | [x_0x_1^-1,x_0^-1x_1x_0],[x_0x_1^-1,x_0^-2x_1x_0^2], y_j^-1g_j,n(x_0,x_1),…

We determine all finite primitive groups that are automorphism groups of edge-transitive hypergraphs. This gives an answer to a problem proposed by Babai and Cameron

Let $\C(\Gamma)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $\Gamma$. We investigate the extent to which $\C(\Gamma)$ determines $\Gamma$ when $\Gamma$ is a group of geometric interest. If…

The effectiveness of the perturbative renormalization group approach at fixed space dimension d in the theory of critical phenomena is analyzed. Three models are considered: the O(N) model, the cubic model and the antiferromagnetic model…

Let $\Gamma$ be a finite $G$-vertex-transitive digraph. The in-local action of $(\Gamma,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined…

For a fixed countably infinite structure \Gamma\ with finite relational signature \tau, we study the following computational problem: input are quantifier-free \tau-formulas \phi_0,\phi_1,...,\phi_n that define relations R_0,R_1,...,R_n…