Hey,

Let F be any field and let I = F[[x]] \ F[[x]]* be the set of non-units in F[[x]].

Show that I is an ideal of F[[x]].

this question is troubling me as i cannot seem to properly define what I is, can someone please explain I to me?

Cheers

Printable View

- Aug 14th 2010, 10:12 PMi_never_noticedSet of non-units in F[[x]]
Hey,

Let F be any field and let I = F[[x]] \ F[[x]]* be the set of non-units in F[[x]].

Show that I is an ideal of F[[x]].

this question is troubling me as i cannot seem to properly define what I is, can someone please explain I to me?

Cheers - Aug 15th 2010, 11:11 AMNonCommAlg
easy to prove: in fact is the unique maximal ideal of because which is a field.