Zip property of certain ring extensions. (Q886983)

A ring \(R\) is said to be right zip if for any subset \(S\) of \(R\) with the right annihilator of \(S\) in \(R\), \(\mathrm{r.ann}_R(S)=0\), there exists a finite subset \(S_0\) of \(S\) such that \(\mathrm{r.ann}_R(S_0)=0\). Let \(R\subset A\) be an extension of rings. A subset \(G\subset\mathrm{End}(_RA_R)\) of \((R,R)\)-bimodule endomorphisms of \(A\) acts on \(A\) into \(R\) if, for any \(\sigma\in G\), \(\sigma(1)\in R\). A map \(t\in\mathrm{End}(_RA_R)\) is called a nondegenerated trace if \(t(A)\subset R\) and \(0\neq t(I)\subset I\) for any nonzero one-sided \(G\)-stable ideal \(I\) of \(A\). The authors show that for \(R\subset A\) and \(G\) acting on \(A\) into \(R\), if \(S\subset R\) such that \(\mathrm{r.ann}_R(S)=0\), then \(\mathrm{r.ann}_A(S)=0\), and that \(R\) is right zip if and only if \(A\) is right \(G\)-zip (that is, for any \(G\)-stable left ideal \(S\) of \(A\) with \(\mathrm{r.ann}_A(S)=0\) there exists a finite subset \(S_0\subset S\) such that \(\mathrm{r.ann}_A(S_0)=0\)). This implies that for the set \(G\) of all inner automorphisms of the matrix ring \(M_n(R)\) of order \(n\) over a ring \(R\) adjoint to all elements \(1+e_{kl}\) where \(e_{kl}\) are all matrix units of \(M_n(R)\) and \(k\neq l\), then \(R\) is right zip if and only if \(M_n(R)\) is right \(G\)-zip, and that for a left \(H\)-module algebra \(A\) over a finite dimensional Hopf algebra \(H\) over a field \(K\) and \(t\in H\) a left integral such that \(t'(I)\neq 0\) for any nonzero \(H\)-stable one-sided ideal \(I\) of \(A\) where \(t'(a)=ta\) for all \(a\in A\), \(A\) is right zip if and only if so is \(A^H\). Moreover, the zip property for other kinds of ring extensions are investigated such as \(R\subset T=R\oplus I\) where \(I\) is an ideal of \(T\) such that \(I^n=0\) for some \(n\geq 2\), and \(R\subset RS^{-1}\) which is the ring of quotients with respect to a two sided Ore set \(S\) of regular elements of \(R\).