On the variety determined by symmetric quadratic algebras

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Quadratic and Koszul algebras (16S37) Nonassociative algebras satisfying other identities (17A30)

Review text

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.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

Uses Software

Albert

This page was built for publication: On the variety determined by symmetric quadratic algebras

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