四元数群上的酉群的K1

令π表阶为8的四元数群,Zπ是π关于Z的群环,在Zπ上按自然方法定义一个对合映射“*”,并将“*”扩展为对合*_ω(仍记为*):x→ωx~*ω~(-1),x∈Zπ(ω=1,i,j,k)。定义K_1U~(-1)(Zπ)=U-1(Zπ)/EU-1(Zπ),K中U~(-1)(Zπ)=U_(2n)~(-1)(Zπ),EU~(-1)(Zπ)= EU_(2n)~(-1)(Zπ),而U_(2n)~(-1)(Zπ)={U∈GL_(2n)(Zπ)|UFU~*=F,F},EU_(2n)~(-1)(Zπ)为由初等酉阵生成的U_(2n)~(-1)(Zπ)的子群。主要结果是:(i)如果 Zπ上的对合是*ω,ω=i,j,k,则K_1U~(-1)(Zπ)=1;(ii)如果Zπ上的对合是*_1,则K_1U~(-1)(Zπ)=V,这里V表Klein 4元群。