covering is the Hawaiian earring: One can show that no neighborhood of the origin is simply connected. G-coverings Let G be a discrete group acting on the topological space X. This means that each element g of G is associated to a homeomorphism Hg of X onto itself, in such a way that Hg h is always equal to Hg ∘ Hh for any two elements g and h of G. (Or in other words, a group action of the group G on the space X is just a group homomorphism of the group G into the group Homeo(X) of self-homeomorphisms of X.) It is natural to ask under what conditions the projection from X to the orbit space X/G is a covering map. This is not always true since the action may have fixed points. An example for this is the cyclic group of order 2 acting on a product by the twist action where the non-identity element acts by . Thus the study of the relation between the fundamental groups of X and X/G is not so straightforward. However the group G does act on the fundamental groupoid of X, and so the study is best handled by considering groups acting on groupoids, and the corresponding orbit groupoids. The theory for this is set down in Chapter 11 of the book Topology and groupoids referred to below. The main result is that for discontinuous actions of a group G on a Hausdorff space X which admits a universal cover, then the fundamental groupoid of the orbit space X/G is isomorphic to the orbit groupoid of the fundamental groupoid of X, i.e. the quotient of that groupoid by the action of the group G. This leads to explicit computations, for example of the fundamental group of the symmetric square of a space. Deck transformation Definition Let be a covering. A deck transformation is a homeomorphism , such that the diagram of continuous maps commutes. Together with the composition of maps, the set of deck transformation forms a group , which is the same as . Now suppose is a covering map and (and therefore also ) is connected and locally path connected. The action of on each fiber is free. 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