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.
Articles by others on the same topic
There are currently no matching articles.