理想と商環の対応