New results on the conjecture of Rhodes and on the topological conjecture. (English) Zbl 0790.20076
Summary: The Conjecture of Rhodes, originally called the ‘type II conjecture’ by Rhodes, gives an algorithm to compute the kernel of a finite semigroup. This conjecture has numerous important consequences and is one of the most attractive problems on finite semigroups. It was known that the conjecture of Rhodes is a consequence of another conjecture on the finite group topology for the free monoid. In this paper, we show that the topological conjecture and the conjecture of Rhodes are both equivalent to a third conjecture and we prove this third conjecture in a number of significant particular cases.
MSC:
| 20M05 | Free semigroups, generators and relations, word problems |
| 20M15 | Mappings of semigroups |
| 20M10 | General structure theory for semigroups |
Keywords:
conjecture of Rhodes; type II conjecture; kernel of a finite semigroup; finite group topology; free monoid; topological conjectureReferences:
| [1] | Ash, C. J., Finite semigroups with commuting idempotents, J. Austral. Math. Soc. Ser. A, 43, 81-90 (1987) · Zbl 0634.20032 |
| [2] | Birget, J. C.; Margolis, S. W.; Rhodes, J., Finite semigroups whose idempotents commute or form a subsemigroup, (Goberstein, S. M.; Higgins, P. M., Semigroups and Their Applications (1987), Reidel: Reidel Dordrecht), 25-35 · Zbl 0622.20052 |
| [3] | Birget, J. C.; Margolis, S. W.; Rhodes, J., Finite semigroups whose idempotents form a subsemigroup, Bull. Austral. Math. Soc., 41, 161-184 (1990) · Zbl 0692.20046 |
| [4] | K. Henckell, S.W. Margolis and J. Rhodes, A characterization of type II construct for finite monoids, Preprint.; K. Henckell, S.W. Margolis and J. Rhodes, A characterization of type II construct for finite monoids, Preprint. |
| [5] | K. Henckell and J. Rhodes, Reduction theorem for type II conjecture for finite monoids, J. Pure Appl. Algebra, to appear.; K. Henckell and J. Rhodes, Reduction theorem for type II conjecture for finite monoids, J. Pure Appl. Algebra, to appear. · Zbl 0729.20026 |
| [6] | K. Henckell and J. Rhodes, Type II conjecture is true for finite \(J\); K. Henckell and J. Rhodes, Type II conjecture is true for finite \(J\) · Zbl 0773.20029 |
| [7] | Margolis, S. W.; Pin, J. E., Varieties of finite monoids and topology for the free monoid, Proceedings of the Marquette Semigroup Conference, 113-130 (1984) · Zbl 0576.20037 |
| [8] | Margolis, S. W.; Pin, J. E., Product of group languages, Proc. FCT Conference, 199, 285-299 (1985), Lecture Notes in Computer Science · Zbl 0602.68063 |
| [9] | Margolis, S. W.; Pin, J. E., Inverse semigroups and varieties of finite semigroups, J. Algebra, 110, 306-323 (1987) · Zbl 0625.20045 |
| [10] | Pin, J. E., Finite group topology and \(p\)-adic topology for free monoids, (Proc. 12th ICALP, 199 (1985), Springer: Springer Berlin), 285-299, Lecture Notes in Computer Science · Zbl 0576.20044 |
| [11] | Pin, J. E., A topological approach to a conjecture of Rhodes, Bull. Austral. Math. Soc., 38, 120-137 (1988) · Zbl 0659.20056 |
| [12] | Pin, J. E., Topologies for the free monoid, J. Algebra, 137, 297-337 (1991) · Zbl 0739.20032 |
| [13] | Pin, J. E., On a conjecture of Rhodes, Semigroup Forum, 39, 1-15 (1989) · Zbl 0673.20034 |
| [14] | Rhodes, J., New techniques in global semigroup theory, (Goberstein, S. M.; Higgins, P. M., Semigroups and Their Applications (1987), Reidel: Reidel Dordrecht), 169-181 · Zbl 0622.20049 |
| [15] | Rhodes, J.; Tilson, B., Improved lower bounds for the complexity of finite semigroups, J. Pure Appl. Algebra, 2, 13-71 (1972) · Zbl 0257.20059 |
| [16] | Tilson, B., Type II redux, (Goberstein, S. M.; Higgins, P. M., Semigroups and Their Applications (1987), Reidel: Reidel Dordrecht), 201-205 · Zbl 0623.20047 |
| [17] | Ash, C. J., Inevitable sequences and a proof of the type II conjecture, (Proceedings of the Monash Conference on Semigroup Theory (1991), World Scientific: World Scientific Singapore), 31-42 · Zbl 1039.20505 |
| [18] | Ash, C. J., Inevitable graphs: A proof of the type II conjecture and some related decision procedures, Internat. J. Algebra Comput., 1, 127-146 (1991) · Zbl 0722.20039 |
| [19] | Henckell, K.; Margolis, S. W.; Pin, J. E.; Rhodes, J., Ash’s type II theorem, profinite topology and Malcev products, Internat. J. Algebra Comput., 1, 411-436 (1991) · Zbl 0791.20079 |
| [20] | Margolis, S. W., Consequences of Ash’s proof of the Rhodes type II conjecture, (Proceedings of the Monash Conference on Semigroup Theory (1991), World Scientific: World Scientific Singapore), 180-205 · Zbl 1038.20504 |
| [21] | J.E. Pin and Ch. Reutenauer, A conjecture on the Hall topology for the free group, Notices London Math. Soc., to appear.; J.E. Pin and Ch. Reutenauer, A conjecture on the Hall topology for the free group, Notices London Math. Soc., to appear. · Zbl 0754.20007 |
| [22] | L. Ribes and P.A. Zaleskii, On the profinite topology on a free group, to appear.; L. Ribes and P.A. Zaleskii, On the profinite topology on a free group, to appear. · Zbl 0811.20026 |
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.
