We want to show that the Heisenberg spin operator (spin-
objects) can be expressed in terms fermionic operators as
It is enough to verify that the above representation of the spin operators
satisfy the correct commutation relations. We will use the anticommutation
property of the fermionic operators, namely
.
Thus, we have
(1)
To evaluate the commutator in the last but one line in the above equation,
we have used
.