覆至變換群(covering transformation group)一種特殊的變換群.設(X, p>是拓撲空間X的覆疊空間,戈的一個覆疊變換是滿足p0h=p的戈到自身的同胚h : X->X.在自同胚的映射複合下,X的全體覆疊變換構成一個群,稱為覆疊變換群,記為A(X,p>.對於覆疊映射p的誘導同態
p,:n, <X } b) -' }i <X , a),
若p.(二:(戈,b))是二,<X,a)的正規子群,則稱(戈,p)是正則覆疊空間.對於正則覆疊空間有下述結論:若(戈}p)是拓撲空間X的正則覆疊空間,則覆疊變換群A<戈}p)同構於商群
二,<X,。)/p,(二,<X,b)).
泛覆疊空間是正則覆疊空間.當(X,p)為拓撲空間X的泛覆疊空間時,覆疊變換群A<}}p>同構於基本群二,<X,a).