群（読み）グン（英語表記）group

デジタル大辞泉

ぐん【群】［漢字項目］

［音］グン（呉）　［訓］むれる　むれ　むら
［学習漢字］4年
〈グン〉
１ 多くのものが集まる。多くの。「群居・群衆・群集・群臣・群生・群像・群雄・群狼ぐんろう」
２ 同類の集まり。むれ。「一群・魚群・語群・大群・抜群」
〈むら〉「群雀むらすずめ・群千鳥」
[補説]「羣」は異体字。
［名のり］とも・もと

ぐん【群】

１ 群がること。集団。「群をなす」
２ 抽象代数学で、集合Gの元a, b, cの間に一つの演算方法＊が規定されていて、元がその演算方法に関して次の条件を満たすとき、Gを群という。
（1） a＊bはGに属する。
（2） （a＊b）＊c＝a＊（b＊c）が成り立つ。
（3） a＊e＝e＊a＝aとなる単位元eが存在する。
（4） a＊a^－1＝a^－1＊a＝eとなる逆元a^－1が存在する。

むら【群／^×叢／^×簇】

むらがっていること。また、そのもの。むれ。多く、他の名詞に付けて用いる。「―すずめ」「草―」

出典　小学館

精選版 日本国語大辞典

ぐん【群】

1. 〘 名詞 〙
2. ① むらがること。むらがり。むれ。集団。
   1. [初出の実例]「妹尾においては又いけどりに仕り候はんとて、群をぬけて追うてゆく」(出典：平家物語（１３Ｃ前）八)
   2. [その他の文献]〔易経‐乾卦〕
3. ② 数学で、算法の定義されている集合の一種。その要素の間に次の四つの条件を満たす算法「・」が定義されている、空でない集合Ｇをいう。( 1 )Ｇのいかなる要素ａ、ｂに対してもａ・ｂはまたＧの要素である。( 2 )結合法則（ａ・ｂ）・ｃ＝ａ・（ｂ・ｃ）が成り立つ。( 3 )Ｇのいかなる要素ａに対してもａ・ｅ＝ｅ・ａ＝ａとなるような特別な要素ｅがＧに含まれている。( 4 )Ｇの各要素ａに対して、ａ・ｘ＝ｅ，ｘ・ａ＝ｅとなるような要素ｘがＧに含まれている。〔数学ニ用ヰル辞ノ英和対訳字書（1889）〕

むれ【群】

1. 〘 名詞 〙
2. ① むらがっている状態。むらがった集団。あつまり。〔名語記（1275）〕
   1. [初出の実例]「ケダモノノ mure(ムレ)」(出典：日葡辞書（1603‐04）)
3. ② なかま。ともだち。
   1. [初出の実例]「同じむれの女房共口脣をそらして一味し」(出典：随筆・独寝（1724頃）下)
4. ③ 動物の集団をいう。

むら【群・叢】

1. [ 1 ] 〘 名詞 〙 むらがっていること。むれ。
   1. [初出の実例]「大なる火の聚(むラ)、百踰繕那に満ちたりとも」(出典：西大寺本金光明最勝王経平安初期点（830頃）九)
2. [ 2 ] 〘 造語要素 〙 名詞に付いて、むらがっている意を表わす。「群雲(むらくも)」「群雀(むらすずめ)」「草むら」など。

出典　精選版 日本国語大辞典

改訂新版　世界大百科事典

群 (ぐん)
group

正の数全体の集合Pを考えてみると，これらは次の4条件を満たしている。（1）a，bがPの元であれば，その積a×bが定まって，a×bもPの元である。（2）結合法則，すなわち（a×b）×c＝a×（b×c）が成り立つ。（3）1×a＝a×1＝a（単位元1が存在する）。（4）a×a⁻¹＝a⁻¹×a＝1（逆元a⁻¹が存在する）。

