![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Если плоский модуль имеет проективное покрытие, то он проективен. Недлинное, но несколькое замысловатое доказательство этого факта можно найти в книжке Foundations of Module and Ring Theory: A Handbook for Study and Research. Robert Wisbauer, University of Duesseldorf, 1991. Gordon and Breach Science Publishers, Reading, UK. Section 36: Flat modules, subsection 36.3: Pure submodules of projective modules.