Prefer a chat interface with context about you and your work?
Flat submodules of free modules over commutative Bezout rings
A ring is called Bezout if every finitely generated ideal is principal. We show that every ideal of a commutative Bezout ring R is flat if and only if every submodule of a free R -module is flat. Using this theorem we obtain Neville's theorem.