Anneaux de fonctions p-adiques

1995 ◽  
Vol 60 (2) ◽  
pp. 484-497 ◽  
Author(s):  
Luc Bélair
Keyword(s):  
Prime Ideal ◽  
Residue Field ◽  
Local Rings ◽  
First Order ◽  
Valuation Rings ◽  
Integrally Closed ◽  
Definable Functions ◽  
Quotient Rings

AbstractWe study first-order properties of the quotient rings (V)/ by a prime ideal where (V) is the ring of p-adic valued continuous definable functions on some affine p-adic variety V. We show that they are integrally closed Henselian local rings, with a p-adically closed residue field and field of fractions, and they are not valuation rings in general but always satisfy ∀ x, y(x∣y2 ∨ y∣x2).

Some model theory for almost real closed fields

1996 ◽  
Vol 61 (4) ◽  
pp. 1121-1152 ◽  
Author(s):  
Françoise Delon ◽  
Rafel Farré
Keyword(s):  
Model Theory ◽  
Residue Field ◽  
Elementary Equivalence ◽  
First Order ◽  
Valuation Rings ◽  
Closed Fields ◽  
Theory Of Fields ◽  
Model Theory Of Fields ◽  
Elementary Inclusion ◽  
Henselian Valuation

AbstractWe study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k.

scholarly journals Generic formal fibers and analytically ramified stable rings

2013 ◽  
Vol 211 ◽  
pp. 109-135 ◽  
Author(s):  
Bruce Olberding
Keyword(s):  
Prime Ideal ◽  
Noetherian Ring ◽  
Residue Field ◽  
Krull Dimension ◽  
Prime Ideals ◽  
Local Rings ◽  
Embedding Dimension ◽  
Noetherian Domain ◽  
Stable Domains ◽  
Stable Ring

AbstractLet A be a local Noetherian domain of Krull dimension d. Heinzer, Rotthaus, and Sally have shown that if the generic formal fiber of A has dimension d – 1, then A is birationally dominated by a 1-dimensional analytically ramified local Noetherian ring having residue field finite over the residue field of A. We explore further this correspondence between prime ideals in the generic formal fiber and 1-dimensional analytically ramified local rings. Our main focus is on the case where the analytically ramified local rings are stable, and we show that in this case the embedding dimension of the stable ring reflects the embedding dimension of a prime ideal maximal in the generic formal fiber, thus providing a measure of how far the generic formal fiber deviates from regularity. A number of characterizations of analytically ramified local stable domains are also given.

scholarly journals Generic formal fibers and analytically ramified stable rings

2013 ◽  
Vol 211 ◽  
pp. 109-135
Author(s):  
Bruce Olberding
Keyword(s):  
Prime Ideal ◽  
Noetherian Ring ◽  
Residue Field ◽  
Krull Dimension ◽  
Prime Ideals ◽  
Local Rings ◽  
Embedding Dimension ◽  
Noetherian Domain ◽  
Stable Domains ◽  
Stable Ring

AbstractLetAbe a local Noetherian domain of Krull dimensiond. Heinzer, Rotthaus, and Sally have shown that if the generic formal fiber ofAhas dimensiond– 1, thenAis birationally dominated by a 1-dimensional analytically ramified local Noetherian ring having residue field finite over the residue field ofA. We explore further this correspondence between prime ideals in the generic formal fiber and 1-dimensional analytically ramified local rings. Our main focus is on the case where the analytically ramified local rings are stable, and we show that in this case the embedding dimension of the stable ring reflects the embedding dimension of a prime ideal maximal in the generic formal fiber, thus providing a measure of how far the generic formal fiber deviates from regularity. A number of characterizations of analytically ramified local stable domains are also given.

scholarly journals Truncations of ordered abelian groups

2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Paola D’Aquino ◽  
Jamshid Derakhshan ◽  
Angus Macintyre
Keyword(s):  
Abelian Group ◽  
Model Theory ◽  
Abelian Groups ◽  
Forthcoming Paper ◽  
Peano Arithmetic ◽  
Local Rings ◽  
Principal Ideals ◽  
Valuation Rings ◽  
Nonstandard Models ◽  
Quotient Rings

