A topological group is a group endowed with a topology such that the group operation and inversion are continuous maps. They are useful in various areas of mathematics. Every topological vector space is a topological group. Locally compact groups are important in harmonic analysis.

learn more… | top users | synonyms

26
votes
5answers
457 views

Can $S^2$ be turned into a topological group?

I know that $S^1$ and $S^3$ can be turned into topological groups by considering complex multiplication and quaternion multiplication respectively, but I don't know how to prove or disprove that $S^2$ ...
21
votes
1answer
458 views

Shrinking Group Actions

Suppose $H\subset G$ is a subgroup of a topological group $G$, and $Y\subset X$ is a subspace of a topological space $X$. Suppose we are given a continuous group action $\rho : G\times X\rightarrow X$ ...
20
votes
1answer
486 views

Useful sufficient conditions for a topological space to be the underlying space of a topological group?

Here is a question that I have had in my head for a little while and was recently reminded of. Let $X$ be a (nonempty!) topological space. What are useful (or even nontrivial) sufficient ...
19
votes
2answers
1k views

Is every group a Galois group?

It is well-known that any finite group is the Galois group of a Galois extension. This follows from Cayley's theorem (as can be seen in this answer). This (linked) answer led me to the following ...
16
votes
3answers
809 views

Colimit of topological groups (again)

