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.
1
vote
1answer
21 views
A short exact sequence of groups and their classifying spaces
Suppose that we have a short exact sequence of topological groups:
$$1 \to H \to G \to K \to 1.$$
I have found some papers mentioning that the above sequence induces a fibration:
$$BH \to BG \to BK.$$
...
5
votes
2answers
48 views
Good book on topological group theory?
I'm looking for a good introduction to the theory of locally compact groups and their representations. It may assume the reader to be familiar with basic group theory, topology and measure theory.
4
votes
0answers
38 views
Which definition is correct?
I have encountered several different definitions of left Haar measure that don't all seem to agree.
The setting I care about is Locally Compact Groups.
The first seems to completely disagree with ...
0
votes
1answer
36 views
Haar measure $\tau$-additive?
I'm reading some results from Measure Theory Volume 4 by D.H. Fremlin, and I'm stuck on something.
This is pulled out of one of his lemmas (stated more generally for topological groups):
A Haar ...
1
vote
1answer
25 views
Why is the free pro-c-group on an infinite set not the pro-c-completion of the free group?
The set-up is the following: $\mathfrak c$ is a collection of finite groups closed under subgroups, homomorphic images, and extensions. For any group $G$, the pro-$\mathfrak c$-completion $G(\mathfrak ...
0
votes
1answer
20 views
Continuous action of topological group and embedding
Let $G$ be a topological group act continuously on a topological space $X$.
Why the continuity of the action of $G$ on $X$ implies that $G$ embedded as
topological group in $S_{X}$. Here $S_{X}$ is ...
0
votes
0answers
18 views
a free topological product of topological semigroups?
Much work has be done on describing the topology of free products of topological groups (Graev, Morris, Katz, etc). Could anybody hint me any results on free topological products of topological ...
4
votes
1answer
40 views
Sum of Cauchy sequences in an abelian topological group (first countability hypothesis)
We know that, given a first countable abelian topological group $G$, the sum of two Cauchy sequences gives yet another Cauchy sequence (see, e.g., this answer).
For those wondering, we say that a ...
3
votes
0answers
28 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
34 views
Example of a finite, non-abelian group in which left invariant metric is also right invariant [duplicate]
I need an example of a finite, non-abelian group $(G, \cdot)$ which satisfies the following condition:
If $d$ is a metric on $G$ such that $d(ax, ay)=d(x,y), \ \ \ \ \forall a,x,y \in G$,
then ...
1
vote
1answer
22 views
Factor group of profinite group
Wikipedia (http://en.wikipedia.org/wiki/Profinite_group, Properties and Facts) says that the factor group of a profinite group $G$ by a closed normal subgroup $N$ is another profinite group. No proof ...
5
votes
1answer
191 views
$G$ is locally compact semitopological group. There exists a neighborhood $U$ of $1$ such that $\overline{UU}$ is compact.
Let $G$ be a group and $\mathcal T$ be a locally compact topology on $G$ such that for any $a\in G$ the functions
$x \mapsto ax$
and
$x\mapsto xa$ are continuous on $G$.
How to prove elementarily ...
3
votes
1answer
103 views
Metric on a group
Is there a non-abelian finite group $G$ with the property: If metric $d$ on $G$ is left invariant then is also right invariant?
2
votes
1answer
43 views
On compact topological group
Must a compact topological group be metrizable? If not, is it separable?
Thanks for any help.
3
votes
1answer
54 views
Cardinality of quotient
Given $X$ a topological space, we consider $\mathcal{F}$ the class of all continuous maps $f:X\to H$ where $H$ is a topological group... (edited) and $|H|\le |X|$
If $f,g\in\mathcal{F}$, say $f:X\to ...
0
votes
2answers
29 views
How to show that the circle group T contains a copy of unit interval [0,1]?
Here, $T$ is the set of all complex numbers of absolute value 1. I want to show that there is a (natural) copy of the interval $[0,1]$. Any hint?
1
vote
1answer
47 views
An example for a non-precompact minimal topological group.
Do you have an example of a non-precompact minimal topological group?
A topological group $(G,\mathcal T)$ is said to be minimal iff it is Hausdorff and for any compatible Hausdorff topology ...
6
votes
0answers
70 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 ...
0
votes
3answers
44 views
group of homeomorphisms subgroup
(a) Let X be a topological space. Prove that the set $Homeo(X)$ of homeomorphisms $f:X \to X$ becomes a group when endowed with the binary operation $f \circ g$ .
(b) Let $G$ be a subgroup of ...
1
vote
0answers
50 views
From positive definite function to Følner sequence -— a question on amenability and nuclearity
We know that amenability of countable discrete group $\Gamma$ has many equivalent characterizations. In particular, there are two: a) there is a sequence of finitely supported positive definite ...
4
votes
2answers
54 views
Maximal compact subgroups of $GL_n(\mathbb{R})$.
The subgroup $O_n=\{M\in GL_n(\mathbb{R}) | ^tM M = I_n\}$ is closed in $GL_n(\mathbb{R})$ because it's the inverse image of the closed set $\{I_n\}$ by the continuous map $X\mapsto ^tX X$. $O_n$ is ...
12
votes
1answer
211 views
Every Tychonoff space is an image of a moscow space under a continuous open mapping.
Every Tychonoff space is an image of a moscow space under a continuous open mapping.
A space $X$ is called Moscow if the closure of every open set $U\subset X$ is the union of a family of ...
5
votes
1answer
74 views
A question about quotient under group action
Let $X$ be a Hausdorff space, and $G$ a group acting on $X$ by homeomorphisms. Let $H$ be a normal subgroup of $G$. Is it true that $X/G$ is homeomorphic to $(X/H)/(G/H)$ ?
If so, can you please ...
6
votes
1answer
137 views
Question about pointwise canonically weakly pseudocompact space.
A point $x$ of a space $X$ is said to be a point of canonical weak pseudocompactness if the following condition is satisfied:
For every canonical open subset $U$ of $X$ such that ...
1
vote
1answer
85 views
Is there an example of a non-orientable group manifold?
Basically what I'm looking for is a topological group that is also a non-orientable, n-dimensional manifold
3
votes
1answer
86 views
Noncommutative dual group
If $G$ is a locally compact group, we can define its dual group $\hat G$. That is set of continuous homomorphism from $G$ to circle group $\mathbb T$. My question is how to define dual group $\hat G$ ...
2
votes
1answer
36 views
Cauchy product on topological rings
Let $R$ be any commutative Hausdorff topological ring. I am looking for a preferably general condition on sequences $(x_n)_{n \in \mathbb{N}}$, $(y_n)_{n \in \mathbb{N}}$ such that the equation $$ ...
4
votes
1answer
40 views
orthogonal group of a quadratic vector space
I am reading about the orthogonal group $O(V)$ of a real finite dimensional quadratic vector space $(V,Q)$ with $Q$ nondegenerate. By definition $$O(V)=\{f:V\mapsto V |\quad Q(f(v))=Q(v) \quad \forall ...
2
votes
1answer
63 views
The intersection of open normal subgroups in a compact, totally disconnected topological group is trivial.
I am currently doing self-study on profinite groups and I'm stuck trying to prove the following lemma.
If a topological group $G$ is compact and totally disconnected, then the open normal ...
5
votes
2answers
119 views
Are $\Bbb R$ and $\Bbb C$ the only connected, locally compact fields?
I heard that $\Bbb R$ and $\Bbb C$ are the only connected, locally compact fields.
Does anyone know a proof for this result?
2
votes
1answer
67 views
fundamental group of a graph
let $G$ be a connected graph and $\Omega$ its universal covering. Let $\gamma_1,\dots,\gamma_r$ be free generators of $\Gamma:=\pi_1(G)$, $v\in\Omega$ be a vertex and $s_i$ a path from $v$ to ...
0
votes
0answers
41 views
Is the Hilbert-Smith conjecture still unsolved?
Conjecture Let $G$ be a locally compact topological group. If $G$ has a continuous faithful group action on an $n$-manifold, then
$G$ is a Lie group.
Is this conjecture still unsolved? Is ...
1
vote
1answer
21 views
inverse on topological semigroup
Assume $(G,\cdot)$ denotes a topological semigroup (no id, non-commutative). Let $V\subset G$ be open and take some arbitrary $g\in G$.
Define $$gV^{-1}:= \bigcup_{x\in V}gx^{-1} = \bigcup_{x\in ...
3
votes
3answers
129 views
what are all the open subgroups of $(\mathbb{R},+)$
I am not able to find out what are all the open subgroups of $(\mathbb{R},+)$, open as a set in usual topology and also subgroup.
0
votes
0answers
49 views
Isometry groups are topological groups (resp. lie groups). Is every topological (resp. Lie-) group an isometry group?
The isometry group of a metric space is a topological group (with the compact open topology).
The isometry group of a Riemann Manifold is a Liegroup. (Thm. of Steenrod-Myers)
So, is every topological ...
5
votes
1answer
61 views
If $H$ and $G/H$ are compact, then $G$ is compact.
Suppose that $G$ is a topological group and that $H$ is a subgroup of $G$ so that $H$ and $G/H$ are compact. I am trying to show that $G$ must be compact.
The first idea is to use the natural map ...
3
votes
1answer
67 views
Properties of $ \text{Exp}(A) $, where $ A $ is a Banach algebra.
$ \newcommand{\Exp}{\operatorname{Exp}} $ Let $ A $ be a unital Banach algebra. For $ a \in A $, consider
$$
\Exp(A) \stackrel{\text{def}}{=} \{ e^{a_{1}} e^{a_{2}} \cdots e^{a_{n}} ~|~ n \in ...
4
votes
1answer
98 views
wiki's definition of “strongly continuous group action” wrong?
Wikipedia defines strongly continuous group action as follows:
A group action of a topological group G on a topological space X is said to be
strongly continuous if for all x in X, the map g ↦ ...
1
vote
1answer
120 views
Topological Group, symmetric neighborhood, Hausdorff, disjoint open sets
Let $G$ be a topological group with identity $e$. If $A, B$ are subsets of $G$, we let $A * B$ denote the collection of elements $a * b$ for $a \in A, b \in B$, and we let $A^{-1}$ denote the set of ...
0
votes
0answers
25 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 ...
1
vote
2answers
64 views
How is the general linear group a topological group?
How to see if the general linear group GL($n$), of non-singular $n$-square matrices over the real (or complex) numbers under matrix multiplication, is a topological group? How to show that matrix ...
1
vote
0answers
32 views
History: continuously differentiable groups over the real numbers
Continuously differentiable groups over the real numbers are all isomorphic to addition, as is well-known, but who proved it and when?
2
votes
0answers
58 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 ...
4
votes
1answer
77 views
Action of a subgroup of finite index on a tree induced by an action of a group on a tree
Let $G$ be a group wich acts on a tree $\Gamma$. Then $U$ acts on $\Gamma$ for every $U\leq G$.
Question: Why does the following hold?
If $|G:U|<\infty$. Then the minimal $U$-invariant subtree ...
4
votes
1answer
55 views
Is the Haar measure of a product of finite measure and compact, finite?
Let $G$ be a locally compact group with Haar measure $ \mu $, $K \subset G$ a compact subset and $ F \subset G $ any subset of finite Haar measure $\mu (F) < \infty $.
Is the Haar measure of the ...
1
vote
1answer
28 views
question about $Y$-homogeneous spaces.
A subspace $Y$ of space $X$ is $h$-dense in $X$, if $Y$ is dense in $X$ and, for each $x\in X$, there exists a homeomorphism $h$ of $X$ onto itself such that $h(x)\in Y$. in this case we say that $X$ ...
3
votes
0answers
102 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$ ...
2
votes
1answer
75 views
discrete normal subgroup of a connected group
could any one give me hint for this one?
$G$ be a connected group, and let $H$ be a discrete normal subgroup of $G$, then we need to show $H$ is contained in the center of $G$
first of all, I have ...
0
votes
1answer
38 views
action of $O(n,\mathbb{R})$ on $S^n$
I need to know what is the action of $O(n,\mathbb{R})$ on $S^n$, and $O(n,\mathbb{R})/O(n-1,\mathbb{R})\cong S^{n-1}$, how does $O(n-1,\mathbb{R})$ sit inside $O(n,\mathbb{R})$?
The obvious action ...
0
votes
1answer
95 views
Continuous homomorphism into locally compact Hausdorff group
Could any one give me hint to solve this one?
$f:G\rightarrow H$ is continuous homomorphism into a locally compact Hausdorff group $H$. Then we need to show $f$ is necessarily open. all spaces 2nd ...
