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

8
votes
0answers
121 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 ...
7
votes
0answers
106 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 ...
7
votes
0answers
85 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 ...
5
votes
0answers
136 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
235 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
41 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
108 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
44 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
42 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
20 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
97 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
50 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
50 views

Are periodic points dense in the unitary group?

In $U(1) = \{z \in \mathbb{C} : |z| = 1\}$, it is well known and easy to see that the set of $z$ so that $ z^n = 1 $ for some $n \in \mathbb{Z}_+$ are dense. Does this fact generalize to the group ...
3
votes
0answers
34 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
37 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
135 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
219 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
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 ...
2
votes
0answers
29 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
35 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
56 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
36 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
45 views

In what topological abelian groups does convergence to zero imply summability?

Let $\; \langle G\hspace{-0.02 in},\hspace{-0.04 in}+,\hspace{-0.04 in}\mathcal{T}\hspace{.03 in}\rangle \;$ be a $\hspace{.02 in}\big(\hspace{-0.03 in}$$\text{T}_{\hspace{-0.02 in}0}$$\hspace{-0.03 ...
2
votes
0answers
40 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
21 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
29 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
56 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
78 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
87 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
31 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
39 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
38 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
68 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 ...
2
votes
0answers
102 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 ...
2
votes
0answers
79 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
114 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
38 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
69 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 ...
1
vote
0answers
37 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
0answers
31 views

$\widehat{\mathbb{T}}$ can be identified with $\mathbb{Z}$

$ \mathbb{T} \stackrel{\text{def}}{=} \{ z \in \mathbb{C} : |z| = 1 \}$ $\widehat{\mathbb{T}} \stackrel{\text{def}}{=} \text{Hom}(\mathbb{T},\mathbb{T})$ To show that $\widehat{\mathbb{T}}$ can be ...
1
vote
0answers
23 views

Summand of a subgroup in a torus

Let $\mathbb{T}^n := \mathbb{R}^n / \mathbb{Z}^n$ denote the $n-$dimensional torus. If $K$ is a closed normal subgroup of $\mathbb{T}^n$, then does there exist a subgroup $L$ of $\mathbb{T}^n$ such ...
1
vote
0answers
27 views

Connected component and group action

Let $G$ be a topological group acting on a set $X$. Let $x \in X$ and consider the orbit $G.x$ endowed with the topology coming from the quotient $G/ Stab(x)$. If $G^0$ is the connected component of ...
1
vote
0answers
43 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 = ...
1
vote
0answers
27 views

Probability space associated with a compact group

Is the probability space associated with a compact group with Haar probability always a standard probability space? I recall seeing somewhere the fact that if the topology generating the Borel sigma ...
1
vote
0answers
29 views

Non-solvable, closed subgroups of $\mathrm{PSL}(2,\mathbb{R})$

It is mentioned here that non-solvable closed subgroups of $\mathrm{PSL}(2,\mathbb{R})$ are either the entire space or discrete. My question is this: Is there any easy proof of this, or do any of you ...
1
vote
0answers
16 views

Set of $x$ such that $h \mapsto hx$ is proper

Let $X$ be a locally compact second countable space, and $G$ a locally compact second countable group wich operates continuously on $X$. If $x \in X$, let $\rho_x : g \mapsto gx$. I would like to know ...
1
vote
0answers
31 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 ...
1
vote
0answers
85 views

Is a regular Borel measure on a locally compact space necessarily $\sigma$-finite?

I am trying to compile a proof of the uniqueness of Haar measure. Usually this is done by multiple-integral mumbo-jumbo, abusing left and right invariance of two potential measures and invoking ...
1
vote
0answers
41 views

Group operation continuous in the interval topology

I'm trying to prove the following: We have a DLO without endpoints M, and a group operation on M, which is continuous in the interval topology. I want to prove: if $b<c$ then for every $a \in M$ ...