In Direct limit, Martin rightly pointed out that my naive construction (now deleted) of the colimit (direct limit) of topological abelian groups was wrong. He shows how to do it properly (at least the ...
15
votes
1answer
486 views

Given a group $ G $, how many topological/Lie group structures does $ G $ have?

Given any abstract group $ G $, how much is known about which types of topological/Lie group structures it might have? Any abstract group $ G $ will have the structure of a discrete topological group ...
15
votes
1answer
323 views

Can compacts on a real line behave “paradoxically” with respect to unions, intersections, and translation? What about other topological groups?

I have the following question i cannot answer myself. Consider two compacts $A$ and $B$ on the real line $\mathbb R$. Let $A'$ be a translation of $A$ and $B'$ a translation of $B$: $A' = A + a$, ...
14
votes
2answers
634 views

How to show that topological groups are automatically hausdorff?

On page 146, James Munkres' textbook Topology(2ed), Show that $G$(a topological group) is Hausdorff. In fact, show that if $x \neq y$, there is a neighborhood $V$ of $e$ such that $V \cdot x$ and ...
14
votes
1answer
259 views

Is $\operatorname{Homeo}([0,1])$ Weil-Complete?

After learning about uniformities on topological groups, we were given several sources to read. I came across the term "Weil-complete." A topological group is Weil-complete if it is complete with ...
13
votes
2answers
704 views

what are the product and coproduct in the category of topological groups

I know the limits in the categories of groups, abelian groups and topological spaces and was wondering about the same thing.
13
votes
1answer
181 views

What's so cool about local compactness?

As I study more algebraic number theory, I hear more and more often about local compactness: locally compact fields, locally compact topological groups, Stone-Čech compactification of locally compact ...
13
votes
1answer
364 views

No non-trivial homomorphism to a group

Let $G$ be a compact Hausdorff topological group, and let $H$ be a torsion-free group satisfying the ascending condition, i.e. there are no infinite strictly ascending chains $H_1<H_2<...$ of ...
12
votes
2answers
363 views

$(x,y)\to xy$ continuous but $x\to x^{-1}$ not

In the definition of topological groups we impose both $(x,y)\to xy$ and $x\to x^{-1}$ to be continuous. However, I cannot find an example where the first condition holds but the second fails. Is ...
12
votes
2answers
423 views

Why isn't there interest in nontrivial, nondiscrete topologies on finite groups?

A topology on a group is required to be compatible with the group structure (multiplication must be a continuous map $G\times G\to G$ and inversion must be continuous). I've only ever seen the ...
12
votes
2answers
995 views

Is addition continuous?

I'm going to ask a very silly question, so I'm begging you to be understanding if it is absolutely trivial, or if it's an exercise in some Bourbaki. I'm afraid of asking you, because the question ...
12
votes
3answers
767 views

Is a direct limit of topological groups always a topological group?

If $(G_i,f_{ij})$ is a direct system of topological groups, is it always the case that the topological\group-theoretical direct limit $G:=\varinjlim_iG_i$ is a topological group? (The topology on $G$ ...
12
votes
2answers
288 views

Lindelöf topological groups

I want to show that every Lindelöf topological group is isomorphic to a subgroup of the product of second countable topological groups. I received an answer using the fact that Lindelöf topological ...
12
votes
1answer
309 views

Every Tychonoff space is an image of a moscow space under a continuous open mapping.

Every Tychonoff space is an image of a moscow space under a continuous open mapping. A space $X$ is called Moscow if the closure of every open set $U\subset X$ is the union of a family of ...
11
votes
4answers
352 views

How to show path-connectedness of $GL(n,\mathbb{C})$

Well, I am not getting any hint how to show $GL_n(\mathbb{C})$ is path connected. So far I have thought that let $A$ be any invertible complex matrix and $I$ be the idenity matrix, I was trying to ...
11
votes
1answer
163 views

Is there a nontrivial topological group that's isomorphic to its fundamental group?

All I know is that the topological group has to be Abelian. I have no idea how to prove or disprove this statement. Thanks in advance.
11
votes
2answers
150 views

Non-isomorphic Group Structures on a Topological Group

Which Topological Groups Have a Unique Group Structure (up to isomorphism)? I know that there are many non-isomorphic finite groups of same order, so there are many group structures possible for ...
11
votes
2answers
326 views

Topological groups are completely regular

I am studying topological groups, and I have been able to do quite a lot on my own by proving the propositions in this link on my own, but when I read up wikipedia that topological groups are all ...
11
votes
3answers
567 views

Topology on the general linear group of a topological vector space

Let $K$ be a topological field. Let $V$ be a topological vector space over $K$ (if it makes things convenient, you may assume it is finite dimensional). Naive Question: Is there a canonical way of ...
11
votes
1answer
222 views

Is there a topological group that is connected but not path-connected?

Is there a $\big($T$_0$$\hspace{-0.02 in}\big)$ topological group that is connected but not path-connected? If yes: $\quad$ Can it be complete? $\:$ (with respect to the two-sided uniform structure) ...
11
votes
1answer
199 views

subgroup of connected locally compact group

I need a reference or a short proof for the following property: A nontrivial connected locally compact group $G$ contains an infinite abelian subgroup.
11
votes
1answer
138 views

Proving that a metric space is a group

I'm stuck on this relatively hard problem. Let $G$ be a non-empty set, $d$ a distance on $G$ and $\cdot$ an associative operation on $G$ $\cdot$ is such that $$\forall a \in G , \forall x \in G ...
11
votes
1answer
154 views

Conditions for a topological group to be a Lie group.

In flipping through the Springer lecture notes on Serre's 1964 'Lie Algebras and Lie Groups' lectures at Harvard, I found this pair of suprising results (page 157): Let $G$ be a locally compact ...
10
votes
2answers
906 views

Why is $SO(3)\times SO(3)$ isomorphic to $SO(4)$?

Could you please explain me the reason why they are isomorphic? Thanks, bye!
10
votes
1answer
241 views

Is $[0,1]$ a topological group?

Can one endow the unit interval $[0,1]$ with a group operation to make it a topological group under its natural Euclidean topology?
10
votes
1answer
111 views

Good book for studying $S_\infty$.

I'm looking for any books with some good information involving $S_\infty$ and other Polish groups. Specifically interested in $S_\infty$. This is an extremely amazing topological group, now having ...
9
votes
1answer
194 views

Lie Groups which are not Hausdorff

I suspect this isn't a terribly difficult question, but I don't know the answer and I'd guess someone has already looked into it. Is it possible for a Lie group on a non-Hausdorff manifold to exist? ...
9
votes
1answer
157 views

Group structure on $\mathbb R P^n$

For which positive integers $n$ can $\mathbb R P^n$ be given the structure of a topological group? I believe that $\mathbb R P^n$ cannot be given a Lie group structure for even $n$, since then it is ...
9
votes
1answer
329 views

Topology induced by the completion of a topological group

Let $G$ be an abelian topological group and let $\hat{G}$ be its completion, i.e. the group containing the equivalence classes of all Cauchy sequences of $G$. What exactly is the topology of ...
9
votes
1answer
212 views

The Group of Homeomorphisms

I have been looking at Topological Groups, and I recently read about the group $\operatorname{Homeo}(X)$ of all homeomorphisms of $X$ onto itself. In particular, when $X$ is a metric space. The ...
8
votes
2answers
813 views

Topological group: Multiplying two loops is homotopic to linking these paths?

Let G be a topological group and let $s_1$ and $s_2$ be loops in G (both loops are based at the identity e of G). Is it true that the loop $s_1s_2$ (where the multiplication is the one of the group ...
8
votes
2answers
222 views

Topological rings which are manifolds

Is the following statement true: "Every smooth manifold $M$, which is a ring in the category of manifolds, must be diffeomorphic to $\mathbb{R}^n$."? (Actually, homeomorphic would suffice.) I assume ...
8
votes
1answer
348 views

Is a topological group action continuous if and only if all the stabilizers are open?

Let $G$ be a topological group and $(X,\mu)$ be a $G$-set, i.e. $\mu$ defines an action $X \times G \rightarrow X$. Is it then true that $\mu$ is continuous if and only if for every $x \in X$ the ...
8
votes
1answer
308 views

An equivalent definition of the profinite group

A profinite group is by defination a topological group $G$ which is Hausdorff , compact and totally disconnected. How to prove the following equivalent defination: A compact Hausdorff group is ...
8
votes
2answers
370 views

Exact sequence in a nonabelian category [previously: “Exact sequence for topological groups?”]

If $A$, $B$, and $C$ are topological groups, and $f: A \to B$ and $g: B \to C$ are two continuous group homomorphisms, what does it usually mean for $$1 \to A \stackrel{f}{\to} B \stackrel{g}{\to} C ...
8
votes
0answers
126 views

Group Structure on $\Bbb R$

$(\Bbb R,+)$ is a topological group. Is there any other group structure on $\Bbb R$ such that it is still a topological group and this group is not isomorphic to $(\Bbb R,+)$ ? Refer to ...
7
votes
2answers
122 views

Homeomorphism between Space and Product

Do there exist examples of non-empty, infinite spaces X not equipped with the discrete topology for with $X \cong X \times X$?
7
votes
1answer
392 views

Topology on integers making it a topological group

Are there non-trivial topologies (neither discrete nor indiscrete) on the additive group of integers $\mathbb{Z}$, making it into a topological group. Could someone list them all, possibly with some ...
7
votes
2answers
725 views

Why is every discrete subgroup of a Hausdorff group closed?

I have just begun to learn about topological group recently and is still not familiar with combining topology and group theory together. I have read a useful property of discrete group on the ...
7
votes
1answer
605 views

The group of invertible linear operators on a Banach space

Let $X$ be a Banach space. Let $G$ be the group of invertible linear operators from $X$ to itself. Now my questions are: If $G$ is equipped with the operator norm topology, how do you show that it ...
7
votes
2answers
855 views

How can we find and categorize the subgroups of R?

$\newcommand{\R}{\Bbb R}\newcommand{\Q}{\Bbb Q}\newcommand{\Z}{\Bbb Z}$ What are all the subgroups of R = $(\R, +)$ and how can we categorize them? I started thinking about this question last night ...
7
votes
1answer
503 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
7
votes
2answers
131 views

What topological restrictions are there for a topological space to be a group?

I'm trying to provide a group structure for some Riemannian surfaces. I heard that the following result holds: Let $X$ be a compact Riemannian surface. Then $X$ admits a group structure if, and ...
7
votes
2answers
262 views

Good book on topological group theory?

I'm looking for a good introduction to the theory of locally compact groups and their representations. It may assume the reader to be familiar with basic group theory, topology and measure theory.
7
votes
1answer
375 views

Question regarding the quotient space.

After recently learning about uniformities on topological groups, I've been looking at various problems. I'm having trouble with the following: If $H$ is a closed subgroup of a topological group $G$, ...
7
votes
1answer
98 views

Closed subgroups of n copies of the p-adic integers

What do closed subgroups of $\mathbb{Z}_p \oplus \cdots \oplus \mathbb{Z}_p$ look like (where there are $n$ summands in the direct sum)?