Wiki. 主丛的约化 [主丛的约化]

定义

对于群同态 $G\to H$,