𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


PSPACE-complete problems for subgroups o
✍ J.-C. Birget; S. Margolis; J. Meakin; P. Weil πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 384 KB

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

On the number of countably compact group
✍ Artur Hideyuki Tomita πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 88 KB

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

Free topological groups on metrizable sp
✍ Vladimir Pestov; Kohzo Yamada πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 107 KB

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

Direct and inverse methods on free vibra
✍ Hai-Ping Lin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 527 KB

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