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

Salvatore Tringali

Salvatore Tringali contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COmath.NTmath.GRmath.ACmath.CAmath.FAmath.RAmath.CTmath.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
9topics
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

16 published item(s)

preprint2022arXiv

An Abstract Factorization Theorem and Some Applications

We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular, we obtain a generalization, from cancellative to Dedekind-finite (commutative or non-commutative) monoids, of a classical theorem on "atomic factorizations" that traces back to the work of P.M. Cohn in the 1960s; recover a theorem of D.D. Anderson and S. Valdes-Leon on "irreducible factorizations" in commutative rings; improve on a theorem of A.A. Antoniou and the author that characterizes atomicity in certain "monoids of sets" naturally arising from additive number theory and arithmetic combinatorics; and give a monoid-theoretic proof that every module of finite uniform dimension over a (commutative or non-commutative) ring $R$ is a direct sum of finitely many indecomposable modules (this is in fact a special case of a more general decomposition theorem for the objects of certain categories with finite products, where the indecomposable $R$-modules are characterized as the atoms of a suitable "monoid of modules").

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Factorization in monoids and rings

Let $H^\times$ be the group of units of a multiplicatively written monoid $H$. We say $H$ is acyclic if $xyz \ne y$ for all $x, y, z \in H$ with $x \notin H^\times$ or $z \notin H^\times$; unit-cancellative if $yx \ne x \ne xy$ for all $x, y \in H$ with $y \notin H^\times$; f.g.u. if there is a finite set $A \subseteq H$ such that every non-unit of $H$ is a finite product of elements of the form $uav$ with $u, v \in H^\times$ and $a \in A$; l.f.g.u. if, for each $x \in H$, the smallest divisor-closed submonoid of $H$ containing $x$ is f.g.u; and atomic if every non-unit can be written as a finite product of atoms, where an atom is a non-unit that does not factor into a product of two non-units. We generalize to l.f.g.u. or acyclic l.f.g.u. monoids a few results so far only known for unit-cancellative l.f.g.u. commutative monoids (cancellative monoids are unit-cancellative, and a commutative monoid is unit-cancellative if and only if it is acyclic). In particular, we prove the following: $\bullet$ If $H$ is an atomic l.f.g.u. monoid, then every non-unit has only finitely many factorizations (into atoms) that are "minimal" and "pairwise non-equivalent" (with respect to some naturally defined relations on the free monoid over the "alphabet" of atoms). $\bullet$ If $H$ is an acyclic l.f.g.u. monoid, then it is atomic; and moreover, each element has only finitely many "pairwise non-equivalent" factorizations if we additionally assume $H$ to be commutative.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Small Sets of Integers

An upper quasi-density on $\bf H$ (the integers or the non-negative integers) is a real-valued subadditive function $μ^\ast$ defined on the whole power set of $\mathbf H$ such that $μ^\ast(X) \le μ^\ast({\bf H}) = 1$ and $μ^\ast(k \cdot X + h) = \frac{1}{k}\, μ^\ast(X)$ for all $X \subseteq \bf H$, $k \in {\bf N}^+$, and $h \in \bf N$, where $k \cdot X := \{kx: x \in X\}$; and an upper density on $\bf H$ is an upper quasi-density on $\bf H$ that is non-decreasing with respect to inclusion. We say that a set $X \subseteq \bf H$ is small if $μ^\ast(X) = 0$ for every upper quasi-density $μ^\ast$ on $\bf H$. Main examples of upper densities are given by the upper analytic, upper Banach, upper Buck, and upper Pólya densities, along with the uncountable family of upper $α$-densities, where $α$ is a real parameter $\ge -1$ (most notably, $α= -1$ corresponds to the upper logarithmic density, and $α= 0$ to the upper asymptotic density). It turns out that a subset of $\bf H$ is small if and only if it belongs to the zero set of the upper Buck density on $\bf Z$. This allows us to show that many interesting sets are small, including the integers with less than a fixed number of prime factors, counted with multiplicity; the numbers represented by a binary quadratic form with integer coefficients whose discriminant is not a perfect square; and the image of $\bf Z$ through a non-linear integral polynomial in one variable.

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
preprint2019arXiv

On half-factoriality of transfer Krull monoids

Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$, then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$, then $H$ is half-factorial.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

On the notions of upper and lower density

