Showing 1–17 of 17 results for author: Hulpke, A

Arithmetic in Group Extensions

Authors: Alexander Hulpke

Abstract: We describe a generalization of the concept of a pc presentation that applies to groups with a nontrivial solvable radical. Such a representation can be much more efficient in terms of memory use and even of arithmetic, than permuattion and matrix representations. We illustrate the use of such representations by constructing a maximal subgroup of the sporadic monster group and calculating its -- h… ▽ More We describe a generalization of the concept of a pc presentation that applies to groups with a nontrivial solvable radical. Such a representation can be much more efficient in terms of memory use and even of arithmetic, than permuattion and matrix representations. We illustrate the use of such representations by constructing a maximal subgroup of the sporadic monster group and calculating its -- hitherto unknown -- character table. △ Less

Submitted 11 June, 2025; v1 submitted 9 December, 2024; originally announced December 2024.

MSC Class: 20-08; 20D08

Zariski density and computing with $S$-integral groups

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: We generalize our methodology for computing with Zariski dense subgroups of $\mathrm{SL}(n, \mathbb{Z})$ and $\mathrm{Sp}(n, \mathbb{Z})$, to accommodate input dense subgroups $H$ of $\mathrm{SL}(n, \mathbb{Q})$ and $\mathrm{Sp}(n, \mathbb{Q})$. A key task, backgrounded by the Strong Approximation theorem, is computing a minimal congruence overgroup of $H$. Once we have this overgroup, we may desc… ▽ More We generalize our methodology for computing with Zariski dense subgroups of $\mathrm{SL}(n, \mathbb{Z})$ and $\mathrm{Sp}(n, \mathbb{Z})$, to accommodate input dense subgroups $H$ of $\mathrm{SL}(n, \mathbb{Q})$ and $\mathrm{Sp}(n, \mathbb{Q})$. A key task, backgrounded by the Strong Approximation theorem, is computing a minimal congruence overgroup of $H$. Once we have this overgroup, we may describe all congruence quotients of $H$. The case $n=2$ receives particular attention. △ Less

Submitted 10 March, 2023; originally announced March 2023.

MSC Class: 20-04; 20G15; 20H25; 68W30

Freeness and $S$-arithmeticity of rational Möbius groups

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) Möbius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and algorithms to compute a presentation of $\mathrm{SL}(2, R)$ for a localization $R= \mathbb{Z}[\frac{1}{b}]$ of $\mathbb{Z}$. We prove that a Möbius subgroup $G$ is not… ▽ More We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) Möbius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and algorithms to compute a presentation of $\mathrm{SL}(2, R)$ for a localization $R= \mathbb{Z}[\frac{1}{b}]$ of $\mathbb{Z}$. We prove that a Möbius subgroup $G$ is not free by showing that it has finite index in the relevant $\mathrm{SL}(2, R)$. Further information about the structure of $G$ is obtained; for example, we compute the minimal subgroup of finite index in $\mathrm{SL}(2,R)$ that contains $G$. △ Less

Submitted 27 July, 2022; v1 submitted 31 March, 2022; originally announced March 2022.

MSC Class: 20-04; 20G15; 20H25; 68W30

Proving infinite index for a subgroup of matrices

Authors: Alexander Hulpke

Abstract: We show how tools from computational group theory can be used to prove that a subgroup of matrices has infinite index. We show how tools from computational group theory can be used to prove that a subgroup of matrices has infinite index. △ Less

Submitted 31 January, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

The perfect groups of order up to two million

Authors: Alexander Hulpke

Abstract: We enumerate the 15768 perfect groups of order up to $2\cdot 10^6$, up to isomorphism, thus also completing the missing cases in the prior classification. The work supplements the by now well-understood computer classifications of solvable groups, illustrating scope and feasibility of the enumeration process for nonsolvable groups. We enumerate the 15768 perfect groups of order up to $2\cdot 10^6$, up to isomorphism, thus also completing the missing cases in the prior classification. The work supplements the by now well-understood computer classifications of solvable groups, illustrating scope and feasibility of the enumeration process for nonsolvable groups. △ Less

Submitted 6 July, 2021; v1 submitted 21 April, 2021; originally announced April 2021.

MSC Class: 20-08

Calculating Subgroups with GAP

Authors: Alexander Hulpke

