Showing 1–23 of 23 results for author: Eick, B

Torsion-free nilpotent groups of small Hirsch length with isomorphic finite quotients

Authors: Alexander Cant, Bettina Eick

Abstract: Let $\mathcal{T}$ denote the class of finitely generated torsion-free nilpotent groups. For a group $G$ let $F(G)$ be the set of isomorphism classes of finite quotients of $G$. Pickel proved that if $G \in \mathcal{T}$, then the set $\mathfrak{g}(G)$ of isomorphism classes of groups $H \in \mathcal{T}$ with $F(G)=F(H)$ is finite. We give an explicit description of the sets $\mathfrak{g}(G)$ for th… ▽ More Let $\mathcal{T}$ denote the class of finitely generated torsion-free nilpotent groups. For a group $G$ let $F(G)$ be the set of isomorphism classes of finite quotients of $G$. Pickel proved that if $G \in \mathcal{T}$, then the set $\mathfrak{g}(G)$ of isomorphism classes of groups $H \in \mathcal{T}$ with $F(G)=F(H)$ is finite. We give an explicit description of the sets $\mathfrak{g}(G)$ for the $\mathcal{T}$-groups $G$ of Hirsch length at most $5$. Based on this, we show that for each Hirsch length $n\geq 4$ and for each $m \in \mathbb{N}$ there is a $\mathcal{T}$-group $G$ of Hirsch length $n$ with $\vert\mathfrak{g}(G)\vert\geq m$. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Comments: 14 pages, preprint version of an accepted article to be published in the Journal of Algebra

The origins of Coclass Theory

Authors: Heiko Dietrich, Bettina Eick

Abstract: In 1980, Leedham-Green and Newman introduced the invariant coclass to the theory of groups of prime-power order and they proposed five far-reaching conjectures related to it. Their work has initiated a deep and fruitful research project in group theory that is still ongoing today. We outline the main results of this celebrated article, we describe the history leading to it, and we survey some high… ▽ More In 1980, Leedham-Green and Newman introduced the invariant coclass to the theory of groups of prime-power order and they proposed five far-reaching conjectures related to it. Their work has initiated a deep and fruitful research project in group theory that is still ongoing today. We outline the main results of this celebrated article, we describe the history leading to it, and we survey some highlights of work inspired by these results. △ Less

Submitted 9 May, 2023; originally announced May 2023.

MSC Class: 20D15

Computing subalgebras and $\mathbb{Z}_2$-gradings of simple Lie algebras over finite fields

Authors: Bettina Eick, Tobias Moede

Abstract: This paper introduces two new algorithms for Lie algebras over finite fields and applies them to the investigate the known simple Lie algebras of dimension at most $20$ over the field $\mathbb{F}_2$ with two elements. The first algorithm is a new approach towards the construction of $\mathbb{Z}_2$-gradings of a Lie algebra over a finite field of characteristic $2$. Using this, we observe that each… ▽ More This paper introduces two new algorithms for Lie algebras over finite fields and applies them to the investigate the known simple Lie algebras of dimension at most $20$ over the field $\mathbb{F}_2$ with two elements. The first algorithm is a new approach towards the construction of $\mathbb{Z}_2$-gradings of a Lie algebra over a finite field of characteristic $2$. Using this, we observe that each of the known simple Lie algebras of dimension at most $20$ over $\mathbb{F}_2$ has a $\mathbb{Z}_2$-grading and we determine the associated simple Lie superalgebras. The second algorithm allows us to compute all subalgebras of a Lie algebra over a finite field. We apply this to compute the subalgebras, the maximal subalgebras and the simple subquotients of the known simple Lie algebras of dimension at most $16$ over $\mathbb{F}_2$ (with the exception of the $15$-dimensional Zassenhaus algebra). △ Less

Submitted 27 October, 2022; v1 submitted 6 May, 2022; originally announced May 2022.

MSC Class: 17B05; 17B50; 17B70; 17-08

Journal ref: Communications in Mathematics, Volume 30 (2022), Issue 2 (Special Issue: CIMPA School "Nonassociative Algebras and Its Applications", Madagascar 2021) (October 28, 2022) cm:10193

Galois trees in the graph of $p$-groups of maximal class

Authors: Alexander Cant, Heiko Dietrich, Bettina Eick, Tobias Moede

