ТЗ работе показано, что множество всех квантовых ошибок можно рассматривать двояким способом: как матричную группу G порядка 2^(2n+1), которая известна в литературе как экстраспециальная 2-группа, и как группу, элементы которой являются кронекеровым произведением 2х2-матриц, реализующих точное представление группы кватернионов.