Let $\mathcal{P}({\bf N})$ be the power set of ${\bf N}$. We say that a function $μ^\ast: \mathcal{P}({\bf N}) \to \bf R$ is an upper density if, for all $X,Y\subseteq{\bf N}$ and $h, k\in{\bf N}^+$, the following hold: (F1) $μ^\ast({\bf N}) = 1$; (F2) $μ^\ast(X) \le μ^\ast(Y)$ if $X \subseteq Y$; (F3) $μ^\ast(X \cup Y) \le μ^\ast(X) + μ^\ast(Y)$; (F4) $μ^\ast(k\cdot X) = \frac{1}{k} μ^\ast(X)$, where $k \cdot X:=\{kx: x \in X\}$; (F5) $μ^\ast(X + h) = μ^\ast(X)$. We show that the upper asymptotic, upper logarithmic, upper Banach, upper Buck, upper Polya, and upper analytic densities, together with all upper $α$-densities (with $α$ a real parameter $\ge -1$), are upper densities in the sense of our definition. Moreover, we establish the mutual independence of axioms (F1)-(F5), and we investigate various properties of upper densities (and related functions) under the assumption that (F2) is replaced by the weaker condition that $μ^\ast(X)\le 1$ for every $X\subseteq{\bf N}$. Overall, this allows us to extend and generalize results so far independently derived for some of the classical upper densities mentioned above, thus introducing a certain amount of unification into the theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A unified approach to the theory of normed structures - Part I: The single-sorted case

We introduce the concept of a prenormed model of a particular kind of finitary single-sorted first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their signature comprises, together with arbitrary function symbols (of finite ariety), only relation symbols whose interpretation, in any possible model, is a reflexive and transitive binary relation, namely a preorder. The result is an abstract approach to the very concept of norm and, consequently, to the theory of normed structures.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Cauchy-Davenport type inequalities, I

Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$γ(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm ord}(y - y_0)$$ if $|Y| \ge 2$ and $γ(Y) := |Y|$ otherwise. We prove that if $\langle Y \rangle$ is commutative, $Y$ is non-empty, and $X+2Y \neq X + Y + y$ for some $y \in Y$, then $$ |X+Y| \ge |X|+\min(γ(Y), |Y| - 1). $$ Actually, this is obtained from a more general result, which improves on previous work of the author on sumsets in cancellative semigroups, and yields a comprehensive generalization, and in some cases a considerable strengthening, of various additive theorems, notably including the Chowla-Pillai theorem (on sumsets in finite cyclic groups) and the specialization to abelian groups of the Hamidoune-Shatrowsky theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the commutation of generalized means on probability spaces

Let $f$ and $g$ be real-valued continuous injections defined on a non-empty real interval $I$, and let $(X, \mathscr{L}, λ)$ and $(Y, \mathscr{M}, μ)$ be probability spaces in each of which there is at least one measurable set whose measure is strictly between $0$ and $1$. We say that $(f,g)$ is a $(λ, μ)$-switch if, for every $\mathscr{L} \otimes \mathscr{M}$-measurable function $h: X \times Y \to \mathbf{R}$ for which $h[X\times Y]$ is contained in a compact subset of $I$, it holds $$ f^{-1}\!\left(\int_X f\!\left(g^{-1}\!\left(\int_Y g \circ h\;dμ\right)\right)d λ\right)\! = g^{-1}\!\left(\int_Y g\!\left(f^{-1}\!\left(\int_X f \circ h\;dλ\right)\right)d μ\right)\!, $$ where $f^{-1}$ is the inverse of the corestriction of $f$ to $f[I]$, and similarly for $g^{-1}$. We prove that this notion is well-defined, by establishing that the above functional equation is well-posed (the equation can be interpreted as a permutation of generalized means and raised as a problem in the theory of decision making under uncertainty), and show that $(f,g)$ is a $(λ, μ)$-switch if and only if $f = ag + b$ for some $a,b \in \mathbf R$, $a \ne 0$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Plots and Their Applications - Part I: Foundations

The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a "relaxed" composition law: Besides categories, this includes as a special case graphs and neocategories in the sense of Ehresmann, Gabriel's quivers, Mitchell's semicategories, and composition graphs, precategories and semicategories in the sense of Schröder. Among other things, we formulate an "identity-free" definition of isomorphisms, equivalences, and limits, for which we introduce regular representations, punctors, $\mathcal M$-connections, and $\mathcal M$-factorizations. Part of the material will be used in subsequent work to lay the foundation for an abstract theory of "normed structures" serving as a unifying framework for the development of fundamental aspects of the theory of normed spaces, normed groups, etc., on the one hand, and measure spaces, perhaps surprisingly, on the other.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Cauchy-Davenport type theorems for semigroups

