(再録)
純粋・応用数学(含むガロア理論)3
https://rio2016.5ch.net/test/read.cgi/math/1595166668/370
必死に、失言を誤魔化そうと、他人を攻撃するおサルさん、哀れw
 >>133で、群の例で、非可換のものを挙げてくれと言い出したのは、おサルです

私が、>>134で「折角だから書いておくと、正方行列とか多元数あたりな
群は基本的に非可換だよ」と書いた
(補足説明も、>>134-136に書いてある)

おサルは、何を勘違いしたのか、これを「全ての正方行列が群を成す」と曲解して、騒ぐのです(^^
(”全て”とか、言ってないんだよね、私は。おサルの妄想・幻聴です。
 >>145-146に、(行列による)「群の表現」の話もしている(明らかに「全て」でなく”部分”群も可です))

ほんと、バカですね。正方行列と言っても、これだけでは何も決まっていない。数学では、デフォルトの部分も多い
普通は、nxn次元(nは2以上)の行列だとか、nを固定する
というか、今の場合は、普通にnを固定して、n有限次元で考えますよね(これ(n固定)、デフォルトです)

で、群と言えば、逆元。いろんな代数系で、群は(積の)「逆元の存在が保障されている代数系」の一つです
逆元は普通に、デフォルトです(言わないが合意事項)。群の公理を仮定しているのに、いちいち、「群に逆元が存在する」などと、いうことはありません
群の表現論で使うnxn行列で、わざわざ「群に逆元が存在する」などとは、ド素人w

で、うるさいから、正方行列で、>>149で”零因子 高校数学 >> 旧高校数学C 、行列環や零因子(wikipedia)などを自学自習して下さい”と言った

ところがところが、おサルは怒り狂って「なんかまたトンチンカンなこといってるな、零因子の話なんかまったくしてないぞ」という(>>160
やれやれですなw(^^;
(引用終り)

<補足>
これ
「折角だから書いておくと、正方行列とか多元数あたりな
群は基本的に非可換だよ」
 ↓
もっと簡単にして
「折角だから書いておくと、行列とか多元数あたりな・・

とでも書いておけば、意図はずっと明確になったろう
念頭にあったのは、行列による群の表現理論です

つづく