Good evening !
I am studying mathematical Gauge theories from the book from Mark J.D. Hamilton's book on mathematical gauge theory.
The introduction in this book is about Lie groups and Lie algebras. I got stuck on the following example :
"Every countable group $G$ with the manifold structure as a discrete space, i.e. a countable union of isolated points, is a $0$-dimensional Lie group, because every map $G\times G \rightarrow G$ is smooth (locally constant)."
I know what a countable group is, and I think I do understand the "with the manifold structure as a discrete space" part. ( I imagine it as a mesh of points (g,h)/ g,h $\in$ $G$ and at each point we have $g+h$ / $+$ is the group operation) However, I am having a hard time understanding the smoothness of such a structure (which I imagine as being a discrete 2D surface in a 3D space). I would appreciate it if someone can better clarify the example to me. (Or recommend a book that is useful for self-studying Lie groups and Lie algebras) P.S. I am a physics student (this is why I didn't use a lot of technical terms), however I am highly interested in mathematics and I might continue later on in the domain of mathematical physics !
Thanks in advance
Edit : I would also appreciate it if someone could give me an example of a $0$-dimensional Lie group