WordNet

(mathematics) a subset (that is not empty) of a mathematical group
a distinct and often subordinate group within a group

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2016/06/02 19:11:42」(JST)

wiki ja

二項演算 * に関して群 G が与えられたとする。 G の部分集合である H が G の部分群であるということは、 H が演算 * に関して群になるということである。より正確に表現すると、 H が G の部分群であるということは、群の演算 * を H×H （Hの直積）に制限したときに、 H における群の演算になっているということである。この関係は通常、 H ≤ G という記号で表現し、「 H は G の部分群である」と読む。

G の真部分群とは、部分群 H が G の真部分集合である（つまり H≠G である）ことである。任意の群 G に対し、G 自身と単位元のみからなる集合 {e} は常に G の部分群である。 H が G の部分群であるとき、 G は H の拡大群であると表現する場合がある。

G が任意の半群であるときも、G の部分群の定義はそのまま通用するが、本項では群の部分群についてのみを扱うにとどめる。群 G は順序対 (G, ∗) として記述されることもあるが、このように書くのは普通、G を台となる集合としてその上に演算 "∗" が代数的構造（あるいはもっとほかの構造）を定めるということを強調するためである。

以下では、通常の慣習に倣って ∗ を省略し、積 a ∗ b を単に ab と表記する。また、群の演算を単に「積」と表記する場合もある。

部分群の基本的な性質

H が群 G の部分群であるということは、 H が空集合ではなく、演算と逆元に対して閉じているということを意味する（「閉じている」というのは「 H に含まれる任意の元 a および b について、 ab および a⁻¹ も H に含まれる」ということである。なおこの2つの条件は、同値な1つの条件にまとめることができる。「 H に含まれる任意の元 a および b について、 ab⁻¹ も H に含まれる」という条件である）。 H が有限集合の場合、 H が部分群であるということは、 H が積に関して閉じているということと同値である（この場合、 H の任意の元は、 H の有限巡回部分群を生成する。そして a の逆元は、 a の位数が n ならば a⁻¹ = a^{n − 1} となる）。
上記の条件は準同型の言葉で書き換えることができる。つまり H が G の部分群となる必定十分条件は、H が G の部分集合で、H から G への包含写像（任意の a ∈ H に対して i(a) = a となる写像）が準同型を与えることである。
部分群の単位元は群の単位元と等しい。つまり、G が e_G を単位元とする群で、H が e_H とする G の部分群ならば e_H = e_G でなければならない。
部分群のある元の逆元は、もとの群におけるその元の逆元と等しい。つまり H が群 G の部分群であり、a, b が H の元で ab = ba = e_H を満たすならば ab = ba = e_G が成り立つ。
部分群 A と B の共通部分はまた部分群になる。一方、部分群 A と B の和集合が部分群になるのは、 A と B の一方が他方を包含している場合のみに限られる^[1]。たとえば、2 と 3 はともに加法群としての 2Z と 3Z の和集合に含まれるが、それらの和である 5 はこの和集合には属さない。別の例では、平面上のX軸とY軸（加法について考える）がある。それぞれは部分群をなすが、それらの和集合は部分群にならない。ついでながら、これら二つの部分群の共通部分は、単位元である原点のみの部分群となる。
S が G の部分集合ならば S を含む最小の部分群が存在する。これは S を含む部分群すべての共通部分をとることによって求められる。これを記号〈S〉で表し、「 S から生成される部分群」とよぶ。 G のある元が〈S〉に含まれるという事は、その元は S の元および S の元の逆元の有限個の積で表されるという事である。
G の任意の元 a は巡回群〈a〉を生成する。〈a〉が適当な正の整数 n に対する Z/nZ と同型であるならば、n は aⁿ = e を満たす最小の正整数である。この n を a の位数 (order) という。もし〈a〉が Z と同型ならば、 a は無限位数を持つ、あるいは a の位数は無限大であるという。
与えられた群の部分群全体の成す集合は、包含関係に関して完備束になる。これを部分群の束と言う（この束の下限は通常の集合論的な意味での共通部分だが、上限は集合論的な意味での和集合ではなく、それから生成される部分群である）。G の単位元を e と書けば、単位群 {e} が G の最小の部分群であり、また最大の部分群は G そのものである。

例

可換群 G をその元が

で与えられ、8を法とする加法を群演算とするものとする。その乗積表は以下のようになる。

+	0	2	4	6	1	3	5	7
0	0	2	4	6	1	3	5	7
2	2	4	6	0	3	5	7	1
4	4	6	0	2	5	7	1	3
6	6	0	2	4	7	1	3	5
1	1	3	5	7	2	4	6	0
3	3	5	7	1	4	6	0	2
5	5	7	1	3	6	0	2	4
7	7	1	3	5	0	2	4	6

