An -module is flat when preserves injections, equivalently all finite exact sequences. Since is naturally the identity functor, is flat. A free module is a direct sum of copies of , and tensor products commute with direct sums, so every free module is flat.
Articles by others on the same topic
There are currently no matching articles.