Related papers: Primitive Permutation Groups and Strongly Factoriz…

A primary covering of a finite group $G$ is a family of proper subgroups of $G$ whose union contains the set of elements of $G$ having order a prime power. We denote with $\sigma_0(G)$ the smallest size of a primary covering of $G$, and…

We investigate properties of finite transitive permutation groups $(G, \Omega)$ in which all proper subgroups of $G$ act intransitively on $\Omega.$ In particular, we are interested in reduction theorems for minimally transitive…

For $n \in \mathbb{N}$, let $[n] = \{1, 2, \ldots, n\}$ be an $n$ - element set. As usual, we denote by $I_n$ the symmetric inverse semigroup on $[n]$, i.e. the partial one-to-one transformation semigroup on $[n]$ under composition of…

For an arbitrary connected solvable spherical subgroup H of a connected semisimple algebraic group G we compute the group N_G(H), the normalizer of H in G. Thereby we complete a classification of all (not necessarily connected) solvable…

We are interested in semigroups of the form $\langle G,a\rangle\setminus G$, where $G$ is a permutation group of degree $n$ and $a$ a non-permutation on the domain of $G$. A theorem of the first author, Mitchell and Schneider shows that, if…

In this paper we describe a portion of the subsemigroup lattice of the \emph{full transformation semigroup} $\Omega^\Omega$, which consists of all mappings on the countable infinite set $\Omega$. Gavrilov showed that there are five maximal…

For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $\Omega$, $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ which leaves invariant each…

A numerical semigroup is a sub-semigroup of the natural numbers that has a finite complement. Some of the key properties of a numerical semigroup are its Frobenius number F, genus g and type t. It is known that for any numerical semigroup…

There has been significant recent interest in studying how the number of numerical semigroups of genus $g$ behaves as a function of $g$. Bras-Amor\'os has shown how to organize the collection of numerical semigroups of genus $g$ into a…

The monoid of all partial injections on a finite set (the symmetric inverse semigroup) is of particular interest because of the well-known Wagner-Preston Theorem. In this article, we step forward the study of a submonoid of the symmetric…

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

A quasi-semiregular element in a permutation group is an element that has a unique fixed point and acts semiregularly on the remaining points. Such elements were first studied in the context of automorphisms of graphs and occur naturally in…

In this paper, we prove two structure theorems for twisted Chevalley groups $G_\sigma (R)$ over a commutative ring $R$ with unity. The first theorem concerns the normality of $E'_\sigma (R,J)$, the elementary congruence subgroups at level…

Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$.…

Let $G \leqslant {\rm Sym}(\Omega)$ be a finite permutation group and recall that the base size of $G$ is the minimal size of a subset of $\Omega$ with trivial pointwise stabiliser. There is an extensive literature on base sizes for…

We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the…

Let $p$ be a prime and $\mathbb{F}_p$ be a finite field of $p$ elements. Let $\mathbb{F}_pG$ denote the group algebra of the finite $p$-group $G$ over the field $\mathbb{F}_p$ and $V(\mathbb{F}_pG)$ denote the group of normalized units in…

Let $G$ be a group. The holomorph $\mathrm{Hol}(G)$ may be defined as the normalizer of the subgroup of either left or right translations in the group of all permutations of $G$. The multiple holomorph $\mathrm{NHol}(G)$ is in turn defined…

The computation of the normaliser of a permutation group in the full symmetric group is an important and hard problem in computational group theory. This article reports on an algorithm that builds a descending chain of overgroups to…

The orbit dimension $\sigma(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $\Omega$ is the minimum cardinality of a subset $S \subseteq \Omega$ such that, for any two distinct elements…