Let $F$ is a field. I know that $F[x]$ is a principal ideal domain. I know examples of ideals in $F[x]$ like $\{a_0+a_1x+\dots+a_nx^n|a_0=0\}$. I need to know all ideals. Same with $F[[x]]$: I know some examples of ideals but can't say that I know all ideals of the ring. Is there some technique to find all ideals of the rings?
Find all ideals of $F[x]$ and $F[[x]]$.
-
5@yoyo thanks for the nice comment. Please convert it to an answer and I will approve it as the solution. – 2012-02-04
1 Answers
The following answer was given by yoyo in the comments:
The ideals of $F[x]$ are all principal, as you say, so every ideal is uniquely determined by the monic polynomial of minimal degree it contains. $F[[x]]$ is local, the unique maximal ideal is $(x)$ so every ideal is contained in $(x)$ (power series with non-zero constant term are invertible).
And as a consequence of this we easily see that any ideal $I$ of $F[[x]]$ is of the form $(x^m)$ for some non-negative integer $m$. This is easily seen as follows. Let $m$ the degree of the lowest degree non-zero term of any power series $a(x)$ in $I$. Then $a(x)=x^mu$, where $u$ is a unit of $F[[x]]$. Thus $(x^m)\subseteq I$. The reverse inclusion is trivial.
Essentially the same argument works for all DVRs (=discrete valuation rings).
-
0Oops, too many crusaders :) I was just adding a post containing stuff about the power series ring when you edited. Oh well :) – 2013-06-20