computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 対称式の基本定理 個の変数 に関する 次の基本対称式 を以下のように帰納的に定義します。 () (、) となります。 変数の対称式全体の集合を 、 変数の基本対称式からなる多項式全体の集合を とおきます。 を整域とします。 とし( は異なる元)、 を の置換全体の集合とします。 を 上の多項式環 とします。 は の元を係数として を不定元とする多項式環 と考えることができ、これによって となります。 の元は 加群の自己同型 と考えることができます。 とおきます。 の元 と を含む の最小の部分環を と書くことにします。 とおきます。 となることを証明します。 [証明] とすると 、 と書けます… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F05%2F15%2F204020" title="群論の計算(25) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20n Hatena Blog https://hatena.blog 2020-05-15 20:40:20 rich https://computeralgebra.hatenablog.com/entry/2020/05/15/204020 1.0 100%