「群 (数学)」を編集中

警告：あなたはログインしていません。このまま投稿すると、あなたのIPアドレスが公開されます。ログインまたはアカウント作成することで、IPアドレスの代わりに利用者名が公開されるほか、様々なメリットを受けられます。

この編集を取り消せます。下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を公開して取り消しを完了してください。

{{出典の明記|date=2015年9月}}
{{Groups}}
{{代数的構造|group}}
[[数学]]における'''群'''（ぐん、{{lang-en-short|group}}）とは、ある二項演算とその対象となる集合とを合わせて見たときに結合性を伴い単位元と逆元を備えるものをいう。数学において最も基本的と見なされる[[代数的構造]]の一つであり、[[数学]]や[[物理学]]全般において、さまざまな構成に対する基礎的な枠組みを与えている。群はそれ自体が研究対象であり、その領域は[[群論]]と呼ばれる。

== 概略 ==
'''群'''の概念は、数学的対象 ''X'' から ''X'' への[[自己同型]]の集まりの満たす性質を代数的に抽象化することによって得られる。この集まりは ''X'' の[[対称性]]を表現していると考えられ、[[結合法則]]・[[恒等変換]]の存在・[[逆変換]]の存在などがなりたっている。集合論にもとづき ''X'' が集合として実現されている場合には、自己同型として ''X'' からそれ自身への全単射写像を考えることになるが、空間や対象の持つ構造に応じてさらに付加条件を課すことが多い。例えば、ベクトル空間 ''X'' に対してその自己同型写像の集まりを考えると群が得られる。また、平面上に正三角形など何らかの対称性を持った図形が与えられているとき、平面全体の変換のうちでその図形を保つようなものだけを考えることによって、図形の対称性を表す群を取り出すことができる。

== 定義 ==
[[集合]] ''G'' とその上の[[二項演算]] &mu;: ''G'' &times; ''G'' &rarr; ''G'' の組 (''G'', &mu;) が'''群'''であるとは、以下の3つの条件を満たすことをいう：
# （[[結合法則]]）任意の ''G'' の[[元 (数学)|元]] ''g'', ''h'', ''k'' に対して、&mu;(''g'', &mu;(''h'', ''k'')) = &mu;(&mu;(''g'', ''h''), ''k'') を満たす：
#:<math>(\forall g, h, k \in G) [\mu(g,\mu(h,k)) = \mu(\mu(g,h),k)].</math>
# （[[単位元]]の存在）&mu;(''g'', ''e'') = &mu;(''e'', ''g'') = ''g'' を ''G'' のどんな元 ''g'' に対しても満たすような ''G'' の元 ''e'' が存在する：
#:<math>(\exists e \in G) (\forall g \in G) [\mu(g,e) = \mu(e,g) = g].</math>
#*このような ''e'' は存在すれば一意であり、''G'' の'''単位元'''という。
# （[[逆元]]の存在）''G'' のどんな元 ''g'' に対しても、&mu;(''g'', ''x'') = &mu;(''x'', ''g'') = ''e'' となるような ''G'' の元 ''x'' が存在する：
#:<math>(\forall g \in G) (\exists x \in G) [\mu(g,x) = \mu(x,g) = e].</math>
#*このような ''x'' は存在すれば一意であり、この ''x'' を ''g'' の ''G'' における'''逆元'''といい、しばしば ''g''&minus;1, あるいは演算を加法的に書く場合には &minus;''g'' で表される。

群よりも広い概念として、1 を満たすものは[[半群]]、1 と 2 を満たすものは[[モノイド]]という。

なお、[[二項演算]]を写像として強調したい場合を除けば、通常　&mu;(''g'', ''h'') のことを ''g''・''h'' や単に ''gh'' と書くことが多い。またこの演算を「積」や「乗法」と呼ぶことが多いが、[[加法]]と呼ばれている二項演算をもとにしてできる群もあるので、注意する必要がある。さらに積が文脈から明らかなときには、群 (''G'', &mu;) のことを単に群 ''G'' と[[台集合]]を指定するだけで済ませることがほとんどである<ref name="R, p. 2">{{harvnb|Robinson|1996|p={{google books quote|id=zLfkBwAAQBAJ|page=2|2}}}}</ref>。

群 (''G'', &mu;) がさらに
:4. （[[交換法則]]）任意の元 ''g'', ''h'' に対して &mu;(''g'', ''h'') = &mu;(''h'', ''g'')
を満たすとき、この群のことを'''[[アーベル群]]'''（'''可換群'''）という。アーベル群の演算は "+" を用いて加法的にも書かれ、この際 ''g'' の逆元は &minus;''g'' と書かれる。

現代の標準的な群の定義は上述のようなものであり、公理は左右対称に書かれているが、これらは冗長であることが知られていて、たとえば結合法則と左単位元の存在と左逆元の存在だけを要請してもよい{{sfn|バーコフ|マクレーン|1967|loc=第VI章 4. 抽象群}}。あるいは ''G'' が[[空集合]]でなく、結合法則と左右の商が存在すること
:<math>(\forall a, b \in G)(\exists x, y \in G)[ax = b = ya]</math>
を要請してもよい{{sfn|バーコフ|マクレーン|1967|loc=第VI章 4. 抽象群}}。また複雑な単一の公理により群を定義する方法もいくつか知られている<ref>{{citation
|last = McCune
|first = W.W.
|year = 1993
|title = Single axioms for groups and Abelian groups with various operations
|volume = 10
|pages = 1–13
|journal = Journal of Automated Reasoning
|doi = 10.1007/BF00881862
}}</ref>。

