除环上行列式的定义及性质