Differential simplicity, Cohen-Macaulayness and formal prime divisors (Q1208212): Difference between revisions
From MaRDI portal
Latest revision as of 16:12, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Differential simplicity, Cohen-Macaulayness and formal prime divisors |
scientific article |
Statements
Differential simplicity, Cohen-Macaulayness and formal prime divisors (English)
0 references
16 May 1993
0 references
The main purpose of the paper is to construct counterexamples, in any characteristic, to the conjecture that differentially simple (noetherian) local domains should be Cohen-Macaulay. In order to be meaningful in prime characteristic as well, one considers Hasse-Schmidt (H-S for short) derivations instead of ordinary derivations. In \S 1 the authors construct a local domain of dimension two and grade (=depth) one that contains a field and that is \(D\)-simple for an iterative H-S derivation \(D\). -- In \S 2, they show that a local domain \(R\) which is H-S simple (in the sense that the only ideals stable under every H-S derivation are (0) and (1)) has grade one if and only if the completion of \(R\) has an associated prime of coheight one. -- In \S 3, they prove that any H-S derivation of a local ring \(R\) is uniquely extended to its Henselization \(R^ h\), and that if \(R\) is H-S simple then so is \(R^ h\). Therefore the Henselization of the example in \S 1 is also such a counter-example.
0 references
differential simplicity
0 references
differentially simple domains
0 references
Cohen- Macaulayness
0 references
Hasse-Schmidt derivations
0 references
H-S derivation
0 references
Henselization
0 references