To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We investigate products of certain double cosets for the symmetric group and use the findings to derive some multiplication formulas for the $q$-Schur superalgebras. This gives a combinatorialization of the relative norm approach developed in Du and Gu (A realization of the quantum supergroup$\mathbf{U}(\mathfrak{g}\mathfrak{l}_{m|n})$, J. Algebra 404 (2014), 60–99). We then give several applications of the multiplication formulas, including the matrix representation of the regular representation and a semisimplicity criterion for $q$-Schur superalgebras. We also construct infinitesimal and little $q$-Schur superalgebras directly from the multiplication formulas and develop their semisimplicity criteria.
We formulate some conjectures about the precise determination of the monodromy groups of certain rigid local systems on $\mathbb{A}^{1}$ whose monodromy groups are known, by results of Kubert, to be finite. We prove some of them.
Given a finite group $G$, the generating graph $\unicode[STIX]{x1D6E4}(G)$ of $G$ has as vertices the (nontrivial) elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. In this paper we investigate properties about the degrees of the vertices of $\unicode[STIX]{x1D6E4}(G)$ when $G$ is an alternating group or a symmetric group of degree $n$. In particular, we determine the vertices of $\unicode[STIX]{x1D6E4}(G)$ having even degree and show that $\unicode[STIX]{x1D6E4}(G)$ is Eulerian if and only if $n\geqslant 3$ and $n$ and $n-1$ are not equal to a prime number congruent to 3 modulo 4.
The classification of flag-transitive generalized quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalized quadrangles are also point-primitive (up to point–line duality), it is likewise natural to seek a classification of the point-primitive examples. Working toward this aim, we are led to investigate generalized quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O’Nan–Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in nonabelian finite simple groups and fixities of primitive permutation groups.
Let $G$ be a finite group with $\mathsf{soc}(G)=\text{A}_{c}$ for $c\geq 5$. A characterization of the subgroups with square-free index in $G$ is given. Also, it is shown that a $(G,2)$-arc-transitive graph of square-free order is isomorphic to a complete graph, a complete bipartite graph with a matching deleted or one of $11$ other graphs.
This article began as a study of the structure of infinite permutation groups $G$ in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point stabilisers are merely assumed to satisfy min-n, the minimal condition on normal subgroups. The groups $G$ are then of two kinds. Either they have a maximal finite normal subgroup, modulo which they have either one or two minimal nontrivial normal subgroups, or they have a regular normal subgroup $M$ which is a divisible abelian $p$-group of finite rank. In the latter case the point stabilisers are finite and act irreducibly on a $p$-adic vector space associated with $M$. This leads to our second variation, which is a study of the finite linear groups that can arise.
In this paper, a switch function-based gas-kinetic scheme (SF-GKS) is presented for the simulation of inviscid and viscous compressible flows. With the finite volume discretization, Euler and Navier-Stokes equations are solved and the SF-GKS is applied to evaluate the inviscid flux at cell interface. The viscous flux is obtained by the conventional smooth function approximation. Unlike the traditional gas-kinetic scheme in the calculation of inviscid flux such as Kinetic Flux Vector Splitting (KFVS), the numerical dissipation is controlled with a switch function in the present scheme. That is, the numerical dissipation is only introduced in the region around strong shock waves. As a consequence, the present SF-GKS can well capture strong shock waves and thin boundary layers simultaneously. The present SF-GKS is firstly validated by its application to the inviscid flow problems, including 1-D Euler shock tube, regular shock reflection and double Mach reflection. Then, SF-GKS is extended to solve viscous transonic and hypersonic flow problems. Good agreement between the present results and those in the literature verifies the accuracy and robustness of SF-GKS.
In this paper we describe methods for finding very small maximal subgroups of very large groups, with particular application to the subgroup 47:23 of the Baby Monster. This example is completely intractable by standard or naïve methods. The example of finding 31:15 inside the Thompson group $\text{Th}$ is also discussed as a test case.
For an odd prime $p$, a $p$-transposition group is a group generated by a set of involutions such that the product of any two has order 2 or $p$. We first classify a family of $(G,2)$-geodesic transitive Cayley graphs ${\rm\Gamma}:=\text{Cay}(T,S)$ where $S$ is a set of involutions and $T:\text{Inn}(T)\leq G\leq T:\text{Aut}(T,S)$. In this case, $T$ is either an elementary abelian 2-group or a $p$-transposition group. Then under the further assumption that $G$ acts quasiprimitively on the vertex set of ${\rm\Gamma}$, we prove that: (1) if ${\rm\Gamma}$ is not $(G,2)$-arc transitive, then this quasiprimitive action is the holomorph affine type; (2) if $T$ is a $p$-transposition group and $S$ is a conjugacy class, then $p=3$ and ${\rm\Gamma}$ is $(G,2)$-arc transitive.
This paper contributes to the regular covers of a complete bipartite graph minus a matching, denoted $K_{n,n}-nK_{2}$, whose fiber-preserving automorphism group acts 2-arc-transitively. All such covers, when the covering transformation group $K$ is either cyclic or $\mathbb{Z}_{p}^{2}$ with $p$ a prime, have been determined in Xu and Du [‘2-arc-transitive cyclic covers of $K_{n,n}-nK_{2}$’, J. Algebraic Combin.39 (2014), 883–902] and Xu et al. [‘2-arc-transitive regular covers of $K_{n,n}-nK_{2}$ with the covering transformation group $\mathbb{Z}_{p}^{2}$’, Ars. Math. Contemp.10 (2016), 269–280]. Finally, this paper gives a classification of all such covers for $K\cong \mathbb{Z}_{p}^{3}$ with $p$ a prime.
A graph is called arc-regular if its full automorphism group acts regularly on its arc set. In this paper, we completely determine all the arc-regular Frobenius metacirculants of prime valency.
We show that the proportion of permutations $g$ in $S_{\!n}$ or $A_{n}$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^{{\it\varepsilon}}\rceil$ is at least a constant multiple of ${\it\varepsilon}$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and power up to an involution with $(-1)$-eigenspace of dimension at most $\lceil n^{{\it\varepsilon}}\rceil$ for a linear or unitary group, or $2\lceil \lfloor n/2\rfloor ^{{\it\varepsilon}}\rceil$ for a symplectic or orthogonal group.
Zhou and Feng [‘On symmetric graphs of valency five’, Discrete Math.310 (2010), 1725–1732] proved that all connected pentavalent 1-transitive Cayley graphs of finite nonabelian simple groups are normal. We construct an example of a nonnormal 2-arc transitive pentavalent symmetric Cayley graph on the alternating group $\text{A}_{39}$. Furthermore, we show that the full automorphism group of this graph is isomorphic to the alternating group $\text{A}_{40}$.
Motivated by a problem of characterising a family of Cayley graphs, we study a class of finite groups $G$ which behave similarly to elementary abelian $p$-groups with $p$ prime, that is, there exists a subgroup $N$ such that all elements of $G\setminus N$ are conjugate or inverse-conjugate under $\mathsf{Aut}(G)$. It is shown that such groups correspond to complete multipartite graphs which are normal edge-transitive Cayley graphs.
Li et al. [‘On finite self-complementary metacirculants’, J. Algebraic Combin.40 (2014), 1135–1144] proved that the automorphism group of a self-complementary metacirculant is either soluble or has $\text{A}_{5}$ as the only insoluble composition factor, and gave a construction of such graphs with insoluble automorphism groups (which are the first examples of self-complementary graphs with this property). In this paper, we will prove that each simple group is a subgroup (so is a section) of the automorphism groups of infinitely many self-complementary vertex-transitive graphs. The proof involves a construction of such graphs. We will also determine all simple sections of the automorphism groups of self-complementary vertex-transitive graphs of $4$-power-free order.
The work of L. G. (Laci) Kovács (1936–2013) gave us a deeper understanding of permutation groups, especially in the O’Nan–Scott theory of primitive groups. We review his contribution to this field.
Let $X$ be a simple, connected, $p$-valent, $G$-arc-transitive graph, where the subgroup $G\leq \text{Aut}(X)$ is solvable and $p\geq 3$ is a prime. We prove that $X$ is a regular cover over one of the three possible types of graphs with semi-edges. This enables short proofs of the facts that $G$ is at most 3-arc-transitive on $X$ and that its edge kernel is trivial. For pentavalent graphs, two further applications are given: all $G$-basic pentavalent graphs admitting a solvable arc-transitive group are constructed and an example of a non-Cayley graph of this kind is presented.
We present a computer algebra package based onMagma for performing computations in rational Cherednik algebras with arbitrary parameters and in Verma modules for restricted rational Cherednik algebras. Part of this package is a new general Las Vegas algorithm for computing the head and the constituents of a module with simple head in characteristic zero, which we develop here theoretically. This algorithm is very successful when applied to Verma modules for restricted rational Cherednik algebras and it allows us to answer several questions posed by Gordon in some specific cases. We can determine the decomposition matrices of the Verma modules, the graded $G$-module structure of the simple modules, and the Calogero–Moser families of the generic restricted rational Cherednik algebra for around half of the exceptional complex reflection groups. In this way we can also confirm Martino’s conjecture for several exceptional complex reflection groups.
In this paper, we combine group-theoretic and combinatorial techniques to study $\wedge$-transitive digraphs admitting a cartesian decomposition of their vertex set. In particular, our approach uncovers a new family of digraphs that may be of considerable interest.
Catino and Rizzo [‘Regular subgroups of the affine group and radical circle algebras’, Bull. Aust. Math. Soc.79 (2009), 103–107] established a link between regular subgroups of the affine group and the radical brace over a field on the underlying vector space. We propose new constructions of radical braces that allow us to obtain systematic constructions of regular subgroups of the affine group. In particular, this approach allows to put in a more general context the regular subgroups constructed in Tamburini Bellani [‘Some remarks on regular subgroups of the affine group’ Int. J. Group Theory, 1 (2012), 17–23].