Базис тождеств алгебры простых включений

Доказано, что все тождества алгебры простых включений от счетного числа порождающих над полем нулевой характеристики следуют из правосимметричного тождества. Доказано, что базисы свободной специальной йордановой алгебрыи специальной алгебры простых включений совпадают. Построена бесконечная серия соотношений в алгебре простых включений, выполняющаяся для слов длины $k$, $k\in\mathbb N$.