Commutator Subgroup of Thompson's Group F

Question

I am looking for a proof that the commutator subgroup of F is simple, I have found lots of articles about the commutator subgroup in general but havent found anything directly involving F and am struggling apllying the general case to F. Does anybody know of any articles that have this proof explicitily? Thanks :)

Answer 1

The book Introduction to Thompson’s group $F$ by Jose Burillo has an explicit and detailed proof, see Theorem $3.3.1$. See also the following post and the links given there:

Commutator Subgroup of Thompson's Group $F$