Первичные алгебры, связанные с монстрами

Изучаются надалгебры и идеалы йордановых алгебр, обладающих первичными $(-1,1)$-обертывающими. Доказано, что если йорданова алгебра обладает первичной неассоциативной $(-1,1)$-обертывающей, то она также первична; кроме того, первичной алгеброй является любой ее идеал. В частности, надалгебры и метаидеалы йорданова монстра первичны.