　一般に，数の乗法に限らず，ある集合Gに一つの演算（数の加法，写像の合成など）が定義されていて，それが上のような4条件を満たしているとき，Gは群であるという。演算の記号は，具体例では，×，＋，◦などいろいろありうるので，一般的に＊で表すことにすると，定義は次のように述べられる。

　集合Gに一つの演算＊が定義されていて，すなわち，（1）a，bがGの元ならば，a＊bが定まって，Gの元であり，さらに次の3条件（2）～（4）が満たされているとき，Gはこの演算＊に関して群をなすという。（2）結合法則，すなわち（a＊b）＊c＝a＊（b＊c）が成り立つ。（3）適当な元eがあって，Gのどの元aに対しても，e＊a＝a＊e＝aとなる。このeをGの単位元という。（4）Gの各元aに対して，a＊b＝b＊a＝eとなるような元bが存在する。このbをaの逆元という。

　演算を加法と呼ぶときは演算の記号としては＋を用いるのがふつうで，この場合単位元を0で表し，零と呼び，またaの逆元を－aで表し，マイナスaと呼ぶ。

　演算を乗法と呼ぶときは，演算の記号は略す（a＊bをabとかく）か，・を用いるのがふつうであり，単位元を1で表すことが多い。aの逆元はa⁻¹で表す。

　数の加法や乗法の場合には，条件（5）交換法則，すなわちa＊b＝b＊aが満たされている。このような場合，可換群またはアーベル群と呼ぶ。今後，この項では群の演算の記号は省略して，積はabのようにかく。

　数の加法や乗法とは異なる演算で群をなす例として対称群（置換群）があるが，それ以外の簡単な例を一つあげよう。

　テーブルの上に裏，表の区別のできる板をおいた場合を考える。板を裏返す操作をaとし，何もしないのをeとしよう。aを2回繰り返したaaを考えると，もとの状態に返るから，aa＝e。そして，aとeの二つの元だけで群になる。今は板の裏表だけを考えて置くときの板の向きは考えなかったが，向きも考えに入れて同様の操作を考えると，だいぶ複雑な群ができる。

群の歴史

五次以上の方程式の解法を見いだす努力として，J.L.ラグランジュとバンデルモンドAlexis Théophile Vandermonde（1735-96）が，1770年ころに三次，四次の場合の解法を吟味して，根の整式に根の置換をほどこしたとき，どれだけ異なった値をもつかということなどに着目した。約半世紀後にN.H.アーベルとE.ガロアがその考えを進展させて，アーベルが，まず代数的に解ける多項式（係数から出発して，根が四則算法とべき根をとる演算とで得られるもの）を調べ，一般の五次多項式には代数的には解けないものがあることを示した。ガロアはさらに進んで，多項式の群（今日の言葉でいうガロア群）を考え，また，根をつけた体やその中間体も定義して，ガロア群の構造と中間体との関係を解明した。また，後に述べる正規部分群を定義したのもガロアであり，このガロアの研究が群論の始まりといえる。ガロアの理論は，1870年に出版されたC.ジョルダンの著書に詳しく紹介されている。扱った群は一つの方程式の根の置換群であり，その後，A.L.コーシーはもっと一般な置換群を扱ったが，初めに述べたような抽象的な定義は，ケーリーArthur Cayley（有限群の場合）およびL.クロネッカー（一般の場合）による。このように抽象的な群の概念に到達してみると，群と幾何学との関係が浮かび上がり，F.クラインの有名な《エルランゲン・プログラム》がそれを明確にした。その後，群の概念は，代数学，幾何学だけでなく，数学の多くの分野において，たいへん基本的なものになった。また，結晶学における結晶の分類や，量子力学にも応用されている。群に位相を入れた位相群というものもあり，その応用範囲は広い。応用される分野に応じて群があるといえるくらい，重要な群が多くあり，その多くのものはリー群と呼ばれるものに含まれる。

ガロア群の例

