Algebraically closed commutative local rings

1979 ◽  
Vol 44 (1) ◽  
pp. 89-94 ◽  
Author(s):  
K.-P. Podewski ◽  
Joachim Reineke
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Finite System ◽  
Local Rings ◽  
Polynomial Equations ◽  
Model Companion ◽  
Local Extension ◽  
Commutative Local Ring ◽  
Finite Set ◽  
System Of Polynomial Equations

A commutative ring R with identity is called a local ring if R has only one maximal ideal. This is equivalent to saying that the sum of two nonunits is a non-unit. Therefore the theory of all commutative local rings is axiomatizible by a finite set of A2-sentences. A commutative local ring with identity is said to be an algebraically closed local ring if every finite system of polynomial equations and inequations in one or more variables with coefficients in R which has a solution in some commutative local extension of R already has a solution in R. Much work connected with algebraically closed structures of classes of rings has been done, for example by Cherlin [2], Macintyre [4] and Lipschitz and Saracino [3]. We want to show similar results for commutative local rings with identity. Our main results are the following:Theorem. The theory of commutative local rings with identity has no model-companion.The finitely generic and infinitely generic local rings are algebraically closed local rings.Theorem. There is an A3 sentence which holds for all finitely generic local rings whose negation holds in every infinitely generic local ring.

Algebraically closed commutative rings

1973 ◽  
Vol 38 (3) ◽  
pp. 493-499 ◽  
Author(s):  
G. L. Cherlin
Keyword(s):  
Commutative Ring ◽  
Semiprime Ring ◽  
Commutative Rings ◽  
Finite System ◽  
Polynomial Equations ◽  
Finitely Generated ◽  
Model Companion ◽  
Polynomial Ideals ◽  
System Of Polynomial Equations ◽  
Hilbert Nullstellensatz

A commutative ring A is said to be algebraically closed if every finite system of polynomial equations and inequations in one or more variables with coefficients in A which has a solution in some (commutative) extension of A already has a solution in A. Abraham Robinson's study of model-theoretic forcing has provided powerful new tools for the study of algebraically closed structures in general, and will be applied here to the study of algebraically closed commutative rings. Familiarity with the model-theoretic notions connected with the study of algebraically closed structures is assumed; for background consult [1], [2], and [3].Our main results are the following:1. The theory of commutative rings with identity has no model companion in the sense of Robinson.2. The Hilbert Nullstellensatz, suitably formulated for the class of algebraically closed commutative rings, holds for finitely generated polynomial ideals but fails for certain infinitely generated polynomial ideals.3. If A is algebraically closed, then A/rad A need not be algebraically closed as a semiprime ring: If A is finitely generic then A/rad A is algebraically closed as a semiprime ring, but if A is infinitely generic then A/rad A is not algebraically closed as a semiprime ring.

scholarly journals Linearity defect of the residue field of short local rings

2016 ◽  
Vol 16 (09) ◽  
pp. 1750163
Author(s):  
Rasoul Ahangari Maleki
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Residue Field ◽  
Positive Answer ◽  
Local Rings ◽  
Finitely Generated ◽  
Ideal Formula ◽  
Noetherian Local Ring ◽  
Linear Resolution

Let [Formula: see text] be a Noetherian local ring with maximal ideal [Formula: see text] and residue field [Formula: see text]. The linearity defect of a finitely generated [Formula: see text]-module [Formula: see text], which is denoted [Formula: see text], is a numerical measure of how far [Formula: see text] is from having linear resolution. We study the linearity defect of the residue field. We give a positive answer to the question raised by Herzog and Iyengar of whether [Formula: see text] implies [Formula: see text], in the case when [Formula: see text].

Degree Functions in Local Rings

1961 ◽  
Vol 57 (1) ◽  
pp. 1-7 ◽  
Author(s):  
D. Rees
Keyword(s):  
Maximal Ideal ◽  
Zero Element ◽  
Transcendence Degree ◽  
Local Rings ◽  
Local Domain ◽  
Degree Function ◽  
Finite Set ◽  
Residue Fields ◽  
Image Position ◽  
The Ideal

Let Q be a local domain of dimension d with maximal ideal m and let q be an m-primary ideal. Then we define the degree function dq(x) to be the multiplicity of the ideal , where x; is a non-zero element of m. The degree function was introduced by Samuel (5) in the case where q = m. The function dq(x) satisfies the simple identityThe main purpose of this paper is to obtain a formulawhere vi(x) denotes a discrete valuation centred on m (i.e. vi(x) ≥ 0 if x ∈ Q, vi(x) > 0 if x ∈ m) of the field of fractions K of Q. The valuations vi(x) are assumed to have the further property that their residue fields Ki have transcendence degree d − 1 over k = Q/m. The symbol di(q) denotes a non-negative integer associated with vi(x) and q which for fixed q is zero for all save a finite set of valuations vi(x).

scholarly journals On the Structure of Complete Local Rings

1950 ◽  
Vol 1 ◽  
pp. 63-70 ◽  
Author(s):  
Masayoshi Nagata
Keyword(s):  
Commutative Ring ◽  
Local Ring ◽  
Maximal Ideal ◽  
Noetherian Ring ◽  
Structure Theorem ◽  
Finite Basis ◽  
Local Rings ◽  
Topological Ring

The concept of a local ring was introduced by Krull [2], who defined it as a Noetherian ring R (we say that a commutative ring R is Noetherian if every ideal in R has a finite basis and if R contains the identity) which has only one maximal ideal m. If the powers of m are defined as a system of neighbourhoods of zero, then R becomes a topological ring satisfying the first axiom of countability, And the notion was studied recently by C. Chevalley and I. S. Cohen. Cohen [1] proved the structure theorem for complete rings besides other properties of local rings.

