S0 (4) // S0 (2). Доказано, что они являются конечно порожденными алгебрами. Для обеих алгебр найдены порождающие генераторы и для каждой алгебры найдены коммутационные соотношения между ее порождающими генераторами. Доказано, что эти алгебры являются алгебрами типа Пуанкаре — Биркгофа — Витта.
Побудовані два інфінітезімальних об’єкти для гіперкомплексної системи з базою S0 (4) // S0 (2). Доведено, що вони є скінченно породженими алгебрами. Для обох алгебр знайдені породні генератори та для кожної алгебри знайдені комутаційні співвідношення між її породними генераторами. Доведено, що ці алгебри є алгебрами типу Пуанкаре — Біркгофа — Вітта.