pic(X)을 어떤 링 PIC(X)의 unit(라인번들)들의 multiplicative group으로 볼수 있다면 very ample 번들의 집합은 PIC(X)의 어떤 아이디얼 I 로ample 번들의 집합은 I의 래디컬 아이디얼로 볼수있을듯러플리스피킹 .. ㄹㅍㄹㅅㅍㅋ...
신기한 생각이네 근데 fractional ideal이라는게 이미 있는데, 그거말고 ring으로 만든다면...? K_0 group 관점에서는...?
ideal조차 아님