20/09/16 17:47:40.65 Z56pvYB4.net
>>438
＞一般線型群
＞定義：
＞n 次正方行列全体 Mn(F) のうち正則な行列全体が
＞行列の積に関してなす群のことを一般線型群という
肝心の「正則」の定義がないね
正則＝可逆かい？
結構だけど、それだと、
どういう場合に可逆になるか
明らかでないね
＞行列式がゼロでない行列全体と言い換えてもよい
言い換えてもよい、というより、
言い換える必要があるよね
「行列式がゼロでない」が唯一の答えではないけどね
「行列のランクがｎ」でもいいよ
少なくとも確実に判定できる条件を示さないと
数学的な意味がないよね
で、◆yH25M02vWFhP君さあ
「ｎ次正方行列Ｍの行列式がゼロでないのは
行列のランクがｎとなるとき、そのときに限る」
んだが、証明できるかい？