加群

進軍どころかぐんぐん強行軍をつづけられている。

環R上の加群を定義するためには、まずRの作用が加法とどのように両立するかを定義する必要がある。

自由加群の基底の取り方は一意ではないが、有限生成であればそのランクは不変量となる。

「この定理を証明するには、まずこのアーベル群を整域Z上の加群と見なすのが近道だよ」