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

Descripción completa

Detalles Bibliográficos
Autores principales: Geroldinger, Alfred, Roitman, Moshe
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