Примитивные йордановы алгебры

Доказано, что йорданова алгебра примитивна тогда и только тогда, когда она либо алгебра невырожденной билинейной формы $B(f,V)$; либо простая исключительная $27$-мерная над центром алгебра; либо существует ассоциативная примитивная алгебра $A$ такая, что $A^{(+)}\lhd J\lhd Q(A)^{(+)}$ либо существует ассоциативная примитивная алгебра $B$ с инволюцией $*$ такая, что $H(B,*)\lhd J\lhd H(Q(B),*)$, где $Q(A)$, $Q(B)$ – двусторонние мартиндейловы кольца частных алгебр $A$ и $B$.