We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Rings and Algebras

Title: On the finiteness of certain factorization invariants

Abstract: Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $\pi_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an element of $\mathscr F(A)$) is minimal if $\pi_H(\mathfrak z) \ne \pi_H(\mathfrak z')$ for every permutation $\mathfrak z'$ of a proper subword of $\mathfrak z$. The minimal $A$-elasticity of $H$ is then the supremum of all rational numbers $m/n$ with $m, n \in \mathbb N^+$ such that there exist minimal $A$-words $\mathfrak a$ and $\mathfrak b$ of length $m$ and $n$, resp., with $\pi_H(\mathfrak a) = \pi_H(\mathfrak b)$.
Most notably, we show that if $H$ is commutative and $A$ is finite, then the minimal $A$-elasticity of $H$ is finite. This yields a non-trivial generalization of the finiteness part of a classical theorem of Anderson et al. (namely, Theorem 7 in [Proc. Amer. Math. Soc. 117 (1993), 37-43]) from the case where $H$ is cancellative, commutative, and finitely generated (f.g.) modulo units and $A$ is the set $\mathscr A(H)$ of its atoms. We also check that commutativity is somewhat essential here, by proving the existence of an atomic, cancellative, f.g. monoid with trivial group of units whose minimal $\mathscr A(H)$-elasticity is infinite.
Comments: 13 pages, no figures. Changed the title. Improved the presentation. Added Corollary 3.3 and a couple of open questions in Sect. 5
Subjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC); Combinatorics (math.CO)
MSC classes: Primary 20M13, 08A50, 20M05, 13A05. Secondary 20M14
Cite as: arXiv:2301.09961 [math.RA]
  (or arXiv:2301.09961v2 [math.RA] for this version)

Submission history

From: Salvatore Tringali [view email]
[v1] Tue, 24 Jan 2023 12:48:04 GMT (21kb)
[v2] Tue, 28 Feb 2023 16:40:21 GMT (22kb)

Link back to: arXiv, form interface, contact.