Show that the operators defined by the Holstein-Primakoff transformation,
satisfy the spin commutation relations. Here
and a are boson creation and annihilation operators, and
S is the magnitude of the spin.
Laszlo Mihaly
Thu Oct 31 13:23:11 EST 1996