方程式x⁶－2＝0のガロア群を求めてみよう。1の虚立方根の一つをωとすれば，－ωが1の6乗根であり，上の方程式の6根は±⁶\(\sqrt{2}\)，±ω ⁶\(\sqrt{2}\)，±ω^{2 6}\(\sqrt{2}\)である。ガロア群Gの元φは6根を独立に考えての置換ではなく，数の体系としてふさわしいものと考えることにすれば，⁶\(\sqrt{2}\)とωの写され先（前者は6根のどれか，後者はωかω²）がきまれば，他の根の写る先もきまるのように）。そこでσ，τを，によって定めると，

　σ，σ²，σ³，σ⁴，σ⁵，σ⁶＝1

　τσ，τσ²，τσ³，τσ⁴，τσ⁵，τ

の12個の元は互いに異なるGの元になる。⁶\(\sqrt{2}\)の行先は六つ，ωの行先は二つゆえ，Gの元は，6×2＝12より多くはあり得ないから，上の12個の元がガロア群を作るのである。この群では，σ⁶＝1のほかに，τ²＝1，τστ＝σ⁵＝σ⁻¹（τστはω→ω，⁶\(\sqrt{2}\)→－ω²⁶\(\sqrt{2}\)と写すから）という関係がある。

　可解群という概念（後述）があるが，方程式が代数的に解けるためには，そのガロア群が可解群であることが必要十分条件である。

　定規とコンパスだけでは3等分のできない角θの存在することが知られているが，その証明には， のガロア群が利用できる。その場合，作図可能なのは，ガロア群の元が2個以内のときであり，例えば，θ＝60°でも，ガロア群の元数は六つである。このように，ガロア群は方程式の解法以外にも応用がある。

部分群

例えば，正の数全体が乗法に関して作る群Pの中で，3^m5ⁿ（m，nは整数）の形の数全体Hをとれば，H⊂Pであって，Hだけでも群になっている。このように，一つの群Gの部分集合Kが，それ自身でも群になっているとき，KはGの部分群であるという。この例Hは，3と5を含む最小の部分群であるという意味で，3と5とで生成された部分群であるといい，〈3，5〉で表すことが多い。一つの元aで生成される群〈a〉＝｛aⁿ｜n＝0，±1，±2，……｝を，aで生成された巡回群という。一般に，群Gの部分群Kが与えられたとき，a，b∈Gにより，Ka＝｛ka｜k∈K｝とKb＝｛kb｜k∈K｝とに共通元があれば，Ka＝Kbである。そこでKaの形の集合全体を考えると，Gを共通元をもたない部分集合の和に分けることになる。Kaを，Kを法とする右剰余類（“右”は，Kの元によりずらした余りに相当するaが右側にあるから）または左K剰余類（“左”はKが左側にあるから）という。左，右を逆にしたaKの形の部分集合も考えられるが，この左右の区別のいらない場合，すなわち，〈k∈K，a∈Gならば，a⁻¹ka∈K〉の成り立つとき，KはGの正規部分群であるといい，各Kaを，Kを法とする剰余類という。剰余類全体は，（Ka）（Kb）＝Kabと乗法を定義すると新しい群ができる。この群を剰余類群と呼び，G/Kで表す。この事情は整数全体Zが加法に関して群であり，一つの整数nの倍数全体nZが部分群になり，nで割って余りが同じになるものをひとまとめにしたものが各剰余類であることを思い浮かべれば理解の助けになろう。

可解群

H，Kが群Gの部分群であるとき，｛h⁻¹k⁻¹hk｜h∈H，k∈K｝を含む最小の部分群を，HとKとの交換子群といい，［H，K］で表す。［H，H］をD（H）と表すことにする。G＝G₀とおき，G_i+1＝D（G_i）と定めたとき，G＝G₀⊇G₁⊇……⊇G_n⊇……となるが，あるnでG_nが単位元だけになるとき，Gは可解群であるという。次のような部分群の列があるといっても同じである。G＝H₀⊃H₁⊃……⊃H_m＝｛単位元｝，各H_i（i＝1，2，……，n）はH_i-1の正規部分群で，H_i-1/H_iがアーベル群。

