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

13
votes
1answer
367 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 ...
1
vote
1answer
81 views

Convex subsets of a group

Assume that $(G,+)$ is an Abelian topological group (maybe locally compact, if necessary) and assume that $V$ is an open connected neighbourhood of zero. Does there exist an open "convex" ...
4
votes
3answers
335 views

G/H is Hausdorff implies H is closed (General topology, Volume 1 by N. Bourbaki)

I am reading General topology, Volume 1 By Nicolas Bourbaki. I refer to the proof of Proposition 13. Could someone kindly explain the G/H Hausdorff $\implies$ H closed part of the proof? I ...
4
votes
2answers
166 views

Definition of topological group

Let $U$ be open in a topological group, G. Why then is it necessarily true that $UH$ where $H$ is some subgroup of $G$ open in $G$? (I think I don't quite get the idea of a topological group even ...
0
votes
1answer
256 views

Transitive group actions and homogeneous spaces

Given a topological group $G$ and a space $X$ with a transitive $G$ action, let $G_x$ be the isotropy group of a point. In Folland "A course in harmonic analysis", there is a statement that $X$ is ...
8
votes
1answer
313 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 ...
2
votes
1answer
89 views

What's an example of a group with equivalent uniform structures where multiplication is not uniformly continuous?

Say we have a topological group $G$. It's easy to see that if $\cdot: G \times G \rightarrow G$ is uniformly continuous (with respect to either the right or left uniformity), then $G$ must have ...
7
votes
1answer
401 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 ...
5
votes
0answers
236 views

Short exact sequences of topological groups and Lie groups

could someone please clarify the definitions of extensions of topological groups and Lie groups. For topological groups, what I see in most papers is as follows: An extension of topological groups $0 ...
1
vote
1answer
346 views

Why the discrete subgroup of $R^n$ has finite balls?

Consider a discrete subgroup $G$ of $R^n$. Then let we have an open ball $B\subset G$ (topology in $G$ is induced from $R^n$). Why is $|B|<\infty$? For example I can take ...
0
votes
1answer
153 views

example of a discontinuous group operation in $\mathbb{R}$, under usual metric

someone has an example of that? I know that if G is a topological connectedness group ( operation continuous under the topology) then every neighborhood containing the identity elemental, generates ...
2
votes
1answer
133 views

The inverses of open sets

I am not sure if this is already posted, though, I hope I can get some help, and thank in advance. This question arises from the proof of the following. Proposition: Let G be a topological ...
3
votes
1answer
112 views

Generating sets for topological groups

Let G be a compact topological group. Suppose G has a subset X and a normal subgroup N such that the subgroup generated by X is dense in N. Moreover, suppose G has a subset Y such that the subgroup ...
5
votes
1answer
189 views

totally disconnected orbit-stabilizer theorem

So I'm aware that the orbit-stabilizer theorem does not hold for arbitrary spaces with a transitive action by a topological group, but I wonder if it works in the following situation. Let $G$ be a ...
2
votes
2answers
207 views

does isomorphic groups induce homeomorphic quotients

suppose $X$ is a topological space and $G$ and $H$ are groups acting on it. 1) if $G$ is isomorphic to $H$ do we have necessarely $X/G$ is homeomorphic to $X/H$ 2) suppose $G$ and $H$ are two ...
1
vote
0answers
165 views

how to factor a map by a group action

Let $X$ and $Y$ be topological spaces and a surjective map $f:X\rightarrow Y $. Suppose that a group $G$ acts on $X$. and let $\pi:X\rightarrow X/G$ be the quotient map. 1) Under what conditions $f$ ...
10
votes
2answers
929 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!
4
votes
1answer
112 views

Is there any relation between a group being unimodular and having equivalent uniform structures?

Recall: A topological group is said to have equivalent uniform structures if its left and right uniform structures coincide. A locally compact group is said to be unimodular if left Haar measures and ...
21
votes
1answer
460 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$ ...
3
votes
0answers
187 views

If $G$ is a locally compact Hausdorff group, when does $G/Z$ have a probability Haar measure?

I am reading an introductory material about topological groups and the question in the tittle comes up. Due this Proposition Proposition. A locally compact Hausdorff topological group $G$ is ...
3
votes
1answer
253 views

Compact group actions and automatic properness

I am currently re-reading a course on basic algebraic topology, and I am focussing on the parts that I feel I had very little understanding of. There is one exercise in the chapter devoted to groups ...
3
votes
1answer
131 views

Restricted Direct Products in Koch's Number Theory

On p.353 of Number Theory: Algebraic Numbers and Functions by Helmut Koch, he considers a group $G$ which is the restricted direct product of the locally compact abelian groups $G_i$ with respect to ...
11
votes
3answers
570 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 ...
4
votes
2answers
259 views

Does a topological group need to have a uniformity making all group operations uniformly continuous?

Let $G$ be a topological group. $G$ comes equipped with a left (resp. right) uniformity $\mathscr{L}$ (resp. $\mathscr{R}$) which can be characterized as the coarsest uniformity which is compatible ...
7
votes
2answers
737 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 ...
21
votes
1answer
490 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 ...
7
votes
1answer
192 views

Intersection of neighborhoods of 0. Subgroup?

Repeating for my exam in commutative algebra. Let G be a topological abelian group, i.e. such that the mappings $+:G\times G \to G$ and $-:G\to G$ are continuous. Then we have the following Lemma: ...
12
votes
2answers
1k 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 ...
8
votes
2answers
828 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 ...
16
votes
3answers
813 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 ...
13
votes
2answers
715 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.
12
votes
3answers
777 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$ ...