Groups generated by derangements
Abstract
We examine the subgroup D(G) of a transitive permutation group G which is generated by the derangements in G. Our main results bound the index of this subgroup: we conjecture that, if G has degree n and is not a Frobenius group, then |G:D(G)|≤ √n-1; we prove this except when G is a primitive affine group. For affine groups, we translate our conjecture into an equivalent form regarding |H:R(H)|, where H is a linear group on a finite vector space and R(H) is the subgroup of H generated by elements having eigenvalue 1. If G is a Frobenius group, then D(G) is the Frobenius kernel, and so G/D(G) is isomorphic to a Frobenius complement. We give some examples where D(G) ≠ G, and examine the group-theoretic structure of G/D(G); in particular, we construct groups G in which G/D(G) is not a Frobenius complement.
Citation
Bailey , R A , Cameron , P J , Giudici , M & Royle , G F 2021 , ' Groups generated by derangements ' , Journal of Algebra , vol. 572 , pp. 245-262 . https://doi.org/10.1016/j.jalgebra.2020.12.020
Publication
Journal of Algebra
Status
Peer reviewed
ISSN
0021-8693Type
Journal article
Rights
Copyright © 2020 Elsevier Inc. All rights reserved. This work has been made available online in accordance with publisher policies or with permission. Permission for further reuse of this content should be sought from the publisher or the rights holder. This is the author created accepted manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at https://doi.org/10.1016/j.jalgebra.2020.12.020.
Description
Funding: the research of the last two authors is supported by the Australian Research Council Discovery Project DP200101951. This work was supported by EPSRC grant no EP/R014604/1. In addition, the second author was supported by a Simons Fellowship.Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.