AR的子环一定是理想BR的理想一定是子环CR中的每个元素都可逆DR一定含有单位元