Abstract: The investigation of the graph $\mathcal{G}_p$ associated with the finite $p$-groups of maximal class was initiated by Blackburn (1958) and became a deep and interesting research topic since then. Leedham-Green and McKay (1976-1984) introduced skeletons of $\mathcal{G}_p$, described their importance for the structural investigation of $\mathcal{G}_p$ and exhibited their relation to algebraic numbe… ▽ More The investigation of the graph $\mathcal{G}_p$ associated with the finite $p$-groups of maximal class was initiated by Blackburn (1958) and became a deep and interesting research topic since then. Leedham-Green and McKay (1976-1984) introduced skeletons of $\mathcal{G}_p$, described their importance for the structural investigation of $\mathcal{G}_p$ and exhibited their relation to algebraic number theory. Here we go one step further: we partition the skeletons into so-called Galois trees and study their general shape. In the special case $p \geq 7$ and $p \equiv 5 \bmod 6$, we show that they have a significant impact on the periodic patterns of $\mathcal{G}_p$ conjectured by Eick, Leedham-Green, Newman and O'Brien (2013). In particular, we use Galois trees to prove a conjecture by Dietrich (2010) on these periodic patterns. △ Less

Submitted 20 September, 2021; originally announced September 2021.

MSC Class: 20D15

Computing the order and the index of a subgroup in a polycyclic group

Authors: Bettina Eick

Abstract: This contains a new version of the so-called non-commutative Gauss algorithm for polycyclic groups. Its results allow to read off the order and the index of a subgroup in an (possibly infinite) polycyclic group. This contains a new version of the so-called non-commutative Gauss algorithm for polycyclic groups. Its results allow to read off the order and the index of a subgroup in an (possibly infinite) polycyclic group. △ Less

Submitted 8 February, 2021; originally announced February 2021.

Groups whose orders factorise into at most four primes

Authors: Heiko Dietrich, Bettina Eick, Xueyu Pan

Abstract: The groups whose orders factorise into at most four primes have been described (up to isomorphism) in various papers. Given such an order n, this paper exhibits a new explicit and compact determination of the isomorphism types of the groups of order n together with effective algorithms to enumerate, construct, and identify these groups. The algorithms are implemented for the computer algebra syste… ▽ More The groups whose orders factorise into at most four primes have been described (up to isomorphism) in various papers. Given such an order n, this paper exhibits a new explicit and compact determination of the isomorphism types of the groups of order n together with effective algorithms to enumerate, construct, and identify these groups. The algorithms are implemented for the computer algebra system GAP. △ Less

Submitted 21 February, 2022; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: This version corrects two minor typos in Table 4

Journal ref: J. Symb. Comp. 108, 23-40 (2022)

The conjugacy problem in $GL(n,Z)$

Authors: Bettina Eick, Tommy Hofmann, E. A. O'Brien

Abstract: We present a new algorithm that, given two matrices in $GL(n,Q)$, decides if they are conjugate in $GL(n,Z)$ and, if so, determines a conjugating matrix. We also give an algorithm to construct a generating set for the centraliser in $GL(n,Z)$ of a matrix in $GL(n,Q)$. We do this by reducing these problems respectively to the isomorphism and automorphism group problems for certain modules over ring… ▽ More We present a new algorithm that, given two matrices in $GL(n,Q)$, decides if they are conjugate in $GL(n,Z)$ and, if so, determines a conjugating matrix. We also give an algorithm to construct a generating set for the centraliser in $GL(n,Z)$ of a matrix in $GL(n,Q)$. We do this by reducing these problems respectively to the isomorphism and automorphism group problems for certain modules over rings of the form $\mathcal O_K[y]/(y^l)$, where $\mathcal O_K$ is the maximal order of an algebraic number field and $l \in N$, and then provide algorithms to solve the latter. The algorithms are practical and our implementations are publicly available in Magma. △ Less

Submitted 10 May, 2019; v1 submitted 15 November, 2018; originally announced November 2018.

MSC Class: 20C15; 20G30; 20-04

Symbolic computation of Schur multipliers with an application to the groups of order dividing $p^6$

Authors: Bettina Eick, Taleea Jalaeeyan Ghorbanzadeh

Abstract: We describe an algorithm to compute the Schur multipliers of all nilpotent Lie $p$-rings in the family defined by a symbolic nilpotent Lie $p$-ring. Symbolic nilpotent Lie $p$-rings can be used to describe the isomorphism types of $p$-groups of order $p^n$ for $n \leq 7$ and all primes $p \geq n$. We apply our algorithm to compute the Schur multipliers of all $p$-groups of order dividing $p^6$. We describe an algorithm to compute the Schur multipliers of all nilpotent Lie $p$-rings in the family defined by a symbolic nilpotent Lie $p$-ring. Symbolic nilpotent Lie $p$-rings can be used to describe the isomorphism types of $p$-groups of order $p^n$ for $n \leq 7$ and all primes $p \geq n$. We apply our algorithm to compute the Schur multipliers of all $p$-groups of order dividing $p^6$. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Polynomials describing the multiplication in finitely generated torsion free nilpotent groups

