Essential variables in hypersubstitutions. (Q1771884): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:37, 5 March 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