Pauli group algebra matrices with tensor products, commutation relations, and stabilizer…