Алгебраические йордановы алгебры с условием максимальности для ассоциативных подалгебр

Пусть $I_F$ – бесконечномерная йорданова алгебра над полем $F$ характеристики не $2$. Тогда либо $J$ содержит бесконечномерную ассоциативную подалгебру, либо разлагается в прямую сумму вида $J=J'\oplus I_1\oplus\cdots\oplus I_m$, где $J'$ конечномерна, а $I_i=\Gamma_i+V_i$, есть йорданова алгебра симметрической билинейной формы на векторном пространстве $V_i$ над конечным расширением $\Gamma_i$ основного поля $F$.
Библ. 12.