ну я не знаю. это очень подозрительная ситуация. т.е. я беру два ненулевых элемента,
умножаю их, и вдруг бац, это ноль!

у обычных кватернионов такого нет. если выбирать между некоммутативностью
или zero-divisor'ами, пусть уж лучше некоммутативность