Displaying similar documents to “Remarks on the elementary theories of formal and convergent power series”

The Abhyankar-Jung theorem for excellent henselian subrings of formal power series

Krzysztof Jan Nowak (2010)

Annales Polonici Mathematici

Similarity:

Given an algebraically closed field K of characteristic zero, we prove the Abhyankar-Jung theorem for any excellent henselian ring whose completion is a formal power series ring K[[z]]. In particular, examples include the local rings which form a Weierstrass system over the field K.

Super real closed rings

Marcus Tressl (2007)

Fundamenta Mathematicae

Similarity:

A super real closed ring is a commutative ring equipped with the operation of all continuous functions ℝⁿ → ℝ. Examples are rings of continuous functions and super real fields attached to z-prime ideals in the sense of Dales and Woodin. We prove that super real closed rings which are fields are an elementary class of real closed fields which carry all o-minimal expansions of the real field in a natural way. The main part of the paper develops the commutative algebra of super real closed...

The First Isomorphism Theorem and Other Properties of Rings

Artur Korniłowicz, Christoph Schwarzweller (2014)

Formalized Mathematics

Similarity:

Different properties of rings and fields are discussed [12], [41] and [17]. We introduce ring homomorphisms, their kernels and images, and prove the First Isomorphism Theorem, namely that for a homomorphism f : R → S we have R/ker(f) ≅ Im(f). Then we define prime and irreducible elements and show that every principal ideal domain is factorial. Finally we show that polynomial rings over fields are Euclidean and hence also factorial