Showing 1–28 of 28 results for author: Finocchiaro, C

On bi-amalgamated constructions

Authors: Federico Campanini, Carmelo Antonio Finocchiaro

Abstract: Let $f:A\longrightarrow B, g:A\longrightarrow C$ be ring homomorphisms and let $\mathfrak{b}$ (resp., $\mathfrak{c}$) be an ideal of $B$ (resp., $C$) satisfying $f^{-1}(\mathfrak{b})=g^{-1}(\mathfrak{c})$. Recently Kabbaj, Louartiti and Tamekkante defined and studied the following subring… ▽ More Let $f:A\longrightarrow B, g:A\longrightarrow C$ be ring homomorphisms and let $\mathfrak{b}$ (resp., $\mathfrak{c}$) be an ideal of $B$ (resp., $C$) satisfying $f^{-1}(\mathfrak{b})=g^{-1}(\mathfrak{c})$. Recently Kabbaj, Louartiti and Tamekkante defined and studied the following subring $$A\bowtie^{f,g}(\mathfrak{b},\mathfrak{c}) :=\{(f(a)+b, g(a)+c)\mid a\in A, b\in\mathfrak{b}, c\in \mathfrak{c} \}$$ of $B\times C$, called the bi-amalgamation of $A$ with $(B,C)$ along $(\mathfrak{b}, \mathfrak{c})$, with respect to $(f,g)$. This ring construction is a natural generalization of the amalgamated algebras, introduced and studied by D'Anna, Finocchiaro and Fontana. The aim of this paper is to continue the investigation started by Kabbaj, Louartiti and Tamekkante, by providing a deeper insigt on the ideal-theoretic structure of bi-amalgamations. △ Less

Submitted 29 March, 2024; originally announced March 2024.

Journal ref: J. Algebra Appl. 18 No.08 (2019), 1950148, 16 pp

Some remarks on Prüfer rings with zero-divisors

Authors: Federico Campanini, Carmelo Antonio Finocchiaro

Abstract: Let $A$ be the fiber product $R\times_TB$, where $B\to T$ is a surjective ring homomorphism with regular kernel and $R\subseteq T$ is a ring extension where $T$ is an overring of $R$. In this paper we provide a characterization of when $A$ has distinguished Prüfer-like properties and new constructions of Prüfer rings with zero-divisors. Furthermore we give examples of homomorphic images of Prüfer… ▽ More Let $A$ be the fiber product $R\times_TB$, where $B\to T$ is a surjective ring homomorphism with regular kernel and $R\subseteq T$ is a ring extension where $T$ is an overring of $R$. In this paper we provide a characterization of when $A$ has distinguished Prüfer-like properties and new constructions of Prüfer rings with zero-divisors. Furthermore we give examples of homomorphic images of Prüfer rings that are Prüfer without assuming that the kernel of the surjection is regular. Finally we provide some remarks on the ideal theory of pre-Prüfer rings. △ Less

Submitted 29 March, 2024; originally announced March 2024.

Journal ref: J. Pure Appl. Algebra 225 (9) (2021)

Distinguished classes of ideal spaces and their topological properties

Authors: Carmelo A. Finocchiaro, Amartya Goswami, Dario Spirito

Abstract: We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them. We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them. △ Less

Submitted 20 August, 2024; v1 submitted 26 September, 2022; originally announced September 2022.

Journal ref: Communications in Algebra 51(4)(2023) 1752-1760

Multiplicative lattices: maximal implies prime and related questions

Authors: Alberto Facchini, Carmelo Antonio Finocchiaro

Abstract: The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among them the case of commutative rings with identity). This result is used to study the lattice theoretic counterpart of multiplicative closed sets, that of m-syst… ▽ More The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among them the case of commutative rings with identity). This result is used to study the lattice theoretic counterpart of multiplicative closed sets, that of m-systems. The notion of m-system is also studied from the topological point of view. △ Less

Submitted 9 July, 2022; originally announced July 2022.

MSC Class: 06B23; 06B99; 13A15; 16D25

Abstractly constructed prime spectra

Authors: Alberto Facchini, Carmelo Antonio Finocchiaro, George Janelidze

