Coba jelasin Sejarah dari Rak dan ganjalan dong

Pada tahun 1943, Mituhisa Takasaki (高崎光久) memperkenalkan struktur aljabar yang disebutnya Kei (圭), yang kemudian akan dikenal sebagai ganjalan involutif. Motivasinya adalah untuk menemukan struktur aljabar non-asosiatif untuk gagasan tentang refleksi dalam konteks geometri hingga. Ide tersebut ditemukan kembali dan digeneralisasikan pada tahun (tidak diterbitkan) 1959 korespondensi antara John Conway dan Gavin Wraith, pada saat itu adalah mahasiswa sarjana di Universitas Cambridge. Di sinilah definisi modern tentang ganjalan dan rak pertama kali muncul. Wraith menjadi tertarik pada struktur ini (yang awalnya dia sebut sekuensial) saat di sekolah. Conway menamainya kembali wrak sebagai pelesetan nama koleganya, dan sebagian karena mereka muncul sebagai sisa-sisa (atau 'rak dan rak') dari grup ketika seseorang membuang struktur perkalian dan hanya mempertimbangkan struktur konjugasi. Ejaan 'rak' sekarang menjadi lazim.

Konstruksi ini muncul kembali pada 1980-an: dalam makalah 1982 oleh David Joyce (dimana istilah ganjalan diciptakan), dalam sebuah makalah tahun 1982 oleh Sergei Matveev (dengan nama grupoid distributif) dan dalam makalah konferensi 1986 oleh Egbert Brieskorn (di mana mereka disebut himpunan automorfik). Tinjauan rinci tentang rak dan aplikasinya dalam teori simpul dapat ditemukan di makalah oleh Colin Rourke dan Roger Fenn.