给定一组向量 $V = {v_1, v_2, ..., v_k}$ 属于具有基 $B$ 的格 $L$，是否有一个有效的过程可以确定 $V$ 是否形成原语$L$ 的系统？这意味着如果 $L$ 的秩为 $n \geq k$，您可以通过添加 $nk$ 向量来扩展 $V$，使得结果集是 $L$ 的基础。
给定一组向量 $V = {v_1, v_2, ..., v_k}$ 属于具有基 $B$ 的格 $L$，是否有一个有效的过程可以确定 $V$ 是否形成原语$L$ 的系统？这意味着如果 $L$ 的秩为 $n \geq k$，您可以通过添加 $nk$ 向量来扩展 $V$，使得结果集是 $L$ 的基础。