Reflection-closed varieties of multisorted algebras and minor identities
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Abstract
The notion of reflection is considered in the setting of multisorted algebras. The Galois connection induced by the satisfaction relation between multisorted algebras and minor identities provides a characterization of reflection-closed varieties: a variety of multisorted algebras is reflection-closed if and only if it is definable by minor identities. Minor-equational theories of multisorted algebras are described by explicit closure conditions. It is also observed that nontrivial varieties of multisorted algebras of a non-composable type are reflection-closed.
Details
Originalsprache | Deutsch |
---|---|
Fachzeitschrift | Algebra universalis |
Jahrgang | 79 |
Ausgabenummer | 3 |
Publikationsstatus | Veröffentlicht - 1 Sept. 2018 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85052201593 |
---|
Schlagworte
Schlagwörter
- Identities, Multisorted algebras, Reflections, Varieties