== 具体的な群 ==
* 集合 {1, 2, ..., ''n''} の上の置換（[[全単射]]）全体は、写像の合成を二項演算とし、単位元を恒等写像、逆元を逆写像とすることで群になる。この群を ''n'' 次の'''[[対称群]]'''といい、''S''''n'' と表記する。
* [[整数]]、[[有理数]]、[[実数]]、[[複素数]]は全て加法に関してアーベル群を成す。
* また有理数、実数、複素数から 0 を除いたものは乗法に関してアーベル群を成す．
* [[四元数]]から 0 を除いたものは乗法に関して非可換群を成す。群を成す超複素数系は四元数までであり、結合法則を満たさない[[八元数]]は群を成さない。
*（実数係数の）''n'' 次[[正則行列]]全体の集合はどの[[行列 (数学)|行列]]も[[正則行列|逆行列]]を持つから群になる。この群のことを ''GL''''n''('''R''') と表し、''n'' 次の'''実[[一般線型群]]'''と呼ぶ。さらに[[行列式]]が 1 であるという条件を課したものも群を成す。この群を ''SL''''n''('''R''') と書き、''n'' 次の'''実[[特殊線型群]]'''と呼ぶ。
* ''n'' 次[[直交行列]]全体も群を成す。この群を ''O''''n'' と書き、'''[[直交群]]'''と呼ぶ。これは、''n'' 次元[[ユークリッド空間]]において、長さを変えないような変換全体の成す群である。直交行列の行列式は &plusmn;1 である。行列式が 1 であるような直交行列全体からなる群を ''SO''''n'' と書き、'''[[特殊直交群]]'''と呼ぶ。
* 複素数係数の行列に対しても同様な群が定義できる；その時、直交行列の類似物として[[ユニタリ行列]]を考える。直交群に対応するものは'''[[ユニタリ群]]''' ''U''''n'' であり、特殊直交群の類似物は[[特殊ユニタリ群]] ''SU''''n'' になる。
* 正則行列による群の構成は[[ベクトル空間]]の自己同型写像による群の構成の特別な場合だと見なすことができる。ベクトル空間 ''V'' 上の可逆線型変換全体 ''GL''(''V'') は ''V'' のベクトル空間としての対称性を表していると考えられるが、これは ''V'' 上の[[一般線型群]]と呼ばれる。''V'' に付加的な構造を与えることでその対称性は変わり、例えばベクトルの長さを定める計量を保つような線型同型写像を考えることで（考えている計量に付随した）[[直交変換群]]が得られる。

* ''T'' を座標平面の原点を重心とする正三角形とする。平面全体の等長変換のうちで ''T'' を保つものには、恒等変換、原点に関する120度、240度の回転と各頂点と対辺の中点を結ぶ軸を対称軸とする折り返しの6つがある。これらによって ''T'' の対称性が表されていると考えることができる。これら6つの変換の成す群は3次[[対称群]]あるいは位数6の[[二面体群]]と呼ばれる群に同型になる。位数6の非可換群は同型の違いを除いて唯一であり、また、この群は位数最小の非可換群でもある。
*[[楕円曲線]]は可換群の構造を持つことが知られている。
* [[リー群]]（[[位相群|連続群]]）
* [[ガリレイ変換]]
* [[ローレンツ群]]
* [[空間群]]
* [[結晶点群]]
* [[磁気空間群]]（[[シュブニコフ群]]）
* [[磁気点群]]
* [[灰色群]]

== 基本的な概念 ==
=== 位数 ===
群 ''G'' の元の数（[[濃度 (数学)|基数]]）のことを'''[[位数 (群論)|位数]]''' (order) という<ref name="R, p. 2" />。位数は集合に倣って |''G''| や #''G'' などの記号で表される。位数が有限な群を[[有限群]]という。

=== 部分群 ===
群 ''G'' の空でない部分集合 ''H'' が ''G'' の群演算に関して閉じていて、''H'' の任意の元に対して、逆元が ''H'' の元であるとき、この部分集合 ''H'' を ''G'' の'''[[部分群]]'''といい ''H'' &le; ''G'' または ''G'' &ge; ''H'' と表す。これは空でない部分集合 ''H'' の任意の元 ''a'', ''b'' に対して ''ab''&minus;1 &isin; ''H'' が成り立つことと同値である{{sfn|Robinson|1996|loc={{google books quote|id=zLfkBwAAQBAJ|page=8|1.3.1 (The Subgroup Criterion)}}}}。

''G'' が群であれば、''G'' および {''e''}（単位元のみからなる群、[[単位群]]）は必ず ''G'' の部分群になる。これらを'''自明な部分群'''という（単位元のみからなる部分群のみを指す場合もある）。それ以外の部分群は、自明でない部分群あるいは'''真の部分群'''と呼ぶ（真部分集合であるような部分群という意味で、真の部分群に単位群を含める場合もある）。

部分群 ''N'' が群 ''G'' の任意の元 ''g'' に対して ''gNg''&minus;1 = ''N'' を満たすとき、''N'' を''G''の[[正規部分群]]といい、<math>N \triangleleft G</math> または <math>G \triangleright N</math> と書く。

アーベル群 ''G'' の任意の部分群は正規部分群である。また、自明でない群 ''G'' が自身と自明な部分群しか正規部分群を持たないとき、''G'' は[[単純群]]であるという。

=== 剰余類・剰余群 ===
部分群 ''H'' と ''G'' の元 ''g'' について、''gH'' はある ''G'' の部分集合になる。2 つの ''g'', ''g' '' について ''gH'', ''g'H'' は全く一致するか交わらないかのいずれかである。従って、
:<math>G = \bigsqcup_{\lambda \in \Lambda} g_{\lambda} H</math>
と[[和集合#定義|非交和]]に書き表せる。それぞれの ''gH'' を （''H'' を法とする ''g'' の属する ''G'' の） '''[[剰余類]]'''（または傍系）という。|''gH''| = |''H''| が成り立つので結局 |''G''| = |&Lambda;||''H''| が成り立つ。''G'' が有限群ならばこれは ''H'' の位数が ''G'' の位数を割り切るということをいっている（[[ラグランジュの定理 (群論)|ラグランジュの定理]]）。特に素数位数の群は[[巡回群]]である。|&Lambda;| を [''G'' : ''H''] とか (''G'' : ''H'') などと書いて ''H'' の（''G'' に対する）'''[[指数 (群論)|指数]]'''という。指数 1 の部分群はもとの群であり、指数 2 の部分群は常に正規部分群である。

''N'' を正規部分群とするとき ''gN'' = ''Ng'' が成り立つ。すると、二つの剰余類 ''gN'', ''hN'' について ''gN'' &middot; ''hN'' = ''ghNN'' = ''ghN'' が成り立ち、剰余類の間に演算を定義することができる。ここからすぐにこの剰余類全体は群を成すことが分かる。この群を ''G'' の ''N'' による'''[[剰余群]]'''または'''商群'''といい、''G''/''N'' と表す。

=== 群の準同型・同型 ===
群 ''G''1 から群 ''G''2 への写像 ''f'' が任意の ''G''1 の元 ''g'', ''g' '' について ''f''(''gg' '')&nbsp;=&nbsp;''f''(''g'')''f''(''g' '') を満たすとき、''f'' を'''[[群準同型|準同型]]'''（写像）という。（''G''1 = ''G''2のときは特に'''自己準同型'''という。）さらに準同型 ''f'' が[[全単射]]であれば、''f'' を'''同型'''（写像）という。''G''1 から ''G''2 への同型が存在するとき、''G''1 と ''G''2 は同型であるといい、
: <math>G_1 \simeq G_2</math>　あるいは　<math>G_1 \cong G_2</math>
と表す。2つの群 ''G''1, ''G''2 とその間の準同型写像 ''f'': ''G''1 &rarr; ''G''2 に対し、準同型 ''f'' の[[核 (数学)|核]] Ker ''f'' は ''G''1 の正規部分群である。このとき ''f'' の像 Im ''f'' は ''G'' を ''f'' の核 Ker ''f'' で割った剰余群に同型である：
: <math>G_1/\mathrm{Ker}\,f \simeq \mathrm{Im}\,f.</math>
これを（群の）'''[[準同型定理]]'''（特に[[第一同型定理]]）という。

群 ''G'' の自己同型（''G'' から ''G'' への同型写像）全体の成す集合を Aut(''G'') と表すと、 Aut(''G'') は写像の合成を積として群となる。Aut(''G'') を ''G'' の'''[[自己同型群]]'''と呼ぶ。

群 ''G'' の任意の元 ''g'' に対し、写像 ''A''''g'': ''G'' &rarr; ''G'' を
:''A''''g''(''x'') = ''gxg''&minus;1 (for all ''x'' &isin; ''G'')
で定めると、この写像は ''G'' の自己同型を定める。この形で得られる自己同型を ''G'' の'''[[内部自己同型]]'''と呼び、''G'' の内部自己同型全体の成す集合を Inn(''G'') と表す。Inn(''G'') は Aut(''G'') の正規部分群であり、Inn(''G'') を ''G'' の[[内部自己同型群]]と呼ぶ。さらに剰余群 Out(''G'') = Aut(''G'')/Inn(''G'') を{{仮リンク|外部自己同型群|en|Outer automorphism group}}とよび、その元を外部自己同型という。群 ''G'' の部分群 ''N'' が正規部分群であることと、''N'' が ''G'' の任意の内部自己同型で不変であることは同値である。さらに ''N'' が Aut(''G'') の作用で不変なら ''N'' は ''G'' の'''[[特性部分群]]'''であるという。

=== 共役 ===
群 ''G'' の二つの元 ''x'', ''y'' に対し、''y'' = ''A''''g''(''x'') = ''gxg''&minus;1 となる ''g'' &isin; ''G'' が存在するとき、''x'' と ''y'' は互いに'''共役'''（[[共軛]]ともかく）であるという。同様に、部分群 ''H'', ''K'' に対し、''H'' = ''gKg''&minus;1 となる ''g'' &isin; ''G'' が存在するなら、二つの部分群 ''H'', ''K'' は互いに共役であるという。共役であるという関係は群 ''G'' の[[同値関係]]である。群 ''G'' を共役という同値関係で類別したときの同値類を'''[[共役類]]'''という。有限群 ''G'' をその共役類 Cl1, ..., Cl''n'' に類別すれば、位数に関して次の等式
:<math>|G| = \sum_k |\mathrm{Cl}_k|</math>
を考えることができる。これを[[類等式]]と呼ぶ。''G'' の元 ''x'' がその中心 ''Z''(''G'') に属することと ''x'' の属する共役類が {''x''} なる一元集合であることとは（中心の定義から直ちにわかるように）同値であり、2 個以上の元からなる共役類の全体を ''C''1, ''C''2, ..., ''C''''r'' とすれば、類等式は
:<math>|G|=|Z(G)|+\sum_{i=1}^{r}|C_i|</math>
の形に書くことができる。有限群 ''G'' が[[p群| ''p''-群]]（位数が ''p'' の冪であるような群）ならば、その中心が自明群でないことは類等式から直ちにわかる。

