Talk:Separable extension

Suggestions

shouldn't it be said anything about non-algebraic separable extensions?

---

and we seem to be missing any mention of separability degree... Dmharvey 00:40, 18 April 2006 (UTC)

Example of non-perfect field

A concrete example of one of these would be pretty cool to have in the article... -140.105.47.84 (talk) 07:24, 17 September 2009 (UTC)

Well, there is one (function fields). To specialise, take K(T), rational functions in T where K has characteristic p. This is purely inseparable over its subfield K(T^p). Which is isomorphic as field ... so the rational function field is not perfect. Charles Matthews (talk) 11:15, 17 September 2009 (UTC)

Major changes to article

I have re-written and expanded the article to cover the notions of a purely inseparable extension, and that of the separable part of an algebraic extension, and to provide a more comprehensive treatment of separable extensions in their own right. The article also includes an "Informal discussion", which provides at least some basic background for the article, and a section solely on separable polynomials (which includes an example of an inseparable polynomial as requested in the section above). Any comments, suggestions, or further improvements would be very much welcome. PST 08:48, 9 April 2010 (UTC)

Use of phrase "non-zero"

Why the repeated use of phrases like "non-zero prime" and "irreducible (non-zero) polynomial"? A prime element is by definition not zero. Similarly, a irreducible polynomial is by definition not constant, thus not zero. Not using the unnecessary "non-zero" phrase is exactly the "less is more" philosophy that is abstract algebra. Bender2k14 (talk) 00:54, 9 March 2011 (UTC)

I think you'd have to ask the editor User:Point-set topologist why s/he thinks it's necessary to say non-zero all those times (this is the editor that wrote all of these, see the diff [1] and all the following ones). Perhaps s/he was confused with prime elements versus prime ideals (the non-zero ones of the latter correspond to the former in the case at hand). Also, I'm pretty sure not saying unnecessary things is an idea that pervades much of mathematics. RobHar (talk) 04:33, 9 March 2011 (UTC)

You are absolutely right, RobHar. I will work to remove "non-zero" where unnecessary. Thank you for pointing this out! --PST 22:35, 29 September 2011 (UTC)

A paragraph in the lede

The following was moved from the lede

The study of separable extensions in their own right has far-reaching consequences. For instance, consider the result: "If E is a field with the property that every nonconstant polynomial with coefficients in E has a root in E, then E is algebraically closed." Despite its simplicity, it suggests a deeper conjecture: "If $E\supseteq F$ is an algebraic extension and if every nonconstant polynomial with coefficients in F has a root in E, is E algebraically closed?" Although this conjecture is true, most of its known proofs depend on the theory of separable and purely inseparable extensions; for instance, in the case corresponding to the extension $E\supseteq F$ being separable, one known proof involves the use of the primitive element theorem in the context of Galois extensions.

I have heard of this matter. That, of course, doesn't mean it's not important. But I simply fail to see the significance. -- Taku (talk) 19:29, 14 September 2011 (UTC)