　方程式が代数的に解けるための条件は，ガロア群がこの性質をもつことであるという理由で，このように名づけられたのである。

指数と位数

Hが群Gの部分群であるとき，互いに異なる右剰余類Haの数（無限の場合も考える）をHのGにおける指数という。［G：H］，（G/H）などで表される。これは左剰余類で定義しても同じになる。Gの元の数をGの位数といい｜G｜，♯（G）などで表される。これが有限である場合には，有限群と呼ぶ。Gの元aについて，aで生成された巡回群〈a〉の位数をaの位数という。｜G｜が有限である場合，各HaはHと同じ個数の元からなるから，｜G｜＝［G：H］×｜H｜が得られ，部分群Haの位数，指数はGの位数の約数であることがわかる。

単純群

群Gの正規部分群が，Gと｛単位元｝以外にはないとき，Gは単純群であるという。n≧5のとき，n次交代群（置換群）は単純群である。このことは五次以上の方程式が一般には代数的に解けないことと関連する。体Kの上のn次特殊線形群Gの中で，スカラー行列全体Nは，正規部分群であるので，G/Nを考えることができる。n≧2のとき，二つの場合（n＝2で，Kの元数2または3）を除いて，G/Nは単純群である。

中心

群Gにおいて，Z＝｛x∈G｜どんなy∈Gに対してもxy＝yx｝は正規部分群である。これをGの中心という。上の特殊線形群Gの場合，Nが中心になっている。

　有限群Gの位数が素数pのべきp^eであるとき，Gはp群であるという。e≧1であれば，Gの中心の位数はp^m（m≧1）である。したがって，次のような部分群の列がある。｛単位元｝＝Z₀⊂Z₁⊂……⊂Z_s＝G，各i＝1，2，……，sについて，Z_i/Z_i-1はG/Z_i-1の中心。したがって，p群は可解群である。

群の表現

一つの群Gを調べるのに，他の群Hへの準同型φを考え，φの核φ⁻¹（1）＝｛x∈G｜φ（x）＝1（単位元）｝およびφ（G）を調べることが有効であることがある。このようなφ，Hを考えることをGの表現という。Hが線形群であるのが通例であり，群の表現論といえば，そのような表現に関する理論を意味するのがふつうである。その他の型の表現の例として，置換表現がある。Hが群Gの部分群で，であるとき，各g∈Gに対しn個の集合a₁H，……，a_nHの上の置換，

　a₁H　a₂H……a_nH

　ga₁H　ga₂H……ga_nH

を対応させると，Gからn次の対称群の中への準同型が得られるのである。

二面体群，正多面体群

正n角形Fの位置を定めた上で，Fの回転および裏返しによるFからFへの変換は，回転がn個，裏返しと回転の合成がn個，合計2n個の元からなる群を作る。このような群を二面体群という。正多面体には，正四面体，正六面体（すなわち立方体），正八面体，正十二面体，正二十面体がある。正n面体Kの位置をきめ，Kの中心を中心とする回転で，Kの位置を変えないもの全体の作る群をn面体群といい，それらを総称して，正多面体群という。四面体群は四次交代群と同型で，位数は12である。六面体群，八面体群，四次対称群は同型で，位数は24である。十二面体群，二十面体群，五次交代群は同型で，位数は60である。
執筆者：永田 雅宜

出典　株式会社平凡社「改訂新版　世界大百科事典」

普及版 字通

群
常用漢字 13画

(異体字)羣
13画

[字音] グン
[字訓] むらがる・むれ

[説文解字]
[金文]

