四元数と八元数