A retirement system is established and placed under the management of the Department of Management Services for the purpose of providing retirement allowances and other benefits for teachers of the state. The retirement system shall begin operations on July 1, 1939. It has such powers and privileges of a corporation as may be necessary to carry out effectively the provisions of this chapter and shall be known as the "Teachers' Retirement System of the State," and by such name all of its business shall be transacted, all of its funds invested, and all of its cash and securities and other property held in trust for the purpose for which received.
Fla. Stat. § 238.02