>>411 戻る
>正方行列から非可逆元をなくせば体を成す！　

”正方行列から非可逆元をなくせば一般線型群GL(n, F)を成す”でどう

下記一般線型群
定義：行列式がゼロでない行列全体と言い換えてもよい

よって、一般線型群：「正方行列から非可逆元をなくせば一般線型群を成す」で宜しいかなｗ
行列式がゼロか ゼロでないかで、
可逆行列（下記）か 不可逆行列＝零因子の行列か が決まるよ

なお、下記行列群の記述では、
”行列群 (matrix group) は指定された体 K上の可逆行列からなる群 G で”とある通り
”可逆行列”という用語を使っていて、「正則行列」は使っていない

それで、十分に分かる
そして、群の文脈では、”可逆行列”の”可逆”は当たり前
言わずもがな。それで揚げ足を取ったつもりとは笑止（＾＾；

それよか、群の文脈で（行列の）”零因子”を指摘したのに、意図を理解できず
怒り出して(>>367)「零因子の話なんかまったくしてないぞ」というのです、おサルさん

揚げ足を取ったつもりで、自分が揚げ足取られて
すってんころりん高転び。おサルの無知に笑えたな〜（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E4%B8%80%E8%88%AC%E7%B7%9A%E5%9E%8B%E7%BE%A4
一般線型群
定義
n 次正方行列全体 Mn(F) のうち正則な行列全体が行列の積に関してなす群のことを一般線型群ということも多い
この場合には GLn(F) または GL(n, F) と表す
行列式がゼロでない行列全体と言い換えてもよい

つづく