Definition 2.8.27 (Kronecker delta).  Let R be a ring, S be a set, i, j ∈ S. We define:
δR,i,j := {1R if i = j0R if i ≠ j
References.