Abstract: The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract comple… ▽ More The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract complete lattice $L$ equipped with binary multiplication with $xy\leqslant x\wedge y$ for all $x,y\in L$. In fact when no further conditions on $L$ are required, the resulting space can be and is only shown to be sober, and we discuss further conditions sufficient to make it spectral. This discussion involves establishing various comparison theorems on so-called prime, radical, solvable, and locally solvable elements of $L$; we also make short additional remarks on semiprime elements. We consider categorical and universal-algebraic applications involving general theory of commutators, and an application to ideals in what we call the commutative world. The cases of groups and of non-commutative rings are briefly considered separately. △ Less

Submitted 30 November, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

MSC Class: 06F99; 13A15; 14A05; 06D05; 16Y60; 20M12; 16D25; 18E13; 06D22; 54D30; 08A30; 08B99; 08B10; 16Y30

Prime ideals in infinite products of commutative rings

Authors: Carmelo A. Finocchiaro, Sophie Frisch, Daniel Windisch

Abstract: We describe the prime ideals and, in particular, the maximal ideals in products $R = \prod D_λ$ of families $(D_λ)_{λ\in Λ}$ of commutative rings. We show that every maximal ideal is induced by an ultrafilter on the Boolean algebra $\prod \mathcal{P}(\max(D_λ))$, where $\max(D_λ)$ is the spectrum of maximal ideals of $D_λ$, and $\mathcal{P}$ denotes the power set. If every $D_λ$ is in a certain cl… ▽ More We describe the prime ideals and, in particular, the maximal ideals in products $R = \prod D_λ$ of families $(D_λ)_{λ\in Λ}$ of commutative rings. We show that every maximal ideal is induced by an ultrafilter on the Boolean algebra $\prod \mathcal{P}(\max(D_λ))$, where $\max(D_λ)$ is the spectrum of maximal ideals of $D_λ$, and $\mathcal{P}$ denotes the power set. If every $D_λ$ is in a certain class of rings including finite character domains and one-dimensional domains, we completely characterize the maximal ideals of $R$. If every $D_λ$ is a Prüfer domain, we completely characterize all prime ideals of $R$. △ Less

Submitted 24 August, 2023; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: to appear in Communications in Contemporary Mathematics

MSC Class: 13A15; 13C13; 13F05

A new Galois structure in the category of internal preorders

Authors: Alberto Facchini, Carmelo Finocchiaro, Marino Gran

Abstract: 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… ▽ More 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})$. △ Less

Submitted 6 March, 2020; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 24 pages, minor corrections

MSC Class: 18E10; 18A40; 18A32; 18E40; 06A15

Journal ref: Theory and Applications of Categories, Vol. 35, 2020, No. 11, 326-349

Pretorsion theories in general categories

Authors: Alberto Facchini, Carmelo Finocchiaro, Marino Gran

Abstract: 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$-tri… ▽ More 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. △ Less

Submitted 21 July, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 22 pages

MSC Class: 18E40; 18D20; 17A65; 13D30

Journal ref: Journal of Pure and Applied Algebra Volume 225, Issue 2, 2021, 106503

Suprema in spectral spaces and the constructible closure

Authors: Carmelo Antonio Finocchiaro, Dario Spirito

Abstract: Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the supremum of a set $Y\subseteq X$ exists and belongs to the constructible closure of $Y$. We apply such results to algebraic lattices of sets and to closure operations… ▽ More Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the supremum of a set $Y\subseteq X$ exists and belongs to the constructible closure of $Y$. We apply such results to algebraic lattices of sets and to closure operations on them, proving density properties of some distinguished spaces of rings and ideals. Furthermore, we provide topological characterizations of some class of domains in terms of topological properties of their ideals. △ Less

Submitted 26 November, 2019; v1 submitted 17 June, 2019; originally announced June 2019.

Pretorsion theories, stable category and preordered sets

Authors: Alberto Facchini, Carmelo Finocchiaro

Abstract: We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects. Correspondingly, it is possible to construct a stable category factoring out the objects that are both torsion and torsion-free. We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects. Correspondingly, it is possible to construct a stable category factoring out the objects that are both torsion and torsion-free. △ Less

Submitted 14 February, 2019; originally announced February 2019.

MSC Class: 06A06; 06A11

The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications

Authors: Carmelo A. Finocchiaro, Marco Fontana, Dario Spirito

