Covering

Regular covering

A regular covering is a covering for which the characteristic subgroup is basepoint-invariant #m/def/homotopy or equivalently, the characteristic subgroup1 is normal.

Properties

Note that many of these properties are restricted to connected and path-connected regular coverings.


#state/develop | #lang/en | #SemBr

Footnotes

  1. If this holds for one basepoint it holds for all basepoints, see Characteristic conjugacy class of a path-connected covering