Superstable quasi-varieties (Q1337356): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Bradd Hart / rank | |||
Property / author | |||
Property / author: Q233862 / rank | |||
Revision as of 06:40, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Superstable quasi-varieties |
scientific article |
Statements
Superstable quasi-varieties (English)
0 references
16 May 1995
0 references
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.
0 references
weak decomposition
0 references
superstable quasi-variety
0 references
affine algebra
0 references
combinatorial algebra
0 references
two-sorted structure
0 references