2006-11-14 EC 数 ようするに体と方程式を としたときに、集合 に加法をうまく定義すると、不思議なことに有限生成アーベル群ができるということだ。のときが出発点なのだろうが、最初にこの群を発見した人は、どういった気持ちで をがんばって書き下して証明できたんだろう…