Математическая энциклопедия - несмешанный идеал

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

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

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

Л.