[字形] 形声
声符は君(くん)。〔説文〕^四上に「輩なり」、〔玉〕に「なり」と訓するが、もと獣の群集する意である。〔詩、小雅、無羊〕は牧場開きを祝う詩で、「三百維(こ)れ群す」とその多産を予祝する。羊や鹿の類には群集する習性があるので、羊には群といい、鹿には(くん)という。これを人に移して群衆という。金文の〔陳侯午敦(ちんこうごたい)〕に「群侯」の語がみえている。

[訓義]
1. むらがる、むれ。
2. とも、たぐい、しな、みうち。
3. あつまる、あわせる、ととのう。

[古辞書の訓]
〔名義抄〕群　トモガラ・ムラガル・アツマル・タムロ・モロモロ・アツメタリ

[語系]
群・・giunは同声。は群居、に集の意がある。はまた麕に作り、khyun声の字にまたその意がある。

[熟語]
群▶・群飲▶・群陰▶・群烏▶・群英▶・群猿▶・群燕▶・群▶・群枉▶・群殴▶・群下▶・群喙▶・群鶴▶・群姦▶・群起▶・群季▶・群嬉▶・群疑▶・群戯▶・群蟻▶・群議▶・群逆▶・群居▶・群兇▶・群梟▶・群愚▶・群経▶・群形▶・群▶・群▶・群羯▶・群▶・群賢▶・群犬▶・群元▶・群言▶・群彦▶・群呼▶・群▶・群胡▶・群伍▶・群公▶・群后▶・群好▶・群行▶・群狗▶・群狡▶・群豪▶・群国▶・群才▶・群山▶・群豕▶・群祀▶・群司▶・群児▶・群蝨▶・群邪▶・群豎▶・群衆▶・群聚▶・群集▶・群醜▶・群書▶・群処▶・群翔▶・群嘯▶・群小▶・群擾▶・群繞▶・群臣▶・群神▶・群帥▶・群▶・群雛▶・群生▶・群姓▶・群星▶・群青▶・群籍▶・群仙▶・群▶・群僧▶・群譟▶・群族▶・群孫▶・群畜▶・群典▶・群徒▶・群党▶・群偸▶・群闘▶・群盗▶・群動▶・群童▶・群▶・群馬▶・群▶・群輩▶・群蛮▶・群飛▶・群婢▶・群匹▶・群▶・群賓▶・群品▶・群辟▶・群別▶・群▶・群編▶・群氓▶・群萌▶・群謀▶・群謗▶・群望▶・群方▶・群芳▶・群邦▶・群朋▶・群峰▶・群牧▶・群僕▶・群魔▶・群民▶・群鳴▶・群盲▶・群目▶・群門▶・群雄▶・群友▶・群有▶・群羊▶・群落▶・群巒▶・群吏▶・群立▶・群流▶・群侶▶・群旅▶・群虜▶・群僚▶・群寮▶・群類▶・群黎▶・群霊▶・群嶺▶・群▶・群鹿▶・群穢▶
[下接語]
異群・逸群・冠群・空群・出群・成群・絶群・大群・超群・追群・同群・特群・馬群・敗群・抜群・匹群・不群・別群・牧群・離群・凌群・連群

出典　平凡社「普及版 字通」

日本大百科全書(ニッポニカ)

群
ぐん
group

抽象代数学の概念の一つ。単に数の演算にとどまらず、写像の合成、置換の合成、行列の演算、回転変換の合成など、ある種の操作において閉じている体系が至る所でみいだされる。集合におけるある一つの演算にのみ注目して、他のすべての性質を捨象するとき、群の概念に到達する。最初、ガロアによって方程式の問題を解の間の置換のなす群の問題に転換することで導入された群の概念は、急速に発達して、現代代数学の基本概念となっている。

［足立恒雄］

群の定義

Gを集合とし、Gには（いま注目している）一つの演算が与えられているとする。元a、bの間の演算の結果をa*bと表すことにする（簡単のため、abのように＊を略すこともある）。次の四つの性質が成り立つとき、Gは＊なる演算のもとで群をなすという。

