①封闭性。g∈G,v∈M.看g﹙v﹚ x∈g﹙v﹚,y∈g﹙v﹚ g*x∈v [g*表示G中g的逆元素] g*y∈v 任意a,b∈F a g*x+bg*y∈v﹙子空间﹚g﹙a g*x+bg*y﹚＝ax+by∈g﹙v﹚ ∴.g﹙v﹚∈M ②结合律。设g.h.k∈G 任意v∈M 任意x∈v g﹙hk﹚x＝﹙gh﹚kx [∵G是群] ∴g﹙hk﹚﹙v﹚.
