Shor's algorithm is said to solve the hidden subgroup problem for finite Abelian groups, of which factoring and the discrete logarithm problem for integers belong to. Apparently the HSP for finite Abelian groups can be extracted from generalized quaternions even though they aren't commutative, at least according to this thesis: The Hidden Subgroup Problem for Generalized Quaternions[1].
Does the HSP for finite Abelian groups apply to many normed division algebras, even non-commutative or non-associative ones?
Related to a question I asked on math.stackexchange.com: Does Shor's algorithm work for noncommutitive or nonassociative algebras?[2]
http://acumen.lib.ua.edu/content/u0015/0000001/0000118/u0015_0000001_0000118.pdf https://math.stackexchange.com/questions/754134/does-shors-algorithm-work-for-noncommutitive-or-nonassociative-algebras