The main result is
Theorem. If A is a simple Lie-admissible power-associative ring with characteristic
prime to six, and if A has an idempotent e relative to which A has a Peirce
decomposition such that A00 = 0, then either e is a unity element of A or A≅B,
where B is a three-dimensional algebra having a basis {e,x,y} such that e2 = e,
ex = x, ye = y, xy = −yx = e and xe = ey = x2 = y2 = 0.
|