The Order of Hypersubstitutions of Type (2,1)
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 𝑀-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called soli...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2011-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/2011/615014 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832558137771556864 |
|---|---|
| author | Tawhat Changphas Wonlop Hemvong |
| author_facet | Tawhat Changphas Wonlop Hemvong |
| author_sort | Tawhat Changphas |
| collection | DOAJ |
| description | 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 𝑀-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an 𝑀-hyperidentity for a subset 𝑀 of the set of all hypersubstitutions, the variety is called 𝑀-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 𝑀-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. |
| format | Article |
| id | doaj-art-defe7e20013c4d30b84f12645f60b962 |
| institution | Kabale University |
| issn | 0161-1712 1687-0425 |
| language | English |
| publishDate | 2011-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Mathematics and Mathematical Sciences |
| spelling | doaj-art-defe7e20013c4d30b84f12645f60b9622025-02-03T01:33:17ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252011-01-01201110.1155/2011/615014615014The Order of Hypersubstitutions of Type (2,1)Tawhat Changphas0Wonlop Hemvong1Department of Mathematics, Khon Kaen University, Khon Kaen 40002, ThailandDepartment of Mathematics, Khon Kaen University, Khon Kaen 40002, ThailandHypersubstitutions 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 𝑀-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an 𝑀-hyperidentity for a subset 𝑀 of the set of all hypersubstitutions, the variety is called 𝑀-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 𝑀-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.http://dx.doi.org/10.1155/2011/615014 |
| spellingShingle | Tawhat Changphas Wonlop Hemvong The Order of Hypersubstitutions of Type (2,1) International Journal of Mathematics and Mathematical Sciences |
| title | The Order of Hypersubstitutions of Type (2,1) |
| title_full | The Order of Hypersubstitutions of Type (2,1) |
| title_fullStr | The Order of Hypersubstitutions of Type (2,1) |
| title_full_unstemmed | The Order of Hypersubstitutions of Type (2,1) |
| title_short | The Order of Hypersubstitutions of Type (2,1) |
| title_sort | order of hypersubstitutions of type 2 1 |
| url | http://dx.doi.org/10.1155/2011/615014 |
| work_keys_str_mv | AT tawhatchangphas theorderofhypersubstitutionsoftype21 AT wonlophemvong theorderofhypersubstitutionsoftype21 AT tawhatchangphas orderofhypersubstitutionsoftype21 AT wonlophemvong orderofhypersubstitutionsoftype21 |