Logo image
Long length functions
Journal article   Open access   Peer reviewed

Long length functions

D.D. Anderson and J.R. Juett
Journal of Algebra, Vol.426, pp.327-343
2015
DOI: 10.1016/j.jalgebra.2014.12.016
url
https://doi.org/10.1016/j.jalgebra.2014.12.016View
Published (Version of record) Open Access

Abstract

Let D be an integral domain satisfying ACCP. We refine the classical notion of (factorization) length by recursively defining the length of a nonzero element to be the least ordinal strictly greater than the lengths of its proper divisors. This gives a surjective function L:D*→L(D), where L(D), called the length of D, is the least ordinal strictly greater than the length of any nonzero element. We show that an ordinal is the length of a domain satisfying ACCP if and only if it is of the form ωβ. We give some conditions for when monoid domains, generalized power series domains, inert extensions, or localizations at splitting sets satisfy ACCP, and calculate the lengths of these domains in these cases. Finally, for each positive integer n≥2 and each ordinal μ≥n, we construct a domain D satisfying ACCP and an x∈D* with L(x)=μ and l(x)=n, where l(x) denotes the number of factors in a minimum length atomic factorization of x. © 2014 Elsevier Inc.
ACCP Bounded factorization domain (BFD) Generalized power series ring Inert extension Length function Monoid ring Splitting set

Details

Metrics

Logo image