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

- August 14th 2010, 11: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 - August 15th 2010, 12:11 PMNonCommAlg
easy to prove: in fact is the unique maximal ideal of because which is a field.