A.4 有限域上的向量空间