The braid-permutation group

We consider the subgroup of the automorphism group of the free group generated by the braid group and the permutation group. This is proved to be the same as the subgroup of automorphisms of permutation-conjugacy type and is represented by generalised braids (braids in which some crossings are allowed to be “welded”). As a consequence of this representation there is a finite presentation which shows the close connection with both the classical braid and permutation groups. The group is isomorphic to the automorphism group of the free quandle and closely related to the automorphism group of the free rack. These automorphism groups are connected with invariants of classical knots and links in the 3-sphere.