Abstract:Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for finitely generated subsemigroups of $G$. Our decidability results also hold when $G$ is an arbitrary finitely generated nilpotent group of class at most ten. This extends earlier work of Babai et al. on commutative matrix groups (SODA'96) and work of Bell et al. on $\mathsf{SL}(2, \mathbb{Z})$ (SODA'17). Furthermore, we formulate a sufficient condition for the generalization of our results to nilpotent groups of class $d > 10$. For every such $d$, we exhibit an effective procedure that verifies this condition in case it is true.

The integer group determinants for the semidihedral group of order 16

The integer group determinants for SmallGroup(16,13)

Integer group determinants of order 16

The integer group determinants for the non-abelian groups of order 18

The integer group determinants for GA(1,p) and related semidirect products

Integer circulant determinants of order 16

Integer group determinants for ${\rm C}_{2}^{2} \rtimes {\rm C}_{4}$

The integer group determinants for the symmetric group of degree four

Minimal Group Determinants For Dicyclic Groups

A necessary and sufficient condition for a prime to be an integer group determinant of certain $p$-groups

Graded Cartan determinants of the symmetric groups

The Identity Problem in nilpotent groups of bounded class

Splendid Morita equivalences for principal blocks with semidihedral defect groups

Essential Dimension of Small Finite Groups

Primitive decompositions of idempotents of the group algebras of dihedral groups and generalized quaternion groups

On the automorphism group of a possible symmetric $(81,16,3)$ design

A note on a Conjecture of Gao and Zhuang for groups of order $27$

A determinant for automorphisms of groups

Group factorisations, uniform automorphisms, and permutation groups of simple diagonal type

Some determinantal representations of derangement numbers and polynomials

Invariants of Wreath Products and Subgroups of S 6