商不变性质的应用