rotation operator (vector space)