Quaternionic vector space

A quaternionic vector space is a generalization of the concept of a vector space over the field of real numbers or complex numbers, where the scalars come from the field of quaternions.