Differentiably simple alternative algebras (Q694213)

From the text: Differentiably simple algebras have been studied in several works (see, e.g., [\textit{E. C. Posner}, Proc. Am. Math. Soc. 11, 337--343 (1960; Zbl 0103.26802)], [\textit{L. R. Harper} jun., Trans. Am. Math. Soc. 100, 63--72 (1961; Zbl 0099.02203)]). Posner proved that every differentiably simple associative ring of characteristic 0 is prime, and it is simple if a minimal ideal is at hand. Differentiably simple associative commutative rings of characteristic \(p>0\) were described in [\textit{S. Yuan}, Duke Math. J. 31, 623--630 (1964; Zbl 0145.27701)] under the assumption that the Jacobson radical is nilpotent. In [\textit{R. E. Block}, Ann. Math. (2) 90, 433--459 (1969; Zbl 0216.07303)], differentiably simple rings in arbitrary characteristic with minimal ideals were classified in terms of simple rings. In the present paper the author proves that a differentiably simple alternative nonassociative algebra \(A\) over a field of characteristic 0 is a prime algebra quadratic over its center \(Z(A)\) and is a finitely generated projective \(Z(A)\)-module. Moreover, he shows that over a field of characteristic \(p > 0\), \(A\) appears as a tensor product of the center \(Z(A)\) and some Cayley-Dixon algebra over an extension of a base field. In this case, \(Z(A)\) is a differentiably simple (with respect to some family of derivations) associative commutative algebra.