When is an ideal of a ring radical or prime? By examining its generators, one may in many cases definably and uniformly test the ideal’s properties. We seek to establish such definable formulas in rings of p-adic power series, such as $\mathbb Q_{p}\langle X\rangle $ , $\mathbb Z_{p}\langle X\rangle $ , and related rings of power series over more general valuation rings and their fraction fields. We obtain a definable, uniform test for radicality, and, in the one-dimensional case, for primality. This builds upon the techniques stemming from the proof of the quantifier elimination results for the analytic theory of the p-adic integers by Denef and van den Dries, and the linear algebra methods of Hermann and Seidenberg.

Abstract prepared by Madeline G. Barnicle.

E-mail: [email protected]

URL: https://escholarship.org/uc/item/6t02q9s4

Fisher [10] and Baur [6] showed independently in the seventies that if T is a complete first-order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In [25, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq _p)$ such that K is a class of modules and $\leq _p$ is the pure submodule relation. In this paper we give some instances where this is true:Theorem.

Assume R is an associative ring with unity. Let $(K, \leq _p)$ be an AEC such that $K \subseteq R\text {-Mod}$

and K is closed under finite direct sums, then:

• • If K is closed under pure-injective envelopes, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda \geq \operatorname {LS}(\mathbf {K})$ such that $\lambda ^{|R| + \aleph _0}= \lambda $ .

• • If K is closed under pure submodules and pure epimorphic images, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $ .

• • Assume R is Von Neumann regular. If $\mathbf {K}$ is closed under submodules and has arbitrarily large models, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $ .

As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, Dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy.

Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of $\mathfrak {s}$ -torsion modules.

A module M over a commutative ring R has an almost trivial dual if there is no homomorphism from M onto a free R-module of countable infinite rank. Using a new combinatorial principle (the ℵn-Black Box), which is provable in ordinary set theory, we show that for every natural number n, there exist arbitrarily large ℵn-free R-modules with almost trivial duals, when R is a complete discrete valuation domain. A corresponding result for torsion modules is also obtained.

We prove the existence of an approximation function for holomorphic solutions of a system of real analytic equations. For this we use ultraproducts andWeierstrass systems introduced by J. Denef and L. Lipshitz. We also prove a version of the Płoski smoothing theorem in this case.

The question is addressed of when all pure-projective modules are direct sums of finitely presented modules. It is proved that this is the case over hereditary noetherian rings. Partial results are obtained for uniserial rings. Some of the methods are model-theoretic, and the techniques developed using these may be of interest in their own right.

We axiomatize the theory of real and complex numbers in Boolean-valued models of set theory, and prove that every Horn sentence true in the complex numbers is true in any complete Stonean algebra, and provable from its axioms.