Thread:

1. Maximal Ideals

Prove <x^2+1> is maximal in R[x]

R[x] = {all polynomials with real coefficients}

<x^2+1> = {f(x)*(x^2+1) ; f(x) is from R[x]}

Could you guys give me some hints? I am not really sure how to even start this. This exact problem is actually an example in my book but I could not even follow it! (Gallian)

Thank you

2. One way (there is an immediate characterization in terms of irredutible polynomials):

$<x^2+1>\;\textrm{maximal}\;\Leftrightarrow \mathbb{R}[x]/<x^2+1>\;\textrm{is\:a\;field}$

and if $I\subset \mathbb{R}[x]$ is an ideal, then $\mathbb{R}/I$ is a commutative ring.

So, you only have to prove that

$ax+b+<x^2+1>\;\;(ax+b\neq 0)$

is a unit in $\mathbb{R}[x]/<x^2+1>$ .

Fernando Revilla

3. Thanks I was actually trying to prove that R[x]/<x^2+1> was a field by showing <x^2+1> was maximal but I guess showing that its all the elements are units would be easier

4. yes that is the easiest way to show that something is maximal. Think about what happens when you take the quotient R[x]/(x^2+1).

Remember when you mod out by an ideal you partion the ring into cosets: a+(x^2+1) for each a in R[x]. Something gets "squashed" to 0 iff it is in the ideal (x^2+1).

So what type of elements are left? What can you decide this quotient ring is isomorphic to? Think about this for a bit, you should be able to show it's a field without too much trouble.
{"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": 5, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9528362154960632, "perplexity_flag": "middle"}