有限域上的阶梯矩阵。