Authors: Alexander Cant, Bettina Eick

Abstract: A famous result of Hall asserts that the multiplication and exponentiation in finitely generated torsion free nilpotent groups can be described by rational polynomials. We describe an algorithm to determine such polynomials for all torsion free nilpotent groups of given Hirsch length. We apply this to determine the Hall polynomials for all such groups of Hirsch length at most 7. A famous result of Hall asserts that the multiplication and exponentiation in finitely generated torsion free nilpotent groups can be described by rational polynomials. We describe an algorithm to determine such polynomials for all torsion free nilpotent groups of given Hirsch length. We apply this to determine the Hall polynomials for all such groups of Hirsch length at most 7. △ Less

Submitted 19 March, 2018; v1 submitted 9 January, 2018; originally announced January 2018.

Enumeration of groups whose order factorises in at most 4 primes

Authors: Bettina Eick

Abstract: Let $N(n)$ denote the number of isomorphism types of groups of order $n$. We consider the integers $n$ that are products of at most $4$ not necessarily distinct primes and exhibit formulas for $N(n)$ for such $n$. Let $N(n)$ denote the number of isomorphism types of groups of order $n$. We consider the integers $n$ that are products of at most $4$ not necessarily distinct primes and exhibit formulas for $N(n)$ for such $n$. △ Less

Submitted 8 February, 2017; originally announced February 2017.

Hall polynomials for the torsion free groups of Hirsch length at most 5

Authors: Bettina Eick, Ann-Kristin Engel

Abstract: A theorem by Hall asserts that the multiplication in torsion free nilpotent groups of finite Hirsch length can be facilitated by polynomials. In this note we exhibit explicit Hall polynomials for the torsion free nilpotent groups of Hirsch length at most 5. A theorem by Hall asserts that the multiplication in torsion free nilpotent groups of finite Hirsch length can be facilitated by polynomials. In this note we exhibit explicit Hall polynomials for the torsion free nilpotent groups of Hirsch length at most 5. △ Less

Submitted 1 September, 2016; v1 submitted 5 May, 2016; originally announced May 2016.

Deciding if a variety forms an algebraic group

Authors: John Abbott, Bettina Eick

Abstract: Let $n$ be a positive integer and let $f_1, \ldots, f_r$ be polynomials in $n^2$ indeterminates over an algebraically closed field $K$. We describe an algorithm to decide if the invertible matrices contained in the variety of $f_1, \ldots, f_r$ form a subgroup of $GL(n,K)$; that is, we show how to decide if the polynomials $f_1, \ldots, f_r$ define a linear algebraic group. Let $n$ be a positive integer and let $f_1, \ldots, f_r$ be polynomials in $n^2$ indeterminates over an algebraically closed field $K$. We describe an algorithm to decide if the invertible matrices contained in the variety of $f_1, \ldots, f_r$ form a subgroup of $GL(n,K)$; that is, we show how to decide if the polynomials $f_1, \ldots, f_r$ define a linear algebraic group. △ Less

Submitted 24 November, 2015; originally announced November 2015.

Comments: 7 pages

MSC Class: 14L10

Graded Lie algebras of Cartan type in characteristic 2

Authors: Tara Brough, Bettina Eick

Abstract: We investigate the graded Lie algebras of Cartan type $W$, $S$ and $H$ in characteristic 2 and determine their simple constituents and some exceptional isomorphisms between them. We also consider the graded Lie algebras of Cartan type $K$ in characteristic 2 and conjecture that their simple constituents are isomorphic to Lie algebras of type $H$. We investigate the graded Lie algebras of Cartan type $W$, $S$ and $H$ in characteristic 2 and determine their simple constituents and some exceptional isomorphisms between them. We also consider the graded Lie algebras of Cartan type $K$ in characteristic 2 and conjecture that their simple constituents are isomorphic to Lie algebras of type $H$. △ Less

Submitted 8 October, 2015; originally announced October 2015.

Comments: 8 pages

MSC Class: 17B50

Cochain sequences and the Quillen category of a coclass family

