Weak normalisation and the power series rings Original Research Article

It is shown that if a ring A is weakly normal in an overring B then so is A[[X]] (resp. A[X]) in B[[X]] (resp. B[X]). It is also shown that every higher derivation of a ring A extends to the weak normalisation of A in its total quotient ring.