Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-101/3/b/solution

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.
As an -module,
is free. Therefore the polynomial algebra is a flat -algebra.

New to topics? Read the docs here!