Führt man ausgehend vom Schema

  M E
  E

Spalten- und Zeilentransformationen aus, bis man ein Tableau der Form

  D R
  S

erhält, so gilt: D = R M S.



Chinesischer Restsatz: Hat man 1 = ma + nb, so sind

    R/(a) + R/(b) --> R/(ab)
    ([x], [y])    |-> [bx + ay]

    R/(ab) --> R/(a) + R/(b)
    [z]    |-> ([nz], [mz])

zueinander inverse Isomorphismen von R-Moduln.
Genauso möglich sind:

    R/(a) + R/(b) --> R/(ab)
    ([x], [y])    |-> [xbn + yam]

    R/(ab) --> R/(a) + R/(b)
    [z]    |-> ([z], [z])