Нильпотентность альтернаторного идеала конечно порожденной бинарно $(-1,1)$-алгебры

Проводится доказательство нильпотентности альтернаторного идеала конечно порожденной бинарно $(-1,1)$-алгебры. Алгебра называется бинарно $(-1,1)$-алгеброй, если всякая ее 2-порожденная подалгебра является алгеброй типа $(-1,1)$. По ходу доказательства основной теоремы получены разнообразные следствия: первичная конечно порожденная бинарно $(-1,1)$-алгебра альтернативна; радикал Михеева произвольной бинарно $(-1,1)$-алгебры совпадает с локально нильпотентным радикалом; простая бинарно $(-1,1)$-алгебра альтернативна; радикал свободной конечно порожденной бинарно $(-1,1)$-алгебры разрешим. Кроме того, из основного результата выводится нильпотентность радикала конечно порожденной бинарно $(-1,1)$-алгебры с существенным тождеством.