Cargando…
On strongly primary monoids and domains
A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence, one-dimensional local Mori domains are strongly primary. We prove among othe...
Autores principales: | , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Taylor & Francis
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7446044/ https://www.ncbi.nlm.nih.gov/pubmed/32939190 http://dx.doi.org/10.1080/00927872.2020.1755678 |
_version_ | 1783574099542409216 |
---|---|
author | Geroldinger, Alfred Roitman, Moshe |
author_facet | Geroldinger, Alfred Roitman, Moshe |
author_sort | Geroldinger, Alfred |
collection | PubMed |
description | A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence, one-dimensional local Mori domains are strongly primary. We prove among other results that if R is a domain such that the conductor [Image: see text] vanishes, then [Image: see text] is finite; that is, there exists a positive integer k such that each nonzero nonunit of R is a product of at most k irreducible elements. Using this result, we obtain that every strongly primary domain is locally tame, and that a domain R is globally tame if and only if [Image: see text] In particular, we answer Problem 38 of the open problem list by Cahen et al. in the affirmative. Many of our results are formulated for monoids. |
format | Online Article Text |
id | pubmed-7446044 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2020 |
publisher | Taylor & Francis |
record_format | MEDLINE/PubMed |
spelling | pubmed-74460442020-09-14 On strongly primary monoids and domains Geroldinger, Alfred Roitman, Moshe Commun Algebra Article A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence, one-dimensional local Mori domains are strongly primary. We prove among other results that if R is a domain such that the conductor [Image: see text] vanishes, then [Image: see text] is finite; that is, there exists a positive integer k such that each nonzero nonunit of R is a product of at most k irreducible elements. Using this result, we obtain that every strongly primary domain is locally tame, and that a domain R is globally tame if and only if [Image: see text] In particular, we answer Problem 38 of the open problem list by Cahen et al. in the affirmative. Many of our results are formulated for monoids. Taylor & Francis 2020-05-04 /pmc/articles/PMC7446044/ /pubmed/32939190 http://dx.doi.org/10.1080/00927872.2020.1755678 Text en © 2020 The Author(s). Published with license by Taylor and Francis Group, LLC. https://creativecommons.org/licenses/by/4.0/This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/ (https://creativecommons.org/licenses/by/4.0/) ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
spellingShingle | Article Geroldinger, Alfred Roitman, Moshe On strongly primary monoids and domains |
title | On strongly primary monoids and domains |
title_full | On strongly primary monoids and domains |
title_fullStr | On strongly primary monoids and domains |
title_full_unstemmed | On strongly primary monoids and domains |
title_short | On strongly primary monoids and domains |
title_sort | on strongly primary monoids and domains |
topic | Article |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7446044/ https://www.ncbi.nlm.nih.gov/pubmed/32939190 http://dx.doi.org/10.1080/00927872.2020.1755678 |
work_keys_str_mv | AT geroldingeralfred onstronglyprimarymonoidsanddomains AT roitmanmoshe onstronglyprimarymonoidsanddomains |