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 = ...
1
vote
1answer
53 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 ...
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. ...
2
votes
0answers
35 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 ...
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 ...
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 ...
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 ...
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 ...
0
votes
1answer
56 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
2answers
155 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 ...
0
votes
0answers
36 views

center of the group of orthogonal matrices of dim 3 [duplicate]

i am looking for the center of the group of orthogonal matrices of dimension 3. i'm thinking it contains all rotations and reflections but i'm not sure i'm correct and (assuming i am) don't know how ...
1
vote
1answer
47 views

Quotient group $G/G_0$ in Group Topology

I'm stuck on this (apparently) simple thing: If $G$ is a topological group and $G_0$ is the connected component of $G$ containing the identity then $G/G_0$ is discrete if and only if $G_0$ is open. ...
4
votes
1answer
43 views

Is true that $Z(G)/N = Z(G/N)$ for connected topological groups?

Let $G$ be a connected topological group and $N$ a discrete normal subgroup of $G$. Is it true that $Z(G)/N = Z(G/N)$, where $Z(G)$ denotes the center of $G$? I know that every discrete normal ...
2
votes
1answer
51 views

Combining the axioms of a topological group

According to Wikipedia, a topological group $G$ is a topological space and a group, such that the functions $$(x,y) \mapsto x\cdot y\\x\mapsto x^{-1} $$are continuous. Is the single requirement that ...
0
votes
2answers
27 views

H = {A $\in$ G| there exists f:[0,1]$\to$G continuous, such that f(0)=A, f(1)=I}, Is H normal in G?

If G is a subgroup of GL(n;$\mathbb R$) and H = {A $\in$ G| there exists f:[0,1]$\to$G continuous, such that f(0)=A, f(1)=I}, Is H normal in G?
2
votes
2answers
66 views

extension of group operation from $\mathbb{Q}$ to $\mathbb{R}$

I'm having a hard time with this (seems easy, but could be misleading) problem: Let $A \subseteq \mathbb{Q}$ be a convex subset, and let $+$ group operation on $A$. Let $\overline{A} := \{x \in ...
0
votes
0answers
40 views

Different profinite topologies on a group?

I have some general questions around the profinite topology on a group $G$. On the page http://groupprops.subwiki.org/wiki/Profinite_topology one can read, that The profinite topology on a group is ...
0
votes
0answers
47 views

Subgroup Separability translated in Profinite Topology

The normal definition of subgroup separability is: A group $G$ is said to be subgroup separable if for every finitely generated subgroup $H\leq G$ and $g\in G\setminus H$ there exists a subgroup of ...
3
votes
2answers
64 views

Topological Group $G$ totally disconnected $\Rightarrow$ $G$ hausdorff?

On Wikipedia, I read that a topological group is necessarily Hausdorff if it is totally disconnected. Is that true? I read it on this page: http://en.wikipedia.org/wiki/Totally_disconnected_group ...
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$ ...
1
vote
0answers
46 views

invariant measure on a quotient of a topological group

Suppose I have a locally compact topological group, $G$, and a closed subgroup $H\leq G$. Suppose $\Delta _G|_H = \Delta_H$ where the $\Delta$ are the modular functions on $G$ and $H$. How can I see ...
11
votes
1answer
122 views

Proving that a metric space is a group

I'm stuck on this relatively hard problem. Let $G$ be a non-empty set, $d$ a distance on $G$ and $\cdot$ an associative operation on $G$ $\cdot$ is such that $$\forall a \in G , \forall x \in G ...
2
votes
1answer
49 views

Is $SL_1(D)$ toplogically finitely generated, for $D$ a division algebra over a local field?

I've been struggling with this one all day, and I was wondering if someone can give me a hand with the proof. I'm not even sure if the group in question is finitely generated, so I would appreciate if ...
1
vote
1answer
91 views

Can a locally compact group with closed singleton be countable but not discrete?

Problem: Prove if a locally compact group $(G,*)$ contains a closed singleton then it must be either discrete or uncountable Proof Given: Assuming $G$ is countable we can write $G = \displaystyle ...
4
votes
0answers
90 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 ...
3
votes
0answers
44 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 ...
4
votes
1answer
99 views

