Question Number 13081 by 433 last updated on 13/May/17
$$\begin{cases}{{x}+{y}+{z}=\left[\mathrm{1}\right]_{\mathrm{5}} }\\{{xy}=\left[\mathrm{2}\right]_{\mathrm{5}} }\\{{yz}=\left[\mathrm{1}\right]_{\mathrm{5}} }\end{cases} \\ $$$${Solve}\:{system}\:{on}\:\mathbb{Z}_{\mathrm{5}} \\ $$
Answered by RasheedSindhi last updated on 14/May/17
$$\:^{{Rasheed}\:{Soomro}} \\ $$$${x}+{y}+{z}+\mathrm{xy}+\mathrm{yz}=\left[\mathrm{1}\right]_{\mathrm{5}} +\left[\mathrm{2}\right]_{\mathrm{5}} +\:\left[\mathrm{1}\right]_{\mathrm{5}} \\ $$$$\mathrm{y}+\mathrm{x}+\mathrm{z}+\mathrm{y}\left(\mathrm{x}+\mathrm{z}\right)=\left[\mathrm{4}\right]_{\mathrm{5}} \\ $$$$\mathrm{y}+\left(\mathrm{x}+\mathrm{z}\right)\left(\mathrm{1}+\mathrm{y}\right)=\left[\mathrm{4}\right]_{\mathrm{5}} \\ $$$$\mathrm{1}+\mathrm{y}+\left(\mathrm{x}+\mathrm{z}\right)\left(\mathrm{1}+\mathrm{y}\right)=\left[\mathrm{4}\right]_{\mathrm{5}} +\mathrm{1} \\ $$$$\left(\mathrm{1}+\mathrm{y}\right)\left(\mathrm{1}+\mathrm{x}+\mathrm{z}\right)=\left[\mathrm{4}\right]_{\mathrm{5}} +\left[\mathrm{1}\right]_{\mathrm{5}} =\left[\mathrm{0}\right]_{\mathrm{5}} \\ $$$$\left(\mathrm{1}+\mathrm{y}\right)=\left[\mathrm{0}\right]_{\mathrm{5}} \mathrm{or}\left(\mathrm{1}+\boldsymbol{\mathrm{x}}+\boldsymbol{\mathrm{z}}\right)=\left[\mathrm{0}\right]_{\mathrm{5}} \\ $$$$\boldsymbol{\mathrm{y}}=\left[−\mathrm{1}\right]_{\mathrm{5}} \:\boldsymbol{\mathrm{or}}\:\mathrm{x}+\mathrm{z}=\left[−\mathrm{1}\right]_{\mathrm{5}} \\ $$$$\mathrm{y}=\left[\mathrm{4}\right]_{\mathrm{5}} \:\mathrm{or}\:\mathrm{x}+\mathrm{z}=\left[\mathrm{4}\right]_{\mathrm{5}} \\ $$$$\mathrm{yz}=\left[\mathrm{1}\right]_{\mathrm{5}} \\ $$$$\left[\mathrm{4}\right]\mathrm{z}=\left[\mathrm{16}\right]_{\mathrm{5}} \\ $$$$\mathrm{z}=\:\left[\frac{\mathrm{16}}{\mathrm{4}}\right]_{\mathrm{5}} =\left[\mathrm{4}\right]_{\mathrm{5}} \\ $$$$\mathrm{xy}=\left[\mathrm{2}\right]_{\mathrm{5}} \Rightarrow\mathrm{x}×\left[\mathrm{4}\right]_{\mathrm{5}} =\left[\mathrm{2}\right]_{\mathrm{5}} \\ $$$$\mathrm{x}×\left[\mathrm{4}\right]_{\mathrm{5}} =\left[\mathrm{12}\right] \\ $$$$\mathrm{x}=\left[\frac{\mathrm{12}}{\mathrm{4}}\right]_{\mathrm{5}} =\left[\mathrm{3}\right]_{\mathrm{5}} \\ $$$$\mathrm{x}=\left[\mathrm{3}\right]_{\mathrm{5}} ,\mathrm{y}=\mathrm{z}=\left[\mathrm{4}\right]_{\mathrm{5}} \\ $$$$\mathrm{For}\:\mathrm{example} \\ $$$$\mathrm{x}=\mathrm{3},\mathrm{y}=\mathrm{4},\mathrm{z}=\mathrm{4} \\ $$$$ \\ $$$$ \\ $$
Commented by 433 last updated on 14/May/17
$${You}\:{forgot}\:{x}+{z}=\left[\mathrm{4}\right]_{\mathrm{5}} \:{but}\:{thank}\:{you} \\ $$
Commented by RasheedSindhi last updated on 14/May/17
$${From}\:{above}\:{answer}: \\ $$$$\:\:\begin{cases}{\mathrm{x}+\mathrm{z}=\left[\mathrm{4}\right]_{\mathrm{5}} ………\left(\mathrm{i}\right)}\\{\mathrm{xy}=\left[\mathrm{2}\right]_{\mathrm{5}} ………….\left(\mathrm{ii}\right)}\\{\mathrm{yz}=\left[\mathrm{1}\right]_{\mathrm{5}} …………..\left(\mathrm{iii}\right)}\end{cases} \\ $$$$\left(\mathrm{i}\right)\Rightarrow\mathrm{x}=\left[\mathrm{4}\right]_{\mathrm{5}} −\mathrm{z} \\ $$$$\left(\mathrm{ii}\right)\Rightarrow\left(\left[\mathrm{4}\right]_{\mathrm{5}} −\mathrm{z}\right)\mathrm{y}=\left[\mathrm{2}\right]_{\mathrm{5}} \\ $$$$\left[\mathrm{4}\right]_{\mathrm{5}} \mathrm{y}−\mathrm{yz}=\left[\mathrm{2}\right]_{\mathrm{5}} \\ $$$$\left[\mathrm{4}\right]_{\mathrm{5}} \mathrm{y}−\left[\mathrm{1}\right]_{\mathrm{5}} =\left[\mathrm{2}\right]_{\mathrm{5}} \:\:\:\:\:\left(\because\:\mathrm{yz}=\left[\mathrm{1}\right]_{\mathrm{5}} \:\:\left(\mathrm{iii}\right)\:\right) \\ $$$$\left[\mathrm{4}\right]_{\mathrm{5}} \mathrm{y}=\left[\mathrm{2}\right]_{\mathrm{5}} +\left[\mathrm{1}\right]_{\mathrm{5}} =\left[\mathrm{3}\right]_{\mathrm{5}} =\left[\mathrm{8}\right]_{\mathrm{5}} \\ $$$$\mathrm{y}=\left[\frac{\mathrm{8}}{\mathrm{4}}\right]_{\mathrm{5}} =\left[\mathrm{2}\right]_{\mathrm{5}} \Rightarrow\mathrm{y}=\left[\mathrm{2}\right]_{\mathrm{5}} \\ $$$$\left(\mathrm{ii}\right)\Rightarrow\mathrm{x}\left(\left[\mathrm{2}\right]_{\mathrm{5}} \right)=\left[\mathrm{2}\right]_{\mathrm{5}} \\ $$$$\:\:\:\:\:\:\:\:\Rightarrow\mathrm{x}=\left[\mathrm{1}\right]_{\mathrm{5}} \\ $$$$\left(\mathrm{i}\right)\Rightarrow\mathrm{z}=\left[\mathrm{4}\right]_{\mathrm{5}} −\mathrm{x}=\left[\mathrm{4}\right]_{\mathrm{5}} −\left[\mathrm{1}\right]_{\mathrm{5}} =\left[\mathrm{3}\right]_{\mathrm{5}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{z}=\left[\mathrm{3}\right]_{\mathrm{5}} \\ $$$$\mathrm{x}=\left[\mathrm{1}\right]_{\mathrm{5}} \:,\:\mathrm{y}=\left[\mathrm{2}\right]_{\mathrm{5}} \:,\:\mathrm{z}=\left[\mathrm{3}\right]_{\mathrm{5}} \\ $$$$\mathrm{For}\:\mathrm{example}: \\ $$$$\mathrm{x}=\mathrm{1}\:,\:\mathrm{y}=\mathrm{2}\:,\:\mathrm{z}=\mathrm{3} \\ $$
Commented by mrW1 last updated on 14/May/17
$${Great}\:{job}! \\ $$
Commented by RasheedSindhi last updated on 16/May/17
$$\mathcal{TH}\alpha{n}\mathcal{X}\:\:\mathcal{S}{ir}! \\ $$
Answered by RasheedSindhi last updated on 14/May/17
$$\underset{−} {\mathrm{AnOther}\:\mathrm{Way}}\:\:\:\:\:\:\:\:\:^{{Rasheed}\:{Soomro}} \\ $$$$\mathrm{x}+\mathrm{y}+\mathrm{z}\equiv\mathrm{1}\left(\mathrm{mod}\:\mathrm{5}\right)…….\mathrm{I} \\ $$$$\mathrm{xy}\equiv\mathrm{2}\left(\mathrm{mod}\:\mathrm{5}\right)…………..\mathrm{II} \\ $$$$\mathrm{yz}\equiv\mathrm{1}\left(\mathrm{mod}\:\mathrm{5}\right)…………..\mathrm{III} \\ $$$$\mathrm{I}+\mathrm{II}+\mathrm{III}\Rightarrow \\ $$$$\:\:\:\:\:\mathrm{x}+\mathrm{y}+\mathrm{z}+\mathrm{xy}+\mathrm{yz}\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\:\:\mathrm{y}+\left(\mathrm{x}+\mathrm{z}\right)+\mathrm{y}\left(\mathrm{x}+\mathrm{z}\right)\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{y}+\left(\mathrm{x}+\mathrm{z}\right)\left(\mathrm{1}+\mathrm{y}\right)\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{1}+\mathrm{y}+\left(\mathrm{x}+\mathrm{z}\right)\left(\mathrm{1}+\mathrm{y}\right)\equiv\mathrm{4}+\mathrm{1}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\left(\mathrm{1}+\mathrm{y}\right)\left(\mathrm{1}+\mathrm{x}+\mathrm{z}\right)\equiv\mathrm{0}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{1}+\mathrm{y}\equiv\mathrm{0}\:\vee\:\mathrm{1}+\mathrm{x}+\mathrm{z}\equiv\mathrm{0}\:\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{y}\equiv−\mathrm{1}\:\vee\:\mathrm{x}+\mathrm{z}\equiv−\mathrm{1}\:\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{y}\equiv\mathrm{4}\:\vee\:\mathrm{x}+\mathrm{z}\equiv\mathrm{4}\:\left(\mathrm{mod}\:\mathrm{5}\right)…..\boldsymbol{\mathrm{A}} \\ $$$$\begin{cases}{\mathrm{y}\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right)…………..\left(\mathrm{i}\right)}\\{\mathrm{xy}\equiv\mathrm{2}\equiv\mathrm{12}\left(\mathrm{mod}\:\mathrm{5}\right)……\left(\mathrm{ii}\right)}\end{cases} \\ $$$$\left(\mathrm{ii}\right)/\left(\mathrm{i}\right)\Rightarrow\mathrm{x}\equiv\mathrm{3}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\begin{cases}{\mathrm{y}\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right)…………..\left(\mathrm{iii}\right)}\\{\mathrm{yz}\equiv\mathrm{1}\equiv\mathrm{16}\left(\mathrm{mod}\:\mathrm{5}\right)…….\left(\mathrm{iv}\right)}\end{cases} \\ $$$$\left(\mathrm{iv}\right)/\left(\mathrm{iii}\right)\Rightarrow\mathrm{z}\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$ \\ $$$$\mathrm{x},\mathrm{y},\mathrm{z}\equiv\mathrm{3},\mathrm{4},\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{For}\:\mathrm{example}: \\ $$$$\mathrm{x}=\mathrm{3},\mathrm{y}=\mathrm{4},\mathrm{z}=\mathrm{4} \\ $$$$\mathrm{2}\boldsymbol{\mathrm{nd}}\:\boldsymbol{\mathrm{part}} \\ $$$$\mathrm{x}+\mathrm{z}\equiv\mathrm{4}\left(\mathrm{mod}\:\mathrm{5}\right)\:\:\left[\mathrm{From}\:\boldsymbol{\mathrm{A}}\right] \\ $$$$\mathrm{x}\equiv\mathrm{4}−\mathrm{z}\left(\mathrm{mod}\:\mathrm{5}\right)………….\left(\mathrm{v}\right) \\ $$$$\mathrm{xy}\equiv\mathrm{2}\left(\mathrm{mod}\:\mathrm{5}\right)\:\:\left[\mathrm{From}\:\mathrm{II}\right]..\left(\mathrm{vi}\right) \\ $$$$\mathrm{From}\:\left(\mathrm{v}\right)\:\&\left(\mathrm{vi}\right): \\ $$$$\left(\mathrm{4}−\mathrm{z}\right)\mathrm{y}\equiv\mathrm{2}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{4y}−\mathrm{yz}\equiv\mathrm{2}\left(\mathrm{mof}\:\mathrm{5}\right) \\ $$$$\:\mathrm{But}\:\mathrm{yz}\equiv\mathrm{1}\left(\mathrm{mod}\:\mathrm{5}\right)\:\left[\mathrm{From}\:\mathrm{III}\right] \\ $$$$\therefore\:\:\mathrm{4y}−\mathrm{1}\equiv\mathrm{2}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\:\:\:\:\:\:\mathrm{4y}\equiv\mathrm{3}\equiv\mathrm{8}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\:\:\:\:\:\:\:\mathrm{y}\equiv\mathrm{2}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{II}\Rightarrow\mathrm{x}\left(\mathrm{2}\right)\equiv\mathrm{2}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\boldsymbol{\mathrm{x}}\equiv\mathrm{1}\left(\boldsymbol{\mathrm{mod}}\:\mathrm{5}\right) \\ $$$$\mathrm{From}\:\mathrm{I}\::\:\mathrm{z}\equiv\mathrm{4}−\mathrm{x}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{z}\equiv\mathrm{4}−\mathrm{1}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{z}\equiv\mathrm{3}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$\mathrm{x},\mathrm{y},\mathrm{z}\equiv\mathrm{1},\mathrm{2},\mathrm{3}\left(\mathrm{mod}\:\mathrm{5}\right) \\ $$$$ \\ $$