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