חוג מטריצות – הבדלי גרסאות

*<math>e_{ij} e_{k \ell} = \delta_{jk} e_{i\ell}</math>,

*<math>e_{11}+\cdots +e_{nn} = I</math>, כאשר <math>I </math> הוא [[איבר יחידה|איבר היחידה]] של חוג המטריצות.

 

למעשה, כל חוג <math>T</math> שיש בו מערכת של יחידות מטריצות <math>\{\epsilon_{ij}\}_{i,j=1}^n</math>, איזומורפי לחוג מטריצות מעל תת-החוג (בלי יחידה) <math>R=\epsilon_{11} T \epsilon_{11}</math>. האיזומורפיזם הוא <math>t \mapsto \sum_{i=1}^{n} {(\epsilon_{1i}t\epsilon_{j1})e_{ij}}</math>.