平坦测试引理

R是幺环(不一定交换),设A是右R-模。证明若对于R的任意有限生成的左理想I,
都有f:A$\bigotimes$I$\to$AI 是双射,其中f(a$\bigotimes$i)=ai。
证明:A是平坦R-模。
已邀请:

要回复问题请先登录注册