Source author record

Carmelo Finocchiaro

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG math.CT math.RA

Catalog footprint

Research overview

4works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A new Galois structure in the category of internal preorders

Let $\mathsf{PreOrd}(\mathbb C)$ be the category of internal preorders in an exact category $\mathbb C$ . We show that the pair $(\mathsf{Eq}(\mathbb C), \mathsf{ParOrd}(\mathbb C))$ is a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$ , where $\mathsf{Eq}(\mathbb C)$ and $\mathsf{ParOrd}(\mathbb C)$ ) are the full subcategories of internal equivalence relations and of internal partial orders in $\mathbb C$ , respectively. We observe that $\mathsf{ParOrd}(\mathbb C)$ is a reflective subcategory of $\mathsf{PreOrd}(\mathbb C)$ such that each component of the unit of the adjunction is a pullback-stable regular epimorphism. The reflector $F:\mathsf{PreOrd}(\mathbb C)\to \mathsf{ParOrd}(\mathbb C)$ turns out to have stable units in the sense of Cassidy, Hébert and Kelly, thus inducing an admissible categorical Galois structure. In particular, when $\mathbb C$ is the category $\mathsf{Set}$ of sets, we show that this reflection induces a monotone-light factorization system (in the sense of Carboni, Janelidze, Kelly and Paré) in $\mathsf{PreOrd}(\mathsf{Set})$ . A topological interpretation of our results in the category of Alexandroff-discrete spaces is also given, via the well-known isomorphism between this latter category and $\mathsf{PreOrd}(\mathsf{Set})$ .

preprint2020arXiv

Pretorsion theories in general categories

We present a setting for the study of torsion theories in general categories. The idea is to associate, with any pair ( $\mathcal T$ , $\mathcal F$ ) of full replete subcategories in a category $\mathcal C$ , the corresponding full subcategory $\mathcal Z = \mathcal T \cap \mathcal F$ of \emph{trivial objects} in $\mathcal C$ . The morphisms which factor through $\mathcal Z$ are called $\mathcal Z$ -trivial, and these form an ideal of morphisms, with respect to which one can define $\mathcal Z$ -prekernels, $\mathcal Z$ -precokernels, and short $\mathcal Z$ -preexact sequences. This naturally leads to the notion of pretorsion theory, which is the object of study of this article, and includes the classical one in the abelian context when $\mathcal Z$ is reduced to the $0$ -object of $\mathcal C$ . We study the basic properties of pretorsion theories, and examine some new examples in the category of all endomappings of finite sets and in the category of preordered sets.

preprint2012arXiv

The constructible topology on spaces of valuation domains

We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on an {\sl arbitrary spectral space} and we observe that this topology coincides with the constructible topology. If $K$ is a field and $A$ a subring of $K$ , we show that the space Zar $(K|A)$ of all valuation domains, having $K$ as quotient field and containing $A$ , (endowed with the Zariski topology) is a spectral space by giving in this general setting the explicit construction of a ring whose Zariski spectrum is homeomorphic to Zar $(K|A)$ . We extend results regarding spectral topologies on the spaces of all valuation domains and apply the theory developed to study representations of integrally closed domains as intersections of valuation overrings. As a very particular case, we prove that two collections of valuation domains of $K$ with the same ultrafilter closure represent, as an intersection, the same integrally closed domain.

preprint2010arXiv

Properties of chains of prime ideals in an amalgamated algebra along an ideal

Let $f:A \to B$ be a ring homomorphism and let $J$ be an ideal of $B$ . In this paper, we study the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by ${A\Join^fJ}$ ), a construction that provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced and studied by D'Anna and Fontana in 2007, and other classical constructions (such as the $A+ XB[X]$ , the $A+ XB[[X]]$ and the $D+M$ constructions). In particular, we completely describe the prime spectrum of the amalgamated duplication and we give bounds for its Krull dimension.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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