Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-23T10:27:45.608Z Has data issue: false hasContentIssue false

Monoid kernels and profinite topologies on the free Abelian group

Published online by Cambridge University Press:  17 April 2009

Benjamin Steinberg
Affiliation:
Faculdade de Ciênciasda Universidade do Porto4099-002 Porto, Portugal e-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

To each pseudovariety of Abelian groups residually containing the integers, there is naturally associated a profinite topology on any finite rank free Abelian group. We show in this paper that if the pseudovariety in question has a decidable membership problem, then one can effectively compute membership in the closure of a subgroup and, more generally, in the closure of a rational subset of such a free Abelian group. Several applications to monoid kernels and finite monoid theory are discussed.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1999

References

[1]Almeida, J., Finite semigroups and universal algebra (World Scientific, River Edge, NJ, 1994).Google Scholar
[2]Ash, C.J., ‘Inevitable graphs: A proof of the Type II conjecture and some related decision procedures’, Internat. J. Algebra Comput. 1 (1991), 127146.CrossRefGoogle Scholar
[3]Berstel, J., Transductions and context-free languages (Teubner, Stuttgart, 1979).CrossRefGoogle Scholar
[4]Delgado, M., ‘Abelian pointlikes of a monoid’, Semigroup Forum 56 (1998), 339361.CrossRefGoogle Scholar
[5]Freid, M. and Jarden, M., Field arithmetic (Springer-Verlag, Berlin, Heidelberg, New York, 1986).CrossRefGoogle Scholar
[6]Hall, M. Jr, ‘A topology for free groups and related groups’, Ann. of Math. 52 (1950), 127139.CrossRefGoogle Scholar
[7]Henckell, K., Margolis, S., Pin, J.-E. and Rhodes, J., ‘Ash's type II theorem, profinite topology and Malcev products. Part I’, Internat. J. Algebra Comput. 1 (1991), 411436.CrossRefGoogle Scholar
[8]Margolis, S., Sapir, M. and Weil, P., ‘Closed subgroups in pro-V topologies and the extension problem for inverse automata’, (preprint).Google Scholar
[9]Munkres, J.R., Elements of algebraic topology (Addison-Wesley, Menlo Park, CA, 1984).Google Scholar
[10]Ribes, L. and Zalesskĭ, P. A., ‘On the profinite topology on a free group’, Bull. London Math. Soc. 25 (1993), 3743.CrossRefGoogle Scholar
[11]Ribes, L. and Zalesskĭ, P. A., ‘The pro-p topology of a free group and algorithmic problems in semigroups’, Internat. J. Algebra Comput. 4 (1994), 359374.Google Scholar
[12]Steinberg, B., ‘On pointlike sets and joins of pseudovarieties’, Internat. J. Algebra Comput. 8 (1998), 203231.CrossRefGoogle Scholar
[13]Steinberg, B., ‘On algorithmic problems for joins of pseudovarieties’, Semigroup Forum (1999) (to appear).Google Scholar
[14]Steinberg, B., ‘Inevitable graphs and profinite topologies: Some solutions to algorithmic problems in monoid and automata theory stemming from group theory’, Internat. J. Algebra Comput. (1999) (to appear).Google Scholar
[15]Steinberg, B., ‘Finite state automata: A geometric approach’, (Technical Report University of Porto, 1999).Google Scholar
[16]Tilson, B., ‘Categories as algebra: an essential ingredient in the theory of monoids’, J. Pure Appl. Algebra 48 (1987), 83198.CrossRefGoogle Scholar