Authors: Bettina Eick, David J. Green

Abstract: We introduce the concept of an infinite cochain sequence and initiate a theory of homological algebra for them. We show how these sequences simplify and improve the construction of infinite coclass families (as introduced by Eick and Leedham-Green) and how they apply in proving that almost all groups in such a family have equivalent Quillen categories. We also include some examples of infinite fam… ▽ More We introduce the concept of an infinite cochain sequence and initiate a theory of homological algebra for them. We show how these sequences simplify and improve the construction of infinite coclass families (as introduced by Eick and Leedham-Green) and how they apply in proving that almost all groups in such a family have equivalent Quillen categories. We also include some examples of infinite families of p-groups from different coclass families that have equivalent Quillen categories. △ Less

Submitted 7 May, 2015; originally announced May 2015.

MSC Class: 20D15 (Primary); 20J06 (Secondary)

Journal ref: J. Aust. Math. Soc. 102 (2017), 185-204

The isomorphism problem for graded algebras and its application to mod-p cohomology rings of small p-groups

Authors: Bettina Eick, Simon King

Abstract: The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test if two such algebras are graded isomorphic. As application, we determine all graded isomorphisms between the mod-p cohomology rings of all p-groups of order at m… ▽ More The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test if two such algebras are graded isomorphic. As application, we determine all graded isomorphisms between the mod-p cohomology rings of all p-groups of order at most 100. △ Less

Submitted 16 March, 2015; originally announced March 2015.

Comments: 14 pages

MSC Class: 16Z05 (Primary); 20J06 (secondary)

Group extensions with special properties

Authors: Andreas Distler, Bettina Eick

Abstract: Given a group G and a G-module A, we show how to determine up to isomorphism the extensions E of A by G so that A embeds as smallest non-trivial term of the derived series or of the lower central series into E. Given a group G and a G-module A, we show how to determine up to isomorphism the extensions E of A by G so that A embeds as smallest non-trivial term of the derived series or of the lower central series into E. △ Less

Submitted 16 April, 2014; originally announced April 2014.

Comments: 13 pages, 2 figures

MSC Class: 20J06 (Primary) 20E22 (Secondary)

The Quillen category of finite p-groups and coclass theory

Authors: Bettina Eick, David J. Green

Abstract: Coclass theory can be used to define infinite families of finite p-groups of a fixed coclass. It is conjectured that the groups in one of these infinite families all have isomorphic mod-p cohomology rings. Here we prove that almost all groups in one of these infinite families have equivalent Quillen categories. We also show how the Quillen categories of the groups in an infinite family are connect… ▽ More Coclass theory can be used to define infinite families of finite p-groups of a fixed coclass. It is conjectured that the groups in one of these infinite families all have isomorphic mod-p cohomology rings. Here we prove that almost all groups in one of these infinite families have equivalent Quillen categories. We also show how the Quillen categories of the groups in an infinite family are connected to the Quillen category of their associated infinite pro-p-group of finite coclass. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Journal ref: Israel J. Math. 206 (2015), 183-212

The construction of finite solvable groups revisited

Authors: Bettina Eick, Max Horn

Abstract: We describe a new approach towards the systematic construction of finite groups up to isomorphism. This approach yields a practical algorithm for the construction of finite solvable groups up to isomorphism. We report on a GAP implementation of this method for finite solvable groups and exhibit some sample applications. We describe a new approach towards the systematic construction of finite groups up to isomorphism. This approach yields a practical algorithm for the construction of finite solvable groups up to isomorphism. We report on a GAP implementation of this method for finite solvable groups and exhibit some sample applications. △ Less

Submitted 20 September, 2013; v1 submitted 18 June, 2013; originally announced June 2013.

Comments: 24 pages; various minor corrections based on reviewer feedback

MSC Class: 20D10 (Primary) 20D45; 20E22; 20F16 (Secondary)

Journal ref: J. Algebra 408 (2014), 166-182

Coclass theory for nilpotent semigroups via their associated algebras

Authors: Andreas Distler, Bettina Eick

Abstract: Coclass theory has been a highly successful approach towards the investigation and classification of finite nilpotent groups. Here we suggest a similar approach for finite nilpotent semigroups. This differs from the group theory setting in that we additionally use certain algebras associated to the considered semigroups. We propose a series of conjectures on our suggested approach. If these become… ▽ More Coclass theory has been a highly successful approach towards the investigation and classification of finite nilpotent groups. Here we suggest a similar approach for finite nilpotent semigroups. This differs from the group theory setting in that we additionally use certain algebras associated to the considered semigroups. We propose a series of conjectures on our suggested approach. If these become theorems, then this would reduce the classification of nilpotent semigroups of a fixed coclass to a finite calculation. Our conjectures are supported by the classification of nilpotent semigroups of coclass 0 and 1. Computational experiments suggest that the conjectures also hold for the nilpotent semigroups of coclass 2 and 3. △ Less

