НЕСМЕШАННЫЙ ИДЕАЛ

- идеал m области целостности R(конечно порожденной над нек-рым полем k), обладающий следующим свойством: все простые идеалы ассоциированные с примерными идеалами из примерного разложения

имеют одну и ту же размерность, т. е. факторкольца имеют одну и ту же размерность Крулля для всех г. Эта общая размерность наз. размерностью несмешанного идеала

Если R- кольцо регулярных функций на нек-ром аффинном многообразии X, то его идеал - Н. и. тогда и только тогда, когда все неприводимые компоненты подмногообразия , определяемого идеалом m , Имеют одну и ту же размерность.

Л. <В. Кузьмин.