English

Varieties defined by linear equations have the amalgamation property

Logic 2024-08-28 v1 Rings and Algebras

Abstract

A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the strong amalgamation property. Suppose further that the language has no constant symbol and, for each equation, either one side is operation-free, or exactly the same variables appear on both sides. Then also the joint embedding property holds. Examples include most varieties defining classical Maltsev conditions. In a few special cases, the above properties are preserved when further unary operations appear in the equations.

Keywords

Cite

@article{arxiv.2105.14316,
  title  = {Varieties defined by linear equations have the amalgamation property},
  author = {Paolo Lipparini},
  journal= {arXiv preprint arXiv:2105.14316},
  year   = {2024}
}

Comments

24 pages

R2 v1 2026-06-24T02:36:14.143Z