Abstract: We survey group-theoretic algorithms for finding (some or all) subgroups of a finite group and discuss the implementation of these algorithms in the computer algebra system GAP We survey group-theoretic algorithms for finding (some or all) subgroups of a finite group and discuss the implementation of these algorithms in the computer algebra system GAP △ Less

Submitted 2 December, 2020; originally announced December 2020.

MSC Class: 20B40

Universal Covers of Finite Groups

Authors: Heiko Dietrich, Alexander Hulpke

Abstract: Motivated by quotient algorithms, such as the well-known $p$-quotient or solvable quotient algorithms, we describe how to compute extensions $\tilde H$ of a finite group $H$ by a direct sum of isomorphic simple $\mathbb{Z}_p H$-modules such that $H$ and $\tilde H$ have the same number of generators. Similar to other quotient algorithms, our description will be via a suitable covering group of $H$.… ▽ More Motivated by quotient algorithms, such as the well-known $p$-quotient or solvable quotient algorithms, we describe how to compute extensions $\tilde H$ of a finite group $H$ by a direct sum of isomorphic simple $\mathbb{Z}_p H$-modules such that $H$ and $\tilde H$ have the same number of generators. Similar to other quotient algorithms, our description will be via a suitable covering group of $H$. Defining this covering group requires a study of the representation module, as introduced by Gaschütz in 1954. Our investigation involves so-called Fox derivatives (coming from free differential calculus) and, as a by-product, we prove that these can be naturally described via a wreath product construction. An important application of our results is that they can be used to compute, for a given epimorphism $G\to H$ and simple $\mathbb{Z}_p H$-module $V$, the largest quotient of $G$ that maps onto $H$ with kernel isomorphic to a direct sum of copies of $V$. For this we also provide a description of how to compute second cohomology groups for the (not necessarily solvable) group $H$, assuming a confluent rewriting system for $H$. To represent the corresponding group extensions on the computer, we introduce a new hybrid format that combines this rewriting system with the polycyclic presentation of the module. △ Less

Submitted 26 October, 2020; v1 submitted 24 October, 2019; originally announced October 2019.

Algorithms for arithmetic groups with the congruence subgroup property

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital… ▽ More We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital to this work. All algorithms have been implemented in GAP. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Journal ref: Journal of Algebra 421 (2015), 234-259

Constructive Membership Tests in Some Infinite Matrix Groups

Authors: Alexander Hulpke

Abstract: We describe algorithms and heuristics that allow us to express arbitrary elements of SLn (Z) and Sp2n (Z) as products of generators in particular "standard" generating sets. For elements obtained experimentally as random products, it produces product expressions whose lengths are competitive with the input lengths. We describe algorithms and heuristics that allow us to express arbitrary elements of SLn (Z) and Sp2n (Z) as products of generators in particular "standard" generating sets. For elements obtained experimentally as random products, it produces product expressions whose lengths are competitive with the input lengths. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: ISSAC 2018

MSC Class: 20G35; 68W05

The strong approximation theorem and computing with linear groups

Authors: Alla Detinko, Dane Flannery, Alexander Hulpke

Abstract: We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$ for $n \geq 2$. More generally, we are able to compute all congruence quotients of a finitely generated Zariski dense subgroup of… ▽ More We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$ for $n \geq 2$. More generally, we are able to compute all congruence quotients of a finitely generated Zariski dense subgroup of $\mathrm{SL}(n, \mathbb{Q})$ for $n > 2$. △ Less

Submitted 7 May, 2019; originally announced May 2019.

MSC Class: 20-04; 20G15; 20H25; 68W30

Experimenting with symplectic hypergeometric monodromy groups

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by extending our previous algorithms for Zariski dense groups, based on the strong approximation and congruence subgroup properties. We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by extending our previous algorithms for Zariski dense groups, based on the strong approximation and congruence subgroup properties. △ Less

Submitted 27 May, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

MSC Class: 20-04; 20G15; 20H25; 68W30

Algorithms for experimenting with Zariski dense subgroups

Authors: Alla Detinko, Dane Flannery, Alexander Hulpke

Abstract: We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if $n=2$ then we compute all congruence images only modulo primes. We propose a separate method that works for all $n$ as long as $H$ contains a known transvection.… ▽ More We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if $n=2$ then we compute all congruence images only modulo primes. We propose a separate method that works for all $n$ as long as $H$ contains a known transvection. The algorithms have been implemented in GAP, enabling computer experiments with important classes of linear groups that have recently emerged. △ Less

