Higher Regularity, Inverse and Polyadic Semigroups
We generalize the regularity concept for semigroups in two ways simultaneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several inverses. The higher idempotents are introduc...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2021-10-01
|
| Series: | Universe |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2218-1997/7/10/379 |
| _version_ | 1797513079039197184 |
|---|---|
| author | Steven Duplij |
| author_facet | Steven Duplij |
| author_sort | Steven Duplij |
| collection | DOAJ |
| description | We generalize the regularity concept for semigroups in two ways simultaneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several inverses. The higher idempotents are introduced, and their commutation leads to unique inverses in the multi-relational formulation, and then further to the higher inverse semigroups. For polyadic semigroups we introduce several types of higher regularity which satisfy the arity invariance principle as introduced: the expressions should not depend of the numerical arity values, which allows us to provide natural and correct binary limits. In the first definition no idempotents can be defined, analogously to the binary semigroups, and therefore the uniqueness of inverses can be governed by shifts. In the second definition called sandwich higher regularity, we are able to introduce the higher polyadic idempotents, but their commutation does not provide uniqueness of inverses, because of the middle terms in the higher polyadic regularity conditions. Finally, we introduce the sandwich higher polyadic regularity with generalized idempotents. |
| first_indexed | 2024-03-10T06:09:39Z |
| format | Article |
| id | doaj.art-9f2f83e8e7a342c0827fc6c105cdf35f |
| institution | Directory Open Access Journal |
| issn | 2218-1997 |
| language | English |
| last_indexed | 2024-03-10T06:09:39Z |
| publishDate | 2021-10-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Universe |
| spelling | doaj.art-9f2f83e8e7a342c0827fc6c105cdf35f2023-11-22T20:14:09ZengMDPI AGUniverse2218-19972021-10-0171037910.3390/universe7100379Higher Regularity, Inverse and Polyadic SemigroupsSteven Duplij0Center for Information Technology (WWU IT), Universität Münster, Röntgenstrasse 7-13, 48149 Münster, GermanyWe generalize the regularity concept for semigroups in two ways simultaneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several inverses. The higher idempotents are introduced, and their commutation leads to unique inverses in the multi-relational formulation, and then further to the higher inverse semigroups. For polyadic semigroups we introduce several types of higher regularity which satisfy the arity invariance principle as introduced: the expressions should not depend of the numerical arity values, which allows us to provide natural and correct binary limits. In the first definition no idempotents can be defined, analogously to the binary semigroups, and therefore the uniqueness of inverses can be governed by shifts. In the second definition called sandwich higher regularity, we are able to introduce the higher polyadic idempotents, but their commutation does not provide uniqueness of inverses, because of the middle terms in the higher polyadic regularity conditions. Finally, we introduce the sandwich higher polyadic regularity with generalized idempotents.https://www.mdpi.com/2218-1997/7/10/379regular semigroupinverse semigrouppolyadic semigroupidempotentneutral element |
| spellingShingle | Steven Duplij Higher Regularity, Inverse and Polyadic Semigroups Universe regular semigroup inverse semigroup polyadic semigroup idempotent neutral element |
| title | Higher Regularity, Inverse and Polyadic Semigroups |
| title_full | Higher Regularity, Inverse and Polyadic Semigroups |
| title_fullStr | Higher Regularity, Inverse and Polyadic Semigroups |
| title_full_unstemmed | Higher Regularity, Inverse and Polyadic Semigroups |
| title_short | Higher Regularity, Inverse and Polyadic Semigroups |
| title_sort | higher regularity inverse and polyadic semigroups |
| topic | regular semigroup inverse semigroup polyadic semigroup idempotent neutral element |
| url | https://www.mdpi.com/2218-1997/7/10/379 |
| work_keys_str_mv | AT stevenduplij higherregularityinverseandpolyadicsemigroups |