商不变的性质是什么?