천-베유 준동형: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
25번째 줄:
 
=== 추상적 정의 ===
[[리 군]] <math>G</math>에 대하여, [[분류 공간]] <math>\mathrm EBEG\twoheadrightarrow\mathrm BG</math>를 생각하자. (<math>G</math>의 [[기본군]]은 상관이 없다.) 그렇다면, 다음이 성립함을 보일 수 있다.
:<math>\operatorname H^\bullet(\mathrm BG;\mathbb C) \cong \mathbb C[\mathfrak g]^G</math>
([[복소수]] 계수이므로, 좌변은 <math>G</math>의 [[기본군]]에 더 이상 의존하지 않는다.) 이 동형에서, 우변의 등급([[동차 다항식]]의 차수)은 좌변의 등급([[코호몰로지류]]의 차수)의 절반이다.