The Yang-Baxter Equation and Characteristic Finite Simple Quotients of the Free Group of Rank $2$

We show that infinitely many alternating groups arise as quotients of the free group of rank 2, with kernel a characteristic subgroup. We also show that such simple quotients exist of arbitrarily large Lie rank. This resolves two questions posed by arXiv:2308.14302