IMC 1997 · Problem 5

Day 24th IMC · Plovdiv, Bulgaria

Statement

Let XX be an arbitrary set, let ff be an one-to-one function mapping XX onto itself. Prove that there exist mappings g1,g2:XXg_1, g_2 : X \to X such that f=g1g2f = g_1 \circ g_2 and g1g1=id=g2g2g_1 \circ g_1 = \mathrm{id} = g_2 \circ g_2, where id\mathrm{id} denotes the identity mapping on XX.

Official solution

Hidden so you can work on the problem first.