23/04/02 08:41:29.70 CtFh/chl.net
>>852 補足追加
(引用開始)
体の元を成分にもつ n 次正方行列 A に対して次は同値である。
1. A は正則行列である(AB=E=BAを満たす n 次正方行列 B が存在する)
4. 一次方程式 Ax = 0 は自明な解しかもたない
5. A の行列式は 0 ではない
(引用終り)
そうですね
そして
”一次方程式 Ax = 0 は自明な解しかもたない”
の否定
”一次方程式 Ax = 0 が非自明な解xを持つ”
が、
Aが零因子であることの定義ですね