projective space over a division algebra