5
votes
1answer
203 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 ...
6
votes
0answers
73 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 ...
2
votes
1answer
39 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 $$ ...
2
votes
1answer
68 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 ...
2
votes
1answer
107 views

Normal subgroups of the Special Linear Group

What is some normal subgroups of SL(2, R)? I tried to check SO(2, R), UT(2, R), linear algebraic group and some scalar and diagonal matrices, but still couldn't come up with any. So can anyone give ...
3
votes
1answer
131 views

Research Sources for $SL(2,R)$

Can anyone guide me to a good site for the special linear group $SL(2,R)$, especially one that goes deep into its subgroup and normal subgroup? Book recommendations would be great too.
3
votes
1answer
62 views

Induced topology on the homomorphic image of a topological group

I would like to do a small sanity check on the following situation: Let $\pi: G \rightarrow G'$ be a surjective homomorphism of topological groups. Let the topology of $G$ be given by a sequence of ...
7
votes
1answer
164 views

Topology induced by the completion of a topological group

Let $G$ be an abelian topological group and let $\hat{G}$ be its completion, i.e. the group containing the equivalence classes of all Cauchy sequences of $G$. What exactly is the topology of ...
3
votes
1answer
113 views

Sum of Cauchy sequences is Cauchy in an Abelian Topological Group

Let $G$ be a topological abelian group and suppose $0$ has a countable fundamental system of neighborhoods. Let $(x_n),(y_n)$ be Cauchy sequences of $G$. Why is it true that $(x_n+y_n)$ is a Cauchy ...
4
votes
1answer
121 views

Two Lie groups which are isomorphic but not homeomorphic

I am looking for an example of two Lie groups which are isomorphic as groups but not homeomorphic as topological spaces. Or, even more interestingly, a proof that two such groups cannot exist. Does ...
1
vote
1answer
90 views

a question on normal subgroup of $GL_n(\mathbb{C})$ and $GL_n(\mathbb{R})$

I am really sorry that I am not able to solve this one, thank you for your help.
2
votes
0answers
144 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 ...
4
votes
2answers
232 views

Why metrizable group requires continuity of inverse?

A metrizable group is a metric space $(G,d)$ with a binary operation $\cdot$ such $(G,(\cdot))$ is a group and maps $(\cdot):G\times G\to G$ and $f:G\to G$ given by $(\cdot)(x,y)=xy$ and $f(x)=x^{-1}$ ...
7
votes
1answer
190 views

Is a topological group action continuous if and only if all the stabilizers are open?

Let $G$ be a topological group and $(X,\mu)$ be a $G$-set, i.e. $\mu$ defines an action $X \times G \rightarrow X$. Is it then true that $\mu$ is continuous if and only if for every $x \in X$ the ...
0
votes
2answers
153 views

does isomorphic groups induce homeomorphic quotients

suppose $X$ is a topological space and $G$ and $H$ are groups acting on it. 1) if $G$ is isomorphic to $H$ do we have necessarely $X/G$ is homeomorphic to $X/H$ 2) suppose $G$ and $H$ are two ...