=== 中心・中心化群・正規化群 ===
群 ''G'' のすべての元と可換な ''G'' の元の全体を ''Z''(''G'') や ''C''(''G'') などと書いて、''G'' の'''[[群の中心|中心]]'''という。群 ''G'' とその部分集合 ''S'' に対し、''G'' の部分集合
:<math>C_G(S)=\{g \in G \mid sg=gs \ (\forall s \in S)\}</math>
は ''S'' をその中心に含む ''G'' の部分群となる。この群 ''C''''G''(''S'') を ''S'' の ''G'' における'''[[中心化群]]'''という。''S'' が一元集合 {''x''} であるとき、''C''''G''({''x''}) を ''C''''G''(''x'') と略記する。''G'' の各元 ''x'' に対して、その中心化群 ''C''''G''(''x'') の ''G'' に対する指数 [''G'' : ''C''''G''(''x'')] は ''x'' の属する共役類の位数に等しい。

群 ''G'' の部分集合 ''S'' に対して、''G'' の部分集合
:<math>N_G(S)=\{g \in G \mid gSg^{-1}=S\}</math>
は（''S'' が部分群でなくとも）''G'' の部分群となる。この ''N''''G''(''S'') を ''S'' の ''G'' における'''[[正規化群]]'''と呼ぶ。''H'' が群 ''G'' の部分群であるときは、その正規化群 ''N''''G''(''H'') は ''H'' を含む。また ''H'' は正規化群 ''N''''G''(''H'') の正規部分群である。これを、''N''''G''(''H'') は ''H'' を'''正規化''' (normalize) するといい表す。一般に ''G'' のふたつの部分群 ''H''1, ''H''2 に対し、''H''1 が ''H''2 を正規化するとは、
:<math>h H_2 h^{-1} = H_2</math>
が ''H''1 のどの ''h'' についても成立することを言う。

=== 可解群・交換子群・冪零群 ===
[[File:Hierarchy of finite groups.svg|thumb|300px|基本的な有限群のクラスがなす階層]]
群 ''G'' が、''G'' の部分群の有限列 ''G''0, ''G''1, ..., ''G''''n'' で 2 条件
* <math> \{e\} = G_0 \triangleleft G_1 \triangleleft \dotsb \triangleleft G_{n-1} \triangleleft G_n = G</math>
* ''G''''i''+1/''G''''i'' (0 &le; ''i'' &lt; ''n'') は全てアーベル群
を満たすもの（アーベル的正規列）を持つとき、''G'' は'''[[可解群]]'''であるという。

