 
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 effect, 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,
