No label defined (Q3979090)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 19601
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 19601 |
Statements
26 June 1992
0 references
hyperidentity
0 references
closure properties
0 references
hyperequational classes
0 references
totally invariant congruences on free algebras
0 references
fully invariant congruences on clone algebras
0 references
hyperequational subvarieties
0 references
varieties generated by two- element algebras
0 references
0.8737409114837646
0 references
[For the entire collection see Zbl 0731.00007.] A hyperidentity for a universal algebra \(A\) is an identity \(t=t'\) holding identically in \(A\) for every choice of term functions of \(A\) to represent the operation symbols appearing in \(t\) and \(t'\). Hyperequational classes are classes of algebras of a fixed type which can be defined by hyperidentities. They are also defined equivalently by closure properties. The main results describe various connections between varieties, hyperequational classes, totally invariant congruences on free algebras and fully invariant congruences on clone algebras. The results are used to determine hyperequational subvarieties of varieties generated by two-element algebras.
0 references
