演習4.4.12cがすごく難しかったので記録。 取り合えず主張を書きます。 演習4.4.12c を体。無限集合上の自由加群に対し、を写像の集合としたとき、 この演習自体は、の次元が無限次元においてその双対と等しくない（）ことを示すもので、どうやらErdős–Kapla…