2022/07/11 by Tobias Moede, Moede, Tobias, Matthias Neumann-Brosig +1
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #16Wxx #16Zxx #20-08 #20Fxx #Algebra over a field #Algebraic number #Arithmetic #Artificial intelligence #Associative property #Class (philosophy) #Computer science #DNA and Biological Computing #Decidability #Discrete mathematics #FOS: Mathematics #Finite Group Theory Research #Group (periodic table) #Group Theory (math.GR) #Mathematics #Nilpotent #Nilpotent group #Pure mathematics #Rings and Algebras (math.RA) #Undecidable problem #Word (group theory) #Word problem (mathematics education) #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2207.04704
openalex publication_date 2022/07/11 · openalex created_date 2022/07/13 · openalex updated_date 2026/08/05
The word problem is an old and central problem in (computational) group theory. It is well-known that the word problem is undecidable in general, but decidable for specific types of presentations. Consistent polycyclic presentations are an important class of group presentations with solvable word problem. These presentations play a fundamental role in the algorithmic theory of polycyclic groups. Problems analogous to the word problem arise when computing with other algebraic structures. Various aspects of this topic are considered in the literature. The aim of this paper is to provide a general approach to the topic including polycyclic groups and nilpotent associative algebras as examples.