最小位数の非可解群は5次の[[交代群]] ''A''5 である。

奇数位数の有限群はすべて可解であることが、[[ジョン・G・トンプソン]]らによって証明されている（[[ファイト・トンプソンの定理]]）。トンプソンはこの業績により[[フィールズ賞]]を受けた。

[[標数]] 0 の体上において、代数方程式が代数的に可解となることと、その方程式の[[ガロア群]]が可解群となることは同値である（一般の正標数では同値にならない）。このことが可解群の名の由来である。また、4 次以下の交代群は可解であるのに対し、5 次の[[対称群|交代群]] ''A''5 は可解でなく、したがってそれは 「5 次の一般代数方程式はべき根のみによって解くことは出来ない」という命題の証明となる。

また、可解群の定義は次のように述べることもできる（上の定義と同値）：

''G'' の部分群 ''D''(''G'') を
:''D''(''G'') = &lang; ''xyx''&minus;1''y''&minus;1 | ''x'', ''y'' &isin; ''G'' &rang;
と定め、''H''1 = ''D''(''G''), ''H''2 = ''D''(''H''1), ... と帰納的に ''G'' の部分群 ''H''''i'' を定めるとき、''H''''r'' = {''e''} となる自然数 ''r'' が存在するならば ''G'' を可解群と呼ぶ。

一般に、''xyx''&minus;1''y''&minus;1 を ''x'' と ''y'' の'''[[交換子]]'''と呼び、[''x'', ''y''] であらわす。さらに ''G'' の部分群 ''H'', ''K'' に対し、[''h'', ''k''] (''h'' &isin; ''H'', ''k'' &isin; ''K'') の形の元で[[群の生成系|生成]]される ''G'' の部分群を [''H'', ''K''] で表し、''H'' と ''K'' の'''[[交換子群]]'''という。

この記号を用いれば、''D''(''G'') = [''G'', ''G''] であり、これを ''G'' の'''[[交換子群]]'''と呼ぶ。''D''(''G'') は ''G'' の[[特性部分群]]、したがって特に正規部分群である。すぐに分かるように、''D''(''G'') = {''e''} は ''G'' がアーベル群となることに同値である。したがって、剰余群 ''G''/''H'' がアーベル群となるなら ''H'' &supe; ''D''(''G'') であり、自然に ''G''/''H'' &sube; ''G''/''D''(''G'') と見なせるので、''G''/''D''(''G'') は ''G'' の剰余アーベル群の中で最大のものになる。よって ''G''/''D''(''G'') を ''G'' の'''最大剰余アーベル群'''あるいは ''G'' の[[アーベル化]]、アーベル商などと呼ぶ。

次の2つの同値な条件を満たす群を'''[[冪零群]]''' という。
*<math>\Gamma_1(G)=[G,G]</math> とし、以下 <math>\Gamma_{i+1}(G)=[G,\Gamma_i(G)]</math> と定めるとき、ある ''r'' が存在して <math>\Gamma_r=\{e\}</math> となる。
*''G'' の部分群の列
::<math>\{e\}=G_0 < G_1 < \cdots < G_n=G</math>
:であって、各 ''G''''i'' が ''G'' の正規部分群であり、''G''''i''/''G''''i'' &minus; 1 が ''G''/''G''''i'' &minus; 1 の中心に含まれるようなものが存在する。

可換群および有限 ''p'' 群はべき零群である。また、べき零群は可解群である。

'''可解性・べき零性の遺伝'''：べき零群の部分群および剰余群はべき零群である。可解群の部分群および剰余群は可解群である。逆に ''G'' の正規部分群 ''N'' と剰余群 ''G''/''N'' がともに可解群なら ''G'' は可解群である。（べき零群の場合には同様の主張は成り立たない。）

=== 群の直積と半直積 ===
群 ''G'' と群 ''H'' に対し、その直積集合 ''G'' &times; ''H'' 上に
:<math>(g_1,h_1)(g_2,h_2)=(g_1g_2,h_1h_2)</math>
という積を定めることで群となる。これを群の（外部）[[直積群|'''直積''']]または構成的直積という。また、群 ''G'' がその部分群 ''H''1, ''H''2 の（内部）直積である、あるいは直積に分解されるとは、以下の条件
# ''H''1 と ''H''2 は ''G'' の部分群で ''G'' = ''H''1''H''2 = {''h''1''h''2 | ''h''1 &isin; ''H''1, ''h''2 &isin; ''H''2} が成り立つ。
# ''H''1 &cap; ''H''2 = {1''G''}, ただし 1''G'' は ''G'' の単位元。
# ''H''1 の元と ''H''2 の元は可換である。
がすべて満たされることをいう。
:<math>G = H_1 \times H_2</math>
で表す。右辺の直積を構成的直積と呼ぶこともある。''G'' の部分群という構造を落として、''H''1, ''H''2 の外部直積をつくったものと内部直積とは、二つの自然な埋め込み
:<math>H_1 \to H_1 \times H_2;\ h \mapsto (h,1_g),</math> 
:<math>H_2 \to H_1 \times H_2;\ h \mapsto (1_g,h)</math> 
をそれぞれ同一視することで本質的に同じものであることがわかる。

群 ''H'' と群 ''N'' と準同型写像 ''f'': ''H'' &rarr; Aut(''N'') が与えられているとき、直積集合 ''N'' &times; ''H'' 上に
:<math>(n_1,h_1)(n_2,h_2)=(n_1 f(h_1)(n_2),h_1h_2)</math>
で積を定めると群となる。これを ''H'' と ''N'' の ''f'' による'''[[半直積]]'''といい、
: <math>G = N \rtimes H</math>
で表す。なお、この群で ''N'' は正規部分群となる。[[群の拡大]]も参照。