Submitted 21 August, 2012; originally announced August 2012.

Comments: 13 pages, 2 figures

MSC Class: 20M10 (Primary) 16S99 (Secondary)

Journal ref: J. Algebra 373 (2013) 491-501

Infinite sequences of $p$-groups with fixed coclass

Authors: Bettina Eick, Dörte Feichtenschlager

Abstract: Eick & Leedham-Green sketched a construction for infinite sequences of finite $p$-groups with fixed coclass. These infinite sequences have turned out to be very useful in the theory of finite $p$-groups. We exhibit a detailed description for the construction of the finite sequences and we determine presentations for the infinite sequences for the primes and coclasses $(2,1)$, $(2,2)$ and… ▽ More Eick & Leedham-Green sketched a construction for infinite sequences of finite $p$-groups with fixed coclass. These infinite sequences have turned out to be very useful in the theory of finite $p$-groups. We exhibit a detailed description for the construction of the finite sequences and we determine presentations for the infinite sequences for the primes and coclasses $(2,1)$, $(2,2)$ and $(3,1)$. △ Less

Submitted 4 June, 2010; originally announced June 2010.

Comments: 14 pages, 3 figures

MSC Class: 20D15; 20F05

Computing faithful representations for nilpotent Lie algebras

Authors: Dietrich Burde, Bettina Eick, Willem de Graaf

Abstract: We describe three methods to determine a faithful representation of small dimension for a finite-dimensional nilpotent Lie algebra over an arbitrary field. We apply our methods in finding bounds for the smallest dimension $μみゅー(\Lg)$ of a faithful $\Lg$-module for some nilpotent Lie algebras $\Lg$. In particular, we describe an infinite family of filiform nilpotent Lie algebras $\Lf_n$ of dimension… ▽ More We describe three methods to determine a faithful representation of small dimension for a finite-dimensional nilpotent Lie algebra over an arbitrary field. We apply our methods in finding bounds for the smallest dimension $μみゅー(\Lg)$ of a faithful $\Lg$-module for some nilpotent Lie algebras $\Lg$. In particular, we describe an infinite family of filiform nilpotent Lie algebras $\Lf_n$ of dimension $n$ over $\Q$ and conjecture that $μみゅー(\Lf_n) > n+1$. Experiments with our algorithms suggest that $μみゅー(\Lf_n)$ is polynomial in $n$. △ Less

Submitted 15 July, 2008; originally announced July 2008.

Comments: 14 pages

A nilpotent quotient algorithm for L-presented groups

Authors: Bettina Eick, René Hartung, Laurent Bartholdi

Abstract: The main part of this paper contains a description of a nilpotent quotient algorithm for L-presented groups and a report on applications of its implementation in the computer algebra system GAP. The appendix introduces two new infinite series of L-presented groups. Apart from being of interest in their own right, these new L-presented groups serve as examples for applications of the nilpotent qu… ▽ More The main part of this paper contains a description of a nilpotent quotient algorithm for L-presented groups and a report on applications of its implementation in the computer algebra system GAP. The appendix introduces two new infinite series of L-presented groups. Apart from being of interest in their own right, these new L-presented groups serve as examples for applications of the nilpotent quotient algorithm. △ Less

Submitted 25 June, 2007; v1 submitted 21 June, 2007; originally announced June 2007.

MSC Class: 20F05; 68Q40

Journal ref: Internat. J. Algebra Comput. 18 (2008), no. 8, 1321--1344

Polycyclic groups: A new platform for cryptology?

Authors: Bettina Eick, Delaram Kahrobaei

Abstract: We propose a new cryptosystem based on polycyclic groups. The cryptosystem is based on the fact that the word problem can be solved effectively in polycyclic groups, while the known solutions to the conjugacy problem are far less efficient. We propose a new cryptosystem based on polycyclic groups. The cryptosystem is based on the fact that the word problem can be solved effectively in polycyclic groups, while the known solutions to the conjugacy problem are far less efficient. △ Less

Submitted 3 November, 2004; originally announced November 2004.

Comments: 7 pages. submitted