-
On GL-domains and the ascent of the IDF property
Authors:
Victor Gonzalez,
Ishan Panpaliya
Abstract:
Following the terminology introduced by Arnold and Sheldon back in 1975, we say that an integral domain $D$ is a GL-domain if the product of any two primitive polynomials over $D$ is again a primitive polynomial. In this paper, we study the class of GL-domains. First, we propose a characterization of GL-domain in terms of certain elements we call prime-like. Then we identify a new class of GL-doma…
▽ More
Following the terminology introduced by Arnold and Sheldon back in 1975, we say that an integral domain $D$ is a GL-domain if the product of any two primitive polynomials over $D$ is again a primitive polynomial. In this paper, we study the class of GL-domains. First, we propose a characterization of GL-domain in terms of certain elements we call prime-like. Then we identify a new class of GL-domains. An integral domain $D$ is also said to have the IDF property provided that each nonzero element of $D$ is divisible by only finitely many non-associate irreducible divisors. It was proved by Malcolmson and Okoh in 2009 that the IDF property ascends to polynomial extensions when restricted to the class of GCD-domains. This result was recently strengthened by Gotti and Zafrullah to the class of PSP-domains. We conclude this paper by proving that the IDF property does not ascend to polynomial extensions in the class of GL-domains, answering an open question posed by Gotti and Zafrullah.
△ Less
Submitted 19 April, 2025; v1 submitted 14 April, 2025;
originally announced April 2025.
-
On the ascent of almost and quasi-atomicity to monoid semidomains
Authors:
Victor Gonzalez,
Felix Gotti,
Ishan Panpaliya
Abstract:
A commutative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral (semi)domain is atomic if its multiplicative monoid is atomic. Notions weaker than atomicity have been introduced and studied during the past decade, including almost atomicity and quasi-atomicity, which were coined and first investigated by Boynton and Coykendall in thei…
▽ More
A commutative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral (semi)domain is atomic if its multiplicative monoid is atomic. Notions weaker than atomicity have been introduced and studied during the past decade, including almost atomicity and quasi-atomicity, which were coined and first investigated by Boynton and Coykendall in their study of graphs of divisibility of integral domains. The ascent of atomicity to polynomial extensions was settled by Roitman back in 1993 while the ascent of atomicity to monoid domains was settled by Coykendall and the second author in 2019 (in both cases the answer was negative). The main purpose of this paper is to study the ascent of almost atomicity and quasi-atomicity to polynomial extensions and monoid domains. Under certain reasonable conditions, we establish the ascent of both properties to polynomial extensions (over semidomains). Then we construct an explicit example illustrating that, with no extra conditions, quasi-atomicity does not ascend to polynomial extensions. Finally, we show that, in general, neither almost atomicity nor quasi-atomicity ascend to monoid domains, improving upon a construction first provided by Coykendall and the second author for the non-ascent of atomicity.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
On the atomicity of one-dimensional monoid algebras
Authors:
Ishan Panpaliya
Abstract:
The ascending chain condition on principal ideals (ACCP) is almost always complementary to atomicity within integral domains: in fact, Cohn initially stated that these two conditions were equivalent. This assertion has been shown to be false, however most counterexamples require technical algebraic constructions. In 2017, Gotti conjectured that for every $q$ in the set…
▽ More
The ascending chain condition on principal ideals (ACCP) is almost always complementary to atomicity within integral domains: in fact, Cohn initially stated that these two conditions were equivalent. This assertion has been shown to be false, however most counterexamples require technical algebraic constructions. In 2017, Gotti conjectured that for every $q$ in the set $S := ((0, 1) \cap \mathbb{Q}) \setminus {\mathbb{N}}^{-1}_{> 1}$, atomicity ascends from the exponentially cyclic Puiseux monoid $M_q$ to its monoid algebra over the field of rationals. If this conjecture were true, it would provide an extremely wide class of atomic domains of Krull dimension one not satisfying the ACCP, and so would be perhaps the simplest possible such examples. Bu et al. recently proved that the monoid algebra $\mathbb{Q} \left[M_{3/4} \right]$ is atomic, marking the first progress towards settling this conjecture. We strengthen this result and prove that $\mathbb{Q}[M_q]$ is atomic for all $q \in S$ having an odd denominator.
△ Less
Submitted 25 November, 2024;
originally announced November 2024.
