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!