(1)Gは演算＊で閉じている。すなわち、任意の2元a、bに対してa*b∈G
(2)Gの任意の2元a、bに対して
　　a*(b*c)＝(a*b)*c　　（結合法則）
(3)Gには単位元とよばれる特別な元eが存在して、Gの任意の元aに対して
　　e*a＝a*e＝a
(4)Gの任意の元aに対してaの逆元とよばれる元bが存在して
　　a*b＝b*a＝e
　(3)に述べた単位元はただ一つしか存在しないことが証明される。また逆元も各aに対してただ一つしか存在しない。そこでこれをa^-1と記す。とくに
　　a*b＝b*a　　（可換法則）
がGの任意の2元a、bに対して成り立つとき、Gは可換群またはアーベル群とよばれる。群Gの空でない部分集合HがGと同じ演算で群をなすとき、HはGの部分群であるといわれる。

［足立恒雄］

群の例

(1)置換群　Mを数字1、2、……、nのなす集合とする。Mの置換とはMからMの上への写像のことである。あるいは1、2、……、nの順列と考えてもよい。Mの置換の全体をS_nと記す。S_nは写像の合成を積と考えるとき、群をなす。これをn文字の対称群という。S_nの部分群を置換群という。

(2)一次変換群　実数体や複素数体などの可換体をKとする。Kの元を成分とする正則なn次正方行列の全体は乗法で群をなす。これを体K上のn次の一般一次変換群といってGL(n, K)で表す。とくに行列式が1のものばかりの集合をSL(n, K)とすると、これはGL(n, K)の部分群をなす。SL(n, K)は特殊一次変換群といわれる。

(3)合同変換群　三次元のユークリッド空間をR³とする。R³からR³の上への1対1の写像であって、2点間の距離を変えないものを合同変換という。合同変換の全体は合同変換群とよばれる群をつくる。とくに、回転軸が定点Oを通るような二つの回転の積は、またOを通る直線を回転軸とする回転である。定点Oを動かさない回転の全体のなす群を、Oを中心とする回転群という。回転群は合同変換群の部分群である。

　さらに、定点Oを中心とする特定の正多面体を考え、それを合同な位置にもたらすような回転の全体は回転群の部分群をなす。これらを多面体群と総称する。正多面体が正四面体、正八面体、正二十面体であるに従って、それぞれ正四面体群、正八面体群、正二十面体群という。

［足立恒雄］

商群

Nを群Gの部分群とする。Gの任意の元xに対して
　　xN＝Nx
を満たすとき、NはGの正規部分群であるといわれる。ただし
　　xN＝｛xy|y∈N｝,
　　Nx＝｛yx|y∈N｝
である。G/NでもってxN（xはGの元）の形の集合の集合を表すことにする。

　　G/N＝｛xN|x∈G｝
G/Nの2元xNとyNの間で
　　(xN)・(yN)＝xyN
と演算を定義する。Nが正規部分群であることによってG/Nはこの演算の定義により群をなす。G/NはGのNによる剰余類群とか商群とよばれる。

　たとえばZを整数のなす加法群とする。Mでもって一つの整数mの倍数全体のなすZの部分群とする。アーベル群においてはすべての部分群が正規である。したがってZのMによる剰余類群がつくられる。これはいわゆる法mでの剰余類の考え方である。

［足立恒雄］

単純群

群GがG自身と単位元eだけからなる部分群｛e｝以外には正規部分群をもたないとき、単純であるといわれる。有限単純群の分類の研究は近時盛んに行われ、日本の学者も大いに貢献した。

［足立恒雄］

生成系

Sを群Gの部分集合とする。Sを含むGの最小の部分群がG自身となるときSはGの生成系である、といわれる。G自身Gの生成系である。ただ一つの元からなる生成系をもつとき、群は巡回群であるといわれる。Zは1から生成される巡回群である。またωを1の虚数の3乗根とするとき、
　　G＝｛1,ω,ω²｝
は巡回群で、ωがGの生成元である。

