We prove that every finite split embedding problem is solvable over the field K..X 1 ; : : : ; X n // of formal power series in n 2 variables over an arbitrary field K, as well as over the field Quot.AOEOEX 1 ; : : : ; X n / of formal power series in n 1 variables over a Noetherian integrally closed domain A. This generalizes a theorem of Harbater and Stevenson, who settled the case K..X 1 ; X 2 //.
We extend the method of algebraic patching due to Haran-Jarden-Völklein from complete absolute valued fields to complete domains. We apply the extended method to reprove a result of Lefcourt obtained by formal patching -every finite group is regularly realizable over the quotient field of a complete domain.
We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden. Let R be a generalized Krull domain. Is the ring RJ XK of formal power series over R a generalized Krull domain? We show that the answer is negative. Moreover, we show that essentially the opposite theorem holds. We prove that if R is a generalized Krull domain which is not a Krull domain, then RJ XK is never a generalized Krull domain.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.