Profinite semigroups, varieties, expansions and the structure of relatively free profinite semigroups. (English) Zbl 1026.20057
Summary: Building on the now generally accepted thesis that profinite semigroups are important to the study of finite semigroups, this paper proposes to apply various of the techniques, already used in studying algebraic semigroups, to profinite semigroups. The goal in mind is to understand free profinite semigroups on a finite set. To do this we define profinite varieties. We then introduce expansions of profinite semigroups, giving examples of several classes of such expansions. These expansions will then be useful in studying various structural properties of relatively free profinite semigroups, since these semigroups will be fixed points of certain expansions. This study also requires a look at profinite categories, semigroupoids, and Cayley graphs, all of which we handle in turn.
We also study the structure of the minimal ideal of relatively free profinite semigroups showing, in particular, that the minimal ideal of the free profinite semigroup on a finite set with more than two generators is not a relatively free profinite completely simple semigroup, as well as some generalizations to related pseudovarieties.
We also study the structure of the minimal ideal of relatively free profinite semigroups showing, in particular, that the minimal ideal of the free profinite semigroup on a finite set with more than two generators is not a relatively free profinite completely simple semigroup, as well as some generalizations to related pseudovarieties.
MSC:
| 20M35 | Semigroups in automata theory, linguistics, etc. |
| 20M07 | Varieties and pseudovarieties of semigroups |
| 20E18 | Limits, profinite groups |
| 20M05 | Free semigroups, generators and relations, word problems |
Keywords:
finite semigroups; relatively free profinite semigroups; profinite varieties; expansions of profinite semigroups; minimal ideals; pseudovarietiesReferences:
| [1] | DOI: 10.1142/S021819679600009X · Zbl 0858.20052 · doi:10.1142/S021819679600009X |
| [2] | DOI: 10.1142/S0218196799000163 · Zbl 1028.20038 · doi:10.1142/S0218196799000163 |
| [3] | Almeida J., Int. J. Algebra Comput. 9 pp 90– (1999) |
| [4] | DOI: 10.1112/S0024611500012144 · Zbl 1027.20033 · doi:10.1112/S0024611500012144 |
| [5] | Almeida J., VUZ) 39 pp 1– (1995) |
| [6] | Almeida J., Kluwer Publ. 466 pp 73– (1995) |
| [7] | DOI: 10.1142/S0218196797000289 · doi:10.1142/S0218196797000289 |
| [8] | DOI: 10.1016/S0022-4049(96)00083-7 · Zbl 0891.20037 · doi:10.1016/S0022-4049(96)00083-7 |
| [9] | DOI: 10.1142/S0218196791000079 · Zbl 0722.20039 · doi:10.1142/S0218196791000079 |
| [10] | DOI: 10.1016/0022-4049(84)90056-2 · Zbl 0547.20055 · doi:10.1016/0022-4049(84)90056-2 |
| [11] | DOI: 10.1016/0022-4049(84)90092-6 · Zbl 0546.20055 · doi:10.1016/0022-4049(84)90092-6 |
| [12] | DOI: 10.1016/S0022-4049(97)00172-2 · Zbl 0936.20046 · doi:10.1016/S0022-4049(97)00172-2 |
| [13] | DOI: 10.1016/0022-4049(78)90019-1 · Zbl 0428.20018 · doi:10.1016/0022-4049(78)90019-1 |
| [14] | DOI: 10.1142/S0218196791000298 · Zbl 0791.20079 · doi:10.1142/S0218196791000298 |
| [15] | DOI: 10.1016/0022-4049(95)00074-7 · Zbl 0852.18005 · doi:10.1016/0022-4049(95)00074-7 |
| [16] | DOI: 10.1006/jabr.1996.0192 · Zbl 0857.20040 · doi:10.1006/jabr.1996.0192 |
| [17] | DOI: 10.1007/BF02483902 · Zbl 0484.08007 · doi:10.1007/BF02483902 |
| [18] | DOI: 10.1016/0021-8693(86)90070-0 · Zbl 0626.20050 · doi:10.1016/0021-8693(86)90070-0 |
| [19] | DOI: 10.1016/0022-4049(89)90139-4 · Zbl 0684.20055 · doi:10.1016/0022-4049(89)90139-4 |
| [20] | DOI: 10.1142/S021819679400004X · Zbl 0839.20041 · doi:10.1142/S021819679400004X |
| [21] | DOI: 10.1142/S0218196791000195 · Zbl 0725.20043 · doi:10.1142/S0218196791000195 |
| [22] | DOI: 10.1142/S0218196798000119 · Zbl 0942.20041 · doi:10.1142/S0218196798000119 |
| [23] | DOI: 10.1016/S0022-4049(98)00126-1 · Zbl 0942.18001 · doi:10.1016/S0022-4049(98)00126-1 |
| [24] | DOI: 10.1016/0022-4049(87)90108-3 · Zbl 0627.20031 · doi:10.1016/0022-4049(87)90108-3 |
| [25] | Tilson B., World Scientific pp 31– (1991) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
