On herstein's constructions relating jordan and associative superalgebras (Q4500823)

Let \(k\) be a commutative associative ground ring with 1 in which 2 is invertible. Consider an associative superalgebra \(A\) with a superinvolution * and with the set \(H\) of *-symmetric elements. Denote by \(Z(A)\) the center of \(A\) and let \(Z=Z(A)_0\). The superinvolution * is of the first kind if \(Z=\{z\in Z\mid z^*=z\}\). Otherwise * is of the second kind. Suppose that \(A\) is *-prime and * is of the first kind. If \(A_0\) is commutative then \(A\) is a *-central order in the matrix superalgebra \(M(1)\). If \(A\) is a prime noncommutative superalgebra then every nonzero Jordan ideal in \(A^+\) contains a nonzero associative ideal of \(A\). Suppose that \(A\) is *-prime. Then the subalgebra of \(A\) generated by \(H\) contains a nonzero *-ideal if \(A\). Moreover for any nonzero Jordan ideal \(J\) in \(H\) there is a nonzero associative *-ideal \(B\) in \(A\) such that \(H(B)\subseteq J\), except two cases: \(A_0\) is commutative and * is of the first kind; \(A\) is commutative and * is of the second kind. These theorems generalize I. Herstein's results on Jordan structure of prime associative algebras.