Posts Tagged ‘Nullstellensatz’


February 5, 2011

We have received a new set of donations, again from a live-TeXed course. One thing that I hadn’t seen before is a theorem of McCoy that gives a criterion (in the “density” of certain ideals generated by minors) of when a matrix mapping of free modules is injective.

In addition, various edits keep being made, slowly. There have been several articles in the Monthly that give short semi-expository pieces of mathematics; a brief account of some of them have appeared in the book. Here is one, giving a short proof of the following lemma: a field extension which is finitely generated as an algebra is algebraic.

To see this, one can use the following argument of McCabe. Let k'/k be an extension finitely generated as an algebra. There is a subring k[x_1, \dots, x_n] over which $k’$ is algebraic. The finite generation hypothesis implies that we can find a localization k[x_1, \dots, x_n]_y over which $k’$ is even integral. But if one has an integral extension and the top ring is a field, then so is the bottom one; this implies k[x_1, \dots,x_n]_y is a field. So y \in k[x_1, \dots, x_n] must lie in every maximal ideal, meaning it is zero, contradiction.