Идеал m области целостности R(конечно порожденной над нек-рым полем k), обладающий следующим свойством: все простые идеалы ассоциированные с примерными идеалами из примерного разложения имеют одну и ту же размерность, т. е. факторкольца имеют одну и ту же размерность Крулля для всех г. Эта общая размерность наз. размерностью несмешанного идеала Если R- кольцо регулярных функций на нек-ром аффинном многообразии X, то его идеал — Н. и. тогда и только тогда, когда все неприводимые компоненты подмногообразия , определяемого идеалом m , Имеют одну и ту же размерность. Л.