Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.24120

Derivations of the idealization of the incidence module over the finitary incidence algebra

Érica Zancanella Fornaroli·Roger Emanuel Moraes Pezzott
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $R$ be a unital commutative ring and $X$ a partially ordered set. Let $FI(X,R)$ and $I(X,R)$ be the finitary incidence algebra and the incidence module of $X$ over $R$, respectively, and let $D(X,R)=FI(X,R)\oplus I(X,R)$ be the idealization of the $FI(X,R)$-bimodule $I(X,R)$. We give a description of the Lie algebra of derivations of $D(X,R)$ and also provide some necessary or sufficient conditions on $R$ and $X$ for the description of this Lie algebra to be simpler.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Érica Zancanella Fornaroli, Roger Emanuel Moraes Pezzott. 2026-10-16. Derivations of the idealization of the incidence module over the finitary incidence algebra. https://arxiv.org/abs/2610.24120

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Special identities of nonsymmetric bicommutative operations in associative algebra with an operator

Let $A$ be an associative non-unital algebra with a linear operator $S$ satisfying \[aS(S(b)c)=S(aS(b))c,\] and define $a\prec b=aS(b)$ and $a\succ b=S(a)b$. We determine the special identities of these two operations. If $K_n$ is the arity-$n$ kernel of the corresponding operad morphism and $D_n$ is the space of consequences of smaller-arity kernel elements, then for every $n\geq8$ the quotient $K_n/D_n$ has dimension $n-2$. A basis is given by the classes of $F_{n-2}$, $ρF_{n-2}$, $G_{n-3}$, $ρG_{n-3}$, $J_{n-4}$, $ρJ_{n-4}$ and $H_{p,n-p-1}$, $4\leq p\leq n-5$. The upper bound is proved by a direct reduction of singleton sectors, using pure normalization, rigid boundary contraction and the four-singleton corner. The lower bound is obtained from coefficient functionals and a corner projection. In particular, new independent special identities occur in every arity $n\geq8$, and the operadic kernel is not finitely generated.

math.RA↗
arXiv2026

Linear algebra over T-pairs

This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique factorization of polynomials, multiplicativity of determinants, and the characteristic polynomial of a matrix, all fail. (In fact in the max-plus algebra, the sum of two nonzero elements is never zero!) Consequently 0 is replaced by a distinguished T-submodule $ A_0$ of $ A,$ and $( A, A_0)$ is called a ``pair.'' This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. We turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent. At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix.

math.RA↗
arXiv2026

A monoid-theoretical approach to infinite direct-sum decompositions of modules

Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $κ$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $κ$-indexed direct sums, and study the resulting $κ$-monoid $V^κ(\mathcal C)$. The braiding-property and an equivalent universal property, allow us to show: if every module in $\mathcal C$ is a direct sum of at most $κ$ many modules generated by strictly fewer than $λ$ many elements, then all relations on $V^κ(\mathcal C)$ are induced by relations between direct sums indexed by sets of cardinality strictly less than $λ$. A theorem of Kaplansky states that every projective module is a direct sum of countably generated modules. We show that also all relations between infinite direct sums of projective modules are induced from those between countable direct sums of countably generated projective modules. If every projective module over a ring $R$ is a direct sum of finitely generated projective modules, then the monoid of finitely generated projective modules $V(R)$ completely determines the $κ$-monoid $V^κ(R)$. Together with the realization result of Bergman and Dicks, this characterizes the $κ$-monoids appearing as $V^κ(R)$ for a hereditary ring. In general, the $\aleph_0$-monoid $V^{\aleph_0}(R)$ fully determines $V^κ(R)$. Herbera and Příhoda's characterization of monoids of countably generated projective modules $V^*(R)$ over semilocal noetherian rings, yields a characterization of $V^κ(R)$ for these rings. We also characterize two-generated $\aleph_0$-monoids that appear as $V^{\aleph_0}(R)$ for hereditary rings $R$.

math.RA↗