codim 1 sub무언가(hypersurface)를 만들고싶으면 직관적으로 V(f)를 할텐데 이 직관이 affine case에서 온거고 실제로 Cl(A^n)=0임 근데 P^n에서는 global한 regular function 자체가 k가끝임 그래서 어떤 type인지 rigorous하게 classify하는게 divisor class group이라고 생각했음 multiplicity같은것도 엄밀하게 나타낼수있고
핫숀example 6.6.3보고 지려서 생각해봄