文章证明了ｋ个ｎ（１≤ｋ≤ｎ）无整系数线型α１１ｘ１＋．．．＋ａ１ｎｘｎ，．．．，ａｋ１ｘ１＋．．．＋ａｋｎｘｎ是模ｍ的正交组的充要条件是整数矩阵（ａｉｊ）ｋ＊ｎ的所有ｋ级子式与ｍ的最大公因数为１。......