# Thread:

1. ## modulo squares and cubes

If we look at the field F_7* modulo the squares, then we can say that this is isomorphic to Z/2 by sending the squares to 0, and the non-squares to 1 (at least we think this is the reason that it is isomorphic to Z/2).

Now we want to look at F_7* modulo cubes, we think this is isomorphic to Z/3, but we don't know why. We can send the cubes to 0, but how do we know which elements are mapped to 1 and 2?

2. Originally Posted by lizzy
If we look at the field F_7* modulo the squares, then we can say that this is isomorphic to Z/2 by sending the squares to 0, and the non-squares to 1 (at least we think this is the reason that it is isomorphic to Z/2).

Now we want to look at F_7* modulo cubes, we think this is isomorphic to Z/3, but we don't know why. We can send the cubes to 0, but how do we know which elements are mapped to 1 and 2?

Since $a^3\in\{-1,0,1\}\!\!\pmod 7$ , then $a^3\in\{-1,1\}\!\!\pmod 7$ for $a\in\left(\mathbb{F}_7\right)^*$ . Also, if $\phi: \left(\mathbb{F}_7\right)^*\rightarrow \mathbb{Z}_3$ is such a homomorphism, it must be that $\phi(ab)=\phi(a)+\phi(b)$ ,

where the product in the left side is modulo 7, whereas the sum in the right side is modulo 3.

But it must be $\phi(a)=\phi(b)\!\!\!\pmod 3\Longleftrightarrow \phi(a)-\phi(b)=0\!\!\!\pmod 3$ $\Longleftrightarrow \phi(ab^{-1})=0\!\!\!\pmod 3\Longleftrightarrow ab^{-1}=\pm 1\!\!\!\pmod 7$ $\Longleftrightarrow a=\pm b\!\!\!\pmod 7$ .

From here you can now build your function $\phi$ taking into account, of course, that it must be $\phi(\pm 1)=0$ since only $\pm 1$ are cubes in $\left(\mathbb{F}_7\right)^*$...

Tonio
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 12, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9612922072410583, "perplexity_flag": "head"}