Uppers to zero in $R[x]$ and almost principal ideals
Czechoslovak Mathematical Journal, Tome 63 (2013) no. 2, pp. 565-572
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Let $R$ be an integral domain with quotient field $K$ and $f(x)$ a polynomial of positive degree in $K[x]$. In this paper we develop a method for studying almost principal uppers to zero ideals. More precisely, we prove that uppers to zero divisorial ideals of the form $I = f(x)K[x] \cap R[x]$ are almost principal in the following two cases: – $J$, the ideal generated by the leading coefficients of $I$, satisfies $J^{-1} = R$. – $I^{-1}$ as the $R[x]$-submodule of $K(x)$ is of finite type. Furthermore we prove that for $I = f(x)K[x] \cap R[x]$ we have: – $I^{-1}\cap K[x]=(I:_{K(x)}I)$. – If there exists $p/q \in I^{-1}-K[x]$, then $(q,f)\neq 1$ in $K[x]$. If in addition $q$ is irreducible and $I$ is almost principal, then $I' = q(x)K[x] \cap R[x]$ is an almost principal upper to zero. Finally we show that a Schreier domain $R$ is a greatest common divisor domain if and only if every upper to zero in $R[x]$ contains a primitive polynomial.
Let $R$ be an integral domain with quotient field $K$ and $f(x)$ a polynomial of positive degree in $K[x]$. In this paper we develop a method for studying almost principal uppers to zero ideals. More precisely, we prove that uppers to zero divisorial ideals of the form $I = f(x)K[x] \cap R[x]$ are almost principal in the following two cases: – $J$, the ideal generated by the leading coefficients of $I$, satisfies $J^{-1} = R$. – $I^{-1}$ as the $R[x]$-submodule of $K(x)$ is of finite type. Furthermore we prove that for $I = f(x)K[x] \cap R[x]$ we have: – $I^{-1}\cap K[x]=(I:_{K(x)}I)$. – If there exists $p/q \in I^{-1}-K[x]$, then $(q,f)\neq 1$ in $K[x]$. If in addition $q$ is irreducible and $I$ is almost principal, then $I' = q(x)K[x] \cap R[x]$ is an almost principal upper to zero. Finally we show that a Schreier domain $R$ is a greatest common divisor domain if and only if every upper to zero in $R[x]$ contains a primitive polynomial.
DOI : 10.1007/s10587-013-0038-9
Classification : 13A05, 13A15, 13B25, 13F15
Keywords: almost principal ideal; divisorial ideal; greatest common divisor domain; Schreier domain; uppers to zero
@article{10_1007_s10587_013_0038_9,
     author = {Borna, Keivan and Mohajer-Naser, Abolfazl},
     title = {Uppers to zero in $R[x]$ and almost principal ideals},
     journal = {Czechoslovak Mathematical Journal},
     pages = {565--572},
     year = {2013},
     volume = {63},
     number = {2},
     doi = {10.1007/s10587-013-0038-9},
     mrnumber = {3073979},
     zbl = {06236432},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1007/s10587-013-0038-9/}
}
TY  - JOUR
AU  - Borna, Keivan
AU  - Mohajer-Naser, Abolfazl
TI  - Uppers to zero in $R[x]$ and almost principal ideals
JO  - Czechoslovak Mathematical Journal
PY  - 2013
SP  - 565
EP  - 572
VL  - 63
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.1007/s10587-013-0038-9/
DO  - 10.1007/s10587-013-0038-9
LA  - en
ID  - 10_1007_s10587_013_0038_9
ER  - 
%0 Journal Article
%A Borna, Keivan
%A Mohajer-Naser, Abolfazl
%T Uppers to zero in $R[x]$ and almost principal ideals
%J Czechoslovak Mathematical Journal
%D 2013
%P 565-572
%V 63
%N 2
%U http://geodesic.mathdoc.fr/articles/10.1007/s10587-013-0038-9/
%R 10.1007/s10587-013-0038-9
%G en
%F 10_1007_s10587_013_0038_9
Borna, Keivan; Mohajer-Naser, Abolfazl. Uppers to zero in $R[x]$ and almost principal ideals. Czechoslovak Mathematical Journal, Tome 63 (2013) no. 2, pp. 565-572. doi: 10.1007/s10587-013-0038-9

[1] Anderson, D. D., Anderson, D. F.: Generalized GCD domains. Comment. Math. Univ. St. Pauli 28 (1980), 215-221. | MR | Zbl

[2] Anderson, D. D., Dumitrescu, T., Zafrullah, M.: Quasi-Schreier domains. II. Commun. Algebra 35 (2007), 2096-2104. | DOI | MR | Zbl

[3] Anderson, D. D., Zafrullah, M.: The Schreier property and Gauss' Lemma. Boll. Unione Mat. Ital., Sez. B, Artic. Ric. Mat. (8) 10 (2007), 43-62. | MR | Zbl

[4] Cohn, P. M.: Bezout rings and their subrings. Proc. Camb. Philos. Soc. 64 (1968), 251-264. | DOI | MR | Zbl

[5] Gilmer, R.: Multiplicative Ideal Theory. Pure and Applied Mathematics. Vol. 12. Marcel Dekker New York (1972). | MR

[6] Hamann, E., Houston, E., Johnson, J. L.: Properties of uppers to zero in $R[x]$. Pac. J. Math. 135 (1988), 65-79. | DOI | MR | Zbl

[7] Houston, E.: Uppers to zero in polynomial rings. Multiplicative Ideal Theory in Commutative Algebra. A Tribute to the Work of Robert Gilmer J. W. Brewer et al. Springer New York (2006), 243-261. | MR | Zbl

[8] Houston, E., Zafrullah, M.: UMV-domains. Arithmetical Properties of Commutative Rings and Monoids. Lecture Notes in Pure and Applied Mathematics 241 S. T. Chapman Chapman & Hall/CRC Boca Raton (2005), 304-315. | MR | Zbl

[9] Kaplansky, I.: Commutative Rings. Allyn and Bacon Boston (1970). | MR | Zbl

[10] Tang, H. T.: Gauss' lemma. Proc. Am. Math. Soc. 35 (1972), 372-376. | MR | Zbl

[11] Zafrullah, M.: The $D+XD_S[X]$ construction from GCD-domains. J. Pure Appl. Algebra 50 (1988), 93-107. | DOI | MR

[12] Zafrullah, M.: What $v$-coprimality can do for you. Multiplicative Ideal Theory in Commutative Algebra. A Tribute to the Work of Robert Gilmer J. W. Brewer et al. Springer New York (2006), 387-404. | MR | Zbl

Cité par Sources :