以下性质证明可见Rotman的《抽象代数基础教程》第三版的3.8节下载地址请见:下载电子版pdf