23/04/02 18:25:46.62 MWc2ll13.net
>>876
> Ax = 0 で非自明なベクトル解xをもつ
> ↓（非自明なベクトルxを使って）
> 非自明な行列Xが構成できて、AX＝Ｏとできる
> 逆に
> 非自明な行列XでAX＝Ｏ成立なら
> ↓（非自明な行列Xを使って）
> Ax = 0 なる非自明なベクトル解xが構成できる
> だから、両者は同値で、
それは>>874にも書いた通り、全く否定してない
つまり、上記は全く無駄な文章
> ”Ax = 0 で非自明なベクトル解x”の存在は、
>行列が零因子であることの定義に使えるね！
おかしい
零因子は環の用語
任意の環の要素がベクトル間の線形写像というわけではない
したがって、零因子という言葉の定義として
行列に限定した条件
「Ax = 0 なる非自明なベクトル解xが存在する」
を使うことはできない