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

14
votes
0answers
295 views

On distributivity of lattice of group topologies

Let $\frak L$ be the set of all topologies $\mathcal T$ on $\Bbb Q$ (the additive group of all rational numbers) such that $(\Bbb Q,\mathcal T)$ is a topological group. Then $(\frak L,\subseteq)$ is a ...
9
votes
0answers
184 views

On infinite groups admitting finitely many group topologies

It has been proved there is an infinite group which admits exactly two group topologies [1]. For which $n$, is there an infinite group $G$ which admits exactly $n$ group topologies ordered linearly ...
9
votes
0answers
106 views

Conditions for a group to admit the structure of a Lie group

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 ...
7
votes
0answers
117 views

An example of a compact multiplicatively unbounded ring

My teacher asked me to build an associative topological Hausdorff compact ring $R$ with $1$, which is multiplicatively unbounded. That means there is a neighborhood $U\ni 1$ such that $FU\not=R$ for ...
6
votes
0answers
59 views

Why is topological group not a popular topic?

In Japan, there are many universities with a formal course about topological group using the classic by Pontryagin. Yet topological group is not studied in a formal course in many other countries, ...
5
votes
0answers
179 views

Is $G$ a lie group if left multiplication is smooth and multiplication is smooth near $e$?

Suppose $G$ is a smooth manifold and also a topological group. Also suppose that left multiplication $L_g : G \rightarrow G$ is smooth for any $g \in G$. Finally suppose that the multiplication map is ...
5
votes
0answers
271 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 ...
4
votes
0answers
53 views

Analytic/Smooth/Continuous maps between a manifold and itself

Let us suppose that $M_{\omega}$ is a connected real-analytic manifold of dimension $n$. Then there is an associated smooth structure, $\mathcal{C}^r$ structure ($r$ non-negative integer) on it. Let ...
4
votes
0answers
138 views

How many compatible group structures does a topological space admit?

Suppose I have a topological space $(G,\tau)$ and am interested in whether there exists a topological group $(G,*,\tau)$. In other words, can we assign a binary operation $*$ to $(G,\tau)$ which ...
4
votes
0answers
91 views

For every space $X$, $C_p(X)$ is a topological group.

I try to show that for every space $X$, $(C_p(X), +)$ where $$+:C_p(X)\times C_p(X)\to C_p(X):(f,g)\mapsto f+g$$ and for every $x\in X$, $(f+g)(x)=f(x)+g(x)$ is a topological group. The family ...
3
votes
0answers
73 views

Prove that the quotient map $P:G \to G/H$ is a covering space.

Let $G$ be a topological group and $H$ is a subgroup of $G$. Suppose that the subspace topology on $H$ is the discrete topology. Prove that the quotient map $P:G \to G/H$ is a covering space. My ...
3
votes
0answers
33 views

Cech-complete separable groups

It is well known that a Baire measurable homomorphism between Polish groups is continuous. Is the same true if we replace Polish groups by Cech-complete, separable groups? It is not true ...
3
votes
0answers
35 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 ...
3
votes
0answers
60 views

Integration over uncountable set of characters

Let $G$ be a compact (assumed Hausdorff) group and $\hat{G}$ be the set of all characters of irreducible, finite-dimensional representations of $G$. It might occur that $\hat{G}$ is uncountable. It ...
3
votes
0answers
57 views

Motivations for and connections between the topologies of Vietoris, Fell and Chabauty

My main interest is in the Chabauty topology on the space of closed subgroups of a locally compact topological group, merely out of curiosity. Wikipedia states "it is an adaptation of the Fell ...
3
votes
0answers
21 views

Proof of commutativity for topological I-semigroups

A topological semigroup on a closed interval I and order topology is called I-semigroup if 1 acts as an identity and 0 as an annihilator. I've seen in several articles that such I-semigroups should ...
3
votes
0answers
130 views

Discrete Closed Subgroup H of a Simply Connected Topological Group G isomorphic to fundamental group of G / H.

A problem in Rotman's Algebraic Topology is as follows: Given a simply connected topological group G with a closed discete normal subgroup H, show that $\pi_1(G / H) \cong H$. I believe I have this ...
3
votes
0answers
54 views

