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%2F04%2F03%2F020552" title="群論の計算(6) - 非専門的シンギュラリティー研究所" 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=%20G Hatena Blog https://hatena.blog 2020-04-03 02:05:52 rich https://computeralgebra.hatenablog.com/entry/2020/04/03/020552 1.0 100%