Difference of left and right Semidirect products, with SO(2) ⋉ ℝ² and ℝ² ⋊ SO(2) And their matrix representations: [R 0; v ᵀ 1] and [1 0; v R]