$*$-differential identities of prime rings with involution
HTML articles powered by AMS MathViewer
- by Chen-Lian Chuang
- Trans. Amer. Math. Soc. 316 (1989), 251-279
- DOI: https://doi.org/10.1090/S0002-9947-1989-0937242-2
- PDF | Request permission
Abstract:
Main Theorem. Let $R$ be a prime ring with involution $^{\ast }$. Suppose that $\phi (x_i^{{\Delta _j}},{(x_i^{{\Delta _j}})^{\ast }}) = 0$ is a ${\ast }$-differential identity for $R$, where ${\Delta _j}$ are distinct regular words of derivations in a basis $M$ with respect to a linear order $<$ on $M$. Then $\phi ({z_{ij}},z_{ij}^{\ast }) = 0$ is a ${\ast }$-generalized identity for $R$, where ${z_{ij}}$ are distinct indeterminates. Along with the Main Theorem above, we also prove the following: Proposition 1. Suppose that $^{\ast }$ is of the second kind and that $C$ is infinite. Then $R$ is special. Proposition 2. Suppose that ${S_W}(V) \subseteq R \subseteq {L_W}(V)$. Then $Q$, the two-sided quotient ring of $R$, is equal to ${L_W}(V)$. Proposition 3 (Density theorem). Suppose that ${}_DV$ and ${W_D}$ are dual spaces with respect to the nondegenerate bilinear form $(,)$. Let ${v_1}, \ldots ,{v_s},\;v_s^\prime , \ldots ,v_s^\prime \in V$ and ${u_1}, \ldots ,{u_t},\;u_1^\prime , \ldots ,u_t^\prime \in W$ be such that $\{ {v_1}, \ldots ,{v_s}\}$ is $D$-independent in $V$ and $\{ {u_1}, \ldots ,{u_t}\}$ is $D$-independent in $W$. Then there exists $a \in {S_W}(V)$ such that ${v_i}a = v_i^\prime (i = 1, \ldots ,s)$ and ${a^{\ast }}{u_j} = u_j^\prime (j = 1, \ldots ,t)$ if and only if $(v_i’,{u_j}) = ({v_i},u_j’)$ for $i = 1, \ldots ,s$ and $j = 1, \ldots ,t$. Proposition 4. Suppose that $R$ is a prime ring with involution $^{\ast }$ and that $f$ is a ${\ast }$-generalized polynomial. If $f$ vanishes on a nonzero ideal of $R$, than $f$ vanishes on $Q$, the two-sided quotient ring of $R$.References
- I. N. Herstein, Rings with involution, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, Ill.-London, 1976. MR 0442017
- Nathan Jacobson, Structure of rings, Revised edition, American Mathematical Society Colloquium Publications, Vol. 37, American Mathematical Society, Providence, R.I., 1964. MR 0222106
- V. K. Harčenko, Differential identities of prime rings, Algebra i Logika 17 (1978), no. 2, 220–238, 242–243 (Russian). MR 541758
- V. K. Harčenko, Differential identities of semiprime rings, Algebra i Logika 18 (1979), no. 1, 86–119, 123 (Russian). MR 566776
- Charles Lanski, Differential identities in prime rings with involution, Trans. Amer. Math. Soc. 291 (1985), no. 2, 765–787. MR 800262, DOI 10.1090/S0002-9947-1985-0800262-9 J. Lambek, Lectures in rings and modules, Chelsea, 1976.
- Wallace S. Martindale III, Prime rings with involution and generalized polynomial identities, J. Algebra 22 (1972), 502–516. MR 306245, DOI 10.1016/0021-8693(72)90164-0
- Louis Halle Rowen, Generalized polynomial identities, J. Algebra 34 (1975), 458–480. MR 371945, DOI 10.1016/0021-8693(75)90170-2
- Louis Halle Rowen, Polynomial identities in ring theory, Pure and Applied Mathematics, vol. 84, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1980. MR 576061
Bibliographic Information
- © Copyright 1989 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 316 (1989), 251-279
- MSC: Primary 16A28; Secondary 16A12, 16A38, 16A72
- DOI: https://doi.org/10.1090/S0002-9947-1989-0937242-2
- MathSciNet review: 937242