単項イデアル整域上の有限加群