ジョルダン標準形が単項イデアル整域上の加群をやるまでは何のことなのかわからんようなもん