Inverse automata and profinite topologies on a free group
β Scribed by Benjamin Steinberg
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 169 KB
- Volume
- 167
- Category
- Article
- ISSN
- 0022-4049
No coin nor oath required. For personal study only.
β¦ Synopsis
This paper gives an elementary, self-contained proof that a ΓΏnite product of ΓΏnitely generated subgroups of a free group is closed in the proΓΏnite topology. The proof uses inverse automata (graph immersions) and inverse monoid theory. Generalizations are given to other topologies. In particular, we obtain the new result that, for arborescent pseudovarieties, the product of two closed ΓΏnitely generated subgroups is again closed. An application to monoid theory is given.
π SIMILAR VOLUMES
We investigate the complexity of algorithmic problems on ΓΏnitely generated subgroups of free groups. Margolis and Meakin showed how a ΓΏnite monoid Synt(H ) can be canonically and e ectively associated with such a subgroup H . We show that H is pure (that is, closed under radical) if and only if Synt
We show under MA(Ο -centered) the existence of at least (2 Ο ) + non-homeomorphic topological group topologies on the free Abelian group of size 2 Ο which make it countably compact and separable. In particular, under GCH the maximum possible number of such topologies is attained. As a corollary, we
We prove that for a metrizable space X the following are equivalent: (i) the free Abelian topological group A(X) is the inductive limit of the sequence {A n (X): n β N}, where A n (X) is formed by all words of reduced length n; (ii) X is locally compact and the set of all non-isolated points of X is
An analytical transfer matrix method is used to solve the direct and inverse problems of simply supported beams with an open crack. The crack is modeled as a rotational spring with sectional flexibility. By using the Timoshenko beam theory on two separate beams respectively and applying the compatib