The Schreier Property and Gauss' Lemma

Anderson, Daniel D. ; Zafrullah, Muhammad

Bollettino dell'Unione Matematica Italiana, Tome 10-A (2007), p. 43-62 / Harvested from Biblioteca Digitale Italiana di Matematica

Abstract

Let $D$ be an integral domain with quotient field $D$. Recall that $D$ is Schreier if $D$ is integrally closed and for all $x, y, z \in D \setminus \{0\}$, $x|yz$ implies that $x = r \cdot s$ where $r|y$ e $s|z$. A GCD domain is Schreier. We show that an integral domain $D$ is a GCD domain if and only if (i) for each pair $a, b \in D \setminus \{0\}$, there is a finitely generated ideal $B$ such that $aD \bigcap bD = B_v$ and (ii) every quadratic in $D[X]$ that is a product of two linear polynomials in $K[X]$ is a product of two linear polynomials in $D[X]$. We also show that $D$ is Schreier if and only if every polynomial in $D[X]$ with a linear factor in $K[X]$ has a linear factor in $D[X]$ and show that $D$ is a Schreier domain with algebraically closed quotient field if and only if every nonconstant polynomial over $D$ is expressible as a product of linear polynomials. We also compare the two most common modes of generalizing GCD domains. One is via properties that imply Gauss' Lemma and the other is via the Schreier property. The Schreier property is not implied by any of the specializations of Gauss' Lemma while all but one of the specializations of Gauss Lemma are implied by the Schreier property.

Résumé

Sia $D$ un dominio d'integrità con campo quoziente $K$. Si ricordi che $D$ è detto di Schreier se $D$ è integralmente chiuso e per ogni $x, y, z \in D \setminus \{0\}$, $x | yz$ implica che $x = r\cdots$ dove $r | y$ e $s | z$. Un dominio GCD è di Schreier. Mostriamo che un dominio d'integrità $D$ è un dominio GCD se e solo se (i) per ogni coppia $a, b \in D \setminus \{0\}$, esiste un ideale finitamente generato $B$ tale che $aD \bigcap bD =B_v$ e (ii) ogni polinomio quadrato in $D[X]$ che è il prodotto di due polinomi lineari in $K[X]$ è un prodotto di due polinomi lineari in $D[X]$. Dimostriamo anche che $D$ è di Schreier se e solo se ogni polinomio in $D[X]$ con un fattore lineare in $K[X]$ ha un fattore lineare in $D[X]$ e mostriamo che $D$ è un dominio di Schreier con campo quoziente algebricamente chiuso se e solo se ogni polinomio non costante su $D$ è esprimibile come un prodotto di polinomi lineari. Confrontiamo anche i due modi più comuni di generalizzare domini GCD. Uno è mediante proprietà che implicano il Lemma di Gauss e l'altro è mediante la proprietà di Schreier. La proprietà di Schreier non è implicata da nessuna delle specializzazioni del Lemma di Gauss mentre tutte tranne una delle specializzazioni del Lemma di Gauss sono implicate dalla proprietà di Schreier.

Détail

Publié le : 2007-02-01

MR 2310957 | Zbl 1129.13025

Bibliographie

[1] Anderson, D.D. - Anderson, D.F. - Zafrullah, M., Splitting the t-class group, J. Pure Appl. Algebra, 74 (1991), 17-37. | MR 1129127 | Zbl 0760.13006

[2] Anderson, D.D. - Quintero, R., Some generalizations of GCD-domains, Factorization in Integral Domains, 439-480, Lecture Notes in Pure and Appl. Math., 189, Dekker, New York, 1997. | MR 1460772

[3] Anderson, D.D. - Zafrullah, M., M, P.. Cohn's completely primal elements, Zero-dimensional Commutative Rings, 115-123, Lecture Notes in Pure and Appl. Math., 171, Dekker, New York, 1995. | MR 1335708 | Zbl 0887.13012

