Zip property of certain ring extensions.

DOI10.1016/J.JPAA.2015.06.015MaRDI QIDQ886983zbMATH OpenOpenAlexFDO

Publication date 27 October 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2015.06.015

Hopf algebras matrix rings right annihilators right zip rings ring extensions rings of quotients zip property

Chain conditions on annihilators and summands: Goldie-type conditions (16P60) Smash products of general Hopf actions (16S40) Endomorphism rings; matrix rings (16S50) Hopf algebras and their applications (16T05) Ore rings, multiplicative sets, Ore localization (16U20) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

Review text

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\).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Zip property of certain ring extensions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q886983)