Question Number 111704 by Aina Samuel Temidayo last updated on 04/Sep/20
$$\mathrm{Assuming}\:\mathrm{FLT},\:\mathrm{prove}\:\mathrm{Fermat}−\mathrm{Euler} \\ $$$$\mathrm{theorem}:\:\left(\mathrm{a},\mathrm{n}\right)\:=\mathrm{1},\mathrm{n}\geqslant\mathrm{2}\Rightarrow\mathrm{a}^{\emptyset\left(\mathrm{n}\right)} \equiv\mathrm{1}\left(\mathrm{mod}\right. \\ $$$$\left.\mathrm{n}\right) \\ $$
Answered by Aina Samuel Temidayo last updated on 04/Sep/20
$$ \\ $$$$\mathrm{Assuming}\:\mathrm{FLT} \\ $$$$\left(\mathrm{a},\mathrm{n}\right)=\mathrm{1},\mathrm{n}\geqslant\mathrm{2}\Rightarrow\mathrm{a}^{\emptyset\left(\mathrm{n}\right)} \equiv\mathrm{1}\left(\mathrm{mod}\:\mathrm{n}\right) \\ $$$$\mathrm{If}\:\mathrm{n}\:\mathrm{is}\:\mathrm{prime},\mathrm{then}\:\emptyset\left(\mathrm{n}\right)\:=\:\mathrm{n}−\mathrm{1}\:\mathrm{and} \\ $$$$\mathrm{Euler}'\mathrm{s}\:\mathrm{theorem}\:\mathrm{says}\:\mathrm{a}^{\mathrm{n}−\mathrm{1}} =\mathrm{1}\left(\mathrm{mod}\:\mathrm{n}\right), \\ $$$$\mathrm{which}\:\mathrm{is}\:\mathrm{Fermat}'\mathrm{s}\:\mathrm{theorem}. \\ $$$$\mathrm{Since}\:\mathrm{n}\:\mathrm{is}\:\mathrm{prime},\:\mathrm{then}\:\mathrm{all}\:\mathrm{of}\:\mathrm{the} \\ $$$$\mathrm{numbers}\:\left\{\mathrm{1},…,\mathrm{n}−\mathrm{1}\right\}\:\mathrm{are}\:\mathrm{relatively} \\ $$$$\mathrm{prime}\:\mathrm{to}\:\mathrm{n}. \\ $$$$\Rightarrow\:\emptyset\left(\mathrm{n}\right)=\mathrm{n}−\mathrm{1} \\ $$$$ \\ $$$$\mathrm{Proof}: \\ $$$$\mathrm{Let}\:\emptyset\left(\mathrm{n}\right)=\mathrm{k},\:\mathrm{and}\:\mathrm{let}\:\left\{\mathrm{a}_{\mathrm{1}} ,\mathrm{a}_{\mathrm{2}} ,…,\mathrm{a}_{\mathrm{k}} \right\}\:\mathrm{be}\:\mathrm{a} \\ $$$$\mathrm{residue}\:\mathrm{system}\:\mathrm{mod}\:\mathrm{n}.\: \\ $$$$\mathrm{I}\:\mathrm{may}\:\mathrm{assume}\:\mathrm{that}\:\mathrm{the}\:\mathrm{a}_{\mathrm{i}} '\mathrm{s}\:\mathrm{lie}\:\mathrm{in}\:\mathrm{the} \\ $$$$\mathrm{range}\:\left\{\mathrm{1},…,\mathrm{n}−\mathrm{1}\right\}\:\mathrm{as}\:\mathrm{a}\:\mathrm{reduced} \\ $$$$\mathrm{residue}\:\mathrm{system}\:\mathrm{mod}\:\mathrm{n}\:\mathrm{is}\:\mathrm{a}\:\mathrm{set}\:\mathrm{of} \\ $$$$\mathrm{numbers}\: \\ $$$$\mathrm{a}_{\mathrm{1}} ,\mathrm{a}_{\mathrm{2}} ,\mathrm{a}_{\mathrm{3}} ,…,\mathrm{a}_{\emptyset\left(\mathrm{n}\right)} \\ $$$$\mathrm{such}\:\mathrm{that}: \\ $$$$−\mathrm{if}\:\mathrm{i}\neq\mathrm{j},\:\mathrm{then}\:\mathrm{a}_{\mathrm{i}} \neq\mathrm{a}_{\mathrm{j}} \left(\mathrm{mod}\:\mathrm{n}\right).\:\mathrm{That}\:\mathrm{is}, \\ $$$$\mathrm{the}\:\mathrm{a}'\mathrm{s}\:\mathrm{are}\:\mathrm{distinct}\:\mathrm{mod}\:\mathrm{n}. \\ $$$$−\mathrm{For}\:\mathrm{each}\:\mathrm{i},\:\left(\mathrm{a}_{\mathrm{i}} ,\mathrm{n}\right)=\mathrm{1}. \\ $$$$\mathrm{That}\:\mathrm{is},\:\mathrm{all}\:\mathrm{the}\:\mathrm{a}'\mathrm{s}\:\mathrm{are}\:\mathrm{relatively}\:\mathrm{prime} \\ $$$$\mathrm{to}\:\mathrm{n}. \\ $$$$\mathrm{Since}\:\mathrm{all}\:\mathrm{a}'\mathrm{s}\:\mathrm{are}\:\mathrm{relatively}\:\mathrm{prime}\:\mathrm{to}\:\mathrm{n}, \\ $$$$\mathrm{then}\:\mathrm{the}\:\mathrm{assumption}\:\mathrm{that}\:\mathrm{the}\:\mathrm{a}_{\mathrm{i}} '\mathrm{s}\:\mathrm{lie}\:\mathrm{in} \\ $$$$\mathrm{the}\:\mathrm{range}\:\left\{\mathrm{1},…,\mathrm{n}−\mathrm{1}\right\}\:\mathrm{is}\:\mathrm{correct}. \\ $$$$\mathrm{Since}\:\left(\mathrm{a},\mathrm{n}\right)\:=\mathrm{1},\:\left\{\mathrm{aa}_{\mathrm{1}} ,…,\mathrm{aa}_{\mathrm{k}} \right\}\:\mathrm{is}\:\mathrm{another} \\ $$$$\mathrm{reduced}\:\mathrm{residue}\:\mathrm{system}\:\mathrm{mod}\:\mathrm{n}.\:\mathrm{Since} \\ $$$$\mathrm{this}\:\mathrm{is}\:\mathrm{the}\:\mathrm{same}\:\mathrm{set}\:\mathrm{of}\:\mathrm{numbers}\:\mathrm{mod}\:\mathrm{n} \\ $$$$\mathrm{as}\:\mathrm{the}\:\mathrm{original}\:\mathrm{system},\:\mathrm{the}\:\mathrm{two} \\ $$$$\mathrm{systems}\:\mathrm{must}\:\mathrm{have}\:\mathrm{the}\:\mathrm{same}\:\mathrm{product} \\ $$$$\mathrm{mod}\:\mathrm{n}: \\ $$$$\Rightarrow\:\left(\mathrm{aa}_{\mathrm{1}} \right)\left(\mathrm{aa}_{\mathrm{2}} \right)…\left(\mathrm{aa}_{\mathrm{k}} \right)\:=\:\mathrm{a}_{\mathrm{1}} …\mathrm{a}_{\mathrm{k}} \left(\mathrm{mod}\:\mathrm{n}\right)\: \\ $$$$\Rightarrow\:\mathrm{a}^{\mathrm{k}} \left(\mathrm{a}_{\mathrm{1}} …\mathrm{a}_{\mathrm{k}} \right)\:=\:\mathrm{a}_{\mathrm{1}} …\mathrm{a}_{\mathrm{k}} \left(\mathrm{mod}\:\mathrm{n}\right) \\ $$$$\mathrm{Now}\:\mathrm{each}\:\mathrm{a}_{\mathrm{i}\:} \mathrm{is}\:\mathrm{invertible}\:\mathrm{mod}\:\mathrm{n},\:\mathrm{so} \\ $$$$\mathrm{multiplying}\:\mathrm{both}\:\mathrm{sides}\:\mathrm{by} \\ $$$$\mathrm{a}_{\mathrm{1}} ^{−\mathrm{1}} …\mathrm{a}_{\mathrm{k}} ^{−\mathrm{1}} ,\:\mathrm{we}\:\mathrm{get} \\ $$$$\mathrm{a}^{\mathrm{k}} =\mathrm{1}\left(\mathrm{mod}\:\mathrm{n}\right) \\ $$$$\mathrm{Recall}\:\mathrm{that}\:\emptyset\left(\mathrm{n}\right)=\mathrm{k} \\ $$$$\Rightarrow\:\mathrm{a}^{\phi\left(\mathrm{n}\right)\:} =\mathrm{1}\left(\mathrm{mod}\:\mathrm{n}\right) \\ $$$$\mathrm{Hence},\mathrm{proved}. \\ $$$$ \\ $$
Commented by Aina Samuel Temidayo last updated on 05/Sep/20
$$\mathrm{Is}\:\mathrm{this}\:\mathrm{correct}? \\ $$$$ \\ $$