Skip to main content
2 of 2
added 148 characters in body
Dmitry Kerner
  • 2.2k
  • 13
  • 19

Artin approximation theorem for analytic functions over a field of zero characteristic

Artin's approximation theorem states: "if a system of locally analytic equations in several complex variables has a formal solution then it has a locally analytic solution".

(Artin 1968, "On the solutions of analytic equations")

This is probably true for any algebraically closed field of zero characteristic with valuation? Any reference?

upd. Sorry for confusion, it seems the original Artin's theorem is already for any normed field of characteristic zero. Anyway, thanks for the comment.

Dmitry Kerner
  • 2.2k
  • 13
  • 19