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.

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.

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.

Pembentukan Lapangan Faktor dari Suatu Daerah Integral

2012 ◽  
Vol 8 (2) ◽  
Author(s):  
Tri Widjajanti ◽  
Dahlia Ramlan ◽  
Rium Hilum
Keyword(s):  
Polynomial Ring ◽  
Integral Domain ◽  
Rational Numbers ◽  
Ring Of Integers ◽  
Binary Operations

<em>Ring of integers under the addition and multiplication as integral domain can be imbedded to the field of rational numbers. In this paper we make&nbsp; a construction such that any integral domain can be&nbsp; a field of quotient. The construction contains three steps. First, we define element of field F from elements of integral domain D. Secondly, we show that the binary operations in fare well-defined. Finally, we prove that </em><em>&nbsp;</em><em>f</em><em> </em><em>:</em><em> </em><em>D </em><em>&reg;</em><em> </em><em>F is an isomorphisma. In this case, the polynomial ring F[x] as the integral domain can be imbedded to the field of quotient.</em>

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 Decomposition and classification of length functions

2020 ◽  
Vol 32 (5) ◽  
pp. 1109-1129
Author(s):  
Dario Spirito
Keyword(s):  
Integral Domain ◽  
Integral Domains ◽  
Bijective Correspondence ◽  
Length Functions ◽  
Standard Representation ◽  
Prufer Domains ◽  
Prüfer Domains

AbstractWe study decompositions of length functions on integral domains as sums of length functions constructed from overrings. We find a standard representation when the integral domain admits a Jaffard family, when it is Noetherian and when it is a Prüfer domains such that every ideal has only finitely many minimal primes. We also show that there is a natural bijective correspondence between singular length functions and localizing systems.

On *-clean non-commutative group rings

2016 ◽  
Vol 15 (08) ◽  
pp. 1650150 ◽  
Author(s):  
Hongdi Huang ◽  
Yuanlin Li ◽  
Gaohua Tang
Keyword(s):  
Finite Field ◽  
Local Ring ◽  
Group Algebra ◽  
Rational Numbers ◽  
Semisimple Group ◽  
Group Algebras ◽  
Group Rings ◽  
Dihedral Groups ◽  
Commutative Local Ring ◽  
Generalized Quaternion

A ring with involution ∗ is called ∗-clean if each of its elements is the sum of a unit and a projection (∗-invariant idempotent). In this paper, we consider the group algebras of the dihedral groups [Formula: see text], and the generalized quaternion groups [Formula: see text] with standard involution ∗. For the non-semisimple group algebra case, we characterize the ∗-cleanness of [Formula: see text] with a prime [Formula: see text], and [Formula: see text] with [Formula: see text], where [Formula: see text] is a commutative local ring. For the semisimple group algebra case, we investigate when [Formula: see text] is ∗-clean, where [Formula: see text] is the field of rational numbers [Formula: see text] or a finite field [Formula: see text] and [Formula: see text] or [Formula: see text].

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.

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