内射半模 半模 同态 半环 存在

同态 交换 元素 素数 单位