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

1
vote
0answers
48 views

looking for books on topological semigroup:

I'm looking for several books on topological semigroup: Topological semigroups: history, theory, applications. Karl Heinrich Hofmann Mathematics Research Library, Tulane University. The ...
1
vote
1answer
39 views

Counterexample of “the product of open subsets is open in a topological ring”?

Given a topological ring $R$ and $U,V$ open subsets, we can show that $U+V$ is an open subset due to the fact that $x\mapsto x+y$ is a homeomorphism for every $y \in R$. Since, in general, $R$ is not ...
2
votes
1answer
27 views

Translation invariant metrics and topological groups

During a lecture was pointed out that one of the main feature, from a topological perspective, of normed vector spaces is the translational invariance, that is that one can study the topological ...
1
vote
0answers
14 views

Question regarding character varieties on a torus with compact gauge group

Let $G$ be a compact, connected Lie group. Let $x, y \in G$ be an arbitrary pair of commuting elements. Is there necessarily a torus $T \leq G$ containing $x$ and $y$? Apparently not: Commutativity ...
1
vote
2answers
59 views

if $\pi_1(G)$ is trivial, how to prove $ \pi_1(G/H)=\pi_0(H)/\pi_0(G) $?

Let $G$ be a topological group, $H$ be its normal subgroup of $G$, and $G/H$ be the quotient space induced by the natural map.(We know that $G/H$ is again a topological group) If $\pi_1(G)$ is ...
1
vote
0answers
19 views

cohomology of unordered configuration spaces of sphere

Let $F(X,n)$ be the configuration space of order $n$. Let $F(X,n)/\Sigma_n$ be the unordered configuration space of order $n$. What is $H^*(F(S^2,n)/\Sigma_n;\mathbb{Z}_2)$? I did not find the answer ...
2
votes
1answer
23 views

Reference for Topological Groups

Topological groups were a topic that were covered minimally at my undergraduate institution but it's a topic that I'm finding a need quite a bit in the number theory I'm reading (class field theory). ...
14
votes
6answers
425 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 ...
0
votes
1answer
109 views

Prove that the Pontryagin dual of a locally compact abelian group is also a locally compact abelian group.

Let $ G $ be a locally compact abelian (LCA) group and $ \widehat{G} $ the Pontryagin dual of $ G $, i.e., the set of all continuous homomorphisms $ G \to \mathbb{R} / \mathbb{Z} $. Clearly, $ ...
2
votes
1answer
63 views

Largest ideal of a local field on which a character is trivial

Let $K$ be a nondiscrete locally compact field. Then fixing a character $\chi$ on $K$, any character on $K$ can be written as $t \mapsto \chi(xt)$ for some $x \in K$. For $E \leq K$ a closed ...
2
votes
1answer
30 views

Existence of an open normal subgroup of a neighborhood of 1 in a compact Hausdorff and totally disconnected topological group

Let $G$ a compact Hausdorff and totally disconnected topological group. Then every neighborhood of 1 contains an open normal subgroup of finite index in $G$. I need this lemma to prove that every ...
3
votes
2answers
34 views

Is every regular paratopological group completely regular?

This problem is presented as an open problem 1.31. on p.26 of Arhangel'skii-Tkachenko, Topological groups and related structures. Is this problem still open?
0
votes
1answer
90 views

A sequence of subsets of $\Bbb Z$ [closed]

Is there a sequence $(A_n)$ of nonempty subsets of $\Bbb Z$ such that for each $n$, $$\{a-b\mid a,b\in A_{n+1}\}\subsetneqq A_n$$ ?
1
vote
1answer
80 views

Is a partially topological group completely regular

Let $G$ be a group and $\mathcal T$ be a topology on $G$ and the function $$ \begin{align*} &f:G\times G\to G\\ &f(x,y)=xy^{-1} \end{align*} $$ be continuous at $(1,1)$. Is $(G,\mathcal T)$ ...
1
vote
0answers
17 views

Component of the identity is generated by any connected neighborhood of the identity when the group is locally connected?

I read a theorem that if $G$ is a locally connected group, then the component of the identity $G_0$ is generated by any connected neighborhood of $e$. It goes like: Let $V$ be a connected nbhd of ...
1
vote
1answer
42 views

Non-discrete locally compact Hausdorff groups which do not satisfy the second axiom of countability

I think non-discrete locally compact Hausdorff groups which do not satisfy the second axiom of countability are pain in the ass. The major trouble is that the Haar measures on them are not necessarily ...
3
votes
1answer
51 views