[4] Anderson, D.D. - Zafrullah, M., Splitting sets in integral domains, Proc. Amer. Math. Soc., 129 (2001), 2209-2217. | MR 1823902 | Zbl 0962.13001

[5] Anderson, D.F., Integral v-ideals, Glasgow Math. J., 22 (1981), 167-172. | MR 623001 | Zbl 0467.13012

[6] Arnold, J. - Sheldon, P., Integral domains that satisfy Gauss's lemma, Michigan Math. J., 22 (1975), 39-51. | MR 371887 | Zbl 0314.13008

[7] Bastida, E. - Gilmer, R., Overrings and divisorial ideals of rings of the form D+M, Michigan Math. J., 20 (1973), 79-95. | MR 323782 | Zbl 0239.13001

[8] Brookfield, G. - Rush, D., An antimatter domain that is not pre-Schreier, preprint.

[9] Cohn, P.M., Bezout rings and their subrings, Proc. Cambridge Phil. Soc., 64 (1968), 251-264. | MR 222065 | Zbl 0157.08401

[10] Coykendall, J. - Dobbs, D. - Mullins, B., On integral domains with no atoms, Comm. Algebra, 27 (1999), 5813-5831. | MR 1726278 | Zbl 0990.13015

[11] Dobbs, D., Coherence, ascent of going-down, and pseudo-valuation domains, Houston J. Math., 4 (1978), 551-567. | MR 523613 | Zbl 0388.13002

[12] Gilmer, R., Multiplicative Ideal Theory, Dekker, New York, 1972. | MR 427289 | Zbl 0248.13001

[13] Gilmer, R. - Parker, T., Divisibility properties in semigroup rings, Michigan Math. J., 21 (1974), 65-86. | MR 342635 | Zbl 0285.13007

[14] Hedstrom, J. - Houston, E., Pseudo-valuation domains, Pacific J. Math., 75 (1978), 137-147. | MR 485811 | Zbl 0368.13002

[15] Kaplansky, I., Commutative Rings, Allyn and Bacon, Boston, 1970. | MR 254021

[16] Malik, S. - Mott, J. - Zafrullah, M., The GCD property and irreducible quadratic polynomials, Internat. J. Math. Sci., 9 (1986), 749-752. | MR 870530 | Zbl 0646.13009

[17] Mott, J. - Nashier, B. - Zafrullah, M., Contents of polynomials and invertibility, Comm. Algebra, 18 (1990), 1569-1583. | MR 1059749 | Zbl 0705.13005

[18] Mcadam, S. - Rush, D., Schreier rings, Bull. London Math. Soc., 10 (1978), 77-80. | MR 476723

[19] Mott, J. - Schexnayder, M., Exact sequences of semi-value groups, J. Reine Angew Math. 283/284 (1976), 388-401. | MR 404247 | Zbl 0347.13001

[20] Rush, D., Quadratic polynomials, factorization in integral domains and Schreier domains in pullbacks, Mathematika, 50 (2003), 103-112. | MR 2136355 | Zbl 1076.13002

[21] Schexnayder, M., Groups of Divisibility, Dissertation, Florida State University, 1973.

[22] Waterhouse, W., Quadratic polynomials and unique factorization, Amer. Math. Monthly, 109 (2002), 70-72. | MR 1903514 | Zbl 1036.13004

[23] Zafrullah, M., On a property of pre-Schreier domains, Comm. Algebra, 15 (1987), 1895-1920. | MR 898300 | Zbl 0634.13004

[24] Zafrullah, M., Well-behaved prime t-ideals, J. Pure Appl. Algebra, 65 (1990), 199-207. | MR 1068255 | Zbl 0705.13001

[25] Zafrullah, M., Putting t-invertibility to use, Non-Noetherian Commutative Ring Theory, 429-457, Math. Appl., 520, Kluwer Acad. Publ., Dordrecht, 2000. | MR 1858174 | Zbl 0988.13003