一类交换环上辛群及二维线性群的构造

设交换环R满足R/J(R)≌(?)R/M_α(M_α,α∈△为R的极大理想)及R/M_α≠F_2,F_3,F_5(α∈△)。对S_(p_(2m))(R)(m>1)的任一正规子群,ⅰ) G为标准的(即G介于同余中心子群与同余单位子群之间)(?)a~2R+2aR=aR((?) a∈R);ⅱ) 0(G)=R(?)G=S_(p_(2m))(R);ⅲ) 若a~2R+2aR=aR((?)a∈0(G)),则G为标准的。对GL_2(R)的在SL_2(R)之下不变的子群G,ⅰ) 若R满足性质T,特别2是单位元,则G是标准的;ⅱ) o(G)=R(?)G(?)SL_2(R);ⅲ) 若G为GL_2(R)的正规子群则G是标准的。