Profinite completion is complete.

Let $G$ be any group, and $\widehat{G}$ its profinite completion. Is it true that $\widehat{\widehat{G}}=\widehat{G}$, i.e. is it true that $\widehat{G}$ is (canonically isomorphic to) its own ...
4
votes
1answer
56 views

reference request: proof that group characters are a basis for $L^2$

I know the following must be very standard, but I haven't found it in any of the functional analysis books to which I have access. Do you know where I can find a self-contained proof?: If $G$ is a ...
3
votes
1answer
120 views

Fuchsian groups and topological isomorphism

I have a (finite) presentation of a group and I am wanting to prove that it is not Fuchsian. Because it is given by a presentation, a neat, algebraic description of Fuschian groups would be nice. This ...
1
vote
0answers
58 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
1answer
82 views

Upper triangular matrices in $\mathrm{SL}(2,\mathbb{R})$

If $G$ is a compact Hausdorff topological group then every neighborhood of the identity contains a neighborhood $U$ which is invariant under conjugation. That is, $gUg^{-1}=U$ for all $g\in G$. ...
3
votes
1answer
102 views

Counterexample or proof that a certain subset in a topological group is closed

We consider a Hausdorff topological group $G$ acting on a topological space $X$ [action simply means a continuous map $G\times X\rightarrow X$ verifying $(gh)(x)=g(h(x))$, and $1(x)=x$]. The set ...
11
votes
1answer
157 views

Is there a nontrivial topological group that's isomorphic to its fundamental group?

All I know is that the topological group has to be Abelian. I have no idea how to prove or disprove this statement. Thanks in advance.
2
votes
4answers
89 views

Closure of a certain subset in a compact topological group

Suppose that $G$ is a compact Hausdorff topological group and that $g\in G$. Consider the set $A=\{g^n : n=0,1,2,\ldots\}$ and let $\bar{A}$ denote the closure of $A$ in $G$. Is it true that ...
2
votes
0answers
37 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 ...
1
vote
1answer
78 views

$ρ_ωG$ is a subgroup of $ρG$ containing $G$.

The $G_δ$-closure of $A$ in space $X$ is defined as the set of all points $x ∈ X$ such that every $G_δ$-subset of $X$ containing $x$ has a non-empty intersection with $A$. Now let $G$ be a ...
2
votes
1answer
103 views

Quotient space and double cosets

I'm reading Serre's Trees recently. I'm trying to prove that $\Gamma$ is a discrete torsion-free subgroup of $\mathrm{SL}_{2}(\mathbb{Q}_{p})$. If the quotient space $G/\Gamma$ is compact, then ...
2
votes
1answer
72 views

Prove that the group $\langle U\rangle\leq G$ is open and closed in $G \subset GL_n\mathbb R$.

Let $G \subset GL_n\mathbb{R}$ be a closed subgroup and $U \subset G$ open with respect to the subspace topology. Prove that the group $\langle U \rangle$ generated by $U$, i.e. the smallest subgroup ...
2
votes
1answer
79 views

compact open subgroups of a totally disconnected locally compact group are commensurable

I'm having a little trouble proving that any two subgroups of a totally disconnected, locally compact topological group are commensurable, so am looking for a push in the right direction! I have so ...
1
vote
1answer
62 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 ...
1
vote
1answer
147 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
4
votes
1answer
124 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
122 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 ...
4
votes
3answers
182 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.
6
votes
0answers
78 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
1answer
104 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 ...
3
votes
1answer
203 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 ...
7
votes
1answer
94 views

Closed subgroups of n copies of the p-adic integers

What do closed subgroups of $\mathbb{Z}_p \oplus \cdots \oplus \mathbb{Z}_p$ look like (where there are $n$ summands in the direct sum)?
2
votes
0answers
99 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
1answer
148 views

discrete subgroup of locally compact abelian group

Let $G$ be a locally compact abelian infinite group but non-compact. In some paper, the author claims that the dual group $\widehat{G}$ contains an infinite discrete group $K$. What do you think ...