Inducing a surface area measure on $S^2$ from the Haar measure on $SO(3)$

I'm reading the book "Random Matrices: High Dimensional Phenomena" by G. Blower. There is an example that I've been struggled for a long time. For those who have access to the book, it's the Example ...
1
vote
1answer
40 views

Can topological groups be smoothed into lie groups?

I've been thinking about this for the past couple of days and I'm really not sure of the answer.. By "smoothed" I mean that for any arbitrary precision we can find a Lie group which approximates the ...
0
votes
1answer
19 views

Soft: Interpretation of a periodic event on circle group

Recently I've been exploring probability measures on topological groups, derived from the (essentially) unique Haar measure defined thereon. I had begun to focus on the example of the circle group ...
3
votes
2answers
75 views

Showing that $\pi(G/H, 1) = H$ under a condition

Problem: Let $G$ be a simply connected (i.e., $\pi(G)=1$) topological group, and let $H$ be a discrete normal subgroup. Prove that $\pi(G/H,1) = H$. I know that since $H$ is a discrete subgroup ...
2
votes
1answer
23 views

Loop spaces have the homotopy type of a topological groups

Every based loop space has the homotopy type of a topological group. I would like to understand this fact, and this is what this question is about : why is it true, and how does one prove it? I ...
1
vote
0answers
16 views

Putting a direct system on a product of direct limits

I was going back through some class notes discussing the direct limit topology (final topology) and we showed that the direct limit of topological groups is a topological group. To do this, we showed ...
2
votes
2answers
110 views

Extending a measurable map $f: G \to \mathbb{R}/\mathbb{Z}$ to a continuous group homomorphism

Let $G$ be a compact abelian metrizable group (where the group operation is written as $+$) and $\mu$ is the Haar measure on $G$. Suppose we have a measurable function $f: G \rightarrow ...
3
votes
0answers
33 views

What is the restricted product categorically?

The restricted product is a construction for locally compact abelian topological groups. Let $I$ be an indexing set, with $J$ some finite subset. Let $G_i$ be a locally compact topological group ...
0
votes
0answers
20 views

Homomorphisms on a solenoid

Let $G$ be an additive subgroup of $\mathbb{Q}$ containing $\mathbb{Z}$ i.e., $\mathbb{Z} < G < \mathbb{Q}$. A homomorphism on $G$ is of the form $\phi_r : G \rightarrow G$ given by ...
7
votes
1answer
82 views

Can a countable group have uncountably many distinct Hausdorff group topologies?

Question. Can a countable group have an uncountable number of distinct Hausdorff group topologies? By a group topology one understands a topology with respect to which the group operations are ...
27
votes
6answers
563 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$ ...
3
votes
3answers
88 views

When a group acts on a metric space isometrically, transitively, and faithfully, is it a closed subspace of the isometry group?

Suppose you have a group $G$ acting on $ (M,d)$ a compact metric space by isometries (meaning $d(gx,gy) = d(x,y)$ for all $x,y \in M$ and all $g \in G$), transitively and faithfully. You can define ...
1
vote
1answer
29 views

Is there a natural (non-trivial) topology for the automorphism group of a locally compact abelian group?

I've been thinking about automorphism groups of locally compact abelian groups somewhat over the last few days. It's not hard to see that in the case of the torus and integers, the (continuous) ...
2
votes
0answers
43 views

Transitive topological action

Let $G$ be a topological group, $A$ be set and $\mu\colon G\times A\to A$ a transitive action. I'm trying to prove the statement below is false. There exists only one topology in $A$ such ...
1
vote
2answers
68 views

Finiteness of fixed points of a Lie group action

Let $\psi: G\rightarrow \mathrm{Diff}(M)$ be a smooth non-trivial action of a compact connected Lie group $G$ on a compact connected smooth manifold $M$. Under which assumptions there will be a ...
0
votes
2answers
90 views

If $f$ is a positive function and $\int_{E}f d\lambda = 0$ then $\lambda (E) = 0$

If $f$ is a positive function and $$ \int_{E}f d\lambda = 0, $$ then show that $\lambda (E) = 0$ where $\lambda $ is a Haar (Radon) measure. I know that if $f$ is a positive function and ...
0
votes
0answers
17 views

Is this a compact group?

Consider $$x(t)=e^{-iHt}x(0)$$ and define $$G=\{ e^{-iHt}\mid t\in \mathbb{R}_{\geq 0}\}$$ Also write $\bar{G}$ to the closure of $G$ wrt the Euclidean topology. Q: is $\bar{G}$ a compact group? ...
3
votes
2answers
68 views

