BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Felix Gotti

Felix Gotti contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.NTmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2023arXiv

On the additive structure of algebraic valuations of polynomial semirings

In this paper, we study factorizations in the additive monoids of positive algebraic valuations $\mathbb{N}_0[α]$ of the semiring of polynomials $\mathbb{N}_0[X]$ using a methodology introduced by D. D. Anderson, D. F. Anderson, and M. Zafrullah in 1990. A cancellative commutative monoid is atomic if every non-invertible element factors into irreducibles. We begin by determining when $\mathbb{N}_0[α]$ is atomic, and we give an explicit description of its set of irreducibles. An atomic monoid is a finite factorization monoid (FFM) if every element has only finitely many factorizations (up to order and associates), and it is a bounded factorization monoid (BFM) if for every element there is a bound for the number of irreducibles (counting repetitions) in each of its factorizations. We show that, for the monoid $\mathbb{N}_0[α]$, the property of being a BFM and the property of being an FFM are equivalent to the ascending chain condition on principal ideals (ACCP). Finally, we give various characterizations for $\mathbb{N}_0[α]$ to be a unique factorization monoid (UFM), two of them in terms of the minimal polynomial of $α$. The properties of being finitely generated, half-factorial, and length-factorial are also investigated along the way.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Length-factoriality in commutative monoids and integral domains

An atomic monoid $M$ is called a length-factorial monoid (or an other-half-factorial monoid) if for each non-invertible element $x \in M$ no two distinct factorizations of $x$ have the same length. The notion of length-factoriality was introduced by Coykendall and Smith in 2011 as a dual of the well-studied notion of half-factoriality. They proved that in the setting of integral domains, length-factoriality can be taken as an alternative definition of a unique factorization domain. However, being a length-factorial monoid is in general weaker than being a factorial monoid (i.e., a unique factorization monoid). Here we further investigate length-factoriality. First, we offer two characterizations of a length-factorial monoid $M$, and we use such characterizations to describe the set of Betti elements and obtain a formula for the catenary degree of $M$. Then we study the connection between length-factoriality and purely long (resp., purely short) irreducibles, which are irreducible elements that appear in the longer (resp., shorter) part of any unbalanced factorization relation. Finally, we prove that an integral domain cannot contain purely short and a purely long irreducibles simultaneously, and we construct a Dedekind domain containing purely long (resp., purely short) irreducibles but not purely short (resp., purely long) irreducibles.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Atomicity and boundedness of monotone Puiseux monoids

In this paper, we study the atomic structure of Puiseux monoids generated by monotone sequences. To understand this atomic structure, it is often useful to know whether the monoid has a bounded generating set. We provide necessary and sufficient conditions for the atomicity and boundedness to be transferred from a monotone Puiseux monoid to all its submonoids. Finally, we present two special subfamilies of monotone Puiseux monoids and fully classify their atomic structure.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Factorizations in upper triangular matrices over information semialgebras

An integral domain (or a commutative cancellative monoid) is atomic if every nonzero nonunit element is the product of irreducibles, and it satisfies the ACCP if every ascending chain of principal ideals eventually stabilizes. The interplay between these two properties has been investigated since the 1970s. An atomic domain (or monoid) satisfies the finite factorization property (FFP) if every element has only finitely many factorizations, and it satisfies the bounded factorization property (BFP) if for each element there is a common bound for the number of atoms in each of its factorizations. These two properties have been systematically studied since being introduced by Anderson, Anderson, and Zafrullah in 1990. Noetherian domains satisfy the BFP, while Dedekind domains satisfy the FFP. It is well known that for commutative cancellative monoids (in particular, integral domains) FFP $\Rightarrow$ BFP $\Rightarrow$ ACCP $\Rightarrow$ atomic. For $n \ge 2$, we show that each of these four properties transfers back and forth between an information semialgebras $S$ (i.e., a commutative cancellative semiring) and their multiplicative monoids $T_n(S)^\bullet$ of $n \times n$ upper triangular matrices over~$S$. We also show that a similar transfer behavior takes place if one replaces $T_n(S)^\bullet$ by the submonoid $U_n(S)$ consisting of unit triangular matrices. As a consequence, we find that the chain FFP $\Rightarrow$ BFP $\Rightarrow$ ACCP $\Rightarrow$ atomic also holds for the classes comprising the noncommutative monoids $T_n(S)^\bullet$ and $U_n(S)$. Finally, we construct various rational information semialgebras to verify that, in general, none of the established implications is reversible.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Geometric and combinatorial aspects of submonoids of a finite-rank free commutative monoid

