現代数学の系譜工学物理雑談古典ガロア理論も読む77

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

758: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/09(水) 11:17:21.83 ID:nHmzRvjt

>>757
つづき

応用例
非自明な有限 p-群 P（つまり位数 pn の群、ただし p は素数で n > 0）を考えよう。類等式を使うと

「すべての非自明な有限 p-群は非自明な中心をもつ」
ことが証明できる[9]。

証明：P の任意の共役類の元の数は P の位数を割らなければならない。よって中心に含まれていない各共役類 Ci の元の数もまたあるベキ pki（ただし 0 < ki < n）であることが従う。すると類等式から pn = |P| = |Z(P)| + 琶 pki となる。ゆえに p は |Z(P)| も割らなければならず、したがって |Z(P)| > 1 であることがわかる。

共役集合と共役部分群
群 G の部分集合 S （S は部分群である必要はない）と g ∈ G に対して

Sg = g^-1Sg = { g^-1sg | s ∈ S }
を S の g による共役集合という[10]。SG を部分集合 S の群 G における共役集合からなる集合とする。 次の定理はよく使われる。 G の部分集合 S が与えられたとき、SG の元の数は G における S の正規化群 NG(S) の指数に等しい[4]：

|SG| = [G : NG(S)].
これは G の元 g と h に対して Sg = Sh であることと gh^-1 が NG(S) の元であること??つまり g と h が NG(S) を法として等しいこと??の同値性から従う。

この公式は共役類の元の数に対する前に与えられたものを一般化することに注意しよう（S = {a} とせよ）。

上記は G の部分群について話すときに特に有用である。部分群のなす集合は共役部分群へ分割できる。共役部分群は同型であるが、同型な部分群が共役であるとは限らない。たとえば、アーベル群は同型な 2 つの異なる部分群をもつかもしれないが、それらは決して共役でない。
一方でシロー部分群は互いに共役である（シローの定理）。また、部分群 H がそのすべての共役部分群と一致することは部分群は正規部分群であることに他ならない。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1568026331/758

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.040s