エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2023-02-15から1日間の記事一覧

集合の計算(7)

「群論の計算(2)」に書いた内容について考えます。「群論の計算」は「アーベル・ルフィニの定理」(『ガロア理論12講 概念と直観でとらえる現代数学入門 (角川学芸出版単行本)』参照)の一部の計算を多項式の計算と「項書き換え」を使って書こうということを目…

集合の計算(6)

「集合の計算(3)」の議論を の場合について考えます。前回の結果から ( が写像)のときは 、 のとき (i) (ii) が成り立ちます。、、、、 とします。 (iii) のとき [証明] (i) より [証明終わり] (iv) のとき [証明] (ii) より [証明終わり] (9) のとき [証明]…