A dense subgroup with completion not isomorphic to the big (pro-p) group?

This is an (early) exercise from the book "Analytic Pro-p groups": (p.31, ex. 3(iii)) Give an example of a finitely generated pro-$p$ group $G$ and a dense subgroup $H$ of $G$, with $H$ finitely ...
3
votes
0answers
35 views

The minimal divisible extension

For a prime number $p$, $F_{p}$ is the p-adic number groups and $J_{p}$ is the p-adic integer groups. Is $F_{p}$, the minimal divisible extension of $J_{p}$?
3
votes
0answers
39 views

The simply-connectedness of quotient space

If $U$ is a Lie group with a closed subgroup $K$ such that both $U$ and $U/K$ are simply-connected, then can we conclude that $K$ is connected?
3
votes
0answers
153 views

Moscow space-Examples

A space $X$ is called $Moscow$, if for each open subset $U$ of $X$, the closure of $U$ in $X$ is the union of a family of $G‎_{δ}$‎‎‎ ‎-subsets of $X$ . For example, Every first countable $T_1$ ...
3
votes
0answers
71 views

Induced action of topological groups

Let $G$ be a polish group, $H$ be an open subgroup of $G$ and $X$ be any metric space on which $G$ act. I want to show the following fact: If the restriction to $H $of the action of $G$ on $X$ is ...
3
votes
0answers
110 views

Group theoretic lemma about the extension of homomorphisms of profinite groups

I have a question about a group-theoretic lemma proven in Galois Groups and Fundamental Groups by Tamas Szamuely. Suppose we have a profinite group $\Gamma$, a closed normal subgroup $N \subset ...
3
votes
0answers
262 views

Definition of a topological module

A topological universal algebra of type $\Omega$ is a universal algebra $A$ of type $\Omega$ that is also a topological space, such that for any $n\!\in\!\mathbb{N}$ and any operation ...
3
votes
0answers
190 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 ...
2
votes
0answers
102 views

Harmonic Analysis on the Affine Group

In my previous question, I asked about harmonic analysis on the group $\operatorname{SL}(3, \mathbb{R})$. The representation theory of this group appears to be quite complicated, so I am now looking ...
2
votes
0answers
63 views

Exponential map is surjective for compact connected Lie group

How do I show that for every compact connected group $G$, the exponential map $\exp \colon\mathfrak{g} \rightarrow G$ is surjective? I tried to find the proof on the internet but most of them are ...
2
votes
0answers
38 views

Proof that a particular subgroup is proper

I've been stuck on this for a long time ... I'm reading a textbook which simply states "this subgroup is proper" but it doesn't make sense to me. Context: I have a pro-$p$ group $G$, which just means ...
2
votes
0answers
28 views

Intersection of invariant subsets of a local group action

I don't understand some facts about invariant subsets of a local group action. Basically (to save you reading definitions) local actions are germs of partial actions which in turn are just like ...
2
votes
0answers
37 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
0answers
42 views

A homeomorphism of topological groups.

Let $L/K$ be a Galois field extension and $(I, \leq)$ be the directed set of all finite Galois extensions $E$ of $K$ contained in $L$ (we say $E^{\prime}\leq E$ if $E^{\prime}\subseteq E$). If ...
2
votes
0answers
89 views

a measurable function on a LCA group coincide with an mulitplicative character almost everywhere

Let $G$ be an LCA group. We say $\tilde \chi$ is a multiplicative character if it is a continuous function : $\tilde \chi : G \to S^1 $ where $ S^1 : = \{ z \in \mathbb C : |z| =1 \}$ is the unit ...
2
votes
0answers
52 views

How can we characterize all topological groups given $G$?

The idea is that all topologies on G (not necessarily making it a topo group) can be completely specified by a set of functions $F = \{f: G \to G\}$ if you form a basis for the topology like: $B = ...
2
votes
0answers
40 views

Inner automorphisms of Lie groups

I have a few questions about $Aut(G)$, when $G$ is a Lie group. It was proven by Hochschild that if $G/G_0$ is finitely generated, then $Aut(G)$ is a Lie group with at most countably many components. ...
2
votes
0answers
44 views

Invariance of Decomposition of Invariant Functional

