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

0
votes
0answers
13 views

Why F\o lner condition implies Day fixed point conditions?: direct proof

I begib by recall this two conditions: 1-Let $G$ be a locally compact topological group and denote $\lambda$ the left invariant Haar measure. $G$ satifies the F\o lner condition if for every compact ...
1
vote
0answers
20 views

Discrete $G$-modules and questions on some basic properties (generators, union of its finitely generated submodules)

I am currently stuck with the following proposition: Let $G$ be a profinite group and let $M$ be a $G$-module. (a) If $M$ is a discrete $G$-module, then it is finitely generated as a $G$-module if ...
0
votes
1answer
38 views

Existence of particular open subgroups, given a prof-finite group

I have currently read a proof (existence of sections for pro-finite groups (in the book profinite groups of Ribes)) and I did not understand the following two facts used (without mentioning any ...
1
vote
1answer
9 views

Connected component of identity of an automorphism group is a subgroup

Let $D$ be a bounded domain in $\mathbb{C}^n$ and let Aut$(D)$ be the set of biholomorphic functions from $D$ to $D$. Define a metric on Aut$(D)$ by the supremum norm, $d(f,g) = \sup_{z\in ...
5
votes
4answers
526 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 ...
1
vote
1answer
64 views

Question about solvable cocompact subgroups in linear algebraic group over a finite extension of the p-adic numbers

Let $Q_p$ be the p-adic numbers, where p is any prime number. Then $Q_p$ is a locally compact, Hausdorff, totally disconnected (non-discrete) topological field. Let $GL(n,Q_p)$ be the general linear ...
1
vote
1answer
34 views

Existence of a neighbourhood of a compact set ( from james fibrewise topology)

I'm reading James' Fibrewise topology book and I'm trying to understand the proof of proposition 7.4 , it says: Let X be a proper G-space . Then X is fibrewise regular over X/G. Proof For any $x \in ...
4
votes
1answer
105 views

Polish topological group

A friend asked me to help him prove that the topological group $\mathrm{Homeo}(0,1)$ (homeomorphism of $(0,1)$ with the compact open topology) is Polish (that is, separable and completely metrizable). ...
1
vote
0answers
38 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 = ...
4
votes
2answers
121 views

Intuition behind the failure of unimodularity

If $G$ is a locally compact group then up to normalization it admits a unique Haar measure: a left invariant measure defined on all Borel subsets of $G$, which assigns every compact set a finite ...
2
votes
0answers
33 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. ...
0
votes
1answer
56 views

Show $\otimes$ and $*$ are the same operation on $\pi_1(G, x_0)$

Show $\otimes$ and $*$ are the same operation on $\pi_1(G, x_0)$ where $(f\otimes g)(s) = f(s) \cdot g(s)$ where $\cdot$ is the group operation on the topological group $G. $ This is a question from ...
3
votes
2answers
95 views

$G$ is Topological $\implies$ $\pi_1(G,e)$ is Abelian

Hypothesis: Let $G$ be a topological group with identity element $e$. Let $\mu$ denote the multiplication mapping in $G$. Goal: Show that $\pi_1(G,e) = \pi(G)$ is an abelian group via the hint ...
1
vote
2answers
92 views

The fundamental group of a topological group is abelian

I want to show the fundamental group of a topological group is abelian. In fact, the question says the topological group is path connected. I do not know where I should use path-connectedness. I ...
1
vote
1answer
74 views

A new group operation on the fudamental group

Suppose $G$ is a topological group with operation $\cdot$ and identity element $x_0$. Let $\Omega (G, x_0)$ denote the set of all loops in $G$ based at $x_0$. For $f, g\in\Omega (G, x_0)$ define ...
3
votes
1answer
206 views

proof by nuke of the fact that fundamental group of topological group is abelian

"The fundamental group of a topological group is abelian". does this problem admit a proof by nuke. This is inspired by a a question in mathoverflow. The usual proof is by a Eckmann-Hilton ...
1
vote
0answers
20 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 ...
0
votes
0answers
17 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 ...
0
votes
1answer
14 views

A non-closed $p$-group.

Are there a Hausdorff topological group $(G,\mathcal T)$ and and a non-closed $p$-group $P\le G$ ? a $p$-group where $p$ is a prime number, is a group $P$ such that $$(\forall a\in P)(\exists n\in ...
0
votes
0answers
23 views

Isometry groups acting transitively

Let $X$ be a metric space and $G$ be its group of isometries. 1) Is it true that $G$ acts on $X$ transitively? If so, where can I find a proof? If not, how can one characterize those $X$ for which ...
2
votes
0answers
36 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 ...
12
votes
3answers
732 views

Is a direct limit of topological groups always a topological group?

If $(G_i,f_{ij})$ is a direct system of topological groups, is it always the case that the topological\group-theoretical direct limit $G:=\varinjlim_iG_i$ is a topological group? (The topology on $G$ ...
1
vote
0answers
23 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
1answer
33 views

On homomorphisms of the compact symplectic group

Each $q$ in the symplectic group $Sp(1)$, defines an operator on the imaginary quaternions: $\rho(q):Im\mathbb{H} \rightarrow Im\mathbb{H}$ by $\rho(q)(x)=qx\bar{q}$ We can see here that $\rho:Sp(1) ...
0
votes
0answers
13 views

Properties of characters that remain true for infinite compact groups

Which properties of irreducible characters for finite groups still hold for infinite (compact) groups? In particular, is it still true that the irreducible characters form a basis for the space of ...
1
vote
1answer
39 views

What is the cokernel of $\Bbb Q^{\text{disc}} \hookrightarrow \Bbb R$?

These two should be the standard examples for why Locally compact abelian groups are not an abelian categoty. The cokernel of any of these maps should is not a LCAG. $$\Bbb Q^{\text{disc}} ...
0
votes
1answer
35 views

Different definitions of topological group [duplicate]

Recently I discovered the definition of topological group. So, topological group is an abstract group $G$ endowed with topological structure such that the maps $mult: G\times G\longrightarrow G$ and ...
3
votes
2answers
156 views

What topological group is $\mathbb R/\mathbb Z$?

The integers $\mathbb Z$ are a normal subgroup of $(\mathbb R, +)$. The quotient $\mathbb R/\mathbb Z$ is a familiar topological group; what is it? I've found elsewhere on the internet that it is ...
1
vote
1answer
23 views

Topology on the group of autohomeomorphisms

I am wondering whether the group of all autohomeomorphisms of a compact metric space can be given a reasonable topological group structure? (Preferably, can it be turned into a locally compact group?) ...
2
votes
2answers
254 views

Locally compact topological group is Normal

How can I prove directly that a locally compact topological group G is normal? I have done this by showing that every locally compact topological group is strongly Paracompact. But I could not prove ...
0
votes
1answer
27 views

Is there any standard terminology for the quotient of a topological group by the connected component of the identity?

If $G$ is any topological group, then the connected component of its identity is a closed normal subgroup $H$. It follows that $G/H$ is a totally disconnected topological group. Often, $G$ will be ...
10
votes
2answers
137 views

Non-isomorphic Group Structures on a Topological Group

Which Topological Groups Have a Unique Group Structure (up to isomorphism)? I know that there are many non-isomorphic finite groups of same order, so there are many group structures possible for ...
6
votes
0answers
106 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 ...
3
votes
1answer
42 views

Unique Square Root Neighbourhood in Topological Group

For a Lie Group $\mathfrak{G}$ and any neighbourhood $\mathcal{V}\subset\mathfrak{G}$ of the identity $\mathrm{id}\in\mathfrak{G}$, $\exists$ neighbourhood $\mathcal{U}\subset\mathcal{V}$ of ...
1
vote
1answer
64 views

Given a basis for $\mathbb{R}$, show that it constructs the standard topology on $\mathbb{R}$

Let $q_1, q_2, ...,$ be the rational numbers enumerated. Consider the countable collection $$\mathcal{B} = \{ B_{\frac{1}{n}}(q_i) \ | \ i,n \in \mathbb{N} \}$$ of open balls centered at rational ...
1
vote
1answer
54 views

Constructing Topological Groups [closed]

In general, is there a way to construct topological groups? That is, given two topological groups $X$ and $Y,$ can I construct a topological group $Z$ using $X$ and $Y$ in said construction? I have ...
1
vote
3answers
46 views

Find a locally compact space $X$ with a subspace $A$ that is NOT locally compact.

I'd like to find a locally compact space $X$ with a subspace $A$ that is NOT locally compact. As from here, I know that if $A$ is closed and $X$ is Hausdorff, then $A$ is locally compact. Anyone ...
0
votes
1answer
32 views

Closed subspace of a compact topological space is compact

Let $X$ be a compact topological space, and $A$ a closed subspace. Show that $A$ is compact. How does this look? Proof: In order to show that $A$ is compact. We need to show that for any open ...
1
vote
0answers
60 views

Normalizer of an open subgroup of a compact group

For some reason I cannot figure out the following. Suppose $G$ is a compact, Hausdorff and totally disconnected (but I think compact should suffice) group and $U$ an open subgroup. Why is the ...
3
votes
0answers
34 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 ...
0
votes
1answer
18 views

what is the meaning of a power set of topological vector space?

Given a topological vector space, what is the power set of this space meaning? thanks a lot. and I really appreciate if a straightforward and simple explanation of topological vector space is ...
0
votes
1answer
58 views

Show that if $G$ is a locally compact topological group and $H$ is a subgroup, then $G/H$ is locally compact.

Show that if $G$ is a locally compact topological group and $H$ is a subgroup, then $G/H$ is locally compact. This seems pretty straight forward but how will I be able to prove this? I saw this ...
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 ...
0
votes
1answer
21 views

A semitopological qroup which is also quasitopological.

$(G,\mathcal T)$ is a semitopological group with $$(\forall x\in G)(\forall U\in \mathcal T)(\exists V \text{ neighborhood of }1)(x\notin U^cV)$$ Then $G$ is quasitopological (ie inverse is ...
0
votes
1answer
46 views

Neighbourhood base about a point $p$ of a topological group

I am reading topological groups from Van der Waerden. The conventions followed in this book are these. An open set that contains the point $p$ is called an open neighbourhood of $p$. Any set which ...
1
vote
0answers
27 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 ...
2
votes
1answer
25 views

Integral of $|f|$ outside a compact set

Let $G$ be a locally compact group. Given $f\in L^1(G)$ and $\epsilon>0$, how to show that there is a compact set $K\subset G$ such that $\int_{G\setminus K}|f|<\epsilon$?
7
votes
2answers
112 views

Homeomorphism between Space and Product

Do there exist examples of non-empty, infinite spaces X not equipped with the discrete topology for with $X \cong X \times X$?
2
votes
1answer
40 views

Finite Haar Measure if and only if Compact

This is an exercise from a book: Let $G$ be a locally compact group with Haar measure $\mu$. $\mu(\{e\})>0$ if and only if $G$ is discrete. $\mu(G)<\infty$ if and only if $G$ is compact. I ...
0
votes
2answers
79 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 $\lambda (E) = 0$ where $\lambda $ is a Haar (Radon) measure. I know that if $f$ is a positive function and $\int_{E}f d\lambda = 0$ ...