I'm beginning to study commutative algebra and algebraic geometry, and something confuses me.
Many proofs, e.g. of the Nullstellensatz, require the axiom of choice (to get the right results about ideals, I suppose). Is there any way to avoid that axiom, if you start with an algebraically closed field that is countable? What about the complex field?
I've been looking for something on this topic on the Internet, with no luck. Thanks for any help!
On
Many applications of choice can be removed when we restrict attention to well-orderable - or even better, countable - fields and other objects. As Asaf says, however, there are nonetheless some facts which really do require the axiom of choice. At the same time, these often have slight weakenings that (a) don't require choice and (b) do everything we really need (e.g. that there is only one countable algebraic closure of $\mathbb{Q}$ up to isomorphism).
You might be concerned at this point about results in "concrete" mathematics which go through principles with no apparent choice-free proof. E.g. is it possible that the Riemann hypothesis could be proved, but only using choice due to its reliance on some "choicey" piece of algebraic geometry? It turns out that there is a very powerful metatheorem which says that the answer is "no:" Shoenfield absoluteness. In particular, this implies that if ZFC proves the Riemann hypothesis, or Goldbach, or Fermat's last theorem, or basically any fact from number theory or "low-level" algebraic geometry, then so does ZF. In fact it says much more: it says e.g. that we can also through arithmetic axioms like GCH onto the pile while still not changing the provability of the Riemann hypothesis. The motto I would give here is that Shoenfield absoluteness shows that number theory doesn't rely on choice.
The axiom of choice is pretty much never necessary for doing any sort of commutative algebra or algebraic geometry which involves only finitely generated algebras over a field. In particular, any arguments that involve the existence of maximal ideals (or ideals which are maximal with a given property) can be carried out in these rings without invoking the axiom of choice, since they are Noetherian.
To be more precise, without assuming the axiom of choice, you can prove that any polynomial ring in finitely many variables over a field (and therefore also any quotient of such a ring) is Noetherian in the strong sense that any nonempty set of ideals contains a maximal element. The proof is a minor modification of the usual proof of the Hilbert basis theorem; you can find it written out in full detail at Existence of a prime ideal in an integral domain of finite type over a field without Axiom of Choice.