Let $\mathbb{A} = (A, +)$ be a (possibly non-commutative) semigroup. For $Z \subseteq A$ we define $Z^\times := Z \cap \mathbb A^\times$, where $\mathbb A^\times$ is the set of the units of $\mathbb{A}$, and $$γ(Z) := \sup_{z_0 \in Z^\times} \inf_{z_0 \ne z \in Z} {\rm ord}(z - z_0).$$ The paper investigates some properties of $γ(\cdot)$ and shows the following extension of the Cauchy-Davenport theorem: If $\mathbb A$ is cancellative and $X, Y \subseteq A$, then $$|X+Y| \ge \min(γ(X+Y),|X| + |Y| - 1).$$ This implies a generalization of Kemperman's inequality for torsion-free groups and strengthens another extension of the Cauchy-Davenport theorem, where $\mathbb{A}$ is a group and $γ(X+Y)$ in the above is replaced by the infimum of $|S|$ as $S$ ranges over the non-trivial subgroups of $\mathbb{A}$ (Hamidoune-Károlyi theorem).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Davenport constant of a box

Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathscr{B}(X)$ denote the monoid of zero-sum sequences over $X$ and $\mathsf{D}(X)$ the Davenport constant of $\mathscr{B}(X)$, namely the supremum of the positive integers $n$ for which there exists a sequence $x_1 \cdots x_n$ of $\mathscr{B}(X)$ such that $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is a power of $\mathbb{Z}$ and $X$ is a box (i.e., a product of intervals of $G$). Some mixed sets (e.g., the product of a group by a box) are studied too, and some inverse results are obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a system of equations with primes

Given an integer $n \ge 3$, let $u_1, \ldots, u_n$ be pairwise coprime integers $\ge 2$, $\mathcal D$ a family of nonempty proper subsets of $\{1, \ldots, n\}$ with "enough" elements, and $\varepsilon$ a function $ \mathcal D \to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides $\prod_{i \in I} u_i - \varepsilon(I)$ for some $I \in \mathcal D$, but it does not divide $u_1 \cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\varepsilon$ and $\mathcal D$ are subjected to certain restrictions. We use the result to prove that, if $\varepsilon_0 \in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any number of the form $\prod_{p \in B} p - \varepsilon_0$ for which $B$ is a finite nonempty proper subset of $A$, then $A$ contains all the primes.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Small doubling in ordered semigroups

Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable semigroups, where we say that $\mathbb{A}$ is linearly orderable if there exists a total order $\le$ on $A$ such that $xz < yz$ and $zx < zy$ for all $x,y,z \in A$ with $x < y$. In particular, we find that if $S$ is a finite subset of $A$ generating a non-abelian subsemigroup of $\mathbb{A}$, then $|S^2| \ge 3|S|-2$. On the road to this goal, we also prove a number of subsidiary results, and most notably that for $S$ a finite subset of $A$ the commutator and the normalizer of $S$ are equal to each other.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Cauchy-Davenport theorem for semigroups

We generalize the Davenport transform and use it to prove that, for a (possibly non-commutative) cancellative semigroup $\mathbb A = (A, +)$ and non-empty subsets $X,Y$ of $A$ such that the subsemigroup generated by $Y$ is commutative, we have $|X + Y| \ge \min(ω(Y), |X| + |Y| - 1)$, where $ω(Y) := \sup_{y_0 \in Y \cap \mathbb A^{\times}} \inf_{y \in Y \setminus \{y_0\}} |<y - y_0>|$. This carries over the Cauchy-Davenport theorem to the broader setting of semigroups, and it implies, in particular, an extension of I. Chowla&#39;s and S.S. Pillai&#39;s theorems for cyclic groups and a notable strengthening of another generalization of the same Cauchy-Davenport theorem to commutative groups, where $ω(Y)$ in the above is replaced by the minimal order of the non-trivial subgroups of $\mathbb A$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the divisibility of $a^n \pm b^n$ by powers of $n$

We determine all triples $(a,b,n)$ of positive integers such that $a$ and $b$ are relatively prime and $n^k$ divides $a^n + b^n$ (respectively, $a^n - b^n$), when $k$ is the maximum of $a$ and $b$ (in fact, we answer a slightly more general question). As a by-product, it is found that, for $m, n \in \mathbb N^+$ with $n \ge 2$, $n^m$ divides $ m^n + 1$ if and only if $(m,n)=(2,3)$ or $(1,2)$, which generalizes problems from the 1990 and 1999 editions of the International Mathematical Olympiad. The results are related to a conjecture by K. Győry and C. Smyth on the finiteness of the sets $R_k^\pm(a,b) := \{n \in \mathbb N^+: n^k \mid a^n \pm b^n\}$, when $a,b,k$ are fixed integers with $k \ge 3$, $\gcd(a,b) = 1$ and $|ab| \ge 2$.

0 citations0 reviewsNo code linkedOpen access