Abstract: Given an arbitrary spectral space $X$, we consider the set ${\boldsymbol{\mathcal{X}}}(X)$ of all nonempty subsets of $X$ that are closed with respect to the inverse topology. We introduce a Zariski-like topology on ${\boldsymbol{\mathcal{X}}}(X)$ and, after observing that it coincides the upper Vietoris topology, we prove that ${\boldsymbol{\mathcal{X}}}(X)$ is itself a spectral space, that this… ▽ More Given an arbitrary spectral space $X$, we consider the set ${\boldsymbol{\mathcal{X}}}(X)$ of all nonempty subsets of $X$ that are closed with respect to the inverse topology. We introduce a Zariski-like topology on ${\boldsymbol{\mathcal{X}}}(X)$ and, after observing that it coincides the upper Vietoris topology, we prove that ${\boldsymbol{\mathcal{X}}}(X)$ is itself a spectral space, that this construction is functorial, and that ${\boldsymbol{\mathcal{X}}}(X)$ provides an extension of $X$ in a more `complete' spectral space. Among the applications, we show that, starting from an integral domain $D$, ${\boldsymbol{\mathcal{X}}}(\mathrm{Spec}(D))$ is homeomorphic to the (spectral) space of all the stable semistar operations of finite type on $D$. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: to apper in the Rocky Mountain J. Math

MSC Class: 13A10; 13A15; 13B10; 13G05; 14A05; 54A10; 54F65

Topological properties of semigroup primes of a commutative ring

Authors: Carmelo A. Finocchiaro, Marco Fontana, Dario Spirito

Abstract: A semigroup prime of a commutative ring $R$ is a prime ideal of the semigroup $(R,\cdot)$. One of the purposes of this paper is to study, from a topological point of view, the space $\scal(R)$ of prime semigroups of $R$. We show that, under a natural topology introduced by B. Olberding in 2010, $\scal(R)$ is a spectral space (after Hochster), spectral extension of $\Spec(R)$, and that the assignme… ▽ More A semigroup prime of a commutative ring $R$ is a prime ideal of the semigroup $(R,\cdot)$. One of the purposes of this paper is to study, from a topological point of view, the space $\scal(R)$ of prime semigroups of $R$. We show that, under a natural topology introduced by B. Olberding in 2010, $\scal(R)$ is a spectral space (after Hochster), spectral extension of $\Spec(R)$, and that the assignment $R\mapsto\scal(R)$ induces a contravariant functor. We then relate -- in the case $R$ is an integral domain -- the topology on $\scal(R)$ with the Zariski topology on the set of overrings of $R$. Furthermore, we investigate the relationship between $\scal(R)$ and the space $\boldsymbol{\mathcal{X}}(R)$ consisting of all nonempty inverse-closed subspaces of $\spec(R)$, which has been introduced and studied in C.A. Finocchiaro, M. Fontana and D. Spirito, "The space of inverse-closed subsets of a spectral space is spectral" (submitted). In this context, we show that $\scal( R)$ is a spectral retract of $\boldsymbol{\mathcal{X}}(R)$ and we characterize when $\scal( R)$ is canonically homeomorphic to $\boldsymbol{\mathcal{X}}(R)$, both in general and when $\spec(R)$ is a Noetherian space. In particular, we obtain that, when $R$ is a Bézout domain, $\scal( R)$ is canonically homeomorphic both to $\boldsymbol{\mathcal{X}}(R)$ and to the space $\overr(R)$ of the overrings of $R$ (endowed with the Zariski topology). Finally, we compare the space $\boldsymbol{\mathcal{X}}(R)$ with the space $\scal(R(T))$ of semigroup primes of the Nagata ring $R(T)$, providing a canonical spectral embedding $\xcal(R)\hookrightarrow\scal(R(T))$ which makes $\xcal(R)$ a spectral retract of $\scal(R(T))$. △ Less

Submitted 29 March, 2017; originally announced March 2017.

Comments: 21 pages

MSC Class: 13A15; 13G05; 13B10; 13C11; 13F05; 14A05; 54A10

Invertibility of ideals in Prufer extensions

Authors: Carmelo Antonio Finocchiaro, Francesca Tartarone

Abstract: Using the general approach to invertibility for ideals in ring extensions given by Knebush-Zhang, we investigate about connections between faithfully flatness and invertibility for ideals in rings with zero divisors. Using the general approach to invertibility for ideals in ring extensions given by Knebush-Zhang, we investigate about connections between faithfully flatness and invertibility for ideals in rings with zero divisors. △ Less

Submitted 26 December, 2016; originally announced December 2016.

Comments: To appear in Comm. Algebra

A topological version of Hilbert's Nullstellensatz

Authors: Carmelo A. Finocchiaro, Marco Fontana, Dario Spirito

Abstract: We prove that the space of radical ideals of a ring $R$, endowed with the hull-kernel topology, is a spectral space, and that it is canonically homeomorphic to the space of the nonempty Zariski closed subspaces of Spec$(R)$, endowed with a Zariski-like topology. We prove that the space of radical ideals of a ring $R$, endowed with the hull-kernel topology, is a spectral space, and that it is canonically homeomorphic to the space of the nonempty Zariski closed subspaces of Spec$(R)$, endowed with a Zariski-like topology. △ Less

Submitted 10 May, 2016; originally announced May 2016.

Comments: J. Algebra (to appear)

MSC Class: 13A10; 13A15; 13G05; 13B10; 13E99; 14A05

Spectral spaces of semistar operations

Authors: Carmelo A. Finocchiaro, Marco Fontana, Dario Spirito

Abstract: We investigate, from a topological point of view, the classes of spectral semistar operations and of eab semistar operations, following methods recently introduced by Finocchiaro and Finocchiaro-Spirito in \cite{Fi, FiSp}. We show that, in both cases, the subspaces of finite type operations are spectral spaces in the sense of Hochster and, moreover, that there is a distinguished class of overrings… ▽ More We investigate, from a topological point of view, the classes of spectral semistar operations and of eab semistar operations, following methods recently introduced by Finocchiaro and Finocchiaro-Spirito in \cite{Fi, FiSp}. We show that, in both cases, the subspaces of finite type operations are spectral spaces in the sense of Hochster and, moreover, that there is a distinguished class of overrings strictly connected to each of the two types of collections of semistar operations. We also prove that the space of stable semistar operations is homeomorphic to the space of Gabriel-Popescu localizing systems, endowed with a Zariski-like topology, extending to the topological level a result established by Fontana-Huckaba in \cite{fohu}. As a side effect, we obtain that the space of localizing systems of finite type is also a spectral space. Finally, we show that the Zariski topology on the set of semistar operations is the same as the $b$-topology defined recently by B. Olberding \cite{ol, olb_noeth}. △ Less

Submitted 14 January, 2016; originally announced January 2016.

Comments: 18 pages. Comments welcome

MSC Class: 13A15; 13G05; 13B10; 13E99; 13C11; 14A05

New distinguished classes of spectral spaces: a survey

Authors: Carmelo A. Finocchiaro, Marco Fontana, Dario Spirito

Abstract: In the present survey paper, we present several new classes of Hochster's spectral spaces "occurring in nature", actually in multiplicative ideal theory, and not linked to or realized in an explicit way by prime spectra of rings. The general setting is the space of the semistar operations (of finite type), endowed with a Zariski-like topology, which turns out to be a natural topological extension… ▽ More In the present survey paper, we present several new classes of Hochster's spectral spaces "occurring in nature", actually in multiplicative ideal theory, and not linked to or realized in an explicit way by prime spectra of rings. The general setting is the space of the semistar operations (of finite type), endowed with a Zariski-like topology, which turns out to be a natural topological extension of the space of the overrings of an integral domain, endowed with a topology introduced by Zariski. One of the key tool is a recent characterization of spectral spaces, based on the ultrafilter topology, given in a paper by C. Finocchiaro in Comm. Algebra 2014. Several applications are also discussed. △ Less

Submitted 15 October, 2015; originally announced October 2015.

MSC Class: 13A15; 13G05; 13B10; 13E99; 13C11; 14A05

Approximation by Spline Curves: towards an Application to Cognitive Neuroscience

Authors: Maria-Laura Torrente, Stefano Anzellotti, Chiara Finocchiaro, Claudio Fontanari

Abstract: We present a procedure to approximate a plane contour by piecewise polynomial functions, depending on various parameters, such as degree, number of local patches, selection of knots. This procedure aims to be adopted to study how information about shape is represented. We present a procedure to approximate a plane contour by piecewise polynomial functions, depending on various parameters, such as degree, number of local patches, selection of knots. This procedure aims to be adopted to study how information about shape is represented. △ Less

Submitted 14 July, 2015; originally announced July 2015.

On a topological characterization of prüfer v-multiplication domains among essential domains

Authors: C. A. Finocchiaro, F. Tartarone

Abstract: In this paper we characterize the Prüfer v-multiplication domain as a class of essential domains verifying an additional property on the closure of some families of prime ideals, with respect to the constructible topology. In this paper we characterize the Prüfer v-multiplication domain as a class of essential domains verifying an additional property on the closure of some families of prime ideals, with respect to the constructible topology. △ Less

Submitted 15 October, 2014; originally announced October 2014.

MSC Class: Primary: 13A15; 13A18; 13F05; 54A20. 1

Some topological considerations on semistar operations

Authors: C. A. Finocchiaro, D. Spirito

Abstract: We consider properties and applications of a new topology, called the Zariski topology, on the space ${\rm SStar}(A)$ of all the semistar operations on an integral domain $A$. We prove that the set of all overrings of $A$, endowed with the classical Zariski topology, is homeomorphic to a subspace of ${\rm SStar}(A)$. The topology on ${\rm SStar}(A)$ provides a general theory, through which we see… ▽ More We consider properties and applications of a new topology, called the Zariski topology, on the space ${\rm SStar}(A)$ of all the semistar operations on an integral domain $A$. We prove that the set of all overrings of $A$, endowed with the classical Zariski topology, is homeomorphic to a subspace of ${\rm SStar}(A)$. The topology on ${\rm SStar}(A)$ provides a general theory, through which we see several algebraic properties of semistar operation as very particular cases of our construction. Moreover, we show that the subspace ${\rm SStar}_f(A)$ of all the semistar operations of finite type on $A$ is a spectral space. △ Less

Submitted 14 April, 2014; originally announced April 2014.

Comments: 17 pages. To appear in J. Algebra

MSC Class: 13A15; 13F30

Algebraic and topological properties of an amalgamated algebra along an ideal

Authors: Marco D'Anna, Carmelo Antonio Finocchiaro, Marco Fontana

Abstract: Let $f:A \rightarrow 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$, a construction that provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced by D'Anna and Fontana in 2007, and other classical constructions (such as the $A+ XB[X]$, the… ▽ More Let $f:A \rightarrow 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$, a construction that provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced 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 amalgamation and, when it is a local Noetherian ring, we study its embedding dimension and when it turns to be a Cohen-Macaulay ring or a Gorenstein ring. △ Less

Submitted 22 June, 2016; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: The present version of the manuscript differs from the previous one for an appendix where we note that Proposition 4.1(2) and Theorem 4.4 hold under the assumption, not explicitly declared, that B=f(A)+J. In the same appendix, we provide the exact value of ${\rm embdim}(A\Join^fJ)$, under the hypothesis that J is finitely generated as an ideal of the ring f(A)+J. Finally, we deleted Example 4.6

Journal ref: Comm. Algebra {\bf 44} (2016), 1836--1851

Spectral spaces and ultrafilters

Authors: Carmelo A. Finocchiaro

Abstract: Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction given in [arXiv:0707.1525] and, starting from a set $X$ and a collection of subsets $\mathcal{F}$ of $X$, we define by using ultrafilters a topology on $X$ in w… ▽ More Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction given in [arXiv:0707.1525] and, starting from a set $X$ and a collection of subsets $\mathcal{F}$ of $X$, we define by using ultrafilters a topology on $X$ in which $\mathcal F$ is a collection of clopen sets. We use this construction for giving a new characterization of spectral spaces and several new examples of spectral spaces. △ Less

Submitted 20 September, 2013; originally announced September 2013.

Comments: 16 pages. To appear in Communications in Algebra

MSC Class: 14A05; 13A99; 54D80

Prüfer-like conditions on an amalgamated algebra along an ideal

Authors: Carmelo A. Finocchiaro

Abstract: Let $f:A\longrightarrow B$ be a ring homomorphism and let $\mathfrak b$ be an ideal of $B$. In this paper we study Prüfer like conditions in the amalgamation of $A$ with $B$ along $\mathfrak b$, with respect to $f$, a ring construction introduced in 2009 by D'Anna, Finocchiaro and Fontana. Let $f:A\longrightarrow B$ be a ring homomorphism and let $\mathfrak b$ be an ideal of $B$. In this paper we study Prüfer like conditions in the amalgamation of $A$ with $B$ along $\mathfrak b$, with respect to $f$, a ring construction introduced in 2009 by D'Anna, Finocchiaro and Fontana. △ Less

Submitted 20 September, 2013; originally announced September 2013.

Comments: 17 pages. To appear in Houston Journal of Mathematics

MSC Class: 13A15; 13F05; 13B30

Some closure operations in Zariski-Riemann spaces of valuation domains: a survey

Authors: Carmelo A. Finocchiaro, Marco Fontana, K. Alan Loper

Abstract: In this survey we present several results concerning various topologies that were introduced in recent years on spaces of valuation domains. In this survey we present several results concerning various topologies that were introduced in recent years on spaces of valuation domains. △ Less

Submitted 19 September, 2013; originally announced September 2013.

The constructible topology on spaces of valuation domains

Authors: Carmelo Finocchiaro, Marco Fontana, K. Alan Loper

Abstract: 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… ▽ More 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. △ Less

Submitted 15 June, 2012; originally announced June 2012.

Comments: to appear in Trans. AMS

Ultrafilter and Constructible topologies on spaces of valuation domains

Authors: Carmelo A. Finocchiaro, Marco Fontana, K. Alan Loper

Abstract: Let $K$ be a field and let $A$ be a subring of $K$. We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on the space Zar$(K|A)$ of all valuation domains having $K$ as quotient field and containing $A$. We show that the ultrafilter topology coincides with the constructible topology on the abstract Riemann-Zariski surface Zar$(K|A)$. We… ▽ More Let $K$ be a field and let $A$ be a subring of $K$. We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on the space Zar$(K|A)$ of all valuation domains having $K$ as quotient field and containing $A$. We show that the ultrafilter topology coincides with the constructible topology on the abstract Riemann-Zariski surface Zar$(K|A)$. We extend results regarding distinguished spectral topologies on spaces of valuation domains. △ Less

Submitted 11 February, 2012; originally announced February 2012.

Comments: Comm. Algebra (accepted for publication)

MSC Class: 13A18; 13F05; 13G05

Star-Invertibility and $t$-finite character in Integral Domains

Authors: Carmelo Antonio Finocchiaro, Giampaolo Picozza, Francesca Tartarone

Abstract: Let $A$ be an integral domain. We study new conditions on families of integral ideals of $A$ in order to get that $A$ is of $t$-finite character (i.e., each nonzero element of $A$ is contained in finitely many $t$-maximal ideals). We also investigate problems connected with the local invertibility of ideals. Let $A$ be an integral domain. We study new conditions on families of integral ideals of $A$ in order to get that $A$ is of $t$-finite character (i.e., each nonzero element of $A$ is contained in finitely many $t$-maximal ideals). We also investigate problems connected with the local invertibility of ideals. △ Less

Submitted 28 January, 2010; originally announced January 2010.

Comments: 16 pages

MSC Class: 13A15; 13F05

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

Authors: Marco D'Anna, Carmelo Finocchiaro, Marco Fontana

Abstract: 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… ▽ More 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. △ Less

Submitted 4 January, 2010; originally announced January 2010.

Comments: J. Pure Appl. Algebra (to appear)

MSC Class: 13A15; 13B99; 14A05

Amalgamated algebras along an ideal

Authors: Marco D'Anna, Carmelo Antonio Finocchiaro, Marco Fontana

Abstract: Let $f:A \to B$ be a ring homomorphism and $J$ an ideal of $B$. In this paper, we initiate a systematic study of a new ring construction called the "amalgamation of $A$ with $B$ along $J$ with respect to $f$". This construction finds its roots in a paper by J.L. Dorroh appeared in 1932 and provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced and… ▽ More Let $f:A \to B$ be a ring homomorphism and $J$ an ideal of $B$. In this paper, we initiate a systematic study of a new ring construction called the "amalgamation of $A$ with $B$ along $J$ with respect to $f$". This construction finds its roots in a paper by J.L. Dorroh appeared in 1932 and 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]$ and $A+ XB[[X]]$ constructions, the CPI-extensions of Boisen and Sheldon, the $D+M$ constructions and the Nagata's idealization. △ Less

Submitted 13 January, 2009; originally announced January 2009.

Comments: Proceedings of the Fifth International Fez Conference on Commutative Algebra and Applications, 2008, W. de Gruyter (accepted for publication)

MSC Class: 13B99; 13E05; 13F20; 14A05