4.3.4 (NRD)R，(NRD)D，NRDの同型性
一般に (ND)R と(NR)D が同型であることから，((NR)D)R と((NR)R)D は同型。一方，(NR)R とNR の同型は，((NR)R)D と(NR)D の同型を導く。結局，((NR)D)R と(NR)D は同型。
(ND)R と(NR)D の同型は，((ND)R)D と((NR)D)Dの同型を導く。一方，一般に (ND)D とND が同型だから，((NR)D)D と(NR)D は同型。結局，((ND)R)D と(NR)D は同型。
学校数学では，
のような等式変形が導入されるが，これの第一項は ((
D)R)D の要素，第二項は (D)R の要素，そして第三項は (R)D の要素である。