Post #1816227

@MartinEscardo Oh, now that I've looked at @dwarn's MathOverflow link, I see this counterexample is a special case of the one he gives there: for finite abelian group of odd order you can use (x,y) |--> (x+y)/2, which is even more clearly idempotent.