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

1
vote
0answers
18 views

Every representation of compact group is a direct sum of irreducible

Recently I asked about (references to) some results concerning representation theory of compact topological groups: here is the discussion Representation theory of locally compact groups In ...
0
votes
0answers
13 views

Question regarding characters and point open topology2

this is a follow-up question for the following one: Dual group of G with point open topology is an intersection of C(G,T) and a closed set In the book of Banaszczyk - "Additive subgroups of ...
2
votes
2answers
43 views

Connected Lie group is second countable?

I know this is true from various sources, unfortunately none of them give the full proof. I already have a start: Let $G$ be connected Lie Group. Choose $K$ to be any compact neighbourhood of the ...
1
vote
1answer
18 views

Set of discrete orbits under subgroup of $Isom(\mathbb{E}^n)$ is clopen

I'm trying to solve the following exercise (exercise 1.4 from Szczepanski's "Geometry of Crystallographic Groups"): Let $\Gamma$ be a subgroup of $I(\mathbb{E}^n)$, the group of isometries on ...
3
votes
1answer
47 views

$M= \{ A \in Mat_{2 \times 2}{\mathbb{R}}| \det(A)=1 \}$ is homeomorphic to $S^{1} \times \mathbb{R}^{2}$

Let's consider a group $M$ (under multiplication) of all matrices $A$ of size $2 \times 2$ over $\mathbb{R}$ so that $\det(A)=1$. How to show that the group is homeomorphic to the $S^{1} \times ...
3
votes
0answers
56 views

Contractible pieces of $GL(n,\mathbb{C})$

Is $GL(n,\mathbb{C})$ contractible for any $n$? My intuition is telling me it is not, because the determinant maps the general linear to $\mathbb{C}\setminus 0$ which is not contractible. If there ...
0
votes
1answer
20 views

topological isomorphism between a topological group and the identity component of a topological group

