Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [topological-groups]

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.

A topological group is a group endowed with a topology such that both the group operation and inversion are continuous maps. Every group can be understood as a topological group, if we take the discrete topology.

Topological groups are useful in various areas of mathematics. Every topological vector space is a topological group. Locally compact groups are important in harmonic analysis, see e.g. Pontryagin duality.

2143 questions
63
votes
1 answer

Which Algebraic Properties Distinguish Lie Groups from Abstract Groups?

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group, and wants to be a sort of "converse". Here I am taking an abstract group $G$ and looking for necessary conditions for it to admit…
Lor
  • 5,458
  • 2
  • 25
  • 53
52
votes
1 answer

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 (since generally, any set can be given the…
rondo9
  • 1,806
  • 1
  • 13
  • 23
45
votes
6 answers

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$ can. This is just a recreational problem for me.…
user123641
40
votes
1 answer

$\mathbb{R}$ and $\mathbb{R}^2$ isomorphic as groups?

Using the axiom of choice, $\mathbb{R}$ and $\mathbb{R}^2$ are equal-dimensional vector spaces over $\mathbb{Q}$ and so are isomorphic as $\mathbb{Q}$-vector spaces thus as groups. This is obvious, however I recently began reading Godement's…
Maxime Ramzi
  • 42,560
  • 3
  • 26
  • 97
40
votes
2 answers

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 question: What about infinite groups? Infinite…
M Turgeon
  • 10,239
  • 3
  • 40
  • 80
35
votes
2 answers

Haar Measure of a Topological Ring

A topological ring is a (not necessarily unital) ring $(R,+,\cdot)$ equipped with a topology $\mathcal{T}$ such that, with respect to $\mathcal{T}$, both $(R,+)$ is a topological group and $\cdot:R\times R\to R$ is a continuous map. A left Haar…
Batominovski
  • 49,149
  • 4
  • 54
  • 128
31
votes
3 answers

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 $V \cdot y$ are disjoint. Noticeably, the…
Metta World Peace
  • 6,295
  • 5
  • 33
  • 57
31
votes
1 answer

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 conditions for $X$ to admit a group law compatible with its…
Pete L. Clark
  • 95,980
  • 11
  • 213
  • 359
29
votes
6 answers

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 show a path from $A$ to $I$ then define…
Balbichi
  • 34,998
  • 23
  • 140
  • 311
28
votes
2 answers

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.
faridrb
  • 427
  • 4
  • 5
27
votes
2 answers

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 discrete topology referenced on finite groups, however…
anon
  • 148,541
  • 12
  • 220
  • 383
25
votes
4 answers

Visualizing quotient groups: $\mathbb{R/Q}$

I was wondering about this. I know it is possible to visualize the quotient group $\mathbb{R}/\mathbb{Z}$ as a circle, and if you consider these as "topological groups", then this group (not topological) quotient is topologically equivalent to a…
The_Sympathizer
  • 18,726
  • 4
  • 47
  • 74
23
votes
1 answer

The loop space of the classifying space is the group: $\Omega(BG) \cong G$

Why does delooping the classifying space of a topological group $G$ return a space homotopy equivalent to $G$. In symbols, why $\Omega(BG) \cong G$, where $G$ is a topological group and $BG$ its classifying space?
ArthurStuart
  • 4,822
  • 23
  • 51
22
votes
2 answers

Product of compact and closed in topological group is closed

This could be classified as "homework", but I tried to solve this, made research online, and still failed, so I'll be glad to get some hints. Let $G$ be a topological group, let $A$ be a compact subset of $G$, and let $B$ be a closed subset of $G$.…
ooboo
  • 435
  • 3
  • 7
21
votes
1 answer

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$ on $X$, and suppose that $Y$ is $H$ stable, that…
Olivier Bégassat
  • 19,750
  • 2
  • 42
  • 98
1
2 3
…
99 100