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]]$.
2
$\begingroup$
abstract-algebra
-
8the 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) – 2012-02-04
-
5@yoyo thanks for the nice comment. Please convert it to an answer and I will approve it as the solution. – 2012-02-04