Canonical isomorphism between Cauchy sequence completion and inverse limit

I'm studying chapter 10 of Atiyah Macdonald. The book introduces two ways to construct the completion of an abelian topological group: Equivalence classes of Cauchy sequences and inverse limit. I can ...
10
votes
1answer
164 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 ...
6
votes
4answers
746 views

Topological groups, why need them?

I'm reading through Munkres and Armstrong's books on topology. However, I find topological groups to be really complicated objects! I feel they are twice as hard to deal with then just groups and ...
2
votes
1answer
91 views

What is a Topological Group Intuitively?

What is a topological group intuitively, beyond just being able to say things are near to each other in a group, and why is it a good idea to consider this theory as part of general topology as ...
5
votes
2answers
68 views

What are some compact (Hausdorff) groups?

I just realized today that I don't know any compact groups that aren't profinite groups or Lie groups. Generalizing from these, a product of compact groups is again a compact group, a closed ...
2
votes
1answer
40 views

What does it mean for a group to act cocompactly by isometries on a topological space $X$?

What does it mean for a group to act cocompactly by isometries on a topological space $X$? I know if $X$ is a topological group, and $A$ a subspace, then $A$ is cocompact iff $X/A$ is compact. Not ...
0
votes
0answers
47 views

Suppose that $X$ is locally compact and $G$ acting on $X$ is proper. Show that the quotient $X/G$ is Hausdorff.

Suppose that $X$ is locally compact and $G$ acting on $X$ is proper. Show that the quotient $X/G$ is Hausdorff. I am working through some notes on Geometric Group Theory and I am having a hard time ...
1
vote
2answers
117 views

Creating a Topological group from modulo multiplication Group.

If I were to create a Topology out of the Modulo 3 Multiplication group $\mathbb{Z}_3$, what elements would it consist of and why? So $\mathbb{Z}_3 = \{0,1,2\}$ as a group over modulo 3. What are the ...
2
votes
1answer
53 views

Computing $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$

Algebraic class field theory tells us that $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$ is isomorphic to the group of connected components of the quotient $\mathbb{Q}^{\times}\backslash ...
1
vote
1answer
69 views

Equivalent definitions of a lattice in a real vector space of finite dimension

I'm currently trying to work my way through chapter seven of Serre's book "A Course in Arithmetic" with a view to learning about modular forms. During the course of this chapter the book begins to ...
4
votes
1answer
54 views

True or False: Topological Group and $S^1 \vee S^1$

$i.$ $S^1 \vee S^1$ can be embedded in a topological group $ii.$ $S^1 \vee S^1$ can be covered by a topological group I think $i.$ is true since we can embed the wedge sum into $\mathbb{R}^2$, which ...
0
votes
1answer
22 views

Closed kernel in a compact group is open

The way I think it should work is that $${\rm ker} = \bigcap_{g \notin {\rm ker}} (G - g\,{\rm ker}),$$ with each $G - g\,{\rm ker}$ open. Since $G$ is compact, there should, in fact, only be ...
1
vote
0answers
47 views

Family of equivalent unitary representations is not a set.

I have recently come across a statement in the book: Kazhdan's property (T) by B. Bekka, P. de la Harpe, A. Valette at the beginning Appendix F.2. Fell topology on sets of unitary representations. ...
1
vote
2answers
56 views

Introduction to discrete subgroups of the euclidean group

I am looking for a general introduction to discrete subgroups of the euclidean group (= group of isometries in euclidean space). Even though I searched quite a bit, I was unable to find a good ...
3
votes
1answer
69 views

Is Steinhaus theorem ever used in topological groups?

Steinhaus theorem in $\mathbb{R}^d$ says that for $E\subset\mathbb{R}^d$ with positive measure, $E-E:=\{x-y:x,y\in E\}$ contains an open neighborhood of the origin. And for locally compact Hausdorff ...
1
vote
1answer
43 views

If A has positive Haar measure then $AA^{-1}$ is a neighborhood of $e$

I read the following exercise: Prove that if $G$ is a locally compact topological group with Haar measure $\mu$ and $A \subset G, \mu (A) >0$, then $AA^{-1}$ contains an open neighborhood of the ...
5
votes
1answer
41 views

Characters of a Group: two definitions

If $G$ is an abelian group, the characters associated to the rapresentations of $G$ over $\textrm{GL}_1(\mathbb C)=\mathbb C^\ast$ are simply the group homomorphisms: $$\chi:G\longrightarrow\mathbb ...