Bounded and well-placed theories in the lattice of equational theories (Q910421): Difference between revisions
From MaRDI portal
Revision as of 14:53, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounded and well-placed theories in the lattice of equational theories |
scientific article |
Statements
Bounded and well-placed theories in the lattice of equational theories (English)
0 references
1989
0 references
Let T be a fully invariant congruence relation on a term algebra \({\mathfrak A}\) of similarity type \(\rho\), i.e. an equational theory of type \(\rho\). The theory T is said to be bounded iff the number of orbits of \({\mathfrak A}/T\) under the (induced) action of Aut(\({\mathfrak A})\) is finite. The class of bounded theories and some of its subclasses, called well-placed, are studied. In particular, it turned out that in the case of a type with only one operation symbol and without constant symbol, the theory T is bounded iff it is an extension of a well-placed theory. Another result of the paper says that if \(\rho\) is the same as above, then, under the additional assumption that T is absorptive, i.e. (x,t)\(\in T\) for some term t which is not a variable, the theory T is bounded iff it is well- placed.
0 references
bounded variety
0 references
absorptive variety
0 references
single algebra
0 references
term algebra
0 references
equational theory
0 references
bounded theories
0 references
well-placed theory
0 references
0 references
0 references