This question came to my mind while I was going through Iian B. Smythe's talk titled A Crash Course in Topological Groups.
In the talk it is mentioned that,
Lie group G is a group, which is also a smooth manifold
My question is:
- Is the automorphism group of a graph, $A$, a smooth manifold?
- Is the group $\mathbb{Z}_n$ a smooth manifold?
My effort: I understand that I have to prove the following.
- $A$ and $\mathbb{Z}_n$ are Hausdorff
- $A$ and $\mathbb{Z}_n$ are second countable
- $A$ and $\mathbb{Z}_n$ are locally Euclidean
- Somehow I have to prove that they are differentiable.
Could anyone help me to at least start?