Superstable quasi-varieties (Q1337356)

A universal algebra \(A\) is affine if for some ring \(R\) there is a left \(R\)-module \(M\) which is defined on the underlying set of \(A\) so that \(A\) and \(M\) have the same polynomials. \(A\) is combinatorial if for every term \(\tau(\overline{x}, \overline{y})\) and every \(\overline {a}\), \(\overline {b}\), \(\overline{c}\), \(\overline{d}\), \(\overline{e}\), if \(\tau(\overline {a}, \overline {c}) = \tau(\overline {b}, \overline{d})\) then \(\tau(\overline{a}, \overline{e}) = \tau(\overline {b},\overline {e})\). The main result is the following: Every algebra \(A\) in a superstable quasi-variety without DOP weakly decomposes in a product of an affine algebra and a combinatorial algebra, in other words \(A\) is bi- interpretable with a two-sorted structure, where one sort is an affine algebra, the other sort is a combinatorial algebra, and the only non- trivial polynomials between the two sorts are certain actions of the affine sort on the combinatorial sort.