Свободная $(-1, 1)$-алгебра с двумя порождающими

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