Let $Q$ a locally compact group acting on a locally compact space $X$ on the left. Let $\mathcal{A}$ a Banach space of bounded continuous functions $f:X\to\mathbb{C}$ and $m\in\mathcal{A}^{\ast}$ a ...
2
votes
0answers
24 views

universal nonabelian divisible group

For this post, a group $G$ shall be referred to as generally divisible, in case $\forall{x\in G:}~\forall{n\in\mathbb{N}^{\times}:}~\exists{y\in G:}~y^{n}=x$. Note. Here is no commutativity ...
2
votes
0answers
39 views

Semisimple part of a nilpotent connected affine algebraic group

These notes on affine algebraic groups mention the following theorem. Let $G$ be a connected nilpotent affine algebraic group (over an algebraically closed field $k$), and denote $G_s$ and $G_u$ ...
2
votes
0answers
39 views

Is an ideal generated by a compact subset finitely generated?

Let $R$ be a commutative topological ring and let $K$ be a compact subset of $R$. Denote by $I$ the ideal generated by $R$. Then is it true (or under what assumptions on $R$ (besides Noethernity)) is ...
2
votes
0answers
64 views

Abstract Fourier Analysis

I am trying to prove that given a locally compact abelian (Hausdorf) topological group, the characters on it parameterize the multiplicative linear functionals on the banach * algebra $L^1(G, d\mu)$ ...
2
votes
0answers
88 views

topological group that is connected and locally connected but not path-connected

Is there a $\hspace{.01 in}\big($T$_{\hspace{.01 in}0}$$\hspace{-0.02 in}\big)\hspace{.01 in}$ topological group that is connected and locally connected but is not path-connected? (This question ...
2
votes
0answers
105 views

Orientability as a topological property

Can one prove that orientability(of a manifold)is a topological property without using algebraic topology? That is, using a combination of general topology,linear algebra,and topological groups(such ...
2
votes
0answers
35 views

Compact subset of compactly generated group

Let $G$ be a locally compact topological group, that is also Hausdorff and second countable. Let $S$ be a compact subset that generates $G$ as a group, which contains the identity and is closed under ...
2
votes
0answers
42 views

A certain inverse limit

Let $p$ be an odd prime and $n$ a positive integer. Let $\zeta_{p^{n+1}}$ be a primitive $p^{n+1}$-th root of unity. It can be shown that $Gal(\mathbb Q(\zeta_{p^{n+1}})/\mathbb Q)\cong (\mathbb ...
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 ...
2
votes
0answers
81 views

Induced representations of topological groups

Sorry if this is a naive question-- I'm trying to learn this stuff. If $G$ is a group with subgroup $H$, then we have the restriction functor $\operatorname{Res}$ from $G-\operatorname{mod}$ to ...
2
votes
0answers
124 views

Homeomorphism groups as topological groups

As is well known, the homeomorphism group of a compact Hausdorff space is a topological group. The same is true for locally compact locally connected Hausdorff spaces, but it is false in general. Now ...
1
vote
0answers
26 views
+50

Do the maps need to be surjective in the definition of a profinite group?

Let $G_i, f_{ij}$ be an inverse system of topological groups where each $G_i$ is finite in the discrete topology. A profinite group is defined to be an inverse limit of such an inverse system. ...
1
vote
0answers
60 views

A counter example

If a set is compact in $Z(\mathbb{A})\setminus GL(2,\mathbb{A})$,then can it be compact in $GL(2,\mathbb{A})$ ? ($\mathbb{A}$, is the adele ring of $F$ on which $GL(2)$ is and $Z$ is the center of ...
1
vote
0answers
17 views

Is every closed subgroup of dual group an annihilator?

This is a naive question as I am new to topological group theory. Let $G$ be a Locally Compact Abelian group (LCA group). I know that to every closed subgroup $H$ of $G$ correspond a closed subgroup ...
1
vote
0answers
39 views

Question about Modular function in Haar measure

I'm reading the book "Basic Lie Theory" (http://guests.mpim-bonn.mpg.de/abbaspou/Lie-Book_verrouille.pdf) and I'm trying to understand the proof of Lemma 2.3.4 which states that: Let $G$ be a locally ...