A proof of a conjecture of Sabidussi on graphs idempotent under the lexicographic product

In 1960, Sabidussi conjectured that if a graph G is isomorphic to the lexicographic product GG], then the wreath product of by itself is a proper subgroup of . A positive answer is provided by constructing an automorphism Ψ of GG] which satisfies: for every vertex x of G, there is an infinite subset I(x) of V(G) such that Ψ({x}×V(G))=I(x)×V(G).