== 有限群 ==
{{main|有限群#主要な定理}}
===有限アーベル群の基本定理===
{{main|有限アーベル群の構造定理}}
''G'' を有限可換群とすると、2以上の整数
:<math>e_1|e_2|\cdots|e_n</math>
が存在して、''G'' は
:<math>G \cong \Z/e_1\Z \times \cdots \times \Z/e_n\Z</math>
と巡回群の直積に分解する。このような ''e''''i'' たちは一意的に定まる。

また、素数 ''p''1, ..., ''p''''r''（重複してもよい）と、正の整数 ''a''1, ..., ''a''''r'' が存在して、
:<math>G \cong \Z/p_1^{a_1}\Z \times \cdots \times \Z/p_r^{a_r}\Z</math>
と素数べき位数の巡回群の直積に分解する。このとき、<math>{p_1^{a_1},p_2^{a_2},\cdots ,p_r^{a_r}}</math> は順序の差を除き一意的に定まる。

===コーシーの定理===
{{main|コーシーの定理 (群論)}}
有限群 ''G'' の位数 |''G''| の素因数を ''p'' とするとき、位数 ''p'' をもつ ''G'' の元が存在する{{sfn|Robinson|1996|loc={{google books quote|id=zLfkBwAAQBAJ|page=40|1.6.17 (Cauchy's Theorem)}}}}。

===シローの定理===
{{main|シローの定理}}
素数 ''p'' が与えられているとき、有限群 ''G'' の位数を |''G''| = ''pam'' （ただし ''m'' は ''p'' と[[互いに素 (整数論)|互いに素]]）と表す。このとき位数 ''pa'' の ''G'' の部分群を ''p''-'''[[シロー部分群]]'''という。''p''-シロー部分群について以下が成り立つ{{sfn|Robinson|1996|loc={{google books quote|id=zLfkBwAAQBAJ|page=39|1.6.16 (Sylow's Theorem)}}}}。
# ''G'' のどの ''p''-部分群も、ある位数 ''p''''a'' の部分群に含まれる。特に ''p''-シロー部分群は存在する
# 相異なる ''p''-シロー部分群の個数 ''np'' は ''p'' を法として 1 と[[整数の合同|合同]]である： ''np'' &equiv; 1 mod ''p''
# 任意の ''p''-シロー部分群は ''G'' 内で互いに共役である

===シューア・ツァッセンハウスの定理===
{{main|{{仮リンク|シューア–ツァッセンハウスの定理|en|Schur–Zassenhaus theorem}}}}
''N'' を有限群 ''G'' の正規部分群とし、|''N''| と |''G:N''| が互いに素であるとき、''G'' の部分群 ''C'' が存在して、''G'' は ''N'' と ''C'' の半直積となる。

===バーンサイドの ''paqb'' 定理 ===
''p'', ''q'' を素数とするとき、位数 ''paqb'' の有限群は可解である{{sfn|Doerk|Hawkes|1992|p={{google books quote|id=E7iL1eWB1TkC|page=210|210}}}}。

===有限べき零群の構造定理===
有限べき零群はそのシロー部分群の直積に同型である{{sfn|Robinson|1996|loc={{google books quote|id=zLfkBwAAQBAJ|page=130|5.2.4}}}}。

== 歴史 ==
群の概念が初めてはっきりと取り出されたのは、[[エヴァリスト・ガロア]]による根の置換群を用いた代数方程式の研究だとされている。

16世紀中頃に、[[ジェロラモ・カルダーノ]]、[[ルドヴィコ・フェラーリ]]らによって[[四次方程式]]までは[[冪根]]による解の公式が得られていたが、5 次以上の方程式に解の公式が存在するのかどうかはわかっていなかった。その後18世紀後半になって[[ジョゼフ＝ルイ・ラグランジュ|ラグランジュ]]によって代数方程式の解法が根の置換と関係していることが見出された。（「[[ラグランジュの定理 (群論)|ラグランジュの定理]]」にその名が残っているのはこのためである。）19世紀に入り、ルフィニや[[ニールス・アーベル]]によって五次以上の方程式にはべき根による解の公式が存在しないことが示された。

ガロアは、より一般に任意の代数方程式について根が方程式の係数から加減乗除や冪根の操作によって得られるかどうかという問題を、方程式のガロア群の[[可解]]性という性質に帰着した。ガロアの研究に端を発する群を用いた代数方程式の理論は今では[[ガロア理論]]と呼ばれている。

ガロア理論によれば五次以上の代数方程式の非可解性は交代群が単純であることによって説明される。このような有限単純群の分類は[[20世紀]]に大きく発展し、1980年代までにいくつかの系列と26の例外からなる有限単純群の同型類のリストアップが完成した。

== 特殊な応用例 ==
抽象的な群の概念を考えることによって古典的な数学の対象とは異なるものに群の言葉を導入することができるようになる。文化人類学に群の理論が応用された例として、[[アンドレ・ヴェイユ]]によるムルンギン族の[[婚姻]]体系の解析が挙げられる。[[オーストラリア]]・[[アボリジニ]]のムルンギン族は独特の婚姻体系を持っており、結婚が許される間柄や許されない間柄を定める規則が[[西洋]]や[[日本]]のものとは全く異なっていた。文化人類学の研究では婚姻関係の規則を列挙して述べるのが普通だったが、ムルンギン族の体系は厳密だがとても複雑なもので、そうした手法による理解は困難に思われた。[[1945年]]に[[クロード・レヴィ＝ストロース]]からこの話を聞いた[[アンドレ・ヴェイユ]]は、許される婚姻の型を決定する規則が群をなしていることなどを発見し、群論を活用してその体系を解明した。

== 出典 ==
{{脚注ヘルプ}}
{{reflist|2}}

== 参考文献 ==
* {{cite book
|和書
|author1     = ガーレット・バーコフ
|authorlink1 = ガーレット・バーコフ
|author2     = ソンダース・マクレーン
|authorlink2 = ソンダース・マクレーン
|year        = 1967
|title       = 現代代数学概論
|edition     = 改訂3版
|id          = {{NDLDC|2422244|format=NDLJP}}
|publisher   = [[白水社]]
|ref         = {{sfnref|バーコフ|マクレーン|1967}}
}}
* {{cite book
|last1      = Doerk
|first1     = Klaus
|last2      = Hawkes
|first2     = Trevor
|year       = 1992
|title      = Finite soluble groups
|series     = de Gruyter Expositions in Mathematics
|volume     = 4
|url        = {{google books|E7iL1eWB1TkC|plainurl=yes}}
|publisher  = Walter de Gruyter & Co
|isbn       = 3-11-012892-6 
|mr         = 1169099
|zbl        = 0753.20001 
|ref        = harv
}}
* {{cite book
|last1      = Robinson
|first1     = Derek J. S. 
|year       = 1996
|title      = A course in the theory of groups
|edition    = Second
|series     = Graduate Texts in Mathematics
|volume     = 80
|url        = {{google books|zLfkBwAAQBAJ|plainurl=yes}}
|publisher  = Springer-Verlag
|isbn       = 0-387-94461-3
|mr         = 1357169
|zbl        = 0836.20001 
|ref        = harv
}}

== 関連項目 ==
* [[代数的構造]]
* [[ガロア理論]]
* [[物性物理]]
* [[エヴァリスト・ガロア|ガロア]]
* [[ニールス・アーベル|アーベル]]
* [[対称性]]

== 外部リンク ==
* {{高校数学の美しい物語|1015|群の定義といろいろな具体例}}
* {{Wayback |date=20040603103432 |url=http://wwwmi.cias.osakafu-u.ac.jp/~kawazoe/lecture/math-edu01-html/math-edu01-html.html |title=数学と文化人類学の邂逅（川添充、2001年12月11日）}}
* {{MathWorld|urlname=Group|title=Group|last=Rowland|first=Todd|last2=Weisstein|first2=Eric W.}}
* {{nlab|urlname=group|title=group}}
* {{PlanetMath|urlname=Group|title=group}}
* {{ProofWiki|urlname=Definition:Group|title=Definition:Group}}
* {{SpringerEOM|urlname=Group|title=Group|author=Kargapolov, M.I.; Merzlyakov, Yu.I.}}

{{群論}}
{{Algebra}}
{{Normdaten}}
{{DEFAULTSORT:くん}}
[[Category:群論|**くん]]
[[Category:抽象代数学]]
[[Category:数学に関する記事]]

編集内容の要約（説明）:

著作権を侵害する記述は削除されます。また百科事典の記事では必ず検証可能性を満たすようにしてください。

保存すると、あなたは利用規約に同意し、自身の投稿をクリエイティブ・コモンズ表示-継承ライセンス 4.0およびGFDLの下で公開することに同意したことになります。この公開は取り消せません。あなたは再利用者によって、最低でもあなたが投稿しているページへのハイパーリンクか URL を通して、クレジット表示されることに同意したとみなされます。ライセンスの解釈についてはWikipedia:著作権を、それらを含む諸規定については利用規約を参照してください。

このページを編集するには、下記の確認用の文字列を欄に入力してください (詳細):

CAPTCHA 自動作成防止チェック

更新

キャンセル編集の仕方 (新しいウィンドウで開きます)

一般的な記号: – — ° ′ ″ ≈ ≠ ≤ ≥ ± − × ÷ ← → · § 出典を明記する: <ref></ref>

マークアップ: {{}} {{{}}} | [] [[]] [[Category:]] #転送 [[]]   <ins></ins> <del></del> <code></code> <pre></pre> <blockquote></blockquote> <ref name="" /> {{#tag:ref||group="注釈"|name=""}} {{Reflist}} <references /> <includeonly></includeonly> <noinclude></noinclude> {{デフォルトソート:}} <nowiki></nowiki>

記号: 〜 | ¡ ¿ † ‡ ↔ ↑ ↓ • ¶ # ∞ ‘ ’ “ ” ‹› «» ¤ ₳ ฿ ₵ ¢ ₡ ₢ $ ₫ ₯ € ₠ ₣ ƒ ₴ ₭ ₤ ℳ ₥ ₦ № ₧ ₰ £ ៛ ₨ ₪ ৳ ₮ ₩ ¥ ♠ ♣ ♥ ♦ ♭ ♯ ♮ © ® ™
ラテン文字: A a Á á À à Â â Ä ä Ǎ ǎ Ă ă Ā ā Ã ã Å å Ą ą Æ æ Ǣ ǣ B b C c Ć ć Ċ ċ Ĉ ĉ Č č Ç ç D d Ď ď Đ đ Ḍ ḍ Ð ð E e É é È è Ė ė Ê ê Ë ë Ě ě Ĕ ĕ Ē ē Ẽ ẽ Ę ę Ẹ ẹ Ɛ ɛ Ǝ ǝ Ə ə F f G g Ġ ġ Ĝ ĝ Ğ ğ Ģ ģ H h Ĥ ĥ Ħ ħ Ḥ ḥ I i İ ı Í í Ì ì Î î Ï ï Ǐ ǐ Ĭ ĭ Ī ī Ĩ ĩ Į į Ị ị J j Ĵ ĵ K k Ķ ķ L l Ĺ ĺ Ŀ ŀ Ľ ľ Ļ ļ Ł ł Ḷ ḷ Ḹ ḹ M m Ṃ ṃ N n Ń ń Ň ň Ñ ñ Ņ ņ Ṇ ṇ Ŋ ŋ O o Ó ó Ò ò Ô ô Ö ö Ǒ ǒ Ŏ ŏ Ō ō Õ õ Ǫ ǫ Ọ ọ Ő ő Ø ø Œ œ Ɔ ɔ P p Q q R r Ŕ ŕ Ř ř Ŗ ŗ Ṛ ṛ Ṝ ṝ S s Ś ś Ŝ ŝ Š š Ş ş Ș ș Ṣ ṣ ß T t Ť ť Ţ ţ Ț ț Ṭ ṭ Þ þ U u Ú ú Ù ù Û û Ü ü Ǔ ǔ Ŭ ŭ Ū ū Ũ ũ Ů ů Ų ų Ụ ụ Ű ű Ǘ ǘ Ǜ ǜ Ǚ ǚ Ǖ ǖ V v W w Ŵ ŵ X x Y y Ý ý Ŷ ŷ Ÿ ÿ Ỹ ỹ Ȳ ȳ Z z Ź ź Ż ż Ž ž ß Ð ð Þ þ Ŋ ŋ Ə ə
ギリシャ文字: Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω {{Polytonic|}}
キリル文字: А а Б б В в Г г Ґ ґ Ѓ ѓ Д д Ђ ђ Е е Ё ё Є є Ж ж З з Ѕ ѕ И и І і Ї ї Й й Ј ј К к Ќ ќ Л л Љ љ М м Н н Њ њ О о П п Р р С с Т т Ћ ћ У у Ў ў Ф ф Х х Ц ц Ч ч Џ џ Ш ш Щ щ Ъ ъ Ы ы Ь ь Э э Ю ю Я я ́
国際音声記号: t̪ d̪ ʈ ɖ ɟ ɡ ɢ ʡ ʔ ɸ β θ ð ʃ ʒ ɕ ʑ ʂ ʐ ç ʝ ɣ χ ʁ ħ ʕ ʜ ʢ ɦ ɱ ɳ ɲ ŋ ɴ ʋ ɹ ɻ ɰ ʙ ⱱ ʀ ɾ ɽ ɫ ɬ ɮ ɺ ɭ ʎ ʟ ɥ ʍ ɧ ʼ ɓ ɗ ʄ ɠ ʛ ʘ ǀ ǃ ǂ ǁ ɨ ʉ ɯ ɪ ʏ ʊ ø ɘ ɵ ɤ ə ɚ ɛ œ ɜ ɝ ɞ ʌ ɔ æ ɐ ɶ ɑ ɒ ʰ ʱ ʷ ʲ ˠ ˤ ⁿ ˡ ˈ ˌ ː ˑ ̪ {{IPA|}}

このページで使われているウィキデータエンティティ

群: サイトリンク、タイトル、Some statements、その他、説明: ja

このページで使用されているテンプレート:

Template:Algebra (編集)
Template:Ambox (ソースを閲覧) (保護)
Template:Catalog lookup link (ソースを閲覧) (保護)
Template:Checkdate (ソースを閲覧) (保護)
Template:Citation (ソースを閲覧) (拡張半保護)
Template:Citation/core (ソースを閲覧) (保護)
Template:Citation/core-ja-jp (ソースを閲覧) (拡張半保護)
Template:Citation/identifier (ソースを閲覧) (拡張半保護)
Template:Citation/showdate (ソースを閲覧) (保護)
Template:Citation/showdateCore (ソースを閲覧) (保護)
Template:Citation/showdateEN (ソースを閲覧) (拡張半保護)
Template:Cite book (ソースを閲覧) (保護)
Template:Cite web2 (ソースを閲覧) (保護)
Template:Column-count (ソースを閲覧) (拡張半保護)
Template:Column-width (ソースを閲覧) (拡張半保護)
Template:DMC (ソースを閲覧) (保護)
Template:DMC/core (ソースを閲覧) (保護)
Template:Doi (ソースを閲覧) (拡張半保護)
Template:En icon (ソースを閲覧) (拡張半保護)
Template:Endflatlist (ソースを閲覧) (半保護)
Template:Error-small (ソースを閲覧) (拡張半保護)
Template:Find sources mainspace (ソースを閲覧) (保護)
Template:Flatlist (ソースを閲覧) (拡張半保護)
Template:Google books (ソースを閲覧) (拡張半保護)
Template:Google books quote (編集)
Template:Groups (編集)
Template:Harvnb (ソースを閲覧) (拡張半保護)
Template:Hlist (ソースを閲覧) (拡張半保護)
Template:Hlist/styles.css (ソースを閲覧) (拡張半保護)
Template:ISBN2 (ソースを閲覧) (拡張半保護)
Template:ISO639言語名 (ソースを閲覧) (保護)
Template:ISO dateJA (ソースを閲覧) (保護)
Template:ISOdate (ソースを閲覧) (拡張半保護)
Template:Icon (ソースを閲覧) (拡張半保護)
Template:Ifempty (ソースを閲覧) (保護)
Template:Isnumeric (ソースを閲覧) (拡張半保護)
Template:Lang (ソースを閲覧) (保護)
Template:Lang-*-short (ソースを閲覧) (拡張半保護)
Template:Lang-en-short (ソースを閲覧) (拡張半保護)
Template:Languageicon (ソースを閲覧) (保護)
Template:Link (ソースを閲覧) (保護)
Template:Longlink (ソースを閲覧) (半保護)
Template:Main (ソースを閲覧) (拡張半保護)
Template:Main other (ソースを閲覧) (保護)
Template:Math (ソースを閲覧) (保護)
Template:MathSciNet (ソースを閲覧) (拡張半保護)
Template:MathWorld (ソースを閲覧) (拡張半保護)
Template:Mathbf (編集)
Template:Mvar (ソースを閲覧) (拡張半保護)
Template:NDLDC (ソースを閲覧) (拡張半保護)
Template:Navbox (ソースを閲覧) (保護)
Template:Navbox subgroup (ソースを閲覧) (拡張半保護)
Template:Nlab (編集)
Template:Normdaten (ソースを閲覧) (保護)
Template:PlanetMath (編集)
Template:ProofWiki (編集)
Template:Reflist (ソースを閲覧) (保護)
Template:Sfn (ソースを閲覧) (拡張半保護)
Template:SfnRef (ソースを閲覧) (拡張半保護)
Template:Sfnref (ソースを閲覧) (拡張半保護)
Template:Sidebar (ソースを閲覧) (拡張半保護)
Template:Sidebar with collapsible lists (ソースを閲覧) (拡張半保護)
Template:Small (ソースを閲覧) (保護)
Template:SpringerEOM (編集)
Template:Startflatlist (編集)
Template:Str left (ソースを閲覧) (拡張半保護)
Template:Subinfobox bodystyle (編集)
Template:Subsidebar bodystyle (編集)
Template:Tl (ソースを閲覧) (保護)
Template:Trim (ソースを閲覧) (保護)
Template:Wayback (ソースを閲覧) (拡張半保護)
Template:Yesno (ソースを閲覧) (保護)
Template:Yesno-no (ソースを閲覧) (保護)
Template:Yesno-yes (ソースを閲覧) (拡張半保護)
Template:Zbl (編集)
Template:\ (ソースを閲覧) (拡張半保護)
Template:代数的構造 (編集)
Template:仮リンク (ソースを閲覧) (保護)
Template:出典の明記 (ソースを閲覧) (保護)
Template:出典の明記/dateHandler (ソースを閲覧) (保護)
Template:国立国会図書館デジタルコレクション (ソースを閲覧) (拡張半保護)
Template:群論 (編集)
Template:脚注ヘルプ (ソースを閲覧) (保護)
Template:高校数学の美しい物語 (編集)
モジュール:Arguments (ソースを閲覧) (保護)
モジュール:Authority control (ソースを閲覧) (保護)
モジュール:Authority control/config (ソースを閲覧) (保護)
モジュール:Catalog lookup link (ソースを閲覧) (保護)
モジュール:Check for unknown parameters (ソースを閲覧) (保護)
モジュール:Check isxn (ソースを閲覧) (保護)
モジュール:Citation/CS1 (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/COinS (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/Configuration (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/Date validation (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/Identifiers (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/Utilities (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/Whitelist (ソースを閲覧) (拡張半保護)
モジュール:Citation/CS1/styles.css (ソースを閲覧) (保護)
モジュール:EditAtWikidata (ソースを閲覧) (保護)
モジュール:Error (ソースを閲覧) (保護)
モジュール:Error/styles.css (ソースを閲覧) (保護)
モジュール:Find sources (ソースを閲覧) (保護)
モジュール:Find sources/config (ソースを閲覧) (保護)
モジュール:Find sources/links/J-STAGE (ソースを閲覧) (保護)
モジュール:Find sources/links/NDL (ソースを閲覧) (保護)
モジュール:Find sources/links/cinii (ソースを閲覧) (保護)
モジュール:Find sources/links/dlib.jp (ソースを閲覧) (保護)
モジュール:Find sources/links/google (ソースを閲覧) (保護)
モジュール:Find sources/links/google books (ソースを閲覧) (保護)
モジュール:Find sources/links/google news (ソースを閲覧) (保護)
モジュール:Find sources/links/google scholar (ソースを閲覧) (保護)
モジュール:Find sources/links/japan search (ソースを閲覧) (保護)
モジュール:Find sources/links/wikipedia library (ソースを閲覧) (保護)
モジュール:Find sources/templates/Find sources mainspace (ソースを閲覧) (保護)
モジュール:Footnotes (ソースを閲覧) (拡張半保護)
モジュール:Hatnote (ソースを閲覧) (拡張半保護)
モジュール:Hatnote list (編集)
モジュール:ISO639言語名 (ソースを閲覧) (保護)
モジュール:Icon (ソースを閲覧) (保護)
モジュール:Icon/data (ソースを閲覧) (保護)
モジュール:If empty (ソースを閲覧) (保護)
モジュール:Labelled list hatnote (編集)
モジュール:List (ソースを閲覧) (拡張半保護)
モジュール:Message box (ソースを閲覧) (保護)
モジュール:Message box/ambox.css (ソースを閲覧) (保護)
モジュール:Message box/configuration (ソースを閲覧) (保護)
モジュール:Navbar (ソースを閲覧) (保護)
モジュール:Navbar/configuration (ソースを閲覧) (保護)
モジュール:Navbar/styles.css (ソースを閲覧) (保護)
モジュール:Navbox (ソースを閲覧) (保護)
モジュール:Navbox/former (ソースを閲覧) (保護)
モジュール:Sidebar (ソースを閲覧) (保護)
モジュール:Sidebar/configuration (ソースを閲覧) (拡張半保護)
モジュール:Sidebar/styles.css (ソースを閲覧) (拡張半保護)
モジュール:TableTools (ソースを閲覧) (保護)
モジュール:Wikipedia言語名 (ソースを閲覧) (保護)
モジュール:Yesno (ソースを閲覧) (保護)
モジュール:仮リンク (ソースを閲覧) (保護)
モジュール:仮リンク/link (ソースを閲覧) (保護)

このページは 2 個の隠しカテゴリに属しています:

「https://ja.wikipedia.org/wiki/群_(数学)」から取得

@@ 83行目: / 83行目: @@
 群 ''G''<sub>1</sub> から群 ''G''<sub>2</sub> への写像 ''f'' が任意の ''G''<sub>1</sub> の元 ''g'', ''g' '' について ''f''(''gg' '')&nbsp;=&nbsp;''f''(''g'')''f''(''g' '') を満たすとき、''f'' を'''[[群準同型|準同型]]'''（写像）という。（''G''<sub>1</sub> = ''G''<sub>2</sub>のときは特に'''自己準同型'''という。）さらに準同型 ''f'' が[[全単射]]であれば、''f'' を'''同型'''（写像）という。''G''<sub>1</sub> から ''G''<sub>2</sub> への同型が存在するとき、''G''<sub>1</sub> と ''G''<sub>2</sub> は同型であるといい、
 : <math>G_1 \simeq G_2</math>　あるいは　<math>G_1 \cong G_2</math>
-と表す。2つの群 ''G''<sub>1</sub>, ''G''<sub>2</sub> とその間の準同型写像 ''f'': ''G''<sub>1</sub> &rarr; ''G''<sub>2</sub> に対し、準同型 ''f'' の[[核 (代数学)|核]] Ker ''f'' は ''G''<sub>1</sub> の正規部分群である。このとき ''f'' の像 Im ''f'' は ''G'' を ''f'' の核 Ker ''f'' で割った剰余群に同型である：
+と表す。2つの群 ''G''<sub>1</sub>, ''G''<sub>2</sub> とその間の準同型写像 ''f'': ''G''<sub>1</sub> &rarr; ''G''<sub>2</sub> に対し、準同型 ''f'' の[[核 (数学)|核]] Ker ''f'' は ''G''<sub>1</sub> の正規部分群である。このとき ''f'' の像 Im ''f'' は ''G'' を ''f'' の核 Ker ''f'' で割った剰余群に同型である：
 : <math>G_1/\mathrm{Ker}\,f \simeq \mathrm{Im}\,f.</math>
 これを（群の）'''[[準同型定理]]'''（特に[[第一同型定理]]）という。