computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 正規部分群 写像による分類 写像 と に対して と定義します。 に対して と定義します。注意：通常は に対して 、 に対して 、 に対して と定義するのですが、 の のところ、 の のところが1つの元の場合と集合の場合の区別ができないため、ここでは違う書き方をすることにします。 となります。 とおくと次のような を定義することができます。 となるような に対して と定義する。 は単射になります。 を「 の単射化」と呼ぶことにします。注意：これは一般的には同値類として定義できるのですが、ここではこの形しか使わないのでこの形で定義します。 について以下のことが成り立ちます。 任意の に対して、 が… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F03%2F25%2F194511" title="群論の計算(2) - 非専門的シンギュラリティー研究所" 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=%20f%3A%20X%20%5Cto%20Y Hatena Blog https://hatena.blog 2020-03-25 19:45:11 rich https://computeralgebra.hatenablog.com/entry/2020/03/25/194511 1.0 100%