>>46って
加法群XとYがある環上で加群の構造をもち,しかも同型だけどある体をとると〜
ってことか?