Universal equivalence of some countably generated partially commutative structures

Abstract

We study universal theories of partially commutative Lie algebras, partially commutative metabelian Lie algebras, and partially commutative metabelian groups such that their defining graphs are trees with countably many vertices. Also we find universal equivalence criteria for each of these classes of Lie algebras and groups.