1986
DOI: 10.1017/s001309150001734x
|View full text |Cite
|
Sign up to set email alerts
|

Local invariance of free topological groups

Abstract: In 1948, M. I. Graev [2] proved that the free topological group on a completely regular Hausdorff space is Hausdorff, by showing that the free group admits a certain locally invariant Hausdorff group topology. It is natural to ask if Graev's locally invariant topology is the free topological group topology. If X has the discrete topology, the answer is clearly in the affirmative. In 1973, Morris-Thompson [6] showed that if X is not totally disconnected then the answer is negative. Nickolas [7] showed that this… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

1989
1989
2005
2005

Publication Types

Select...
2

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 6 publications
(5 reference statements)
0
2
0
Order By: Relevance
“…It is well known that Graev's topology is only equal to the free topology in somewhat pathological cases [9,19,22]. In the abelian case, a parallel construction was also outlined by Graev, and in this case Graev's topology is always the free topology (see [13,11,20]; cf.…”
Section: The Character Of Free Abelian Topological Groupsmentioning
confidence: 99%
“…It is well known that Graev's topology is only equal to the free topology in somewhat pathological cases [9,19,22]. In the abelian case, a parallel construction was also outlined by Graev, and in this case Graev's topology is always the free topology (see [13,11,20]; cf.…”
Section: The Character Of Free Abelian Topological Groupsmentioning
confidence: 99%
“…Graev's proof in [5] of the fact that the free topological group on a Tychonoff space X is Hausdorff proceeds by a construction which extends each continuous pseudometric on X to an invariant pseudometric on the underlying abstract free group F a (X), and an argument which shows that the group topology induced by all the extensions (referred to as Graev's topology) is Hausdorff and weaker than the free topology. It is well known that Graev's topology is only equal to the free topology in somewhat pathological cases [9,19,22]. In the abelian case, a parallel construction was also outlined by Graev, and in this case Graev's topology is always the free topology (see [13,11,20]; cf.…”
Section: The Character Of Free Abelian Topological Groupsmentioning
confidence: 99%