Tagged Questions

150 views

Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$. It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice. Is $(\mathcal L,\subseteq)$ distributive?
398 views

Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$

Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function $$f:G\times G\to G$$ $$f(x,y)=xy^{-1}$$ is continuous at $(1,1)$?
165 views

Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point? The question is inspired by and related to ...
384 views

A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with \mathcal ...
52 views

Separation of topological group elements by invariant neighbourhooods

Let $G$ be a topological group that is Hausdorff, that is, for every pair $(g,h)$ of distinct elements of $G$, there exist disjoint open sets $U_g$ and $U_h$ such that $g \in U_g$ and $h \in U_h$. ...
103 views

222 views

Does the weak approximation theorem hold for general topological fields?

The weak approximation theorem states that given a field $F$ and nontrivial inequivalent absolute values $|\cdot|_1,\ldots,|\cdot|_n,$ and letting $F_i$ denote $F$ with the topology from $|\cdot|_i$, ...
965 views

Finite dimensional vector spaces over a complete but not-necessarily-valued field

I'm essentially reopening this old question of Ricky Demer which was never fully answered. Essentially the original question: Suppose we have a topological field $F$ which is complete, Hausdorff, and ...
258 views

When does a LCA group not contain a (closed) infinite cyclic subgroup?

If $G$ is an LCA (locally compact abelian) group, is there any 'nice' sufficient (or preferably necessary and sufficient) criteria for when $G$ does not contain a closed (and hence discrete in the ...
163 views

Shrinking Group Actions

This is a repost from stackexchange. I didn't get an answer, so I figured I'd ask it here. Suppose $H\subset G$ is a subgroup of a topological group $G$, and $Y\subset X$ is a subspace of a ...
168 views

Finite topological dimension x local compactness

Of course, the two notions are independent one from the other, but often one of them implies the other under some additional hypotheses. For instance: A topological vector space is finite dimensional ...
658 views

On closed totally disconnected subgroups of connected real Lie groups

So the following statement seems to be obvious but I don't see how to prove it: Q: How does one prove that a closed totally disconnected subgroup of a connected real Lie group is discrete? Note that ...
1k views

Compact open topology on $\mathrm{Homeo}(X)$

Let $X$ and $Y$ be topological spaces. Define the compact open topology on the set $\mathrm{M}(X,Y)$ of contiunous maps from $X$ to $Y$ via the subbase $[K,O]$ of all maps $f:X\rightarrow Y$ s.t. ...
883 views

When do isometric actions exist?

Let $X$ be a metrizable topological space and $G$ be a locally compact group. Given a continuous (left) action of $G$ on $X$, is there a metric on $X$, compatible with the topology, for which the ...
343 views

Topological Groups and Families of Pseudometrics

The topology on a topological group is generated by a family of pseudometrics. The only proof I know passes through uniform spaces (by which I mean the entourage definition): A topological group has ...
969 views

Irreducible unitary representations of locally compact groups

Let $G$ be a locally compact group and let $\mu$ be a left Haar measure. We know that $\mu$ is unique up to a scalar in $\mathbf{R}_{>0}$. I don't know so much about unitary representations of ...
682 views

Is every compact topological ring a profinite ring?

There are a lot of compact (Hausdorff) groups, whereas every compact field is finite. What about rings? Is there a classification theorem for compact rings? If you take a cofiltered limit of finite ...
685 views

When is the group of homeomorphisms of a compact space locally compact?

When is the group of homeomorphisms of a compact space locally compact? I am interested in finding out when the group of homeomorphisms of a compact topological space $X$ (with appropriate ...
397 views

Ever seen a ringed group?

A locally ringed space is a common generalization of schemes and various manifolds. I am wondering about a locally ringed group which should be a common generalization of group schemes and various Lie ...
182 views

When does a closed inclusion induce a closed inclusion on free topological groups?

Suppose $A$ is a closed subspace of a Tychonoff space $X$. Does the inclusion $i:A\hookrightarrow X$ induce a closed embedding of topological groups on the free (Markov -the unbased version) ...
788 views

Sequential topological vector spaces

Since I'm dealing with the distinction between sequential continuous and continuous maps at the moment I came to ask myself once again what can be said about spaces where these two notions agree ...
286 views

Example of a quasitopological group with discontinuous power map

A quasitopological group is a group $G$ with topology such that multiplication $G\times G\rightarrow G$ is continuous in each variable (i.e. all translations are continuous) and inversion ...
3k views

Fundamental group as topological group

Background Let $(X,x)$ be a pointed topological space. Then the fundamental group $\pi_1(X,x)$ becomes a topological space: Endow the set of maps $S^1 \to X$ with the compact-open topology, endow the ...
299 views

Homomorphisms of Topological Groups which are Automatically Fiber Bundles?

Suppose I have a surjective homomorphism of topological groups $f:E \to G$. Let K be the kernel of f. The topological group K acts on E in an obvious way. When is this a fiber bundle over G? (It will ...
524 views

Is there a non-trivial topological group structure of $\mathbb{Z}$?

More specificaly, is there a haussdorf non-discrete topology on $\mathbb{Z}$ that makes it a topological group with the usual addition operation?
398 views

Potential connected non-Lie subgroup

This painful question is inspired by the question "non-Lie subgroups" . Let R denote the real numbers. Let f be an discontinuous additive map from R --> R. Is it possible that the graph of f, inside ...