Abstract
AbstractThe first main result of the paper is a criterion for a partially commutative group 𝔾 to be a domain. It allows us to reduce the study of algebraic sets over 𝔾 to the study of irreducible algebraic sets, and reduce the elementary theory of 𝔾 (of a coordinate group over 𝔾) to the elementary theories of the direct factors of 𝔾 (to the elementary theory of coordinate groups of irreducible algebraic sets).Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group ℍ. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of ℍ has quantifier elimination and that arbitrary first-order formulas lift from ℍ to ℍ * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
