域Ｆ上的所有ｍ×ｎ矩阵记为Ｆ（ｍ×ｎ），域Ｆ上的所有ｎ×ｎ可逆矩阵构成的乘群，称为一般线性群，记为ＧＬｎ（Ｆ），当Ｆ是无限可列数域时，本文证明了Ｆ（ｍ×ｎ）和ＧＬｎ（Ｆ）上......