>>189-190
>元教授が環上の行列を持ち出したのは
>どっかの誰かの零因子ではないは勿論
>よく言う行列式が零でないも核心ではなく
>実は行列式が単元(可逆元)である事が本質だ
>と言いたかったのかなと考えた

いまごろ
何を見ているのかね? ;p)
下記ですよ
”The determinant of A is a unit in R (one also speaks of a unimodular matrix ).”
ですよ

 >>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 ).

https://ja.wikipedia.org/wiki/%E5%8F%AF%E9%80%86%E5%85%83
可逆元
可逆元(かぎゃくげん、英: invertible element)または単元(たんげん、英: unit)とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。