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

3
votes
0answers
18 views

question on subgroup of compact group

Suppose $G$ is a compact metrizable abelian group, is it true that $G$ has no finite index subgroups iff $G$ is connected? Any reference or help is appreciated. Thanks in advance! Here are my ...
7
votes
3answers
246 views

Does every homogeneous space allow a group structure?

Let $(X,\tau)$ be a homogeneous space, that is for all $x,y \in X$ there is a homeomorphism $\varphi:X\to X$ such that $\varphi(x) = y$. Is there a group operation $*:X\times X\to X$ such that ...
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 ...
1
vote
0answers
17 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
28 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 ...
2
votes
1answer
24 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). ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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)$ ...
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
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 ...
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? ...
2
votes
1answer
92 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 ...
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$$ ?
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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
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 ...
0
votes
1answer
30 views

Product of compact subsets of a topological group is compact

I need to show that if $G$ is a topological group and $A,B\subseteq G$ are compact subsets, then $AB$ is compact. Thanks
2
votes
0answers
36 views

Dense subgroup of an extremely amenble group is extremely amenable??

Recall that a topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space $K$ admit a fixed point. i.e there is a point $\xi\in K$ such that $g.\xi=\xi$ for ...
2
votes
1answer
69 views

Topological group with discrete topology

Let $G$ be a topological group. I came to know that if I can show the existence of a homeomorphism of $G$ which moves only finitely many points of $G$, then $G$ has only discrete topology. How can I ...
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 ...
1
vote
0answers
75 views

Closed and Connected subgroups of $\mathbb{R}^n$

Question is : What are closed connected subgroups of $\mathbb{R}$ and from that deduce what are closed connected subgroups of $\mathbb{R}^n$ What i have done so far is : Only connected subsets of ...
0
votes
0answers
34 views

Can a compact topological group have the trivial topology?

I want to show that the following are equivalent for a compact topological group $G$: $G$ is the inverse limit of finite groups $G_i$. There's a family $\left\{N_i\right\}$ of open normal subgroups ...
-1
votes
1answer
68 views

Locally compact groups

Let $S= G_1\bigcup G_2 $, where $G_1$ and $G_2$ are two groups. If $S$ is locally compact, is it true that either $G_1$ or $G_2$ is locally compact? Thank you.
0
votes
0answers
67 views

Any topological group is Hausdorff if $\{1\}$ is closed.

Let $G$ be a topological group and $\{1\}$ is closed where $1$ is the identity element of $G$. Then for any two distinct element $x,y \in G$ , we have an open neighbourhood $U$ of $x$ not containing ...
1
vote
1answer
50 views

Is every compact monothetic group metrizable?

If $G$ is a compact (Hausdorff) topological group with a dense subgroup $H \cong \mathbb Z$, is it necessarily true that $G$ is first countable? This claim seems to be implicit in a paper that I am ...
0
votes
1answer
43 views

Proving closure of unit space of a Hausdorff groupoid

For Hausdorff topological groups, the set $\{e\}$ containing only the identity is closed. This is because Hausdorff implies T1 which implies singletons are closed. For topological groupoids, defined ...
1
vote
0answers
45 views

Prove: If H and G/H are totally disconnected then G is also totally disconnected

Let $G$ be a topological group and $H$ a subgroup of $G$. If $H$ and $G/H$ are totally disconnected, then $G$ is also totally disconnected. With 'totally disconnected' we mean the every connected ...
1
vote
1answer
57 views

quotient of an amenable group

I have a question about amenable groups. The notion of amenability I am using is: The action of $G$ on $k$ ($k$ locally compact in a topological vector space) is amenable if there exists a point $x ...