Show that the Heisenberg spin operator S can be written in second quantized form as
Check the commutation relations!