A Note on Buchsbaum Rings and Localizations of Graded Domains

1980 ◽  
Vol 32 (5) ◽  
pp. 1244-1249 ◽  
Author(s):  
U. Daepp ◽  
A. Evans
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Integral Domain ◽  
Multiplicative System ◽  
Gorenstein Rings ◽  
Image Position ◽  
The Relationship ◽  
Graded Integral Domain ◽  
Mild Restriction

Let R = ⊕i ≧0Ri be a graded integral domain, and let p ∈ Proj (R) be a homogeneous, relevant prime ideal. Let R(p) = {r/t| r ∈ Ri, t ∈ Ri\p} be the geometric local ring at p and let Rp = {r/t| r ∈ R, t ∈ R\p} be the arithmetic local ring at p. Under the mild restriction that there exists an element r1 ∈ R1\p, W. E. Kuan [2], Theorem 2, showed that r1 is transcendental over R(p) andwhere S is the multiplicative system R\p. It is also demonstrated in [2] that R(p) is normal (regular) if and only if Rp is normal (regular). By looking more closely at the relationship between R(p) and R(p), we extend this result to Cohen-Macaulay (abbreviated C M.) and Gorenstein rings.

The Poincaré Series Of Stretched Cohen-Macaulay Rings

1980 ◽  
Vol 32 (5) ◽  
pp. 1261-1265 ◽  
Author(s):  
Judith D. Sally
Keyword(s):  
Local Ring ◽  
Poincaré Series ◽  
Local Rings ◽  
Embedding Dimension ◽  
Loop Spaces ◽  
Gorenstein Rings ◽  
Poincare Series ◽  
Image Position

There are relatively few classes of local rings (R, m) for which the question of the rationality of the Poincaré serieswhere k = R/m, has been settled. (For an example of a local ring with non-rational Poincaré series see the recent paper by D. Anick, “Construction of loop spaces and local rings whose Poincaré—Betti series are nonrational”, C. R. Acad. Sc. Paris 290 (1980), 729-732.) In this note, we compute the Poincaré series of a certain family of local Cohen-Macaulay rings and obtain, as a corollary, the rationality of the Poincaré series of d-dimensional local Gorenstein rings (R, m) of embedding dimension at least e + d – 3, where e is the multiplicity of R. It follows that local Gorenstein rings of multiplicity at most five have rational Poincaré series.

Recursive elements and constructive extensions of computable local integral domains

1973 ◽  
Vol 38 (2) ◽  
pp. 272-290 ◽  
Author(s):  
Glen H. Suter
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Integral Domain ◽  
Rational Numbers ◽  
Algebraic Structures ◽  
Computable Structures ◽  
Integral Domains ◽  
Local Integral ◽  
Algebraic Operations ◽  
Axiom Systems

With reservations, one can think of abstract algebra as the study of what consequences can be drawn from the axioms associated with certain concrete algebraic structures. Two important examples of such concrete algebraic structures are the integers and the rational numbers. The integers and the rational numbers have two properties which are not in general mirrored in the abstract axiom systems associated with them. That is, the integers and the rational numbers both have effectively computable metrics and their algebraic operations are effectively computable. The study of abstract algebraic systems which possess effectively computable algebraic operations has produced many interesting results. One can think of a computable algebraic structure as one whose elements have been labeled by the set of positive integers and whose operations are effectively computable. The formal definition of computable local integral domain will be given in §3. Some specific computable structures which have been studied are the integers, the rational numbers, and the rational numbers with p-adic valuation. Computable structures were studied in general by Rabin [12]. This paper concerns computable local integral domains as exemplified by the local integral domain Zp. Zp is the localization of the integers with respect to the maximal prime ideal generated by the positive prime p. We should note that the concept of local integral domain is not first order.Let the ordered pair (Q, M) stand for a local ring, where Q is the local ring and M is the unique maximal prime ideal of Q. Since most of my results are proving the existence of certain effective procedures, the assumption that Q has a principal maximal ideal M (rather than M has n generators) greatly simplifies many of the proofs.

On a question of D. Rees on classical integral closure and integral closure relative to an Artinian module

2019 ◽  
Vol 19 (02) ◽  
pp. 2050033
Author(s):  
V. H. Jorge Pérez ◽  
L. C. Merighe
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Local Cohomology ◽  
Integral Closure ◽  
Minimal Prime Ideal ◽  
Local Cohomology Module ◽  
Artinian Module ◽  
Classical Integral ◽  
Minimal Prime ◽  
The Relationship

Let [Formula: see text] be a commutative Noetherian complete local ring and [Formula: see text] and [Formula: see text] ideals of [Formula: see text]. Motivated by a question of Rees, we study the relationship between [Formula: see text], the classical Northcott–Rees integral closure of [Formula: see text], and [Formula: see text], the integral closure of [Formula: see text] relative to an Artinian [Formula: see text]-module [Formula: see text] (also called here ST-closure of [Formula: see text] on [Formula: see text]), in order to study a relation between [Formula: see text], the multiplicity of [Formula: see text], and [Formula: see text], the multiplicity of [Formula: see text] relative to an Artinian [Formula: see text]-module [Formula: see text]. We conclude [Formula: see text] when every minimal prime ideal of [Formula: see text] belongs to the set of attached primes of [Formula: see text]. As an application, we show what happens when [Formula: see text] is a generalized local cohomology module.

