1: \begin{abstract}

2: The first main result of the paper is  a criterion for a partially commutative group $\GG$ to be a

3: domain. It allows us to reduce the study of algebraic sets over $\GG$ to the study of irreducible

4: algebraic sets, and reduce the elementary theory of $\GG$ (of a coordinate group over $\GG$) to

5: the elementary theories  of the direct factors of $\GG$ (to the elementary theory of coordinate

6: groups of irreducible algebraic sets).

7: 

8: Then we establish normal forms for quantifier-free formulas over a non-abelian directly

9: indecomposable partially commutative group $\HH$. Analogously to the case of free groups, we

10: introduce the notion of a generalised equation and prove that the positive theory of $\HH$ has

11: quantifier elimination and that arbitrary first-order formulas lift from $\HH$ to $\HH\ast F$,

12: where $F$ is a free group of finite rank. As a consequence, the positive theory of an arbitrary

13: partially commutative group is decidable.

14: \end{abstract}

15: