주다발: 두 판 사이의 차이

:<math>f(p\cdot g)=f(p)\cdot\phi(g)\qquad\forall (p,g)\in P\times G</math>

즉, 다음 가환 그림이 성립해야 한다.

P\times G&\xrightarrow{(f,\phi)}&P'\times H\\

{\scriptstyle\cdot}\downarrow{\scriptstyle\color{White}\cdot}&&{\scriptstyle\color{White}\cdot}\downarrow\scriptstyle\cdot\\

P&\xrightarrow[f]{}&P'

주다발 사상 <math>(f,\phi)</math>에서, 만약 <math>M=N</math>이며, <math>f=\operatorname{id}_M</math>가 [[항등 함수]]이며, <math>\phi</math>가 [[단사 함수]]라면 (즉, [[부분군]]의 포함 사상이라면) <math>(f,\phi)</math>를 '''구조군 축소'''(構造群縮小, {{llang|en|reduction of structure group}})라고 한다.