20/09/16 07:36:09.21 eQpB/idh.net
>>411 戻る
>正方行列から非可逆元をなくせば体を成す！
”正方行列から非可逆元をなくせば一般線型群GL(n, F)を成す”でどう
下記一般線型群
定義：行列式がゼロでない行列全体と言い換えてもよい
よって、一般線型群：「正方行列から非可逆元をなくせば一般線型群を成す」で宜しいかなｗ
行列式がゼロか ゼロでないかで、
可逆行列（下記）か 不可逆行列＝零因子の行列か が決まるよ
なお、下記行列群の記述では、
”行列群 (matrix group) は指定された体 K上の可逆行列からなる群 G で”とある通り
”可逆行列”という用語を使っていて、「正則行列」は使っていない
それで、十分に分かる
そして、群の文脈では、”可逆行列”の”可逆”は当たり前
言わずもがな。それで揚げ足を取ったつもりとは笑止（＾＾；
それよか、群の文脈で（行列の）”零因子”を指摘したのに、意図を理解できず
怒り出して(>>367)「零因子の話なんかまったくしてないぞ」というのです、おサルさん
揚げ足を取ったつもりで、自分が揚げ足取られて
すってんころりん高転び。おサルの無知に笑えたな～（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
一般線型群
定義
n 次正方行列全体 Mn(F) のうち正則な行列全体が行列の積に関してな