scientific article; zbMATH DE number 1089915
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 \(AX \subseteq BX\) is flat; (c) for each \(A\)-subalgebra \(B\) of \(K\), the extension \(AX \subseteq BX\) 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.
- LCM-stability and formal power series
- scientific article; zbMATH DE number 597544 (Why is no real title available?)
- scientific article; zbMATH DE number 694907 (Why is no real title available?)
- A short proof of jacobian hypothesis implies flatness
- Direct summand conjecture and descent for flatness
- Flat ideals and stability in integral domains
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366403)