AbstractWe give axioms for a class of ordered structures, called truncated ordered abelian groups (TOAG’s) carrying an addition. TOAG’s come naturally from ordered abelian groups with a 0 and a $$+$$ + , but the addition of a TOAG is not necessarily even a cancellative semigroup. The main examples are initial segments $$[0, \tau ]$$ [ 0 , τ ] of an ordered abelian group, with a truncation of the addition. We prove that any model of these axioms (i.e. a truncated ordered abelian group) is an initial segment of an ordered abelian group. We define Presburger TOAG’s, and give a criterion for a TOAG to be a Presburger TOAG, and for two Presburger TOAG’s to be elementarily equivalent, proving analogues of classical results on Presburger arithmetic. Their main interest for us comes from the model theory of certain local rings which are quotients of valuation rings valued in a truncation [0, a] of the ordered group $${\mathbb {Z}}$$ Z or more general ordered abelian groups, via a study of these truncations without reference to the ambient ordered abelian group. The results are used essentially in a forthcoming paper (D’Aquino and Macintyre, The model theory of residue rings of models of Peano Arithmetic: The prime power case, 2021, arXiv:2102.00295) in the solution of a problem of Zilber about the logical complexity of quotient rings, by principal ideals, of nonstandard models of Peano arithmetic.

2-Prime ideals and their applications

2016 ◽  
Vol 15 (03) ◽  
pp. 1650051 ◽  
Author(s):  
Charef Beddani ◽  
Wahiba Messirdi
Keyword(s):  
Prime Ideal ◽  
Valuation Ring ◽  
Integral Domain ◽  
The Other ◽  
Primary Ideal ◽  
Prime Ideals ◽  
Other Hand ◽  
Valuation Rings ◽  
Integrally Closed

This paper introduces the notion of [Formula: see text]-prime ideals, and uses it to present certain characterization of valuation rings. Precisely, we will prove that an integral domain [Formula: see text] is a valuation ring if and only if every ideal of [Formula: see text] is [Formula: see text]-prime. On the other hand, we will prove that the normalization [Formula: see text] of [Formula: see text] is a valuation ring if and only if the intersection of integrally closed 2-prime ideals of [Formula: see text] is a 2-prime ideal. At the end of this paper, we will give a generalization of some results of Gilmer and Heinzer by studying the properties of domains in which every primary ideal is an integrally closed 2-prime ideal.

scholarly journals Characterizations of regular local rings via syzygy modules of the residue field

2018 ◽  
Vol 10 (3) ◽  
pp. 327-337
Author(s):  
Dipankar Ghosh ◽  
Anjan Gupta ◽  
Tony J. Puthenpurakal
Keyword(s):  
Residue Field ◽  
Local Rings ◽  
Syzygy Modules ◽  
Regular Local Rings

scholarly journals Integrally closed factor domains

1988 ◽  
Vol 37 (3) ◽  
pp. 353-366 ◽  
Author(s):  
Valentina Barucci ◽  
David E. Dobbs ◽  
S.B. Mulay
Keyword(s):  
Prime Ideal ◽  
The Other ◽  
Integral Domains ◽  
Other Hand ◽  
Dedekind Domains ◽  
Integrally Closed

This paper characterises the integral domains R with the property that R/P is integrally closed for each prime ideal P of R. It is shown that Dedekind domains are the only Noetherian domains with this property. On the other hand, each integrally closed going-down domain has this property. Related properties and examples are also studied.

scholarly journals VANISHING OF (CO)HOMOLOGY OVER DEFORMATIONS OF COHEN-MACAULAY LOCAL RINGS OF MINIMAL MULTIPLICITY

2018 ◽  
Vol 61 (03) ◽  
pp. 705-725
Author(s):  
DIPANKAR GHOSH ◽  
TONY J. PUTHENPURAKAL
Keyword(s):  
Local Ring ◽  
Residue Field ◽  
Sufficient Conditions ◽  
Regular Sequence ◽  
Necessary And Sufficient Conditions ◽  
Local Rings ◽  
Syzygy Modules ◽  
Tor Modules ◽  
Necessary And Sufficient ◽  
Minimal Multiplicity

AbstractLet R be a d-dimensional Cohen–Macaulay (CM) local ring of minimal multiplicity. Set S := R/(f), where f := f1,. . .,fc is an R-regular sequence. Suppose M and N are maximal CM S-modules. It is shown that if ExtSi(M, N) = 0 for some (d + c + 1) consecutive values of i ⩾ 2, then ExtSi(M, N) = 0 for all i ⩾ 1. Moreover, if this holds true, then either projdimR(M) or injdimR(N) is finite. In addition, a counterpart of this result for Tor-modules is provided. Furthermore, we give a number of necessary and sufficient conditions for a CM local ring of minimal multiplicity to be regular or Gorenstein. These conditions are based on vanishing of certain Exts or Tors involving homomorphic images of syzygy modules of the residue field.

Sign in / Sign up

Export Citation Format

Share Document