Почему не рассматриваются алгебры с мнимой единицой типа


Ну и так далее, по идее они должны быть также полноценны, как и старые(комплексные, паракомплексные, дуальные числа)
Почему же не рассматриваются! Наоборот.
Повидимому, Вы хотите рассматривать ассоциативные алгебры размерности 2 над

. Все такие алгебры описаны. См., напр., Дрозд, Кириченко "Конечномерные алгебры".
Что касается

, то несложно показать, что такая алгебра изоморфна

.