The picard group of noetherian integral domains whose integral closures abe principal ideal domains

1995 ◽  
Vol 23 (13) ◽  
pp. 4991-4994 ◽  
Author(s):  
Kerstin Pettersson
Keyword(s):  
Principal Ideal ◽  
Picard Group ◽  
Integral Domains ◽  
Integral Closures ◽  
Principal Ideal 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.

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).

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].

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.

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.

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].

Sign in / Sign up

Export Citation Format

Share Document