Question Number 124795 by benjo_mathlover last updated on 06/Dec/20
Answered by mathmax by abdo last updated on 17/Dec/20
$$\mathrm{p}\:\mathrm{prime}\:\Rightarrow\mathrm{Z}/\mathrm{pZ}\:\mathrm{is}\:\mathrm{a}\:\mathrm{corps}\:\:\mathrm{we}\:\mathrm{have}\:\:\mathrm{for}\:\mathrm{alla}_{\mathrm{i}} \:\in\:\mathrm{Z}/\mathrm{pZ} \\ $$$$\left(\mathrm{a}_{\mathrm{1}} +\mathrm{a}_{\mathrm{2}} +…+\mathrm{a}_{\mathrm{n}} \right)^{\mathrm{p}} \:\:\equiv\mathrm{a}_{\mathrm{1}} ^{\mathrm{p}} \:+\mathrm{a}_{\mathrm{2}} ^{\mathrm{p}} +….+\mathrm{a}_{\mathrm{n}} ^{\mathrm{p}} \left[\mathrm{p}\right]\:\:\left(\mathrm{we}\:\mathrm{get}\:\mathrm{this}\:\mathrm{by}\:\mathrm{recurrence}\:\mathrm{on}\:\mathrm{n}\right) \\ $$$$\mathrm{for}\:\mathrm{a}_{\mathrm{1}} =\mathrm{a}_{\mathrm{2}} =….=\mathrm{a}_{\mathrm{n}} =\mathrm{1}\:\:\mathrm{we}\:\mathrm{get}\:\left(\mathrm{1}+\mathrm{1}+…+\mathrm{1}\right)^{\mathrm{p}} \:\equiv\mathrm{1}+\mathrm{1}…+\mathrm{1}\left[\mathrm{p}\right]\:\Rightarrow \\ $$$$\mathrm{n}^{\mathrm{p}} \:\equiv\mathrm{n}\left[\mathrm{p}\right] \\ $$$$ \\ $$