Exact symbolic verification of the Jacobi identity on the Pauli-half basis of su(2): T_a = σ_a/2, where σ_a are the Pauli matrices. The commutator [T_a, T_b] = i·ε_{abc}·T_c holds identically in the 2×2 matrix algebra (not modulo any…
Exact symbolic verification of the Jacobi identity on the Pauli-half basis of su(2): T_a = σ_a/2, where σ_a are the Pauli matrices. The commutator [T_a, T_b] = i·ε_{abc}·T_c holds identically in the 2×2 matrix algebra (not modulo any…