Essential variables in hypersubstitutions.
type: Item
instance of: scholarly article
title: Essential variables in hypersubstitutions.
zbMATH Open document ID: 1058.08004
DOI: 10.1007/PL00000353
published in: Algebra Universalis
publication date: 2005-04-19T00:00:00Z
review text: Given a type \(\tau = (n_i)_{i\in I}\), a hypersubstitution is a mapping \(\sigma \) which assigns to every \(n_i\)-ary operation symbol \(f_i\) an \(n_i\)-ary term \(\sigma (f_i)\). Such a mapping can be inductively extended to the set of all terms of type \(\tau \). Let \(\mathcal V\) be a variety of type \(\tau \) and \(\sigma _t:f \to t\) be a hypersubstitution. The variable \(x_i\) is called essential in \(\sigma _t\) if \(x_i\) is essential in the term \(t\) with respect to \(\mathcal V\). Let \({\mathcal M_i}({\mathcal V})\) be the set of all hypersubstitutions \(\sigma _t\) such that \(x_i\) is essential in \(\sigma _t\). Consider a variety \(\mathcal V\) of type \((n)\). The authors give a complete answer whether \({\mathcal M_i}({\mathcal V})\) forms a monoid. This is important since to every monoid of hypersubstitutions there corresponds a complete sublattice of the lattice of subvarieties. For varieties of semigroups they characterize both \({\mathcal M_1}({\mathcal V})\) and \({\mathcal M_2}({\mathcal V})\).
reviewed by: Ivan Chajda
Mathematics Subject Classification ID: 08A62
Mathematics Subject Classification ID: 08B15
Mathematics Subject Classification ID: 20M07
zbMATH DE Number: 2158753
zbMATH Keywords: essential variable
zbMATH Keywords: monoid of hypersubstitutions
author: Klaus Denecke
author: Jörg Koppitz
MaRDI profile type: Publication
full work available at URL: pl00000353
OpenAlex ID: W2020196754
description: scientific article; zbMATH DE number 2158753