Direct summands of flat modules are flat
ID: direct-summands-of-flat-modules-are-flat
If is a flat module, then and are flat. For an injection , distributivity of the tensor product of modules identifies with . This map is injective by flatness of . Each component is therefore injective, proving flatness of both summands.
New to topics? Read the docs here!