On the variety determined by symmetric quadratic algebras (Q1593801)

A nonassociative algebra \(A\) is called quadratic over a field \(K\) if \(A\) is an algebra with \(1\) over \(K\) and for every \(x\in A\) there are \(t(x),n(x)\in K\) such that \(x^{2} - t(x) + n(x) = 0\). A nonassociative ring \(A\) is said to satisfy a quadratic condition over a subring \(U\) if there are functions \(u,v,w : A\rightarrow U\), not all identically zero such that \(u(x)x^2 - v(x)x + w(x) = 0\). If \(v\) is linear, \(A\) is quadratic over \(U\). In this article \(U\) is either the center of \(A\) or the commutative center of \(A\). The algebra \(A\) is said to be symmetric quadratic over \(K\) if \(A\) is quadratic over \(K\) and \(t(xy) = t(yx)\). The authors study mainly the GQ-rings; i.e., the rings satisfying some of the polynomial identities of degree \(\leq 5\) satisfied by all symmetric quadratic algebras. Theorem 1: If \(A\) is a simple GQ-ring, then either \(A\) is flexible and hence noncommutative Jordan, or else \(A\) belongs to the variety generated by all symmetric quadratic algebras over the center of \(A\). Theorem 2: If \(A\) is a prime GQ-ring, then \(A\) is either flexible or else belongs to the variety generated by all symmetric quadratic algebras over the quotient field of the center of \(A\). Theorem 3: If \(A\) is a semiprime GQ-ring, then \(A\) is a subdirect sum with two summands: the first is a noncommutative Jordan ring and the second is a nonflexible quadratic ring over its center.