For number-theoretical purposes, I want to learn the infinite Galois theory. During this, I faced some other concepts which I am not comfortable with them, for instance, topological groups.
Why $Gl_n(\mathbb{R})$ is a topological group?
I know the group law on it, which is matrix multiplication. But do not feel comfortable with a topology on it. So I am not with the followed concepts, like continuity. I have to read some examples of topological groups with too many details on its topological aspects because I passed the topology course long ago.
Is there any source about examples of topological groups, with too many details on topological aspects?
Best Answer
If your final goal is just studying infinite Galois theory, I believe Milne's book on Galois theory is fine(as fas as I could remember, he treats Krull topology in this book). For other purposes such as studying Lie groups or improving your knowledge in commutative algebra, these following books are highly recommended:
J.Rotman, An Introduction to Algebraic Topology: you could take a glance at some last pages of chapter $3$, The Fundamental Group, where the author defines the notions of topological groups and the so-called $H$-spaces. Roughly, $H$-spaces are topological spaces behaving like topological groups. Next, you may wish to have more insightful treatments about these objects, let turn to chapter $11$, which is also very readable, where Rotman introduces the categorical approach to group objects, $H$-groups, $H'$-groups in a general category. In this point of view, a topological group is simply a group object in $\mathbf{Top}_{*}$ or $\mathbf{hTop}_{*}$.
M.Atiyah, An Introduction to Commutative Algebra, chapter $10$. In this book, Atiyah gives a short introduction about the motivation of considering topological groups. The method of taking completion arises from purely number theoreic aspect ($p$-adic integers,...) and expressed to be extremely useful in commutative algebra.
Loring Tu, An Introduction to Manifolds, chapter $4$ about Lie groups and Lie algebras. I strongly believe Tu presents the whole book in a clearest way along with lots of explicit, detailed examples, including $\mathrm{Gl}_n(\mathbb{R})$.It is true that every mathematician should know at least a little theory of Lie groups, as they naturally occur everywhere in mathematics, even from theoretical physics. With this idea in mind, I strongly believe Tu's book is undoubtedly a good choice.
Topological groups are very well-known objects, especially when you are a algebraic inclined students, you should know them like back of you hand. For instance, consider $\mathrm{GL}_n(\mathbb{R})$, this is an example of the so-called Lie groups, which means that the group operators are all $C^{\infty}$. This is even stronger than asserting it to be just a topological group, which just requires the group operators to be continuous. A Lie group (or a topological group) has the advantage of being a infinesimal group, that is, all other elements are infinitesically close to the identity element, or all your problems with group are transfered to an open neighborhood of the identity element. Back to $\mathrm{GL}_n(\mathbb{R})$, as a set, it is just $$\mathrm{GL}_n(\mathbb{R}) = \left \{A = [a_{ij}]\in \mathbb{R}^{n^2} \mid \mathrm{det}(A) \neq 0 \right \}$$ Since the $\mathrm{det}$ map is continuous, $\mathrm{GL}_n$ is an open set, therefore, a submanifold of $\mathbb{R}^{n^2}$. The product of two matrices $A=(a_{ij}),B = (b_{jk})$ reads $$(AB)_{ik} = \sum_{j=1}^n a_{ij}b_{jk}$$ which is obviously $C^{\infty}$ as this is just a polynomial of entrices of $A$ and $B$. Similarly, the entrices of the inverse $A^{-1}$ can be expressed in terms of that of $A$, consequently, the inverse map is also infinitely differentiable.