Intereting Posts

$ \Big(\dfrac{x^7+y^7+z^7}{7}\Big)^2=\Big(\dfrac{x^5+y^5+z^5}{5}\Big)^2\cdot\Big(\dfrac{x^4+y^4+z^4}{2}\Big) $
How to find all irreducible polynomials in Z2 with degree 5?
Derivation of Frey equation from FLT
Chess Piece Combinations
Elliptic Coordinates – Inverting the transformation
Finite field isomorphic to $\mathbb F_{p^n}$.
Tight bounds for Bowers array notation
What numbers are integrally represented by $4 x^2 + 2 x y + 7 y^2 – z^3$
almost unitaries are close to a unitary element
Show that the tangent space of the diagonal is the diagonal of the product of tangent space
Ideal theoretic proof of the second inequality of global class field theory
Maximum distance between points in a triangle
Continuity, Compactness and Graph
Find the norm of the following operator.
Prove that a subgroup which contains half of all elements is a normal subgroup.

Corollary 5.24 on page 67 in Atiyah-Macdonald reads as follows:

Let $k$ be a field and $B$ a finitely generated $k$-algebra. If $B$ is a field then it is a finite algebraic extension of $k$.

We know a field extension $E$ over $F$ is algebraic if it’s finite, that is, $E = F[e_1, \dots, e_n]$. By definition, a finitely generated $k$-algebra is of the form $k[b_1, \dots , b_n]$. So the corollary above seems to directly follow from these two facts.

- Showing the set of zero-divisors is a union of prime ideals
- Non-Noetherian ring with a single prime ideal
- Geometric justification for the prime spectrum and “generic points”
- Prime and Primary Ideals in Completion of a ring
- Examples of Cohen-Macaulay integral domains
- Number of generators of the maximal ideals in polynomial rings over a field

I hope I misunderstand something fundamental because I worked through the propositions and proofs this corollary is using and it was rather lengthy and not very enjoyable. What am I missing?

- Kähler differential over a field
- characteristic of a finite field
- A sum of noetherian modules is a noetherian module
- The total ring of fractions of a reduced Noetherian ring is a direct product of fields
- Fertile fields for roots of unity
- Vakil's definition of smoothness — what happens at non-closed points?
- Is there an example of a non-noetherian one-dimensional UFD?
- Galois ring extension
- Does $\mathbb Q(\sqrt{-2})$ contain a square root of $-1$?
- When is a divisible group a power of the multiplicative group of an algebraically closed field?

Perhaps the statement will become more clear in the following language:

A ring homomorphism $R \to S$ is *finite* if $S$ is finitely generated as a module over $R$. A ring homomorphism $R \to S$ is called *of finite type* if $S$ is finitely generated as an algebra over $R$. Clearly, finite implies of finite type. The converse is not true, in general. We have that finite <=> integral and of finite type.

But for *fields*, the converse is true: Every field extension which is of finite type, is already finite (and therefore algebraic). This is an easy consequence of Noether’s normalization lemma. It is *not* a consequence of the definitions, because it is not clear a priori that our algebra generators are algebraic.

Your confusion is coming from the fact that you are assuming $B$ finitely generated as a $k$ – algebra implies that it is a finite (and hence algebraic) extension of $k$. Consider the polynomial ring $k[x]$ in one indeterminate – this is finitely generated as a $k$ – algebra by definition. But this is ** definitely** not a finite extension of $k$ because $x$ is an indeterminate and hence is transcendental over $k$!

Here is the proof of the weak Nullstellensatz using Noether Normalisation that Martin mentioned below. Recall that Noether Normalisation states that if $k$ is a field and $B$ a finitely generated $k$ – algebra, then there exists an integer $d$ and algebraically independent elements $x_1,\ldots,x_d$ such that $B$ is finitely generated as a ** module** over $k[x_1,\ldots, x_n]$. The following visualisation may be helpful:

$$k \longrightarrow k[x_1,\ldots,x_d]\longrightarrow B.$$

Recall that because now $B$ is a field, in particular it is an integral domain and so is $k[x_1,\ldots,x_d]$. Since $B$ is finitely generated over this guy, we have by Proposition 5.7 of Atiyah – Macdonald that $k[x_1,\ldots,x_d]$ is a field. This is a field if and only if $d = 0$ so that $A$ is finitely generated as a ** module** over $k$, proving the weak Nullstellensatz.

- UK 1998, Show that $hxyz$ is a perfect square.
- Formal Power Series — what's in it?
- $AB$ is a chord of a circle $C$. Let there be another point $P$ on the circumference of the circle, optimize $PA.PB$ and $PA+PB$
- A maximal ideal is always a prime ideal?
- Proof for absolute value inequality of three variables: $|x-z| \leq |x-y|+|y-z|$
- Elementary proof of $\mathbb{Q}(\zeta_n)\cap \mathbb{Q}(\zeta_m)=\mathbb{Q}$ when $\gcd(n,m)=1$.
- how to show $SU(2)/\mathbb{Z}_2\cong SO(3)$
- Why use ZF over NFU?
- Methods to see if a polynomial is irreducible
- Prove: If $\sum \limits_{n=1}^{\infty}|f_n|$ converges uniformly, so does $\sum \limits_{n=1}^{\infty}f_n$.
- Trying to understand why circle area is not $2 \pi r^2$
- For which angles we know the $\sin$ value algebraically (exact)?
- $\# \{\text{primes}\ 4n+3 \le x\}$ in terms of $\text{Li}(x)$ and roots of Dirichlet $L$-functions
- Rotation matrix in terms of dot products.
- Entire function bounded by a polynomial is a polynomial