Алгебра октав

Предметом моего изучения является один из разделов не ассоциативной алгебры - алгебра октав.Среди не ассоциативных алгебр наиболее известной является простейшая из них - алгебра октав.Рассмотрим алгебраическое определение октавы.Для октав определены две операции сопряжения - алгебраическое и векторное.Система аксиом алгебры октав непротиворечива.Эту форму записи октавы назовем алгебраической формой.Обозначим КхK=U и назовем U алгеброй октав.Система аксиом алгебры октав категорична.Система аксиом алгебры октав, ее непротиворечивость и категоричность.Непротиворечивость системы аксиом алгебры октав.