군 코호몰로지: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
2번째 줄:
 
== 정의 ==
<math>G</math>가 [[군 (수학)|군]]이고 <math>M</math>이 <math>G</math>-[[군의 가군|가군]](<math>G</math>가 [[군의 작용|작용]]하는 [[아벨 군]])이라고 하자. 양의 정수 <math>n</math>에 대하여, <math>n</math>차 '''공사슬'''({{lang|en|cochain}})을 <math>G^n\to M</math> 함수로 정의하고, <math>n</math>차 공사슬의 집합을 <math>C^n(G,M)</math>으로 쓰자. 이는 덧셈에 대하여 [[아벨 군]]을 이룬다. (여기서 <math>G^n</math>은 <math>G\times G\times\dotsb\times G</math>이다.)
 
'''공경계 준동형사상'''({{lang|en|coboundary homomorphism}}) <math>d^n\colon C^n(G,M)\to C^{n+1}(G,M)</math>를 다음과 같이 정의하자.