建立 Ideals 相加的構造還是一個 ideal 建立 Ideals contain zero 建立 Ideal Subgroup equivalent condition 新增更簡單的證明 更新 Group Theory 中的地址 Multiplication inverse of two sided unit is unique title 更新