 
Summary: Homology of zerodivisors
Reza Akhtar and Lucas Lee
Abstract
Let R be a commutative ring with unity. We define a semisimplicial abelian
group based on the structure of the semigroup of ideals of R and investigate
various properties of the homology groups of the associated chain complex.
1 Introduction
Let R be a commutative ring with unity. The set Z(R) of zerodivisors in a ring does
not possess any obvious algebraic structure; consequently, the study of this set has
often involved techniques and ideas from outside algebra. Several recent attempts,
among them [2], [3] have focused on studying the socalled zerodivisor graph #R ,
whose vertices are the zerodivisors of R, with xy being an edge if and only if xy = 0.
This object #R is somewhat unwieldy in that it has many symmetries; for example,
if u # R # is any unit, then x ## ux induces a (graph) automorphism of #R . One
way of treating this issue  following an idea of Lauve [5]  is to work with the
ideal zerodivisor graph IR . In e#ect, one replaces zerodivisors of R by proper ideals
with nonzero annihilator; this is the approach adopted by the authors in [1]. Such a
perspective also has its shortcomings; for instance, it does not adequately detect the
phenomenon of there being three distinct proper ideals I, J, K in R with IJK = 0,
but IJ #= 0, IK #= 0, JK #= 0.
