2
votes
2answers
149 views

injective implies completion injective?

Background and definitions. Let $k$ denote a field complete with respect to a non-trivial non-archimedean norm. Let $R$ be the integers in $k$, and say $\pi\in R$ with $0<|\pi|<1$ ($\pi$ ...
5
votes
1answer
418 views

Naive question on adelic groups

The ever-reliable Wikipedia says: ... an adelic algebraic group is a semitopological group defined by... No more details are given, and I was wondering if the multiplication only being ...
6
votes
1answer
257 views

Are finite index subgroups of inertia closed?

Let $K$ be a finite extension of the $p$-adic numbers. $G_K$ be its absolute Galois group and $I_K$ the inertia subgroup. Are finite index subgroups of $I_K$ closed in its profinite topology? By a ...
8
votes
3answers
508 views

Congruence Subgroups as Open Subgroups of the Modular Group Under the Right Topology

It occurred to me that a subgroup of the modular group $\Gamma$ is a congruence subgroup iff it contains a subgroup of the form $\Gamma(N)$, while a subgroup of a general topological group is open iff ...
10
votes
2answers
476 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?