С чего бы начать...
![$|x|\exp(\operatorname{arg}x)[|y|\exp(\operatorname{arg})]^{-1} = \exp(\operatorname{arg}x - \operatorname{arg}y)$ $|x|\exp(\operatorname{arg}x)[|y|\exp(\operatorname{arg})]^{-1} = \exp(\operatorname{arg}x - \operatorname{arg}y)$](https://dxdy-04.korotkov.co.uk/f/3/3/5/335d25e0160c9658f2145275846f14d682.png)
тогда и только тогда, когда

, и только в этом случае

будет совпадать с косинусом угла между ними. Во всех других случаях скалярное произведение вообще не причем (на самом деле, оно и так не причем, потому что его сначала нужно ввести).
И это для комплексных чисел. Как вы вознамерились обобщить угол на случай гиперкомплексных чисел - одному Богу известно. Самый вменяемый вариант - отождествить кватернион x с парой

, где

- элемент группы

, соответствующий

. Но я почти уверен, что если бы вы разбирались в группах Ли и свойствах хотя бы основных матричных групп, то не страдали бы такой [censored].
-- Пт май 06, 2011 13:06:19 --Вообще лучший вариант - это для любых нормированных алгебр с

напрямую исследовать группу элементов нормы 1. Только это, конечно, потребует усилий и по ящику это как новую супер-пупер теорию не скормить, а это существенный недостаток