Submitted 7 May, 2019; v1 submitted 6 November, 2017; originally announced November 2017.

MSC Class: 20-04; 20G15; 20H25; 68W30

Finding Intermediate Subgroups

Authors: Alexander Hulpke

Abstract: This article describes a practical approach for determining the lattice of subgroups U < V < G between given subgroups U and G, provided the total number of such subgroups is not too large. It builds on existing functionality for element conjugacy, double cosets and maximal subgroups. This article describes a practical approach for determining the lattice of subgroups U < V < G between given subgroups U and G, provided the total number of such subgroups is not too large. It builds on existing functionality for element conjugacy, double cosets and maximal subgroups. △ Less

Submitted 10 November, 2017; v1 submitted 2 June, 2017; originally announced June 2017.

MSC Class: 20B40 (Primary); 20D30; 68W30 (Secondary)

Imprimitive Permutations in Primitive Groups

Authors: J. Araújo, J. P. Araújo, P. J. Cameron, T. Dobson, A. Hulpke, P. Lopes

Abstract: The goal of this paper is to study primitive groups that are contained in the union of maximal (in the symmetric group) imprimitive groups. The study of types of permutations that appear inside primitive groups goes back to the origins of the theory of permutation groups. However, this is another instance of a situation common in mathematics in which a very natural problem turns out to be extremel… ▽ More The goal of this paper is to study primitive groups that are contained in the union of maximal (in the symmetric group) imprimitive groups. The study of types of permutations that appear inside primitive groups goes back to the origins of the theory of permutation groups. However, this is another instance of a situation common in mathematics in which a very natural problem turns out to be extremely difficult. Fortunately, the enormous progresses of the last few decades seem to allow a new momentum on the attack to this problem. In this paper we prove that there are infinite families of primitive groups contained in the union of imprimitive groups and propose a new hierarchy for primitive groups based on that fact. In addition to the previous results and hierarchy, we introduce some algorithms to handle permutations, provide the corresponding GAP implementation, solve some open problems, and propose a large list of open problems. △ Less

Submitted 19 November, 2016; originally announced November 2016.

Zariski Density and Computing in Arithmetic Groups

Authors: Alla Detinko, Dane Flannery, Alexander Hulpke

Abstract: For $n > 2$, let $Γ$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq Γ$. This forms the main component of our methods for computing with such arithmetic groups $H$. More generally, we provide algorithms for computing with Zariski dense groups in $Γ$. We use our GAP implementation o… ▽ More For $n > 2$, let $Γ$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq Γ$. This forms the main component of our methods for computing with such arithmetic groups $H$. More generally, we provide algorithms for computing with Zariski dense groups in $Γ$. We use our GAP implementation of the algorithms to solve problems that have emerged recently for important classes of linear groups. △ Less

Submitted 4 November, 2022; v1 submitted 17 November, 2016; originally announced November 2016.

MSC Class: 20-04; 20G15; 20H25; 68W30

Journal ref: Math. Comp. 87 (2018), 967-986

Connected quandles and transitive groups

Authors: Alexander Hulpke, David Stanovský, Petr Vojtěchovský

Abstract: We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine. We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine. △ Less

Submitted 5 June, 2015; v1 submitted 8 September, 2014; originally announced September 2014.

MSC Class: Primary: 57M27; Secondary: 20N02; 20N05; 20B10

The number of Latin squares of order 11

Authors: Alexander Hulpke, Petteri Kaski, Patric R. J. Östergård

Abstract: Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 14781574551580… ▽ More Constructive and nonconstructive techniques are employed to enumerate Latin squares and related objects. It is established that there are (i) 2036029552582883134196099 main classes of Latin squares of order 11; (ii) 6108088657705958932053657 isomorphism classes of one-factorizations of $K_{11,11}$; (iii) 12216177315369229261482540 isotopy classes of Latin squares of order 11; (iv) 1478157455158044452849321016 isomorphism classes of loops of order 11; and (v) 19464657391668924966791023043937578299025 isomorphism classes of quasigroups of order 11. The enumeration is constructive for the 1151666641 main classes with an autoparatopy group of order at least 3. △ Less

Submitted 8 February, 2010; v1 submitted 18 September, 2009; originally announced September 2009.

Comments: Minor revision; to appear in Mathematics of Computation

MSC Class: 05B15; 05A15; 05C30; 05C70