The tag has no wiki summary.

learn more… | top users | synonyms

36
votes
6answers
3k views

Does homeomorphic and isomorphic always imply homeomorphically isomorphic?

Let $(G,\cdot,T)$ and $(H,\star,S)$ be topological groups such that $(G,T)$ is homeomorphic to $(H,S)$ and $(G,\cdot)$ is isomorphic to $(H,\star)$. Does it follow that $(G,\cdot,T)$ and ...
29
votes
7answers
3k views

Why are free groups residually finite?

Why is it that every nontrivial word in a free group (it's easy to reduce to the case of, say, two generators) has a nontrivial image in some finite group? Equivalently, why is the natural map from a ...
27
votes
3answers
2k views

morphism from a compact group to Z ?

I wonder if it there exists a topological compact group $G$ (by compact, I mean Hausdorff and quasi-compact) and a non-zero group morphism $\phi : G \to \mathbb{Z}$ (without assuming any topological ...
24
votes
4answers
3k views

Fundamental group as topological group

Background Let $(X,x)$ be a pointed topological space. Then the fundamental group $\pi_1(X,x)$ becomes a topological space: Endow the set of maps $S^1 \to X$ with the compact-open topology, endow the ...
20
votes
0answers
905 views

Do all possible trees arise as orbit trees of some permutation groups?

I.Motivation from descriptive set theory (Contains some quotes from Maciej Malicki's paper.) The classical theorem of Birkhoff-Kakutani implies that every metrizable topological group G admits a ...
18
votes
2answers
785 views

Is every topological (resp. Lie-) group the isometrygroup of a metric space (resp. Riemannian manifold)?

The isometry group of a metric space is a topological group (with the compact open topology). The isometry group of a Riemann Manifold is a Liegroup. (Thm. of Steenrod-Myers) So, is every topological ...
17
votes
0answers
491 views

Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$: $A' = aA$, $B' = bB$. Suppose it is known that ...
16
votes
1answer
719 views

Does ZF prove that topological groups are completely regular?

Let $\mathbf{G} = \langle G,\cdot,\mathcal{T}\;\rangle$ be a topological group. Let $\mathbf{e}$ be the identity element of $\langle G,\cdot \rangle$. Assume $\{\mathbf{e}\}$ is closed in $\langle ...
15
votes
4answers
2k views

Fundamental groups of topological groups.

Let $G$ be a topological group, and $\pi_1(G,e)$ its fundamental group at the identity. If $G$ is the trivial group then $G \cong \pi_1(G,e)$ as abstract groups. My question is: If $G$ is a ...
15
votes
4answers
1k views

Compact open topology on $\mathrm{Homeo}(X)$

Let $X$ and $Y$ be topological spaces. Define the compact open topology on the set $\mathrm{M}(X,Y)$ of contiunous maps from $X$ to $Y$ via the subbase $[K,O]$ of all maps $f:X\rightarrow Y$ s.t. ...
15
votes
1answer
1k views

Which principlal bundles are locally trivial?

If $H$ is a closed subgroup of a topological group $G$, then the orbit map $G\to G/H$ is a principal bundle, yet somewhat surprisingly, it need not be locally trivial. In the wikipedia article on ...
15
votes
1answer
518 views

Is a left topological group which is a manifold a topological group?

Let $G$ be a left topological group, i.e. a topological space with group operation such that left multiplication $L_g : x \mapsto gx$ is continuous (but right multiplication and inversion are not ...
15
votes
1answer
529 views

Is a reductive adelic group a Type I group?

I foresee that to experts of automorphic forms this question will sound unimportant or useless or even not worthy of an answer; but none of these are going to stop me from asking it! The question is ...
15
votes
2answers
775 views

$2$-categorical structure in Grothendieck's Galois Theory

Grothendieck's Galois Theory, as developed in SGA I, V.4, or very gently in Lenstra's notes, establishes an equivalence between profinite groups and Galois categories. We can put this into the ...
15
votes
1answer
376 views

In what topological abelian groups does convergence to zero imply summability?

(This question has been on math.SE for over a week and has not gotten any answers.) Let $G$ be a (T$_0$) topological abelian group, and let $0$ be its identity element. Assume that for all index ...
14
votes
0answers
930 views

What groups are Lie groups?

We know how to tell if a topological group is a Lie group: this was famously asked by Hilbert and answered gloriously by Gleason, Montgomery and Zippin in the 50s (a locally compact topological group ...
14
votes
0answers
487 views

Closed connected additive subgroups of the Hilbert space

It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...
13
votes
3answers
836 views

Countable subgroups of compact groups

What is known about countable subgroups of compact groups? More precisely, what countable groups can be embedded into compact groups (I mean just an injective homomorphism, I don't consider any ...
13
votes
7answers
2k views

Haar measure on a quotient, References for.

I remember reading Weil's "Basic Number Theory" and giving up after a while. Now I find myself thinking of it(thanks to some comments by Ben Linowitz). Right from the very beginning, Weil uses the ...
13
votes
1answer
276 views

Anything between vector bundles and sphere bundles?

There are two extremities: on the "easy end" one has vector bundles which are classified by maps to the (more or less) well understood spaces like Grassmanians; on the "hard end" there are spherical ...
12
votes
2answers
403 views

subsets of groups which have to be closed no matter what

One example of a subset of a group $G$ which has to be closed in any topology on $G$ compatible with the group operations is a centraliser. Are there any other interesting examples?
12
votes
2answers
316 views

If G is a sequential topological group, must G x G be sequential?

Using standard definitions, the topological space $Y$ is sequential if for each nonclosed $A \subset Y$, there exists a convergent sequence $a_{1}$ , $a_{2}$,...$\rightarrow b$ so that $a_{n} \in A$ ...
12
votes
1answer
750 views

Is every compact topological ring a profinite ring?

There are a lot of compact (Hausdorff) groups, whereas every compact field is finite. What about rings? Is there a classification theorem for compact rings? If you take a cofiltered limit of finite ...
12
votes
1answer
964 views

(Closures of sets of) operations in topological groups.

Let $G$ be a topological group. For each $n \in \mathbb{Z}$, consider the continuous functions $f_{n} \colon G \to G : x \mapsto x^{n}$, and set $F := \{f_{n} \mid n \in \mathbb{Z}\}$. Is there a ...
11
votes
4answers
809 views

Which compact groups have finitely many irreducible representations of each dimension?

If my understanding is correct, this is true of sufficiently nice nonabelian Lie groups (see Ben Webster's answer below), and any finite group. On the other hand, this is false for any infinite ...
11
votes
2answers
469 views

Restriction of “$\pi_{1}$” to topological groups

Let $G$ and $H$ be two topological groups. Assume that $\phi:\pi_{1}(G) \to \pi_{1}(H)$ is a group homomorphism. Is there a continuous function $f:G\to H$ such that $f_{*}=\phi$?
11
votes
1answer
1k views

Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$. It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1]. Is $(\mathcal L,\subseteq)$ distributive? $$~$$ [1] ...
11
votes
2answers
378 views

Start with a topological group, take the meet of the two uniformities, and take the topology. Is the result again a topological group? [xpost from math.SE]

And what else can be said, if so? (Original math.SE post) In more detail: Say $(G,\mathscr{T})$ is a topological group. It has a left uniformity $\mathscr{L}$ and a right uniformity $\mathscr{R}$. ...
11
votes
2answers
448 views

rationalization of classifying spaces

This question is probably trivial for anyone who is more familiar with rational homotopy theory than me, but anyway: Let $G$ be a simply-connected topological group. In particular, it is an ...
11
votes
1answer
710 views

Non-isomorphic two-transitive permutation groups with isomorphic point stabilizers

The permutation groups $A = PSL(2,7)$ with its natural action on the projective line $\mathbb{P}^1(\mathbb{F}_7)$ and $B = A\Gamma L(1,8)$ with its natural action on the affine line $\mathbb{F}_8$ ...
11
votes
1answer
832 views

Topological HNN extensions

First, let me recall what an abstract HNN extension is. Let $G$ be an abstract group, $A, B < G$ be subgroups of $G$ and $\phi : A \to B$ be an isomorphisms. Then there is a group $H$ and an ...
10
votes
3answers
858 views

Are measurable homomorphisms $ (\Bbb{C},+) \to (\Bbb{C},+) $ or $ (\Bbb{C},+) \to (\Bbb{C},*) $ continuous, and do they admit an explicit description?

I am interested in generalizations of the following fact (known as automatic continuity, as pointed out below). I am especially looking for references to papers dating back to 1920’s. I feel that ...
10
votes
4answers
914 views

When do isometric actions exist?

Let $X$ be a metrizable topological space and $G$ be a locally compact group. Given a continuous (left) action of $G$ on $X$, is there a metric on $X$, compatible with the topology, for which the ...
10
votes
1answer
433 views

Epimorphisms have dense range in TopHausGrp?

Consider the category of Topological Groups with continuous homomorphisms. Then a continuous homomorphism $f:G\rightarrow H$ with dense range is an epimorphism. Is the converse true? If not, what ...
10
votes
3answers
713 views

How do you recover the structure of the upper half plane from its description as a coset space?

This is maybe a dumb question. $SL_2(\mathbb{R})$ has a natural action on the upper half plane $\mathbb{H}$ which is transitive with stabilizer isomorphic to $SO_2(\mathbb{R})$. For this reason, ...
10
votes
1answer
263 views

Compact Quantum Groups and the Existence of the Classical Haar Measure

Before I state my question, let me provide the definition of a compact quantum group. Definition: An ordered pair $ \mathscr{G} = (\mathscr{A},\Phi) $ is called a compact quantum group if ...
10
votes
0answers
429 views

A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with $$\mathcal ...
9
votes
4answers
1k views

Compact open topology

What is the intuition behind using compact open topology for eg. in the case of Pontryagin dual ?
9
votes
3answers
598 views

To what extent has the Haar measure been generalized?

It is known that all locally compact groups, and therefore compact groups, have a left-invariant Haar measure which is unique up to scalar constant, also a right-invariant one. Is there a strictly ...
9
votes
2answers
545 views

Is there a non-trivial topological group structure of $\mathbb{Z}$?

More specificaly, is there a haussdorf non-discrete topology on $\mathbb{Z}$ that makes it a topological group with the usual addition operation?
9
votes
3answers
993 views

Why is the dual of a torus the same as its fundamental group?

The set of continuous homomorphisms from a torus ${\mathbb T}^n = ({\mathbb R}/{\mathbb Z})^n \to {\mathbb R}/{\mathbb Z}$ can be identified with ${\mathbb Z}^n$ if we assign to each $k = (k_1, \ldots ...
9
votes
0answers
193 views

Is the quotient map of the action of homeomorphisms on embeddings well-behaved?

It is well known that if $M$ and $N$ are smooth manifolds, the diffeomorphisms $Diff(M)$ act continuously on the smooth embeddings $Emb^{C^\infty}(M,N)$ by precomposition, if both are given the ...
9
votes
0answers
152 views

Haar measurable sets and quotient maps

Let $G$ be a locally compact Hausdorff group with a Haar measure $\mu$, let $H$ be a closed normal subgroup of $G$, and let $q: G \to G/H$ be the quotient homomorphism. Let $\nu$ be a Haar measure ...
9
votes
0answers
174 views

Contractible topological groups

Does there exist a Hausdorff topological group which is contractible and of finite covering dimension but which is not homeomorphic to $\mathbb{R}^n$ for some $n$?
8
votes
5answers
2k views

What is a good book on topological groups?

I am looking for a good book on Topological Groups. I have read Pontryagin myself, and I looked some other in the library but they all seem to go in length into some esoteric topics. I would love ...
8
votes
3answers
517 views

Congruence Subgroups as Open Subgroups of the Modular Group Under the Right Topology

It occurred to me that a subgroup of the modular group $\Gamma$ is a congruence subgroup iff it contains a subgroup of the form $\Gamma(N)$, while a subgroup of a general topological group is open iff ...
8
votes
1answer
524 views

index of a closed subgroup of a profinite group

In the book "profinite groups, arithmetic, and geometry" of Shatz, the index $(G:H)$ of a closed subgroup $H$ of a profinite group $G$ is defined to be the supernatural number $lcm\big((G/U):(H/(H\cap ...
8
votes
2answers
238 views

Why is TopGrp the category of topological groups and continous homomorphisms protomodular?

Why is TopGrp the category of topological groups and continous homomorphisms protomodular? I know it is, and I have several indirect proofs, but am not able to prove this directly by showing that the ...
8
votes
2answers
645 views

Group homomorphisms and maps between function spaces

Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded ...
8
votes
0answers
226 views

Which topological spaces are coset spaces of locally compact groups?

What is a topological characterization of the class of spaces that have the form $G/H$ for a locally compact, Hausdorff group $G$ and a closed subgroup $H$ ? Such a space $X=G/H$ necessarily ...