実部を持たない純虚八元数の全体im(o)はoの7-次元部分空間を張る。