感谢，您如何理解这种做法：第一行元素有n∧2－(n－φ(n))∧2。第二行要与第一行线性无关，则有n∧2－(n－φ(n))∧2－φ(n)种选择。故单位群中[n∧2－(n－φ(n))∧2][n∧2－(n－φ(n))∧2－φ(n)]个元素。期中φ为欧拉函数。