Kronecker-Delta Symbol

Sei \(I\) eine Indexmenge mit \(i,j \in I\) und ein Ring \(R\) mit Nullelement \(0^R\) und Einselement \(1^R\).
Dann ist das Kronecker-Delta definiert als

\begin{align*} n \times n \rightarrow \delta_{ij} =& \begin{cases} 1^R & \mbox{if } i = j \\ 0^R & \mbox{else } \\ \end{cases} \end{align*}