In order to actually get blogging again I think I’m going to do a series on things you should learn in first year graduate algebra but don’t. It will consist mostly of short posts that contain examples, definitions, or tricks that come up for me.
Today we’ll discuss separable algebras. Let be a field (it is important that we allow this to possibly be imperfect). Our algebras will always satisfy the standard hypotheses made in commutative algebra books such as Matsumura, so they will be unital, associative, and commutative. A -algebra is called separable if for any field extension we have is reduced (contains no nilpotent elements).
By definition itself must be reduced. The purpose of this post is to show how being reduced over is not enough to guarantee being separable. Now one probably wouldn’t expect this considering you have to be reduced over all base changes to be separable, but it is true that it suffices to check being reduced over if the field is perfect.
We will take as a black box for the purpose of this post that if we choose an algebraic closure and define to take all -th roots inside this algebraic closure, then it suffices to check that is reduced. Thus we really only need to check one base change. Now if you work in characteristic all the time, you might be thinking how could we ever pick up nilpotent elements just by tensoring with a field extension?
This is because in characteristic , your field is automatically perfect and for any perfect field we have . Thus we recover the statement that for perfect fields we only have to check that is reduced to see it is separable. Now for our counterexample to the idea that this is all we have to check in general.
Let . Define our algebra where . Since is just the field extension of we get by adjoining a -th root of it is reduced (fields don’t have nilpotents). But now let’s use our black box to see why the choice of is so important. Note that , but we do have .
Now check and since we have and it is certainly not zero in but it does have the property that , i.e. we found a nilpotent element. Thus there are reduced algebras over non-perfect fields that are not separable.