A Michigan public school employees' retirement system is created for the public school employees of this state.
MCL 38.1321