Linear nested Artin approximation theorem for algebraic power series
We give an elementary proof of the nested Artin approximation Theorem for linear equations with algebraic power series coefficients. Moreover, for any Noetherian local subring of the ring of formal power series, we clarify the relationship between this theorem and the problem of the commutation of t...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión enviada para evaluación y publicación |
| Fecha de publicación: | 2018 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/74461 |
| Acceso en línea: | https://hdl.handle.net/11441/74461 https://doi.org/10.1007/s00229-018-1025-0 |
| Access Level: | acceso abierto |
| Palabra clave: | Henselian rings Algebraic power series rings Nested Artin approximation property |
| Sumario: | We give an elementary proof of the nested Artin approximation Theorem for linear equations with algebraic power series coefficients. Moreover, for any Noetherian local subring of the ring of formal power series, we clarify the relationship between this theorem and the problem of the commutation of two operations for ideals: the operation of replacing an ideal by its completion and the operation of replacing an ideal by one of its elimination ideals. In particular we prove that a Grothendieck conjecture about morphisms of analytic/formal algebras and Artin’s question about linear nested approximation problem are equivalent. |
|---|