>>823 補足

１）実数Rを成分とするnxn行列 は、行列環を成す
　行列環には、零因子行列が存在し、よって可除環にならない
　零因子行列の行列式の値は０ （積の逆元を持てない）
　零因子行列以外の行列の行列式の値は０でなく、積の逆元を持ち正則行列と呼ばれる
　nxn行列環の中で、正則行列と零因子行列とは互いに補集合の関係
　正則行列の集合は、nxn行列環から零因子行列を除いた集合と理解すれば良い
（正則行列を考えるとき、補集合の零因子行列から考えて行く方が分かり易いことが多い。それが、>>819だ）
２）上記を踏まえて、「零因子行列のことだろ？知っているよ」と、短く応答を返したところ
　『正則行列の条件なら、「零因子行列であること」はアウトですね　いかなる行列が零因子行列か述べる必要がありますから』
　『「０以外の体の元は乗法逆元を持たない」のつもりで「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
　という人がいたので、びつくりでした　；ｐ）

零因子を知らない？
う〜ん、大学レベルの高等代数学が壊滅かも　；ｐ）