什么是四元数的代数系统?与域有什么区别?