Let $\Bbb R$ be the group of real numbers with the usual topology and $\Bbb Z$ the group of integers with the discrete topology. Is $\Bbb R$ topological isomorphism by the identity component of $(\Bbb ...
1
vote
0answers
22 views

Open subgroups of quotient topological groups

Let $G$ be a topological abelian group and $H$ a closed subgroup of $G$. Is it true that an open subgroup of $G/H$ has the form $K/H$ where $K$ is an open subgroup of $G$ containing $H$?
2
votes
1answer
45 views

Representation theory of locally compact groups

My knowledge about representation theory of locally compact groups is rather scattered. As I got more interested with this subject, I would like to know some good references, where I could learn the ...
3
votes
1answer
26 views

Definition of precompactness in a topological group $G$

I have seen that the definition of precompact sets in a topological group $G$ is a bit tricky. Can someone please explain? I saw that it has to do something with totally bounded sets. Is there a more ...
0
votes
1answer
19 views

An inductive limit of amenable groups is amenable

It is a Theorem that an inductive Limit of amenable Groups is amenable. Could someone sketch me a proof of this, or give me a reference? I couldn't find one. Thanks in advance. Edit: I wanted it for ...
1
vote
1answer
49 views

False proof that all topological groups are discrete: what went wrong?

I can't seem to find the mistake in this obviously false proof I've thought up while trying to understand topological groups. It's pretends to prove the discreteness of all topological groups. Let ...
1
vote
3answers
26 views

Question about images of R under injective homomorphisms.

I'm studying for my topology comp and I'm at a bit of a loss on this question. (My experience with Algebra is very limited and my experience with topological groups in particular is almost ...
3
votes
0answers
84 views

The topology of $GL(V)$

Let $V$ be a topological vector space (not necessarily finite-dimensional) over a field $K$, and let $GL(V)$ be the group of invertible linear maps $V\to V$ under composition. There are two obvious ...
1
vote
1answer
30 views

topological isomorphism between a group and product of its subgroups

I have stumbled upon the following question: Let $G$ be a $\sigma$-compact, locally compact Hausdorff group with $N$ and $H$ closed normal subgroups of $G$. Also $$N\cap H= \{e\}$$ and $$G=NH .$$ Then ...
0
votes
1answer
29 views

support compact modulo subgroup

I am studying (co)-induced representations of topological groups and I came across the following situation: $G$ is a topological group, $H$ a closed subgroup and $f\colon G\to W$ a set-theoretic map, ...
1
vote
1answer
31 views

LCA - groups under continuous homomorphisms

can someone help me out with this question? LCA stands for Locally compact Hausdorff abelian group. The question is posted in the attached image Let $A$ and $B$ be LCA-groups and $H$ a (not ...
0
votes
2answers
34 views

Equivalence to being a topological group

Just some notation I am using: A topological group $G$ is a group with a topology such that $o : G^2 \to G : (x,y) \mapsto xy$ and $inv : G \to G : x \mapsto x^{-1}$ are continuous in the ...
0
votes
0answers
33 views

Why the multiplicative group $G_m$ is called a 1 dimensional torus?

I am reading a definition saying that an algebraic group over a field $K$ is called a torus if it is isomorphic to product of copies of the multiplicative group $G_m = K^*$. I don't understand why ...
1
vote
1answer
34 views

What prevents the restriction of a Haar measure to a closed subgroup from being a Haar measure?

Let $\mu$ be a Haar measure on a locally compact Hausdorff topological group $G$, and let $H$ be a closed subgroup of $G$. If we restrict $\mu$ to the Borel sets of $G$ which are contained in $H$ ...
1
vote
1answer
23 views

Showing that compact metrizable abelian group has enough characters

I wanted to know if anybody has some clue as why a compact metrizable abelian group has enough characters to sepatare points. (a character on a topological group is a continuous homomorphism from the ...
2
votes
0answers
26 views

universal bundle of topological monoids

Let $M$ be a topological monoid. There is a classifying space $BM$ (cf. canonical map of a monoid to its classifying space). When $M$ is a group $G$, there is a principal $G$-bundle $EG\to BG$ such ...
7
votes
1answer
40 views

When does a topological space inherit multiplication from a dense subspace?

Suppose $K$ is a compact topological Hausdorff space with a dense subspace $G$. Moreover, let $G$ have a group structure which is compatible with the topology inherited from $K$. i.e. $G$ is a ...
3
votes
1answer
47 views

Is a compact subset of a topological group G/N closed if G is hausdorff?

I just used this hypothesis when I was proving a theorem.But I was not sure if this hypothesis is correct.
3
votes
1answer
38 views

Compact paratopological groups are automatically topological groups.

A compact paratopological group is a topological group. How to prove it? An abelian paratopological group is a topological group. Is this right? A paratopological group is a topological semigroup ...
0
votes
1answer
25 views

example of a particular topological group

Can someone give an example of a topological group $G$ that is not Hausdorff but that contains a fundamental system of neighbourhoods of $1\in G$ consisting of quasi-compact subgroups? Thanks in ...
0
votes
1answer
18 views

Why is there a set $W$ (to be described below) such that $\mathbb{A}_K = W + K$?

To prove the compactness of $\mathbb{A}_{\mathbb{Q}}/ \mathbb{Q}$ (and hence $\mathbb{A}_K/K$ for an arbitrary number field $K$), one finds a set $W \subseteq \mathbb{A}_{\mathbb{Q}}$ of the form $$ ...
2
votes
0answers
34 views

suspension foliations on thickened surfaces

I've seen this statement without proof in a peer reviewed journal and I'm looking for a proof: "If $L$ is an oriented surface with boundary($\neq D^2$), and $C$ is a designated boundary component, ...
1
vote
0answers
15 views

Is the unitary group of a pre Hilbert space contractible?

for a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for the strong operator topology (Dixmier and Douady, ...
2
votes
1answer
32 views

Blichfeldt-Minkowski Lemma

I'm trying to understand a proof of the following result Theorem: Let $K$ be a number field, and $|| \cdot ||$ the idelic norm (product of the normalized absolute values at each place). There ...
2
votes
0answers
37 views

Quotient group of $\mathbb{R}^2$ by irrational line

In a section about topological groups, exercise 4.10 in I.M. James' General Topology and Homotopy Theory asks Show that for irrational values of $\alpha$ the factor group of the real plane ...
0
votes
1answer
39 views

The whole group is covered by compact translating of subgroups

$G$ is a locally compact (may not necessarily Hausdorff) group, $H$ is a subgroup in $G$, $G/H$ is compact as a quotient space , then there exist a compact subset $K$ such that $G=KH$(or $G=HK$).
4
votes
0answers
32 views

Is there a non-abelian Lie group which is homeomorphic to an $n$-dimensional torus $\mathbb{T}^n$?

I've learned that a compact connected abelian Lie group must be a torus. Of course, conversely, a torus as a group is abelian. I wonder if 'homeomorphic to a torus' is enough to imply abelian. ...
1
vote
3answers
29 views

Example for algebraic homomorphism between topological groups which is not continuous

I am quite sure there should be an easy example of: (algebraic) homomorphism between topological groups which is not continuous. However, I do not see one immediately.
1
vote
3answers
47 views

Continuous homorphisms between topological groups.

Let $G,H$ be topological groups and let $\rho: G \rightarrow H$ be a homomorphism of topological groups. I understand this to mean that $\rho$ preserves group structure and is a map between the ...
0
votes
1answer
25 views

A topological group is embeddble in a product of a family of second-countable topological groups if and only if it is $\omega$-narrow

How to prove the following property: a topological group is topologically isomorphic to a subgroup of the product of some family of second-countable topological groups if and only if it is ω-narrow
2
votes
1answer
47 views

Comparing the Samuel and Stone-Čech compactifications of a Hausdorff topological group

Let $G$ be an Hausdorff topological group and let $\beta G$ be the Stone-Čech compactification of $G$. Now, $G$ is also a uniform space with respect to the so-called right uniformity. Let $S(G)$ be ...
0
votes
0answers
19 views

$ \pi : O(n) \rightarrow O(n)/O(n-k) \cong V_{n,k}(\mathbb{R}) $is a principal $ O(n-k) $-bundle.

I'm trying to prove that $ \pi : O(n) \rightarrow O(n)/O(n-k) \cong V_{n,k}(\mathbb{R}) $; $ A \longmapsto (Ae_1, ... ,Ae_k) $ (the projection from the orthogonal group to the Stiefel manifold) is a ...
0
votes
0answers
31 views

open subgroup of normal topologcial group is normal

$G$ a topological group and $H⊆G$ an open subgroup, $G$ is normal iff $H$ is normal. Remark: Here, G is not necessarily a Hausdorff space. A topological space $X$ is a normal space if, given ...
3
votes
1answer
68 views

Is the completion of a metrizable topological group metrizable?

Let $G$ be a topological group and its two-side uniformity $\mathcal{U}$ (that is the uniformity generated by right uniformity and left uniformity of $G$) coincides with the uniformity of a metric ...
8
votes
1answer
108 views

Does every continuous action of $S^1$ on $R^n$ have a fixed point?

I certainly can't think of one that doesn't. I am aware that there are decompositions of $R^n$ as a union of embedded $S^1$'s, but none of these seem like they would support a continuous action. ...
3
votes
1answer
74 views

Is there such a norm on any totally disconnected local field?

Let's set this definition of local field: Let $\mathbb{K}$ be a field and a topological space (non-discrete and totally disconnected). Then $\mathbb{K}$ is called a local field if both ...
0
votes
0answers
9 views

Show that representative functions on a profinite group factors. [duplicate]

Let $G$ be a compact group. A representative function $f\in\mathcal{C}(G,\mathbb{K})$ is a function such that $\dim\left(\operatorname{span}\left(Gf\right)\right)< \infty$. Remark that the ...
3
votes
1answer
26 views

Compactness of a group with a bounded left-invariant metric

Let $G$ be a group equipped with a left-invariant metric $d$: that is, $(G,d)$ is a metric space and $d(xy,xz) = d(y,z)$ for all $x,y,z \in G$. Suppose further that $(G,d)$ is connected, locally ...
1
vote
0answers
40 views

how do i prove the existence of this norm?

I am reading an article that states: Let $\mathbb{K}$ be a fixed local field. Then there is an integer $q=p^r$, where p is a fixed prime element of $\mathbb{K}$ and r is a positive integer, and a ...
1
vote
1answer
34 views

Proof of a result on closed subgroups of Galois group

Let $M\supseteq K$ be an algebraic normal extension. Then its Galois group is profinite. I have been told that in this hypothesis, if $H\leq G$, then $H''=H\iff \bar H=H$, where ...
3
votes
0answers
23 views

Is $\mathcal O^{\ast}/U^{(n)}\cong (\mathcal O/\mathfrak p)^{\ast}$ as topological groups?

I have the following: $K$ is a field with discrete valuation $v$, $\mathcal O$ its valuation ring and $\mathfrak p$ the maximal ideal and $U^{(n)}=1+\mathfrak p^n$ the $n$-th unit group for $n\geq 1$. ...
2
votes
2answers
137 views

$\epsilon$-dense subsets on $\mathbb R/\mathbb Z$.

Let $\langle M, d\rangle$ be a metric space. We say that $A \subset M$ is $\epsilon$-dense if every open ball of radius $\epsilon$ contains a point of $A$. Now let $T=\mathbb R/\mathbb Z$, the ...
1
vote
1answer
40 views

Complex numbers modulo integers

Is there a "nice" way to think about the quotient group $\mathbb{C} / \mathbb{Z}$? Bonus points for $\mathbb{C}/2\mathbb{Z}$ (or even $\mathbb{C}/n\mathbb{Z}$ for $n$ an integer) and how it relates ...
5
votes
2answers
68 views

Prob. 5 (a) in Supplementary Exercises in Munkres' TOPOLOGY, 2nd ed: How to show that this map is a homeomorphism?

Let $G$ be a topplogical group, and let $H$ be a subgroup of $G$. Let $G / H $ denote the collection of all left cosets of $H$ in $G$, and let $a$ be a fixed element of $G$. Let the map $f \colon G / ...