Reflection-closed varieties of multisorted algebras and minor identities

Research output: Contribution to journalResearch articleContributedpeer-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 languageGerman
JournalAlgebra universalis
Volume79
Issue number3
Publication statusPublished - 1 Sept 2018
Peer-reviewedYes

External IDs

Scopus 85052201593

Keywords

Keywords

  • Identities, Multisorted algebras, Reflections, Varieties