Essential variables in hypersubstitutions. (Q1771884): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/pl00000353 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2020196754 / rank | |||
Normal rank |
Latest revision as of 09:37, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Essential variables in hypersubstitutions. |
scientific article |
Statements
Essential variables in hypersubstitutions. (English)
0 references
19 April 2005
0 references
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})\).
0 references
essential variable
0 references
monoid of hypersubstitutions
0 references