Reflection-closed varieties of multisorted algebras and minor identities

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

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

OriginalspracheDeutsch
FachzeitschriftAlgebra universalis
Jahrgang79
Ausgabenummer3
PublikationsstatusVeröffentlicht - 1 Sept. 2018
Peer-Review-StatusJa

Externe IDs

Scopus 85052201593

Schlagworte

Schlagwörter

  • Identities, Multisorted algebras, Reflections, Varieties