Complex C의 filtration (F^p)에서 나온 exact couple에서 나온 differential d^1이랑 0->F^p-1/F^p-2->F^p/F^p-2->-F^p/F^p-1>0에서 나오는 H_n(F^p/F^p-1)->H_n-1(F^p-1/F^p-2)가 같은 map이라는걸 연습문제에 써놓고 본문에서 바로 갖다쓰네 ㅎㅁ;

직접 증명해보니 딱히 어려운건 없는데 다이어그램 4개정도 그려놓고 하는게 넘모 귀찮은 거시애오 ㅠㅠ

수학얘기) R이 noncommutative ring인 경우엔 free module에 rank를 줄 수 없는 경우가 있는데 예시로 R이랑 R^2가 R-module로 isomorphic한 예시가 더밋풋에 있음

- dc official App