On the Criteria of D.D. Anderson for Invertible and Flat Ideals

1986 ◽  
Vol 29 (1) ◽  
pp. 25-32 ◽  
Author(s):  
David E. Dobbs
Keyword(s):  
Principal Ideal ◽  
Integral Domain ◽  
Nonzero Ideal ◽  
Finitely Generated ◽  
Integral Domains ◽  
Maximal Ideals ◽  
Dedekind Domains ◽  
Principal Ideal Domains ◽  
Bezout Domains ◽  
Torsion Free

AbstractLet R be an integral domain. It is proved that if a nonzero ideal I of R can be generated by n < ∞ elements, then I is invertible (i.e., flat) if and only if I(∩ Rai) = ∩ Iai for all { a1, . . ., a n﹜ ⊂ I. The article's main focus is on torsion-free R-modules E which are LCM-stable in the sense that E(Ra ∩ Rb) = Ea ∩ Eb for all a, b ∈ R. By means of linear relations, LCM-stableness is shown to be equivalent to a weak aspect of flatness. Consequently, if each finitely generated ideal of R may be 2-generated, then each LCM-stable R-module is flat. Finally, LCM-stableness of maximal ideals serves to characterize Prüfer domains, Dedekind domains, principal ideal domains, and Bézout domains amongst suitably larger classes of integral domains.

On the Product of Ideals

1983 ◽  
Vol 26 (1) ◽  
pp. 106-114 ◽  
Author(s):  
David F. Anderson ◽  
David E. Dobbs
Keyword(s):  
Principal Ideal ◽  
Integral Domain ◽  
Picard Group ◽  
Integral Domains ◽  
Valuation Domains ◽  
Principal Ideal Domains ◽  
Bezout Domains

AbstractThis article introduces the concept of a condensed domain, that is, an integral domain R for which IJ = {ij: i ∊ I, j ∊ J} for all ideals I and J of R. This concept is used to characterize Bézout domains (resp., principal ideal domains; resp., valuation domains) in suitably larger classes of integral domains. The main technical results state that a condensed domain has trivial Picard group and, if quasilocal, has depth at most 1. Special attention is paid to the Noetherian case and related examples.

S-∗w-Principal Ideal Domains

2018 ◽  
Vol 25 (02) ◽  
pp. 217-224 ◽  
Author(s):  
Hwankoo Kim ◽  
Jung Wook Lim
Keyword(s):  
Principal Ideal ◽  
Integral Domain ◽  
Type Theorem ◽  
Local Property ◽  
Nonzero Ideal ◽  
Principal Ideal Domain ◽  
Ideal Domain ◽  
Star Operation ◽  
Principal Ideal Domains

Let D be an integral domain, ∗ a star-operation on D, and S a multiplicative subset of D. We define D to be an S-∗w-principal ideal domain if for each nonzero ideal I of D, there exist an element s ∈ S and a principal ideal (c) of D such that [Formula: see text]. In this paper, we study some properties of S-∗w-principal ideal domains. Among other things, we study the local property, the Nagata type theorem, and the Cohen type theorem for S-∗w-principal ideal domains.

Bezout Domains and Rings with a Distributive Lattice of Right Ideals

1986 ◽  
Vol 38 (2) ◽  
pp. 286-303 ◽  
Author(s):  
H. H. Brungs
Keyword(s):  
Distributive Lattice ◽  
Principal Ideal ◽  
Commutative Rings ◽  
Integral Domains ◽  
Bezout Domain ◽  
Prufer Domains ◽  
Prüfer Domains ◽  
Principal Ideal Domains ◽  
Bezout Domains

It is the purpose of this paper to discuss a construction of right arithmetical (or right D-domains in [5]) domains, i.e., integral domains R for which the lattice of right ideals is distributive (see also [3]). Whereas the commutative rings in this class are precisely the Prüfer domains, not even right and left principal ideal domains are necessarily arithmetical. Among other things we show that a Bezout domain is right arithmetical if and only if all maximal right ideals are two-sided.Any right ideal of a right noetherian, right arithmetical domain is two-sided. This fact makes it possible to describe the semigroup of right ideals in such a ring in a satisfactory way; [3], [5].

scholarly journals Torsion and protorsion modules over free ideal rings

1970 ◽  
Vol 11 (4) ◽  
pp. 490-498
Author(s):  
P. M. Cohn
Keyword(s):  
Principal Ideal ◽  
Finitely Generated ◽  
Commutative Case ◽  
Principal Ideal Domains ◽  
Torsion Modules ◽  
Noncommutative Analogue

Free ideal rings (or firs, cf. [2, 3] and § 2 below) form a noncommutative analogue of principal ideal domains, to which they reduce in the commutative case, and in [3] a category TR of right R-modules was defined, over any fir R, which forms an analogue of finitely generated torsion modules. The category TR was shown to be abelian, and all its objects have finite composition length; more over, the corresponding category RT of left R-modules is dual to TR.

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.

Right Invariant Right Hereditary Rings

1974 ◽  
Vol 26 (5) ◽  
pp. 1186-1191 ◽  
Author(s):  
H. H. Brungs
Keyword(s):  
Principal Ideal ◽  
Prime Ideals ◽  
Maximal Orders ◽  
Discrete Valuation Rings ◽  
Valuation Rings ◽  
Dedekind Domains ◽  
Left Order ◽  
Principal Ideal Domains

Let R be a right hereditary domain in which all right ideals are two-sided (i.e., R is right invariant). We show that R is the intersection of generalized discrete valuation rings and that every right ideal is the product of prime ideals. This class of rings seems comparable with (and contains) the class of commutative Dedekind domains, but the rings considered here are in general not maximal orders and not Dedekind rings in the terminology of Robson [9]. The left order of a right ideal of such a ring is a ring of the same kind and the class contains right principal ideal domains in which the maximal right ideals are two-sided [6].

Radicals of PID's and Dedekind Domains

1972 ◽  
Vol 24 (4) ◽  
pp. 566-572 ◽  
Author(s):  
R. E. Propes
Keyword(s):  
Principal Ideal ◽  
Prime Ideals ◽  
Radical Class ◽  
Dedekind Domains ◽  
Radical Ideals ◽  
The One ◽  
Image Position ◽  
Principal Ideal Domains

The purpose of this paper is to characterize the radical ideals of principal ideal domains and Dedekind domains. We show that if T is a radical class and R is a PID, then T(R) is an intersection of prime ideals of R. More specifically, ifthen T(R) = (p1p2 … pk), where p1, p2, … , pk are distinct primes, and where (p1p2 … Pk) denotes the principal ideal of R generated by p1p2 … pk. We also characterize the radical ideals of commutative principal ideal rings. For radical ideals of Dedekind domains we obtain a characterization similar to the one given for PID's.

Arithmetic modules over generalized Dedekind domains

2020 ◽  
pp. 2250045
Author(s):  
Indah Emilia Wijayanti ◽  
Hidetoshi Marubayashi ◽  
Iwan Ernanto ◽  
Sutopo
Keyword(s):  
Free Module ◽  
Dedekind Domain ◽  
Finitely Generated ◽  
Multiplication Module ◽  
Dedekind Domains ◽  
Torsion Free Module ◽  
Polynomial Module ◽  
Torsion Free

Let [Formula: see text] be a finitely generated torsion-free module over a generalized Dedekind domain [Formula: see text]. It is shown that if [Formula: see text] is a projective [Formula: see text]-module, then it is a generalized Dedekind module and [Formula: see text]-multiplication module. In case [Formula: see text] is Noetherian it is shown that [Formula: see text] is either a generalized Dedekind module or a Krull module. Furthermore, the polynomial module [Formula: see text] is a generalized Dedekind [Formula: see text]-module (a Krull [Formula: see text]-module) if [Formula: see text] is a generalized Dedekind module (a Krull module), respectively.

scholarly journals A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains

2019 ◽  
Vol 14 (2) ◽  
pp. 515-530
Author(s):  
Maria Francis ◽  
Thibaut Verron
Keyword(s):  
Principal Ideal ◽  
Gröbner Bases ◽  
General Setting ◽  
Polynomial Systems ◽  
Regular Sequence ◽  
Grobner Bases ◽  
Integral Domains ◽  
Unique Factorization Domain ◽  
Univariate Polynomials ◽  
Principal Ideal Domains

AbstractSignature-based algorithms have become a standard approach for Gröbner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in general rings is not yet as well understood. In this paper, we present a proof-of-concept signature-based algorithm for computing Gröbner bases over commutative integral domains. It is adapted from a general version of Möller’s algorithm (J Symb Comput 6(2–3), 345–359, 1988) which considers reductions by multiple polynomials at each step. This algorithm performs reductions with non-decreasing signatures, and in particular, signature drops do not occur. When the coefficients are from a principal ideal domain (e.g. the ring of integers or the ring of univariate polynomials over a field), we prove correctness and termination of the algorithm, and we show how to use signature properties to implement classic signature-based criteria to eliminate some redundant reductions. In particular, if the input is a regular sequence, the algorithm operates without any reduction to 0. We have written a toy implementation of the algorithm in Magma. Early experimental results suggest that the algorithm might even be correct and terminate in a more general setting, for polynomials over a unique factorization domain (e.g. the ring of multivariate polynomials over a field or a PID).

Sign in / Sign up

Export Citation Format

Share Document