BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Bettina Eick contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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.
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$.
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.
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.
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.
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.
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.
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)$.