商不变性质练习