问答题 证明环R一定与某Abel群的自同态环的一个子环同构．

问答题 证明R上一元多项式环R[x]对由x2+1生成的理想的商环R[x]/〈x2+1>与复数域C同构。

问答题 设G，G′都是群，且HG，H′G′，又设φ是G到G′上的同态，证明若φ（H）⊆H′,则φ可导出G/H到G′/H′上的一个同态φ*．对于环模叙述相应命题，并证明之．