X_o-Φ满射环上辛群的同构

<正> 关于有零因子环上的辛群的自同构已有一些结果.由于推广了[2]中的剩余空间方法,文[4]确定了局部环上的辛群的同构,对2不作任何假定.本文利用[4]中的方法确定了X_o-Φ满射环上的辛群的同构,并且在一定的条件下证明了线性群与辛群是不同构的.本文中的符号来自[4]所以不再解释.     

x_0-Φ满射环上酉群的构造

设R为X_o-φ满射环,则在Witt指数i(H)≥3时,R上酉群U_n(R,H)的满阶正规子群包含酉群的换位子群E_n(R);在Witt指数i(H)≥1及2,3为单位时,U_n(R,H)的子群G为E_n(R)-正规子群的充要条件为E_n(R,A)(R,A),其中A由G唯一确定,特别当R为交换环时,A为G的阶理想。     

x_0-Φ满射环上酉群的构造

设 R 为 X_0-φ满射环,则在 Witt 指数 i(H)≥3时,R 上酉群 U_n(R,H)的满阶正规子群包含酉群的换位子群 E_n(R);在 Witt 指数 i(H)≥1及2,3为单位时,U_n(R,H)的子群 G 为E_n(R)-正规子群的充要条件为 E_n(R,A)(R,A),其中 A 由 G 唯一确定.特别当 R为交换环时,A 为 G 的阶理想.