Elementary subgroup of a unitary group over a PI-ring (Q1061854)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Elementary subgroup of a unitary group over a PI-ring
scientific article

    Statements

    Elementary subgroup of a unitary group over a PI-ring (English)
    0 references
    1985
    0 references
    Let R be an associative ring with 1 and involution j, \(U(R,j)=\{a\in R|\) \(aa^ j=a^ ja=1\}\) be the unitary group of R and Z be a center of R. Definition 1. Let \(f^ 2=f\in R\). We say that \(h^ j(f)>1\) (or the hyperbolic rank for f is greater than one), if there exists a system of elements \(E_ f=\{e_{ij}|\) \(1\leq i,j\leq 4\}\subseteq R\), such that \(f=e_{11}\), \(e_{ij}e_{ks}=\delta_{jk}e_{is}\) \((\delta_{jk}\) Kronecker delta), \(e^ j_{11}=e_{22}\), \(e^ j_{33}=e_{44}\), \(e^ j_{12}=-e_{12}\), \(e^ j_{13}=e_{42}.\) Definition 2. Let \(h^ j(f)>1\) and \(E_ f\) be as above. Then \(E_ f(R,j)\) denotes the subgroup of U(R,j) which is generated by \(\{1+e_{ii}x(1-e_{ii})+(1-e_{ii})^ jye^ j_{ii}|\) x,y\(\in R\), \(1\leq i\leq 4\}\). Definition 3. Define the p.i.-degree of R (p.i.deg R) to be equal to m/2, where m is the smallest degree of a standard polynomial \(St(x_ 1,...,x_ m)=\sum_{\sigma \in S_ m}(-1)^{| \sigma |}x_{\sigma (1)}...x_{\sigma (n)}\), which is zero for all prime factors of the ring R. The main results of the paper under review are the following. Theorem 1. Let R be a finitely generated module over its center Z, \(f^ 2=f\in R\), \(h^ j(f)>1\). Then \(E_ f(R,j)\) is a normal subgroup of U(R,j).- Theorem 2. Let p.i.deg R\(=k<\infty\), \(f^ 2=f\in R\) and \(h^ j(f)>1\). Then \([U(R,j),E_ f(R,j),...,E_ f(R,j)]=E_ f(R,j)\) \((k+1\)-times \(E_ f(R,j))\) and \(E_ f(R,j)\) is subnormal in U(R,j). Theorem 3. Let p.i.deg R\(=k<\infty\), \(f^ 2=f\in R\), \(h^ j(f)>1\), H be a subgroup of U(R,j), E(R,j)\(\subseteq H\) and \(\phi\) an automorphism of the projective group \(PH=H/(Z\cap H)\) being identical on the subgroup \(PE(R,j)=E(R,j)/(Z\cap E(R,j))\). Then the automorphism \(\phi\) is identical on the whole group PH.
    0 references
    involution
    0 references
    unitary group
    0 references
    center
    0 references
    hyperbolic rank
    0 references
    p.i.-degree
    0 references
    standard polynomial
    0 references
    finitely generated module
    0 references
    projective group
    0 references
    automorphism
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references