Algebraic and arithmetic properties of the cogrowth sequence of nilpotent groups

arXiv2210.09419MaRDI QIDQ6414243FDOQ6414243

Authors: Igor Pak, David M. Soukup 

Publication date: 17 October 2022

Abstract: We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m,BbbZ)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function.

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nilpotent groups (20F18) Decidability (number-theoretic aspects) (11U05)

This page was built for publication: Algebraic and arithmetic properties of the cogrowth sequence of nilpotent groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6414243)