Дивизориальный идеал

- дробный идеал а целостного коммутативного кольца Атакой, что а=А:(А: а)(здесь А: а обозначает множество элементов хиз поля частных кольца А, для к-рых [img: http://localhost:8080/file/020515-66.jpg]). Иногда Д. и. наз. дивизором кольца. Для любого дробного идеала [img: http://localhost:8080/file/020515-67.jpg] идеал [img: http://localhost:8080/file/020515-68.jpg] дивизориален. Множество D(А)Д. и. кольца Аявляется решеточно упорядоченным коммутативным моноидом (полугруппой), если произведением двух Д. и. а и bсчитать [img: http://localhost:8080/file/020515-69.jpg] а положительными (или эффективными) считать целые Д. и. [img: http://localhost:8080/file/020515-70.jpg] Моноид D(A)является группой тогда и только тогда, когда кольцо Авполне целозамкнуто; при этом обратным к дивизору а будет А: а. Обычно Д. и. рассматривают в кольце Крулля (напр., в нётеровом целозамкнутом кольце); в этом случае простые идеалы высоты 1 дивизориальны и образуют базис абелевой группы дивизоров D(A). Этот результат, по существу, был установлен Э. Артином (Е. Artin) и Б. Л. Ван дер Варденом (В. L. Van der Waerden) (см. [1]) в их теории квазиравенства идеалов (идеалы а и bквазиравны, если [img: http://localhost:8080/file/020515-71.jpg] и завершил одну из центральных тем алгебры того времени - изучение разложения идеалов. Главные дробные идеалы, а также обратимые дробные идеалы являются дивизориальными и образуют соответственно подгруппы F(A)и J(А)в D(A). Фактор-группы D(A)lF{A) = C{A)и J(A)/F(A) = Pic(A)наз. соответственно классов дивизоров группой и Динара группой кольца А.