［足立恒雄］

[参照項目] | アーベル群 | 一次変換 | 回転 | 合同変換 | 準同形写像 | 剰余類 | 多面体群 | 置換

出典　小学館　日本大百科全書(ニッポニカ)

ブリタニカ国際大百科事典 小項目事典

群
ぐん
group

群は，変換群を代数的構造として論じるため生まれた。それは次の諸条件を満たす集合 G のことである。 G は空でない集合で，G の任意の2元 x ，y (順序をつけて考える) に対して，これらの結合といわれる第3の元 z ∈ G を対応させる対応の規則 (これを G の上の演算という) が与えられている。 x と y の結合を xy と書き，これを x ，y の積という。すなわち z＝xy である。そして G 上の演算は，次の3条件を満たしている。 (1) G の任意の元 a ，b ，c に対して，a(bc)＝(ab)c が成り立つ (結合法則) 。 (2) G のすべての元 x に対して，ex＝x をみたす G の元 e がただ1つ存在する。 (3) G のおのおのの元 x に対して，xx'＝e となる G の元 x' がただ1つずつ存在する。元 e を G の単位元，元 x' を G の逆元という。 x' は普通 x^-1 と書く。 G の任意の元 x ，y について xy＝yx が成り立つとき，G をアーベル群または変換群という。この場合は xy の代りに加法の形 x＋y で書くことが多い。 x と y の結合が x＋y で表わされるときは，加群またはモジュールと呼び，単位元を0，逆元を －x と書く。群に含まれる元の個数を群の位数，位数が有限か無限かによって，有限群あるいは無限群という。群の例としては，次のようなものがある。 (1) 整数全体の集合は加法について群をつくる。 (2) 実数全体の集合は加法について群をつくる。 (3) 0でない実数全体の乗法について群をつくる。 (4) n 次元ベクトルの全体は，加法について群をつくる。 (5) 行列式の値が0でない n 次の正方行列全体の集合は乗法について群をつくる。 (6) 相異なる n 個の順列の間の置換全体の集合は乗法に関して群をつくる。素朴な群の概念は，対称図形の考案に関連して古代からあり，近年の精密な理論は高次方程式の根の置換の研究から起ったが，現今では最も基本的な代数的構造の一つとみなされ，数学のあらゆる分野に広く応用されている。

出典　ブリタニカ国際大百科事典 小項目事典

百科事典マイペディア

群(数学)【ぐん】

集合Gの要素の間に一つの演算・（加法，乗法その他）が定義され，Gの任意の２要素をa，bとするとき，1.a・bはGに属し，2.結合法則（a・b）・c＝a・（b・c）が成立，3.任意のaに対しa・e＝e・a＝aとなる要素e（単位元）がただ一つ存在する。4.任意のaに対しa・a(-/)¹＝a(-/)¹・a＝eとなる要素a(-/)¹（逆元）がただ一つ存在するならば，Gはこの演算に関し群であるという。さらに交換法則a・b＝b・aが成り立てば可換群（アーベル群）という。０と正負の整数全体は加法に関し，また正の実数全体は乗法に関し可換群。→群論／環／体
→関連項目ガロア｜空間群｜結合法則｜抽象代数学｜点群

出典　株式会社平凡社

化学辞典 第2版

群
グン
group

数学では，お互いの関係が，下記のような四つの規則で定義される元の集合を群とよぶ．対称性をもつ結晶や，化合物の幾何学的構造に対する対称操作がこの規則に従うので，結晶や化合物の電子状態および振動状態を議論するのに広く使用されている．四つの規則を元である対称操作a，b，c，…について述べる．
(1)二つの対称操作を組み合わせると必ずこの集合のなかのどれかの対称操作と同じになる．これを次のように書く．

ab ＝ c．
(2)操作の順をかえなければ同じ結果になる．

