# Prove that the two functions are equal.

Let $f: \mathbb{Z}_5 \rightarrow \mathbb{Z}_{10}$ and $g: \mathbb{Z}_5 \rightarrow \mathbb{Z}_{10}$ be defined by $f([x]_5)=[x]_{10}$ and $g([x]_5)=([x]_{10})^5$ Prove that $f=g$

I know that the domain and codomain are the same but I'm unsure how to go about showing that for every input both functions have the same output.

• You can just calculate it. f.e. $f(_5) = _{10}$ and $g(_5) = **** = ** = * = $ (in subscript $10$). – bob Dec 12 '16 at 19:04
• What are the definition of the functions? Given $[x]_5$, does one take a representative $x$ there and then modulo 10 to get $[x]_{10}$? Is this a well-defined? If that is the case, you need to show that $x^5-x = x(x^4-1)=x(x-1)(x+1)(x^2+1)$ is divisible by 10 for every $x \in \mathbb{Z}.$ Or, as another suggestion goes, once you know is well defined, just calculate the five values of both functions and compare. – Will M. Dec 12 '16 at 19:07

You could make a table... and show that $f = g$ for all $x$ in the domain.

But, let's do some algebra.

We want to show that: $(x^5 - x) \equiv 0 \pmod {10}$

$(x^5 - x) =(x)(x+1)(x-1)(x^2+1)$

Clearly for $x \equiv 0,1,-1\pmod5, (x^5 - x)\equiv 0$

So we still need to check, $2,3$

$(4^2+1)\equiv 0\pmod 5\\ (9^2+1)\equiv 0\pmod 5$

And since one of $(x)(x-1)(x+1)$ must be even. $(x^5-x) \equiv 0 \pmod 5 \ \implies (x^5-x)\equiv 0 \pmod {10}$

Using similar logic we can extend this....One of $(x)(x-1)(x+1)$ is divisible by $3$ $(x^5-x)\equiv 0 \pmod {10}\implies(x^5-x)\equiv 0 \pmod {30}$
{"ft_lang_label":"__label__en","ft_lang_prob":0.784429,"math_prob":1.000005,"size":324,"snap":"2019-51-2020-05","text_gpt3_token_len":115,"char_repetition_ratio":0.16875,"word_repetition_ratio":0.0,"special_character_ratio":0.37345678,"punctuation_ratio":0.041666668,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000001,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-12-13T05:34:10Z\",\"WARC-Record-ID\":\"<urn:uuid:1a2f78ee-daf8-4cca-972a-006e76fb8560>\",\"Content-Length\":\"134354\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:27692e97-59ad-430c-9358-cbfd9512b575>\",\"WARC-Concurrent-To\":\"<urn:uuid:cfb84e8d-9515-44c4-adde-5078857e75cb>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2055854/prove-that-the-two-functions-are-equal/2055883\",\"WARC-Payload-Digest\":\"sha1:AQVHTVYBEXD6W6JCNVQ73HYSTT6YTX4S\",\"WARC-Block-Digest\":\"sha1:3A2QCVDJ2UB7GMCJOXLT2RZ6QZAE5YKD\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-51/CC-MAIN-2019-51_segments_1575540548544.83_warc_CC-MAIN-20191213043650-20191213071650-00140.warc.gz\"}"}