Sets of hypersubstitutions and set-solid varieties (Q4495673)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1488841
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sets of hypersubstitutions and set-solid varieties |
scientific article; zbMATH DE number 1488841 |
Statements
22 March 2001
0 references
hyperidentity
0 references
hypersubstitution
0 references
\(M\)-solid varieties
0 references
conjugate pairs of additive operators
0 references
0 references
0.9032923
0 references
0.8994678
0 references
0.8933184
0 references
0.8889669
0 references
0 references
0 references
0.88731223
0 references
Sets of hypersubstitutions and set-solid varieties (English)
0 references
An equation \(s=t\) of terms of type \(\tau\) is a hyperidentity in a variety \(V\) of type \(\tau\) iff whenever the operation symbols occurring in \(s\) and \(t\) are replaced by any terms of the appropriate arity, the resulting equation is an identity in \(V\). Associated with this idea are notions of hypersubstitution and hyperidentity. The paper generalizes the concepts of so called \(M\)-hyperidentities and \(M\)-solid varieties from monoids to sets of hypersubstitutions. The theory of conjugate pairs of additive closure operators is generalized to arbitrary conjugate pairs of additive operators. A particular example of a 6-element monoid of hypersubstitutions of type \(\tau= (2)\) is investigated. For the entire collection see [Zbl 0939.00025].
0 references
