Chain conditions on prime ideals in ideal-adically complete Nagata rings (Q1340378): Difference between revisions

Un anneau noethérien \(B\) est équidimensionne s'il y a égalité entre les dimensions de \(B\) et de \(B/{\mathfrak p}\) pour tout idéal \({\mathfrak p}\) appartenant à \(\text{Min} (B)\). De même, \(B\) est localement équidimensional si \(B_ P\) est équidimensionnel pour tout élément \(P\) du spectre de \(B\). Les AA. démontrent la proposition suivante: soit \(I\) un idéal d'un anneau commutatif, unitaire et noethérian \(A\); si \(A\) est \(I\)-complet et si \(A/I\) est un anneau de Nagata dont les fibres formelles sont localement équidimensionnelles, les fibres formelles de \(A\) sont, elles aussi, localement équidimensionelles. Des propriétés analogues sont éconcées et étudiées avec soin, ainsi que leurs conséquences.