MathDB
Number of the members of the set is divisible by p [Iran 92]

Source:

November 28, 2010
functioninductionnumber theory proposednumber theory

Problem Statement

Let XX \neq \varnothing be a finite set and let f:XXf: X \to X be a function such that for every xXx \in X and a fixed prime pp we have fp(x)=x.f^p(x)=x. Let Y={xXf(x)x}.Y=\{x \in X | f(x) \neq x\}. Prove that the number of the members of the set YY is divisible by p.p.
Note. fp(x)=x=f(f(f(((fp times(x))))).{f^p(x)=x = \underbrace{f(f(f(\cdots ((f}_{ p \text{ times}}(x) ) \cdots )))} .