scholarly journals Acyclic complexes of finitely generated free modules over local rings

2009 ◽  
Vol 105 (1) ◽  
pp. 85 ◽  
Author(s):  
Meri T. Hughes ◽  
David A. Jorgensen ◽  
Liana M. Sega
Keyword(s):  
Local Ring ◽  
Local Rings ◽  
Finitely Generated ◽  
Reflexive Module ◽  
Commutative Local Ring ◽  
Standard Construction ◽  
Acyclic Complexes ◽  
Free Modules

We consider the question of how minimal acyclic complexes of finitely generated free modules arise over a commutative local ring. A standard construction gives that every totally reflexive module yields such a complex. We show that for certain rings this construction is essentially the only method of obtaining such complexes. We also give examples of rings which admit minimal acyclic complexes of finitely generated free modules which cannot be obtained by means of this construction.

scholarly journals Existentially closed models of the theory of artinian local rings

1999 ◽  
Vol 64 (2) ◽  
pp. 825-845 ◽  
Author(s):  
Hans Schoutens
Keyword(s):  
Residue Field ◽  
Local Rings ◽  
Model Companion ◽  
Closed Model ◽  
Gorenstein Rings ◽  
Existentially Closed ◽  
Finite Set ◽  
Residue Fields

AbstractThe class of all Artinian local rings of length at most l is ∀2-elementary, axiomatised by a finite set of axioms τtl. We show that its existentially closed models are Gorenstein. of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory oτl of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the theory τtl is companionable, with model-companion oτl.

scholarly journals Buchsbaumness in local rings possessing constant first Hilbert coefficients of parameters

2010 ◽  
Vol 199 ◽  
pp. 95-105 ◽  
Author(s):  
Shiro Goto ◽  
Kazuho Ozeki
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Local Cohomology ◽  
Local Rings ◽  
Local Cohomology Module ◽  
Noetherian Local Ring ◽  
Hilbert Coefficients

AbstractLet (A,m) be a Noetherian local ring withd= dimA≥ 2. Then, ifAis a Buchsbaum ring, the first Hilbert coefficientsofAfor parameter idealsQare constant and equal towherehi(A)denotes the length of theith local cohomology moduleofAwith respect to the maximal ideal m. This paper studies the question of whether the converse of the assertion holds true, and proves thatAis a Buchsbaum ring ifAis unmixed and the valuesare constant, which are independent of the choice of parameter idealsQinA. Hence, a conjecture raised by [GhGHOPV] is settled affirmatively.

scholarly journals Some Remarks on Non-Commutative Extensions of Local Rings

1959 ◽  
Vol 14 ◽  
pp. 45-51
Author(s):  
Edward H. Batho
Keyword(s):  
Local Ring ◽  
Ideal Theory ◽  
Dimension Theory ◽  
Local Rings ◽  
Important Class ◽  
Matrix Rings ◽  
Commutative Local Ring

In [1] we introduced the concept of a non-commutative local ring and studied the structure of such rings. Unfortunately, we were not able to show that the completion of a local ring was a semi-local ring. In this paper we propose to study a class of rings for which the above result is valid. This class of rings is the integral extensions -[4, 5]-of commutative local rings. This class of rings includes the important class of matrix rings over commutative local rings. In part 1 below we study some elementary properties of integral extensions and here we assume merely that the underlying ring is semi-local. In part 2 we discuss some questions of ideal theory for arbitrary local rings as well as for integral extensions. In a later paper we propose to utilize our results to study the deeper properties of these rings including a dimension theory for such rings. We are particularly indebted to the work of Nagata [6, 7, 8, 9] in the preparation of this paper.

scholarly journals On non-commutative regular local rings

1976 ◽  
Vol 17 (2) ◽  
pp. 98-102 ◽  
Author(s):  
P. F. Smith
Keyword(s):  
Local Ring ◽  
Maximal Ideal ◽  
Artinian Ring ◽  
Nilpotent Groups ◽  
Global Dimension ◽  
Prime Ideals ◽  
Homological Dimension ◽  
Local Rings ◽  
Universal Enveloping Algebras ◽  
Regular Local Rings

Let R be a ring (with identity). We shall call R a local ring if R is aright noetherian ring such that the Jacobson radical M is a maximal ideal (and so is the only maximal ideal), and R/M is a simple artinian ring. A local ring R with maximal ideal M is called regular if there exists a chainof ideals Mi of such that Mi–1/Mi is generated by a central regular element of R/Mi (1 ≦ i ≦ n). For such a ring R, Walker [6, Theorem 2. 7] proved that R is prime and n is the right global dimension of R, the Krull dimension of R, the homological dimension of theR-module R/M and the supremum of the lengths of chains of prime ideals of R. Such regular local rings will be called n-dimensional. The aim of this note is to give examples of regular local rings. These arise as localizations of universal enveloping algebras of nilpotent Lie algebras over fields and localizations of group algebras of certain finitely generated finite-by-nilpotent groups.

scholarly journals General Néron desingularization and approximation

1986 ◽  
Vol 104 ◽  
pp. 85-115 ◽  
Author(s):  
Dorin Popescu
Keyword(s):  
Noetherian Ring ◽  
Finite System ◽  
Proper Ideal ◽  
Polynomial Equations ◽  
System Of Polynomial Equations

Let A be a noetherian ring (all the rings are supposed here to be commutative with identity), a ⊂ A a proper ideal and  the completion of A in the α-adic topology. We consider the following conditions(WAP) Every finite system of polynomial equations over A has a solution in A iff it has one in Â.

Sign in / Sign up

Export Citation Format

Share Document