设A = Z[v]?，其中V是未定元，（?）是由v-1和某固定奇素数p生成的Z[v]中的理想．A’=Q（v）是A的分式域．U’是A’上的相伴于对称Cartan矩阵(aij)i......