scholarly journals Rings of Fractions and Localization

2020 ◽  
Vol 28 (1) ◽  
pp. 79-87
Author(s):  
Yasushige Watase
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Integral Domain ◽  
Zero Divisor ◽  
Quotient Ring ◽  
Formal Proof ◽  
Universal Property ◽  
Quotient Field ◽  
Closed Set ◽  
Ring Of Fractions

SummaryThis article formalized rings of fractions in the Mizar system [3], [4]. A construction of the ring of fractions from an integral domain, namely a quotient field was formalized in [7].This article generalizes a construction of fractions to a ring which is commutative and has zero divisor by means of a multiplicatively closed set, say S, by known manner. Constructed ring of fraction is denoted by S~R instead of S−1R appeared in [1], [6]. As an important example we formalize a ring of fractions by a particular multiplicatively closed set, namely R \ p, where p is a prime ideal of R. The resulted local ring is denoted by Rp. In our Mizar article it is coded by R~p as a synonym.This article contains also the formal proof of a universal property of a ring of fractions, the total-quotient ring, a proof of the equivalence between the total-quotient ring and the quotient field of an integral domain.

Sifat-sifat Submodul Prima dan Submodul Prima Lemah

2020 ◽  
Vol 2 (2) ◽  
pp. 183
Author(s):  
Hisyam Ihsan ◽  
Muhammad Abdy ◽  
Samsu Alam B
Keyword(s):  
Prime Ideal ◽  
Literature Study ◽  
Prime Submodules ◽  
Unitary Module ◽  
Prime Submodule ◽  
Definition Of ◽  
The Relationship

Penelitian ini merupakan penelitian kajian pustaka yang bertujuan untuk mengkaji sifat-sifat submodul prima dan submodul prima lemah serta hubungan antara keduanya. Kajian dimulai dari definisi submodul prima dan submodul prima lemah, selanjutnya dikaji mengenai sifat-sifat dari keduanya. Pada penelitian ini, semua ring yang diberikan adalah ring komutatif dengan unsur kesatuan dan modul yang diberikan adalah modul uniter. Sebagai hasil dari penelitian ini diperoleh beberapa pernyataan yang ekuivalen, misalkan  suatu -modul ,  submodul sejati di  dan ideal di , maka ketiga pernyataan berikut ekuivalen, (1)  merupakan submodul prima, (2) Setiap submodul tak nol dari   -modul memiliki annihilator yang sama, (3) Untuk setiap submodul  di , subring  di , jika berlaku  maka  atau . Di lain hal, pada submodul prima lemah jika diberikan  suatu -modul,  submodul sejati di , maka pernyataan berikut ekuivalen, yaitu (1) Submodul  merupakan submodul prima lemah, (2) Untuk setiap , jika  maka . Selain itu, didapatkan pula hubungan antara keduanya, yaitu setiap submodul prima merupakan submodul prima lemah.Kata Kunci: Submodul Prima, Submodul Prima Lemah, Ideal Prima. This research is literature study that aims to examine the properties of prime submodules and weakly prime submodules and the relationship between  both of them. The study starts from the definition of prime submodules and weakly prime submodules, then reviewed about the properties both of them. Throughout this paper all rings are commutative with identity and all modules are unitary. As the result of this research, obtained several equivalent statements, let  be a -module,  be a proper submodule of  and  ideal of , then the following three statetments are equivalent, (1)  is a prime submodule, (2) Every nonzero submodule of   -module has the same annihilator, (3) For any submodule  of , subring  of , if  then  or . In other case, for weakly prime submodules, if given  is a unitary -module,  be a proper submodule of , then the following statements are equivalent, (1)  is a weakly prime submodule, (2) For any , if  then . In addition, also found the relationship between both of them, i.e. any prime submodule is weakly prime submodule.Keywords: Prime Submodules, Weakly Prime Submdules, Prime Ideal.

scholarly journals Directed unions of local monoidal transforms and GCD domains

2019 ◽  
Vol 19 (04) ◽  
pp. 2050061
Author(s):  
Lorenzo Guerrieri
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Maximal Ideal ◽  
General Setting ◽  
Regular Local Ring ◽  
Dimension Formula

Let [Formula: see text] be a regular local ring of dimension [Formula: see text]. A local monoidal transform of [Formula: see text] is a ring of the form [Formula: see text], where [Formula: see text] is a regular parameter, [Formula: see text] is a regular prime ideal of [Formula: see text] and [Formula: see text] is a maximal ideal of [Formula: see text] lying over [Formula: see text] In this paper, we study some features of the rings [Formula: see text] obtained as infinite directed union of iterated local monoidal transforms of [Formula: see text]. In order to study when these rings are GCD domains, we also provide results in the more general setting of directed unions of GCD domains.

