十六元数
Moreno (1998) はノルム 1 の十六元数からなる掛けて 0 となる対の全体が、例外型リー群 G2 のコンパクト型に同型であることを示した。