Consider the vector spacesV and functions (.) :.V× V->R defined as follows:
i) V=R² and (:(x₁,x₂) ,(y₁,y₂) :) =x₁y₁-x₂y₁-x₁y₂+2x₂y₂
ii) V=M₂×₂(R)