(ab)c ＝ a(bc)(結合則)．
(3)何も行わない対称操作(恒等操作)eが集合のなかに必ず含まれる．

ae ＝ ea ＝ a．
(4)集合には対称操作の逆操作が必ず含まれる．それを a^－1 で表すと，

aa^－1 ＝ a^－1a ＝ e
である．

出典　森北出版「化学辞典（第2版）」

知恵蔵

群

19世紀前半、ガロア(E.Galois)が発見した概念。足し算や掛け算の体系を公理化したもの。整数全体を考え、足し算を例にとると、(1)(a+b)+c=a+(b+c)(結合法則)が成り立ち、(2)零元0が存在し、(3)整数aに対して-aが存在する。この3つの性質を抽出して抽象化した代数系が群(ぐん)。群は対称性と関係があり、ルービックキューブの解法も群の理論によって構成できる。また、正多角形、正n面体は、群の存在と関係している。物理学では量子力学や素粒子論、化学では結晶構造や分子構造の解析にも、群の理論が応用されている。

(桂利行 東京大学大学院教授 ／ 2007年)

出典　(株)朝日新聞出版発行「知恵蔵」

岩石学辞典

群

→岩石群

出典　朝倉書店

世界大百科事典（旧版）内の群の言及

【周期表】より

…どちらの型の表でも，原子番号1の水素Hから103のローレンシウムLrまで，あるいは104や，最近報告されている105以上の数個の元素をも含めて，あらゆる元素を原子番号の順序に階段状に配列し，原子の構造，元素の性質のよく似たものどうしが上下に重なり合うように巧みに構成してある。表の縦方向に重なり合う元素群は同じ族group，横方向にならぶ元素群は同じ周期periodに属するという。族には表の左端からIA，IIA，IIIA，……，VIIA，VIII，IB，IIB，……，VIIB,0の諸族があり，またIIIA族の下部にはランタノイドおよびアクチノイドと総称される諸元素が相次いで現れる。…

【集団】より

…ある目標をもち，それを達成するために相互に活動しあい，共属していると感じている複数の人々の結合を集団あるいは社会集団という。ビジネスや教育のための集団のように，目標が明確に限定されている場合もあるし，友人の集団のようにいっしょにいること自体が暗黙の目標になるという場合もある。人々の相互作用が定期に組織的に行われる場合もあるし，そうでない場合もある。共属の感情が強くて一体感や〈われわれ意識〉(we‐feeling，成員が自覚的に集団それ自体を一つの主体として意識するところに生ずる共通の感覚)をもつ集団もあるし，それが弱い集団もある。…

【族】より

…化学用語。周期表中，縦の列に並ぶ元素をまとめて元素の族という。同じ族に属する元素は同族元素と呼び，番号または名称をつけて表す。すなわち長周期型周期表では，最外殻の原子価電子の配置が同じタイプの元素がくりかえし出現して縦に並ぶように配列されている。したがって縦の列に並ぶ元素は化学的性質，化合物の形，原子価などが比較的よく似たものが集まることになる。ただし歴史的には，逆に元素の分類から周期表が作られたので，その族としての分類は，短周期型でI族からVIII族まで，および0族とし，それをさらにA,Bの亜族で分けるのが普通に用いられている。…

【群れ】より

…動物の集合を表す一般用語で，日本語では動物種によらずこの語を用いてとくに違和感を感じないが，英語では，遊泳中の魚群などにはschoolをあて，鳥類の群れにはflockを，有蹄類の群れにはherdを，オオカミの群れにはpackを，ライオンなどの群れにはprideを，クジラやアザラシなどの小さな群れにはpodを，またサルなどの組織化された群れにはgroupを，その比較的サイズの大きいものにはtroopをあてる。これらの群れには，その構成員が定まっているものと，同種の個体あるいは同種で同年齢の個体，あるいは同じ性の個体であれば自由に入れ換えが可能なものとがある。…

※「群」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」