르레-이르슈 정리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
6번째 줄:
이 주어졌다고 하자. 또한, 다음 조건들이 성립한다고 하자.
* 올 <math>F</math>의 [[코호몰로지]] <math>\operatorname H^\bullet(F;R)</math>는 각 차수에서 [[유한 생성 가군|유한 생성]] [[자유 가군|자유]] <math>R</math>-[[가군]]이다.
* <math>\iota^*\colon\operatorname H^\bullet(E;R)\to\operatorname H^\bullet(F;R)</math>는
<math>\iota^*</math>의 임의의 [[단면 (범주론)|단면]]
:<math>s\colon\operatorname H^\bullet(F;R)
|