Researcher profile

Alberto Facchini

Alberto Facchini contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

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

9 published item(s)

preprint2023arXiv

Pre-Lie algebras, their multiplicative lattice, and idempotent endomorphisms

We introduce the notions of pre-morphism and pre-derivation for arbitrary non-associative algebras over a commutative ring $k$ with identity. These notions are applied to the study of pre-Lie $k$-algebras and, more generally, Lie-admissible $k$-algebras. Associating with any algebra $(A,\cdot)$ its sub-adjacent anticommutative algebra $(A,[-,-])$ is a functor from the category of $k$-algebras with pre-morphisms to the category of anticommutative $k$-algebras. We describe the commutator of two ideals of a pre-Lie algebra, showing that the condition (Huq=Smith) holds for pre-Lie algebras. This allows to make use of all the notions concerning multiplicative lattices in the study of the multiplicative lattice of ideals of a pre-Lie algebra. We study idempotent endomorphisms of a pre-Lie algebra $L$, i.e., semidirect-product decompositions of $L$ and bimodules over $L$.

preprint2022arXiv

Algebraic structures from the point of view of complete multiplicative lattices

General results on multiplicative lattices found recently by Facchini, Finocchiaro and Janelidze have been studied in the particular case of groups by Facchini, de Giovanni and Trombetti. In this paper we prove that these results hold not only for the multiplicative lattices of all normal subgroups of a group, but also for much more general multiplicative lattices. Therefore they can be applied to other algebraic structures, for instance to braces.

preprint2022arXiv

Aspects of the Category SKB of Skew Braces

We examine the pointed protomodular category SKB of left skew braces. We study the notion of commutator of ideals in a left skew brace. Notice that in the literature, "product" of ideals of skew braces is often considered. We show that Huq=Smith for left skew braces. Finally, we give a set of generators for the commutator of two ideals, and prove that every ideal of a left skew brace has a centralizer.

preprint2022arXiv

Multiplicative lattices: maximal implies prime and related questions

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.

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

Covering classes and uniserial modules

We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We prove that if $U_R$ is either finitely generated, or artinian, or $I \subset K$, then the class Add$(U_R)$ is covering if and only if it is closed under direct limit. Moreover, we study endomorphism rings of artinian uniserial modules giving several examples.

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.

preprint2019arXiv

What is the spectral category?

For a category $\mathcal{C}$ with finite limits and a class $\mathcal{S}$ of monomorphisms in $\mathcal{C}$ that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we use pullback stable $\mathcal{S}$-essential monomorphisms in $\mathcal{C}$ to construct a spectral category $\mathrm{Spec}(\mathcal{C},\mathcal{S})$. We show that it has finite limits and that the canonical functor $\mathcal{C}\to \mathrm{Spec}(\mathcal{C},\mathcal{S})$ preserves finite limits. When $\mathcal{C}$ is a normal category, assuming for simplicity that $\mathcal{S}$ is the class of all monomorphisms in $\mathcal{C}$, we show that pullback stable $\mathcal{S}$-essential monomorphisms are the same as what we call subobject-essential monomorphisms.