论文部分内容阅读
设E=Q（√-1，√p），这里p是奇素数。记OE为E的整数环，H为由Steinberg符号{a，b}，a∈Q*，b∈E*生成的K2E的子群，考虑映射: α(P)∶K2(E)→(OE／(P))*， α(P)({a,b})=(-1)(v)(a)(v)(b)a(v)(b)/b(v)(a)(mod(P))。证明了α(P)|H不是满射当且仅当(P)|p。 如果E=Q（√-1，√pq)，这里p和q是不同的奇素数，证明了α(P)|H不是满射当且仅当P|p或P|q。