파일:commutative diagram for free groups3.png