Word automatic groups of nilpotency class 2

DOI10.1016/J.IPL.2023.106426MaRDI QIDQ6072210zbMATH OpenFDO

Authors André Nies, Frank Stephan

Publication date 12 October 2023

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2302.12446

zbMATH Keywords

formal languagenilpotent groupword automaticity

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nilpotent groups (20F18)

Abstract: We consider word automaticity for groups that are nilpotent of class $2$ and have exponent a prime $p$. We show that the infinitely generated free group in this variety is not word automatic. In contrast, the infinite extra-special $p$-group $E_p$ is word automatic, as well as an intermediate group $H_p$ which has an infinite centre. In the last section we introduce a method to show automaticity of central extensions of abelian groups via co-cycles.

Recommendations

• From automatic structures to automatic groups.
• Some remarks on the group variety \(N_ 2A\)
• Finitely generated semiautomatic groups
• Words and Almost Nilpotent Varieties of Groups^#
• Finitely generated semiautomatic groups

Cites work

• scientific article; zbMATH DE number 3841819 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 3552503 (Why is no real title available?)
• Abelian groups
• Alternatives for pseudofinite groups.
• Automatic Structures: Richness and Limitations
• Breaking up finite automata presentable torsion-free Abelian groups.
• Complexity and randomness in the Heisenberg groups (and beyond)
• Describing Groups
• FA-presentable groups and rings
• Finite automata presentable Abelian groups
• On a Class of Nilpotent Groups
• STACS 2005
• The additive group of the rationals does not have an automatic presentation
• The isomorphism problem on classes of automatic structures with transitive relations

This page was built for publication: Word automatic groups of nilpotency class 2

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