だった。これと同じことが、下記だってことだよ (いまさら、1周遅れだよ!w) >>153 より再録 (参考) (独原文は略す) https://de.wikipedia.org/wiki/Regul%C3%A4re_Matrix Reguläre Matrix (google 独→英訳) Equivalent characterizations (Äquivalente Charakterisierungen) Regular matrices over a unitären kommutativen Ring(単位元を持つ可換環?) More general is one (n×n)-Matrix A with entries from a commutative ring with one R invertible if and only if one of the following equivalent conditions is met:
・There is a matrix B with AB=I=BA. ・The determinant of A is a unit in R (one also speaks of a unimodular matrix ).