Page "Covering space" Paragraph 46
from
Wikipedia
Now suppose p: C → X is a covering map and C ( and therefore also X ) is connected and locally path connected.
If this action is transitive on some fiber, then it is transitive on all fibers, and we call the cover regular ( or normal or Galois ).
Every such regular cover is a principal G-bundle, where G = Aut ( p ) is considered as a discrete topological group.
Page 1 of 1.
1.841 seconds.