Topological groups were a topic that were covered minimally at my undergraduate institution but it’s a topic that I’m finding a need quite a bit in the number theory I’m reading (class field theory). Is there a recommended source that covers the general theory preferably with lots of examples and exercises?

Let $G$ be a locally compact topological group, and $H$ be a normal subgroup. $G/H$ is a locally-compact topological group as well, and if we assume $H$ to be closed then $G/H$ is hausdorff and therefore admits a haar measure $\mu_{G/H}$. It is also known that if $\Delta_{G}|_{H}=\Delta_{H]$ (the modular functions), then $G/H$ admits a […]

How is the rank of a cohomology group computed and what does it convey? I am trying to understand the concept behind betti numbers in a simplicial homology. Edited with details: Given a set of nodes/vertices/points X, let $C_{l}(X)$ denote the subsets of $X$ with cardinality $|C_{l}(X)|=l+1$. $\partial_{l}$ and $\delta_{l}$ are bounded linear maps with […]

Algebraic class field theory tells us that $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$ is isomorphic to the group of connected components of the quotient $\mathbb{Q}^{\times}\backslash \mathbb{A}_{\mathbb{Q}}^{\times}\cong \prod_p \mathbb{Z_p}^{\times}\times \mathbb{R}_{>0}$, where $\mathbb{A}_{\mathbb{Q}}$ is the ring of adèles of $\mathbb{Q}$. It’s then said that the group of connected components is given by $\prod_p \mathbb{Z_p}^{\times}$, how can I see this? Thank you very […]

Basically what I’m looking for is a topological group that is also a non-orientable, n-dimensional manifold

Let $G$ be a compact Hausdorff group. Let $X$ be a Hausdorff space. Suppose $G$ acts continuously on $X$. Is the orbit space $X/G$ Hausdorff? If not, I would like to know an counter-example. Remark As my answer to this question shows, if $X$ is a locally compact Hausdorff space, $X/G$ is Hausdorff.

Let $G$ be a topological abelian group and let $\widehat{G}$ denote its completion (i.e. equivalence classes of Cauchy sequences). Let $G_n$ be a descending sequence of subgroups, i.e. $G = G_0 \supset G_1 \supset \dots$ such that $G_n$ form a countable neighborhood basis of $0$. Let $\bar{x} \in \widehat{G}$ and let $x$ be its representative […]

Let $\mu$ be a Borel measure on a topological space $X$, and let $E \subseteq X$ be Borel. Let $\phi$ be a homeomorphism of $X$, and let $\lambda$ be the measure given by $\lambda(A) = \mu(\phi(A))$. If $f: E \rightarrow \mathbb{C}$ is measurable and integrable, then so is $f \circ \phi: \phi^{-1}E \rightarrow \mathbb{C}$, and […]

Let $ G $ be a locally compact abelian (LCA) group and $ \widehat{G} $ the Pontryagin dual of $ G $, i.e., the set of all continuous homomorphisms $ G \to \mathbb{R} / \mathbb{Z} $. Clearly, $ \widehat{G} $ is an abelian group. The topology on $ \widehat{G} $ is generated by the sub-basic […]

When discussing with awllower about this question, I begin to think about another one: For a topological group $G$ and a subgroup $H$, is it true that $[\overline{H}, \overline{H}] = \overline{[H,H]}$? where $[H,H]$ denote the derived subgroups of $H$. I think, if I define the map $\phi: G \times G \rightarrow G, (x,y) \mapsto xyx^{-1}y^{-1}$, […]

Intereting Posts

Error function etymology: Why the name?
Is this monotonic in $a,b$?
give an example of a cyclic group with 6 generators.
When irreducible elements of a UFD remain irreducible in a ring extension
Showing a ring where $ax = b$ has a solution for all non-zero $a, b$ is a division ring
Determine the Winding Numbers of the Chinese Unicom Symbol
On the problem $1$ of Putnam $2009$
What is an intuition behind total differential in two variables function?
Evaluate $\lim\limits_{n\to \infty}\frac{1}{n+1}+\frac{1}{n+2}+\cdots+\frac{1}{6n}$
How to find the radius of convergence?
What's your favorite proof accessible to a general audience?
Non-power-of-2 FFT's?
Sequence in $C$ with no convergent subsequence
prove that a connected graph with $n$ vertices has at least $n-1$ edges
Exponentiation as repeated Cartesian products or repeated multiplication?