If $\mathbb{F}$ is an ordered field and $M$ is a finite-rank torsion-free monoid, then one can embed $M$ into a finite-dimensional vector space over $\mathbb{F}$ via the inclusion $M \hookrightarrow \text{gp}(M) \hookrightarrow \mathbb{F} \otimes_{\mathbb{Z}} \text{gp}(M)$, where $\text{gp}(M)$ is the Grothendieck group of $M$. Let $\mathcal{C}$ be the class consisting of all monoids (up to isomorphism) that can be embedded into a finite-rank free commutative monoid. Here we investigate how the atomic structure and arithmetic properties of a monoid $M$ in $\mathcal{C}$ are connected to the combinatorics and geometry of its conic hull $\text{cone}(M) \subseteq \mathbb{F} \otimes_{\mathbb{Z}} \text{gp}(M)$. First, we show that the submonoids of $M$ determined by the faces of $\text{cone}(M)$ account for all divisor-closed submonoids of $M$. Then we appeal to the geometry of $\text{cone}(M)$ to characterize whether $M$ is a factorial, half-factorial, and other-half-factorial monoid. Finally, we investigate the cones of finitary, primary, finitely primary, and strongly primary monoids in $\mathcal{C}$. Along the way, we determine the cones that can be realized by monoids in $\mathcal{C}$ and by finitary monoids in $\mathcal{C}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Increasing positive monoids of ordered fields are FF-monoids

Given an ambient ordered field $K$, a positive monoid is a countably generated additive submonoid of the nonnegative cone of $K$. In this paper, we first generalize several atomic features exhibited by Puiseux monoids of the field of rational numbers to the more general setting of positive monoids of Archimedean fields, accordingly arguing that such generalizations may fail if the ambient field is not Archimedean. In particular, we show that a positive monoid $P$ of an Archimedean field is a BF-monoid provided that $P \! \setminus \! \{0\}$ does not have $0$ as a limit point. Then, we prove our main result: every increasing positive monoid of an ordered field is an FF-monoid. Finally, we deduce that every increasing positive monoid is hereditarily atomic.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Irreducibility and factorizations in monoid rings

For an integral domain $R$ and a commutative cancellative monoid $M$, the ring consisting of all polynomial expressions with coefficients in $R$ and exponents in $M$ is called the monoid ring of $M$ over $R$. An integral domain is called atomic if every nonzero nonunit element can be written as a product of irreducibles. In the investigation of the atomicity of integral domains, the building blocks are the irreducible elements. Thus, tools to prove irreducibility are crucial to study atomicity. In the first part of this paper, we extend Gauss's Lemma and Eisenstein's Criterion from polynomial rings to monoid rings. An integral domain $R$ is called half-factorial (or an HFD) if any two factorizations of a nonzero nonunit element of $R$ have the same number of irreducible elements (counting repetitions). In the second part of this paper, we determine which monoid algebras with nonnegative rational exponents are Dedekind domains, Euclidean domains, PIDs, UFDs, and HFDs. As a side result, we characterize the submonoids of $(\mathbb{Q}_{\ge 0},+)$ satisfying a dual notion of half-factoriality known as other-half-factoriality.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On strongly primary monoids, with a focus on Puiseux monoids

Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial ideals (e.g., numerical monoids) are strongly primary; and the multiplicative monoid of non-zero elements of a one-dimensional local domain is primary and it is strongly primary if the domain is Noetherian. In the present paper, we focus on the study of additive submonoids of the non-negative rationals, called Puiseux monoids. It is easy to see that Puiseux monoids are primary monoids, and we provide conditions ensuring that they are strongly primary. Then we study local and global tameness of strongly primary Puiseux monoids; most notably, we establish an algebraic characterization of when a Puiseux monoid is globally tame. Moreover, we obtain a result on the structure of sets of lengths of all locally tame strongly primary monoids.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras

A molecule is a nonzero non-unit element of an integral domain (resp., commutative cancellative monoid) having a unique factorization into irreducibles (resp., atoms). Here we study the molecules of Puiseux monoids as well as the molecules of their corresponding semigroup algebras, which we call Puiseux algebras. We begin by presenting, in the context of numerical semigroups, some results on the possible cardinalities of the sets of molecules and the sets of reducible molecules (i.e., molecules that are not irreducibles/atoms). Then we study the molecules in the more general context of Puiseux monoids. We construct infinitely many non-isomorphic atomic Puiseux monoids all whose molecules are atoms. In addition, we characterize the molecules of Puiseux monoids generated by rationals with prime denominators. Finally, we turn to investigate the molecules of Puiseux algebras. We provide a characterization of the molecules of the Puiseux algebras corresponding to root-closed Puiseux monoids. Then we use such a characterization to find an infinite class of Puiseux algebras with infinitely many non-associated reducible molecules.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

When is a Puiseux monoid atomic?

A Puiseux monoid is an additive submonoid of the nonnegative rational numbers. If $M$ is a Puiseux monoid, then the question of whether each non-invertible element of $M$ can be written as a sum of irreducible elements (that is, $M$ is atomic) is surprisingly difficult. Although various techniques have been developed over the past few years to identify subclasses of Puiseux monoids that are atomic, no general characterization of such monoids is known. Here we survey some of the most relevant aspects related to the atomicity of Puiseux monoids. We provide characterizations of when $M$ is finitely generated, factorial, half-factorial, other-half-factorial, Prüfer, seminormal, root-closed, and completely integrally closed. In addition to the atomicity, characterizations are also not known for when $M$ satisfies the ACCP, the bounded factorization property, or the finite factorization property. In each of these cases, we construct an infinite class of Puiseux monoids satisfying the corresponding property.

0 citations0 reviewsNo code linkedOpen access