Differential identities with automorphisms and antiautomorphisms. II

DOI10.1006/JABR.1993.1181MaRDI QIDQ687664zbMATH OpenOpenAlexFDO

Publication date 22 August 1994

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jabr.1993.1181

anti- automorphisms automorphisms derivations differential identities with involution extended centroid free algebra free product Frobenius elements identities of prime rings inner automorphisms left Utumi quotient ring outer derivations two-sided Utumi quotient ring

Mathematics Subject Classification ID

Prime and semiprime associative rings (16N60) Other kinds of identities (generalized polynomial, rational, involution) (16R50) Automorphisms and endomorphisms (16W20) Derivations, actions of Lie algebras (16W25)

Review text

[Part I, cf. ibid. 149, No. 2, 371-404 (1991; Zbl 0773.16007).] The author considers identities of prime rings which have derivations, automorphisms, and anti-automorphisms acting. For a prime ring \(R\), let \(C\) be its extended centroid and \(U\) its two-sided Utumi quotient ring. Let \(D(R)\) be the set of derivations of \(R\), and \(G\) the group of automorphisms and anti-automorphisms of \(R\). An element \(g\in G\) is Frobenius if for all \(c\in C\), \(c^ g=c\) when \(\text{char}(R)=0\), and \(c^ g=c^ n\) for some fixed \(n\in Z\) when \(\text{char}(R)=p > 0\). The normal subgroup of Frobenius elements of \(G\) is \(G_ F\). Any identity of \(R\) having elements of \(D(R)\) and \(G\) acting is equivalent modulo ``universal identities to an identity \(\Phi(x_ i^{\Delta_ j g_ k f_ t})= \Psi(x_{ijkt})\in U *_ C C\{X\}\), the free product over \(C\) of \(U\) and the free algebra \(C\{X\}\). Here \(\Delta_ j\) is a ``regular word of outer derivations, \(g_ k\in G - G_ F\), and \(f_ k\in G_ F\), where \(\{g_ k\}\) represent distinct cosets of \(G_ F\) in \(G\), and \(\{f_ t\}\) represent distinct cosets of the subgroup of inner automorphisms in \(G_ F\). The main result shows that if \(\Phi(x_ i^{\Delta_ j g_ k f_ t})\) is an identity for a nonzero ideal of \(R\), then \(\Psi(x_{ijk}^{f_ t})\) is an identity for \(U\). If no anti-automorphisms act, then \(\Psi(x_{ijk})\) is an identity for the left Utumi quotient ring of \(R\). This theorem gives as a special case the author's result on differential identities with involution [in Trans. Am. Math. Soc. 316, No. 1, 251-279 (1989; Zbl 0676.16011)].

Recommendations

Cited in

(only showing first 100 items - show all)

This page was built for publication: Differential identities with automorphisms and antiautomorphisms. II

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