Isomorphisms of a certain class of prime Lie rings (Q795907): Difference between revisions

The author considers the problem of whether a Lie isomorphism between skew symmetric elements in rings with involution extends to an associative isomorphism of the rings. To state her main result requires some preliminary notation. For a prime ring A with involution, let Z(A) be the center of A, \(K=K(A)\) the set of skew symmetric elements in A, \(K(A)^{(1)}=[K,K],\) the derived ring of K, \(K(A)^{(2)}\) the derived ring of \(K(A)^{(1)}\), and \(L(A)=K(A)^{(1)}/K(A)^{(1)}\cap Z(A).\) For orthogonal idempotents \(e_ i\) and \(e_ j\) in A, set \(A_{ij}=e_ iAe_ j\) and let \(A_ i\) denote the subring generated by \(K^{(1)}\cap e_ iAe_ i.\) The main result of the paper is: Theorem. Let A and B be prime rings with involution with characteristic different from two, so that neither satisfies a GPI. Assume that A contains orthogonal idempotents \(e_ 1\), \(e_ 2\), and \(e_ 3\) whose sum is 1, and with each \(e_ i\in A_ i\). Let W be the subring of A generated by \(\{A_ i\}\) and \(\{A_{ij}| \quad i\neq j\}.\) If f is a Lie isomorphism from L(A) onto L(B), then there is an associative isomorphism T from W into the central closure of B satisfying: 1) \((T(x))^*=T(x^*)\) for all \(x\in W\); 2) \(T(K(A)^{(2)})=K(B)^{(2)};\) and 3) \((T(x))'=f(x')\) for all \(x\in K(A)^{(2)},\) where ( ); denotes the image in either L(A) or L(B). This result eliminates, in the non GPI case, the restriction on the type of involution required in [\textit{W. S. Martindale, III}, Commun. Algebra 4, 929-977 (1976; Zbl 0354.16005)]. The basic approach is the same as in earlier work of Martindale, but requires more elaborate computation since one is working with the quotient L(A) rather than with \(K(A)^{(2)}\subset A\).