Exact symbolic verification that the quadratic Casimir operator J² = J_x² + J_y² + J_z² on the 3-dimensional real antisymmetric ('vector') representation of so(3) equals -2·I. The matrices are J_x = [[0,0,0],[0,0,-1],[0,1,0]], J_y =…
Exact symbolic verification that the quadratic Casimir operator J² = J_x² + J_y² + J_z² on the 3-dimensional real antisymmetric ('vector') representation of so(3) equals -2·I. The matrices are J_x = [[0,0,0],[0,0,-1],[0,1,0]], J_y =…