Deje $A$ ser un conjunto finito y $f,g: A\to A$ tal que $f\circ g$ es invertible.
Probar que f,g son invertible.
Probar que si $A$ es un conjunto infinito, no significa que f,g son invertible.
Entiendo que desde $f\circ g$ es un bijection, a continuación, $g$ es una inyección, $f$ es un surjection. Lo que queda es demostrar que el $f$ es una inyección, $g$ es un surjection.
Ahora yo no sé qué con el hecho de que $A$ es un conjunto finito...