No label defined (Q4366403)

Theorem: The following conditions are equivalent for a commutative integral domain \(A\) with quotient field \(K\): (a) \(A\) is a Dedekind domain; (b) for each \(A\)-subalgebra \(B\) of \(K\), the extension \(A[[X]] \subseteq B[[X]]\) is flat; (c) for each \(A\)-subalgebra \(B\) of \(K\), the extension \(A[[X]] \subseteq B[[X]]\) is \(LCM\)-stable. (b)\( \Leftrightarrow\)(c) of this theorem follow from proposition 1.7 of a paper by \textit{H. Uda} [Hiroshima Math. J. 13, 357-377 (1983; Zbl 0531.13001)] and (a)\(\Leftrightarrow\)(c) is the main result (theorem 2.11) of a paper by \textit{J. T. Condo} [Proc. Am. Math. Soc. 123, No. 8, 2333-2341 (1995; Zbl 0834.13017)]. The author, in this paper, gives a direct proof of (a)\(\Rightarrow\)(b) (not (b)\(\Rightarrow\)(a) as he mentions in the beginning) without using \(LCM\)-stability.