Reflection-closed varieties of multisorted algebras and minor identities
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
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
Original language | German |
---|---|
Journal | Algebra universalis |
Volume | 79 |
Issue number | 3 |
Publication status | Published - 1 Sept 2018 |
Peer-reviewed | Yes |
External IDs
Scopus | 85052201593 |
---|
Keywords
Keywords
- Identities, Multisorted algebras, Reflections, Varieties