On valency problems of Saxl graphs

Let 𝐺 be a permutation group on a set Ω, and recall that a base for 𝐺 is a subset of Ω such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of 𝐺, denoted Σ ⁢ ( G ) \Sigma(G) , with vertex set Ω and two vertices adjacent if and only if they form a base for 𝐺. If 𝐺 is transitive, then Σ ⁢ ( G ) \Sigma(G) is vertex-transitive, and it is natural to consider its valency (which we refer to as the valency of 𝐺). In this paper, we present a general method for computing the valency of any finite transitive group, and we use it to calculate the exact valency of every primitive group with stabiliser a Frobenius group with cyclic kernel. As an application, we calculate the valency of every almost simple primitive group with an alternating socle and soluble stabiliser, and we use this to extend results of Burness and Giudici on almost simple primitive groups with prime-power or odd valency.

EXTENDING RESULTS OF MORGAN AND PARKER ABOUT COMMUTING GRAPHS

Morgan and Parker proved that if G is a group with ${\textbf{Z}(G)} = 1$ , then the connected components of the commuting graph of G have diameter at most $10$ . Parker proved that if, in addition, G is solvable, then the commuting graph of G is disconnected if and only if G is a Frobenius group or a $2$ -Frobenius group, and if the commuting graph of G is connected, then its diameter is at most $8$ . We prove that the hypothesis $Z (G) = 1$ in these results can be replaced with $G' \cap {\textbf{Z}(G)} = 1$ . We also prove that if G is solvable and $G/{\textbf{Z}(G)}$ is either a Frobenius group or a $2$ -Frobenius group, then the commuting graph of G is disconnected.

Frobenius groups of low rank

Let G be a finite Frobenius group of degree n. We show, by elementary means, that n is a power of some prime p provided the rank $${\mathrm{rk}}(G)\le 3+\sqrt{n+1}$$ rk ( G ) ≤ 3 + n + 1 . Then the Frobenius kernel of G agrees with the (unique) Sylow p-subgroup of G. So our result implies the celebrated theorems of Frobenius and Thompson in a special situation.

On Periodic Groups Saturated with Finite Frobenius Groups

A group is called weakly conjugate biprimitively finite if each its element of prime order generates a finite subgroup with any of its conjugate elements. A binary finite group is a periodic group in which any two elements generate a finite subgroup. If $\mathfrak{X}$ is some set of finite groups, then the group $G$ saturated with groups from the set $\mathfrak{X}$ if any finite subgroup of $G$ is contained in a subgroup of $G$, isomorphic to some group from $\mathfrak{X}$. A group $G = F \leftthreetimes H$ is a Frobenius group with kernel $F$ and a complement $H$ if $H \cap H^f = 1$ for all $f \in F^{\#}$ and each element from $G \setminus F$ belongs to a one conjugated to $H$ subgroup of $G$. In the paper we prove that a saturated with finite Frobenius groups periodic weakly conjugate biprimitive finite group with a nontrivial locally finite radical is a Frobenius group. A number of properties of such groups and their quotient groups by a locally finite radical are found. A similar result was obtained for binary finite groups with the indicated conditions. Examples of periodic non locally finite groups with the properties above are given, and a number of questions on combinatorial group theory are raised.

Infinite Frobenius Groups Generated by Elements of Order 3

A semidirect product [Formula: see text] of groups F and H is called a Frobenius group if the following two conditions are satisfied: (F1) H acts freely on F, that is, [Formula: see text] for f in F and h in H only if h = 1 or f = 1. (F2) Every non-identity element [Formula: see text] of finite order n induces in F by conjugation in G a splitting automorphism, that is, [Formula: see text] for every [Formula: see text]; in other words, the order of [Formula: see text] is equal to n. We describe the normal structure of a Frobenius group with periodic subgroup H generated by elements of order 3.

A note on modular Frobenius groups

It is well known that Frobenius groups can be defined by their complement subgroups. But until now we cannot use a complement subgroup to define a modular Frobenius group. In the present paper, a generalization of Frobenius complements is used as a characterization of a class of modular Frobenius groups. In fact, we build a connection between modular Frobenius groups and Frobenius–Wielandt groups.

Generalization of the basis property on finite groups

A group [Formula: see text] has the Basis Property if every subgroup [Formula: see text] of [Formula: see text] has an equivalent basis (minimal generating set). We studied a special case of the finite group with the Basis Property, when [Formula: see text]-group [Formula: see text] is an abelian group. We found the necessary and sufficient conditions on an abelian [Formula: see text]-group [Formula: see text] of [Formula: see text] with the Basis Property to be kernel of Frobenius group.

On the Symmetric Block Design with Parameters (210,77,28) Admitting a Frobenius Group of Order 57

In this paper we have proved that for a putative symmetric block design D withparameters (210,77,28), admitting a Frobenius group G = (hρ, μ|ρ19 = μ3 = 1, ρμ = ρ7) of order 57, there are exactly six possible orbit structures up to isomorphism with the orbit distribution [1; 19; 19; 19; 19; 19; 19; 19; 19; 19; 19; 19].

Some generalized characters associated to a transitive permutation group

Let G be a finite transitive permutation group of degree n, with point stabilizer {H\neq 1} and permutation character π. For every positive integer t, we consider the generalized character {\psi_{t}=\rho_{G}-t(\pi-1_{G})}, where {\rho_{G}} is the regular character of G and {1_{G}} the 1-character. We give necessary and sufficient conditions on t (and G) which guarantee that {\psi_{t}} is a character of G. A necessary condition is that {t\leq\min\{n-1,\lvert H\rvert\}}, and it turns out that {\psi_{t}} is a character of G for {t=n-1} resp. {t=\lvert H\rvert} precisely when G is 2-transitive resp. a Frobenius group.