Polynomial Rings

• May 8th 2009, 12:29 AM
jzellt
Polynomial Rings
How is this true?

6x^3 + 2x^2 -x + 1 = -x^2 +2x + 1 in F (sub3) [x]

There is a dash over the 6, 2, 1 in the first polynomial and a dash over the 2, 1 in the second

I'm thinking original algebra days and obviously thats not what were doing here. Can anyone explain how to figure the above.
• May 8th 2009, 12:47 AM
Gamma
$F_3$ is the finite field of order 3. It is just the integers modulo 3.

$a \equiv b$ (mod n) iff n|(a-b)

$F_3[x]$ is simply polynomials with coefficients coming from $F_3$.

Thus in $F_3$

$6 \equiv 0$ mod 3

as 3|6-0=6
and
$2 \equiv -1$ mod 3
3|2-(-1)=3
• May 8th 2009, 10:58 PM
jzellt
Okay...that makes sense, but where does the 2x (with a bar over the 2) come from?

Can you go through each step on how to come up with:
-x^2 +2x + 1 (bars over the 2 and 1)

Do I only look at the numbers with a bar over them when using the mod formula?

Thanks...
• May 8th 2009, 11:13 PM
Gamma
The bars are talking about the equivalence classses of the integers modulo 3. There should be a bar over every coefficient in the polynomial ring. It is just because the leading coefficient was written $-x^2$ instead of $-\bar{1}x^2$. And since $\bar{6} = \bar{0}$ they just left off that term.
• May 8th 2009, 11:29 PM
jzellt
Awesome...You;re great!

One more thing...The final term of 6x^3 + 2x^2 -x + 1 is obviously 1.

How come the 1 doesn't change?
• May 8th 2009, 11:41 PM
Gamma
well certainly 1 is congruent to 1 mod 3.

Like don't think this polynomial on the right is some special form of the polynomial or anything. It is not like every polynomial should be reduced into this particular form. If anything you should always reduce it to the form where you have the coefficients represented by the least positive residue.

That is a polynomial over the integers mod p, represented by 0,1,2,..., p. One of those.

This is just asking you to notice that these two things are the same because all the coefficients are congruent mod p.
{"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": 10, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.7684276700019836, "perplexity": 773.16638987247}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-11/segments/1424936463122.1/warc/CC-MAIN-20150226074103-00042-ip-10-28-5-156.ec2.internal.warc.gz"}