高斯整数环上的二阶线性群

记Z[#em/em#]为高斯整数环;G2=GL(2,Z[#em/em#]);G2±={X∈G2|detX=±1};G2+=SL(2,Z[i]);G2和G2+的射影群记为PG2和PG2+(注意G2±的射影群等于PG2+)。