nLab
deck transformation

Definition

A deck transformation or cover automorphism is an automorphism of a cover.

i.e. if p:EX is a cover then a cover automorphism fdeck(p)={ffAut(E),pf=p}Aut(E) is an automorphism of E such that p is invariant under composition with f.

Created on June 8, 2012 18:39:07 by Stephan Alexander Spahn (79.227.163.74)