この群は、二つの自明でない群を持つ。 J = {0, 4} および H = {0, 2, 4, 6} である。 J はまた H の部分群にもなっている。 H の群表は、 G の群表の左上1/4の部分である。 G は巡回群であり、また部分群も巡回群である。一般に、巡回群の部分群はやはり巡回群になる。

剰余類とラグランジュの定理

群 G に関し、部分群 H と元 a が与えられたとする。このとき左剰余類をこのように定義する： aH = {ah : h in H} 。 a は可逆元であるため、 φ(h) = ah で与えられる写像 φ : H → aH は全単射である。さらに、 G の任意の元は、 H の左剰余類のどれか1個のみに含まれる。H に関する左剰余類は、「 a₁ ∼ a₂ となるのは a₁⁻¹a₂ が H に属するとき、かつそのときに限る」という同値関係から定まる同値類である。H の左剰余類の個数を、 G における H の指数と言い、 [G : H] で表す。

ラグランジュの定理により、有限群 G とその部分群 H について以下のことが言える。

|G| と |H| はそれぞれ G と H の位数を表す。特に、 G の任意の部分群の位数（および G の任意の元の位数）は、 |G| の約数である。

右剰余類も同様にして定義できる。: Ha = {ha : h in H} 。これもまた、適切な同値関係を適用する事によって同値類になる。その個数は [G : H] である。

G に含まれるすべての a について aH = Ha であるとき、 H を正規部分群と言う。指数 2 の部分群は必ず正規部分群である（実際、部分群 H の指数が 2 であるということは、H に関する左剰余類の全体も右剰余類の全体もともに、部分群 H とその補集合で尽くされる）。より一般に、有限群 G の位数の約数の最小の素数 p に対して、指数 p の部分群は（存在すれば）正規である。

脚注

^ Jacobson (2009), p. 41

参考文献

Jacobson, Nathan (2009), Basic algebra, 1 (2nd ed.), Dover, ISBN 978-0-486-47189-1 .

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. エビデンスに基づいた医療 evidence based medicine
2. セフェム系 cephalosporins
3. 腎移植におけるエビデンスに基づいた医療および臨床試験 evidence based medicine and clinical trials in renal transplantation
4. システマティックレビューおよびメタアナリシス systematic review and meta analysis
5. PANDAS：A群レンサ球菌が関連した小児自己免疫性神経精神疾患 pandas pediatric autoimmune neuropsychiatric disorder associated with group a streptococci

Japanese Journal

作図問題とGalois理論に関する教材作成の試み

北海道情報大学紀要 = Memoirs of Hokkaido Information University 27(2), 115-132, 2016-03
NAID 40020823621

有限群の部分群に関するゼータ関数 (有限群とその表現、頂点作用素代数、代数的組合せ論の研究)

数理解析研究所講究録 1965, 50-65, 2015-10
NAID 110009983700

有限群の$p$部分群と斜準同型写像について (有限群とその表現,頂点作用素代数,代数的組合せ論の研究)

数理解析研究所講究録 1872, 176-182, 2014-01
NAID 120005555052

Related Pictures

rhidetoのblog : 例7. 剰余群の部分群台州寒山户外部分群友，今日走进天台山杜鹃林-台州旅游-台州19楼受験数学わんこらスクール正規部分群はどういう意味があるか 1のn乗根、その2 ～巡回群、巡回部分群 - 身勝手な主張部分“群租客”准备离开上海(图)_新闻中心_新浪网

★リンクテーブル★

リンク元	「亜群」「subgroup」「副集団」「下位集団」「サブグループ」
関連記事	「部分」「群」

「亜群」

	群論
	;
	群論
群論の用語
	部分群; 正規部分群; 商群; 群準同型; 群の(半)直積;
有限群と有限単純群の分類（英語版）
	巡回群 Zn; 対称群, Sn; 二面体群, Dn; 交代群 An; マチウ群（英語版） M11, M12, M22, M23, M24; コンウェイ群（英語版） Co1, Co2, Co3; Janko群（英語版） J1, J2, J3, J4; Fischer群（英語版） F22, F23, F24; ベビーモンスター群（英語版） B; モンスター群 M;
離散群（英語版）とその格子（英語版）;
	整数, Z; 格子 (数学); モジュラ群, PSL(2,Z) and SL(2,Z);
位相群とリー群
	ソレノイド (数学)（英語版）; 円周群; 一般線型群 GL(n); 特殊線型群 SL(n); 直交群 O(n); 特殊直交群 SO(n); ユニタリ群 U(n); 特殊ユニタリ群 SU(n); 斜交群 Sp(n); G2（英語版） F4（英語版） E6（英語版） E7（英語版） E8; ローレンツ群; ポアンカレ群; 共形群（英語版）; 微分同相写像群; ループ群（英語版）; 無限次元リー群（英語版） O(∞) SU(∞) Sp(∞);
	表・話・編・歴