0ee58477bc821c82239bf0964e9c7019e5623e4971b15c66173149179c4bc7a0850931d64d9c92f250543cbd60f0a3368cc1db

Silverman 타원곡선 책 1장에

Affine variety가 defined over K
iff
그것의 (P^n에 embed 시킨것의) proj closure가 defined over K


이 두개가 정의에 의해 자명하다고 써놨거든

그런데 실제로는 1도 안 자명한거임;;


책 읽은지는 2년 정도 됐는데 쭉 저게 왜 자명한지 의문이었으

오늘 겨우 증명했다