On equimultiplicity

1982 ◽  
Vol 91 (2) ◽  
pp. 207-213 ◽  
Author(s):  
M. Herrmann ◽  
U. Orbanz
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Analytic Spread

This note consists of some investigations about the condition ht(A) = l(A) where A is an ideal in a local ring and l(A) is the analytic spread of A (9).In (4) we proved the following: If R is a local ring and P a prime ideal such that R/P is regular then (under some technical assumptions) ht(P) = l(P) is equivalent to the equimultiplicity e(R) = e(RP). Also for a general ideal A (which need not be prime), the condition ht(A) = l(A) can be translated into an equality of certain multiplicities (see Theorem 0).

scholarly journals Slaves to Rome: The Rhetoric of Mastery in Titus' Speech to the Jews (Bellum Judaicum 6.328-50)

Ramus ◽  
2007 ◽  
Vol 36 (1) ◽  
pp. 25-38 ◽  
Author(s):  
Myles Lavan
Keyword(s):  
Historical Account ◽  
Self Presentation ◽  
Image Position ◽  
Relationship Of ◽  
The Relationship ◽  
Made In

(BJ6.350)Those who discard their weapons and surrender their persons, I will let live. Like a lenient master in a household, I will punish the incorrigible but preserve the rest for myself.So ends Titus' address to the embattled defenders of Jerusalem in the sixth book of Josephus'Jewish War(6.328-50). It is the most substantial instance of communication between Romans and Jews in the work. Titus compares himself to the master of a household and the Jewish rebels to his slaves. Is this how we expect a Roman to describe empire? If not, what does it mean for our understanding of the politics of Josephus' history? The question is particularly acute given that this is not just any Roman but Titus himself: heir apparent and, if we believe Josephus, the man who read and approved this historical account. It is thus surprising that, while the speeches of Jewish advocates of submission to Rome such as Agrippa II (2.345-401) and Josephus himself (5.362-419) have long fascinated readers, Titus' speech has received little or no attention. Remarkably, it is not mentioned in any of three recent collections of essays on Josephus. This paper aims to highlight the rhetorical choices that Josephus has made in constructing this voice for Titus—particularly his self-presentation as master—and the interpretive questions these raise for his readers. It should go without saying that the relationship of this text to anything that Titus may have said during the siege is highly problematic. (Potentially more significant, but unfortunately no less speculative, is the question of how it might relate to any speech recorded in the commentaries of Vespasian and Titus that Josephus appears to have used as a source.) What we have is a Josephan composition that is embedded in the broader narrative of theJewish War.

Graded integral domains in which each nonzero homogeneous t-ideal is divisorial

2019 ◽  
Vol 18 (01) ◽  
pp. 1950018 ◽  
Author(s):  
Gyu Whan Chang ◽  
Haleh Hamdi ◽  
Parviz Sahandi
Keyword(s):  
Integral Domain ◽  
Nonzero Ideal ◽  
Integral Domains ◽  
Cancellative Monoid ◽  
Integrally Closed ◽  
Graded Integral Domain

Let [Formula: see text] be a nonzero commutative cancellative monoid (written additively), [Formula: see text] be a [Formula: see text]-graded integral domain with [Formula: see text] for all [Formula: see text], and [Formula: see text]. In this paper, we study graded integral domains in which each nonzero homogeneous [Formula: see text]-ideal (respectively, homogeneous [Formula: see text]-ideal) is divisorial. Among other things, we show that if [Formula: see text] is integrally closed, then [Formula: see text] is a P[Formula: see text]MD in which each nonzero homogeneous [Formula: see text]-ideal is divisorial if and only if each nonzero ideal of [Formula: see text] is divisorial, if and only if each nonzero homogeneous [Formula: see text]-ideal of [Formula: see text] is divisorial.

scholarly journals A note on the invertible ideal theorem

1984 ◽  
Vol 25 (1) ◽  
pp. 27-30 ◽  
Author(s):  
Andy J. Gray
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Simple Proof ◽  
Noetherian Ring ◽  
Principal Ideal ◽  
Central Element ◽  
Commutative Case ◽  
Additional Information ◽  
The Subject

This note is devoted to giving a conceptually simple proof of the Invertible Ideal Theorem [1, Theorem 4·6], namely that a prime ideal of a right Noetherian ring R minimal over an invertible ideal has rank at most one. In the commutative case this result may be easily deduced from the Principal Ideal Theorem by localizing and observing that an invertible ideal of a local ring is principal. Our proof is partially analogous in that it utilizes the Rees ring (denned below) in order to reduce the theorem to the case of a prime ideal minimal over an ideal generated by a single central element, which can be easily dealt with by adapting the commutative argument in [8]. The reader is also referred to the papers of Jategaonkar on the subject [5, 6, 7], particularly the last where another proof of the theorem appears which yields some additional information.

Sign in / Sign up

Export Citation Format

Share Document