deck transformation

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

i.e. if $p:E\to X$ is a cover then a cover automorphism $f\in \mathrm{deck}(p)=\{f\mid f\in \mathrm{Aut}(E),p\circ f=p\}\subseteq \mathrm{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)