Related papers: Irredundant bases for soluble groups

An irredundant base of a group $G$ acting faithfully on a finite set $\Gamma$ is a sequence of points in $\Gamma$ that produces a strictly descending chain of pointwise stabiliser subgroups in $G$, terminating at the trivial subgroup.…

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

A base for a permutation group $G$ acting on a set $\Omega$ is a subset $\mathcal{B}$ of $\Omega$ whose pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. There is a natural greedy algorithm for constructing a base of relatively small…

A base for a subgroup $G$ of $\mathrm{Sym}(\Omega)$ is a sequence of elements of $\Omega$ with trivial pointwise stabiliser. The size of the smallest base for $G$ is denoted $b(G)$. There is a natural greedy algorithm to compute a base for…

A base for a permutation group $G$ acting on a set $\Omega$ is a sequence $\mathcal{B}$ of points of $\Omega$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. Denote the minimum size of a base for $G$ by $b(G)$. There is a…

We prove that the maximum length of an irredundant base for a primitive action of a finite simple group of Lie type is bounded above by a function which is a polynomial in the rank of the group. We give examples to show that this type of…

Let $G$ be a finite permutation group on $\Omega.$ An ordered sequence $(\omega_1,\dots, \omega_t)$ 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 its…

Every finite group $G$ has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length $\lambda (G)$ as the minimum number of nonsoluble factors in a series of…

In this paper we show that if $G$ is a primitive subgroup of $S_{n}$ that is not large base, then any irredundant base for $G$ has size at most $5 \log n$. This is the first logarithmic bound on the size of an irredundant base for such…

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…

Let $\lambda(G)$ be the maximum number of subgroups in an irredundant covering of a finite group $G$. We prove that the finite groups with $\lambda(G)=|G|-t$, where $t\leq 5$, are solvable, and classify such groups.

An unrefinable chain of a finite group $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal subgroup of $G_{i-1}$. The length (respectively, depth) of $G$ is the maximal (respectively, minimal)…

Let $\lambda(G)$ be the maximum number of subgroups in an irredundant covering of the finite group $G$. We prove that if $G$ is a group with $\lambda(G) \leqslant 6$, then $G$ is supersolvable. We also describe the structure of the groups…

An irredundant base $B$ for a permutation group $G\leq \mathrm{Sym}(\Omega)$ is an ordered subset of $\Omega$ with trivial stabiliser such that no base point is fixed by the stabiliser of its predecessors. Groups whose irredundant bases all…

A base of a permutation group (X,G) is a subset B of X such that its pointwise stabilizer is the trivial group. A list (x1,x2, ... ,xk) of elements of X is irredundant if each element is not in the pointwise stabilizer of its predecessors.…

Given a finite group $G,$ we denote by $\Delta(G)$ the graph whose vertices are the proper subgroups of $G$ and in which two vertices $H$ and $K$ are joined by an edge if and only if $G=\langle H,K\rangle.$ We prove that if there exists a…

Let $G$ be a finite primitive permutation group on a set $\Omega$ with point stabiliser $H$. Recall that a subset of $\Omega$ is a base for $G$ if its pointwise stabiliser is trivial. We define the base size of $G$, denoted $b(G,H)$, to be…

Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of nonabelian simple groups. The minimum number of nonsolvable factors attained on all possible such series is called the…

For a finite group $G$ we investigate the difference between the maximum size MaxDim$(G)$ of an "independent" family of maximal subgroups of $G$ and maximum size $m(G)$ of an irredundant sequence of generators of $G$. We prove that…

Let N be a normal subgroup of a finite group G and consider the set cd(G|N) of degrees of irreducible characters of G whose kernels do not contain N. A number of theorems are proved relating the set cd(G|N) to the structure of N. For…