Quasivariety Explained
In mathematics, a quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class.
__TOC__
Definition
A trivial algebra contains just one element. A quasivariety is a class K of algebras with a specified signature satisfying any of the following equivalent conditions:[1]
- K is a pseudoelementary class closed under subalgebras and direct products.
- K is the class of all models of a set of quasi-identities, that is, implications of the form
s1 ≈ t1\land\ldots\landsn ≈ tn → s ≈ t
, where
s,s1,\ldots,sn,t,t1,\ldots,tn
are
terms built up from variables using the operation symbols of the specified signature.
- K contains a trivial algebra and is closed under isomorphisms, subalgebras, and reduced products.
- K contains a trivial algebra and is closed under isomorphisms, subalgebras, direct products, and ultraproducts.
Examples
Every variety is a quasivariety by virtue of an equation being a quasi-identity for which .
The cancellative semigroups form a quasivariety.
Let K be a quasivariety. Then the class of orderable algebras from K forms a quasivariety, since the preservation-of-order axioms are Horn clauses.[2]
Notes and References
- Book: Stanley Burris . H.P. Sankappanavar . A Course in Universal Algebra . Springer-Verlag . 1981 . 0-387-90578-2 . registration.
- Book: Viktor A. Gorbunov. Algebraic Theory of Quasivarieties. Siberian School of Algebra and Logic. Plenum Publishing. 0-306-11063-6. 1998.