The order of hypersubstitutions of type \((2,1)\) (Q554820): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
Summary: Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to \(M\)-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an \(M\)-hyperidentity for a subset \(M\) of the set of all hypersubstitutions, the variety is called \(M\)-solid. There is a Galois connection between monoids of hypersubstitutions and sublattices of the lattice of all varieties of algebras of a given type. Therefore, it is interesting and useful to know how semigroup or monoid properties of monoids of hypersubstitutions transfer under this Galois connection to properties of the corresponding lattices of \(M\)-solid varieties. In this paper, we study the order of each hypersubstitution of type \((2,1)\), that is, the order of the cyclic subsemigroup of the monoid of all hypersubstitutions of type \((2,1)\) generated by that hypersubstitution. | |||
| Property / review text: Summary: Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to \(M\)-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an \(M\)-hyperidentity for a subset \(M\) of the set of all hypersubstitutions, the variety is called \(M\)-solid. There is a Galois connection between monoids of hypersubstitutions and sublattices of the lattice of all varieties of algebras of a given type. Therefore, it is interesting and useful to know how semigroup or monoid properties of monoids of hypersubstitutions transfer under this Galois connection to properties of the corresponding lattices of \(M\)-solid varieties. In this paper, we study the order of each hypersubstitution of type \((2,1)\), that is, the order of the cyclic subsemigroup of the monoid of all hypersubstitutions of type \((2,1)\) generated by that hypersubstitution. / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 08B15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 06A15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 08A40 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5930214 / rank | |||
Normal rank | |||
Revision as of 13:27, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The order of hypersubstitutions of type \((2,1)\) |
scientific article |
Statements
The order of hypersubstitutions of type \((2,1)\) (English)
0 references
22 July 2011
0 references
Summary: Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to \(M\)-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an \(M\)-hyperidentity for a subset \(M\) of the set of all hypersubstitutions, the variety is called \(M\)-solid. There is a Galois connection between monoids of hypersubstitutions and sublattices of the lattice of all varieties of algebras of a given type. Therefore, it is interesting and useful to know how semigroup or monoid properties of monoids of hypersubstitutions transfer under this Galois connection to properties of the corresponding lattices of \(M\)-solid varieties. In this paper, we study the order of each hypersubstitution of type \((2,1)\), that is, the order of the cyclic subsemigroup of the monoid of all hypersubstitutions of type \((2,1)\) generated by that hypersubstitution.
0 references
