23/04/05 12:01:22.87 joMjBMfa.net
>>911
ありがとう
> 900の「正則行列の集合は体にならない.」など。
下記の雪江 用語の問題ですね
（用語の問題を整理することは意味があると思うので、調べて書いておきます）
１）まずこの話は、>>890 「行列Aすべてが積の逆元を持つように、正則行列の集合を考えれば（非可換）体になるけれど」から始まっている
そして、>>895「こういう文章は書いてはいけないと 数学科では指導される」だった
確かに、雑な文章ではある
二つ問題があると思う。
i)零行列は逆元を持たないのに除外していない
ii)"（非可換）体"という用語が適切か
２）下記の雪江 用語の問題では、「可除環」(Division ring)を使うという
３）ja.wikipedia 体 (数学) （ここに用語の一覧表があり参考になる）では、非可換を含む立場（上記”（非可換）体”に同じ）
４）そして、fr.wikipedia Corps (mathematiques) 仏語 も上記の体 (数学) と同じ立場（非可換を含むもあり）
５）一方、英(en.wikipedia) Field、独 Korper (Algebra)は、積のアーベル（abelian）を要求する立場ですね
纏めると、”零要素が逆元を持たない”は、数学科生は意識しておくべきはその通りです
用語”体”が、いま2023年の日本の数学科で、積のアーベルを要求するかどうか？ 多分、下記雪江の通りと思います（米国の影響か）
しかし、下記仏Corps (mathematiques) みたいなのもあるということは(仏は米に服さないの気概？)、ちょっと知っておくのも良いと思います
つづく