単項イデアルについての昇鎖条件