対称群と特性部分群

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

対称群と特性部分群の違い

対称群 vs. 特性部分群

対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。. 数学、とくに群論という抽象代数学の分野において、特性部分群 (characteristic subgroup) はもとの群のすべての自己同型写像の下で不変な部分群である。共役は自己同型であるから、すべての特性部分群は正規部分群であるが、すべての正規部分群が特性部分群であるわけではない。特性部分群の例には、交換子部分群や群の中心がある。.

対称群

対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.

対称群と対称群 · 対称群と特性部分群 · 続きを見る »

交換子部分群

数学、特に抽象代数学における群の交換子部分群（こうかんしぶぶんぐん、commutator subgroup）あるいは導来部分群（どうらいぶぶんぐん、derived subgroup）は、その群の交換子全体で生成される部分群である。 交換子部分群は、それによる商がアーベル群となるような正規部分群のうちで最小のものであるという点で重要である。すなわち、 がアーベル群となる必要十分条件は正規部分群 が交換子部分群を含むことである。ゆえにある意味で交換子部分群は、群がアーベル群からどれくらい離れているかを測るものということができる。つまり、交換子部分群が大きいほど、その群はアーベル群から遠くなる。.

交換子部分群と対称群 · 交換子部分群と特性部分群 · 続きを見る »

二面体群

二面体群（にめんたいぐん、dihedral group）とは、正多角形の対称性を表現した数学的対象である。より正確には、正多角形を自分自身に移す合同変換全体の成す群のことである。そのような合同変換は、回転と鏡映の二種類がある。二面体群は、有限非可換群の最も単純な例であり、群論、幾何学、化学などの分野において重要な役割を果たす。類似の概念は、3次元以上の正多面体や正多胞体に対しても与えることができる。「二面体」とは、正多角形を3次元空間内で見て裏表の区別を付けたもの、といった意味合いである。.

二面体群と対称群 · 二面体群と特性部分群 · 続きを見る »

クラインの四元群

ラインの四元群とは、巡回群でない位数が最小の群である。また、位数2の巡回群の直積と同型である。 クラインの四群元の単位元以外の元の位数は、2である。 クラインの四元群の演算表は: また、交代群 A4 の正規部分群 と同型。.

クラインの四元群と対称群 · クラインの四元群と特性部分群 · 続きを見る »

シュプリンガー・サイエンス・アンド・ビジネス・メディア

ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.

シュプリンガー・サイエンス・アンド・ビジネス・メディアと対称群 · シュプリンガー・サイエンス・アンド・ビジネス・メディアと特性部分群 · 続きを見る »

内部自己同型

抽象代数学において、内部自己同型写像 (inner automorphism) は、ある操作をして、次に別の操作をして、次に最初の操作の逆をするような写像である。記号では、f^ \circ g \circ f (X) のように書ける。最初の行動と後に続くその逆の行動は、全体として得る結果を変えることもあれば（「傘をさして、雨の中を歩いて、傘をとじる」というのは単に「雨の中を歩く」のとは異なる結果になる）、変えないこともある（「左手の手袋を外し、右手の手袋を外し、左手の手袋をつける」のは「右手の手袋のみを外す」のと同じ結果になる）。 より正確には、群 の内部自己同型写像 は、 の任意の元 に対し によって定義される写像である。ここで a は G の与えられた固定された元であり、群の元の作用は右に起こると考える（なのでこれを読むとすれば「a かける x かける a−1」ということになる）。 元 を一つ固定して考えるとき、元 を の による共軛 (conjugate) （あるいは は によって と共軛である）と言い、 から を得る操作 を の による共役変換 (conjugation) または相似変換 (similarity transformation) と呼ぶ（共役類も参照）。また適当な によって の形に書けるような元を総称して の共軛元 (conjugate element) と呼ぶ。 1 つの元による共役が別の 1 つの元を変えない場合（上の「手袋」の場合）と共役によって新しい元が得られる場合（「傘」の場合）を区別することはしばしば興味の対象となる。 事実、 と言うことと と言うことは同値である。したがって、恒等写像でない内部自己同型の存在と個数は、群における交換法則の成り立たなさを測るようなものである。.

内部自己同型と対称群 · 内部自己同型と特性部分群 · 続きを見る »

群 (数学)

数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.

対称群と群 (数学) · 特性部分群と群 (数学) · 続きを見る »

群の中心

代数学における群 の核心または中心（ちゅうしん、center）この記法の Z はドイツ語で中心という意味の Zentrum に由来する。英語の center から のような記法が使われることも在るが、中心化群などと紛らわしい。 は の全ての元と可換となるような元全体の成す集合 である。 の中心は の部分群であり、定義からアーベル群（可換群）である。部分群としては、常に正規であり、特性的であるが必ずしも完全特性的 (fully characteristic) ではない。剰余群 は の内部自己同型群に同型である。 群 がアーベル群となることと となることとは同値である。これと正反対に、 が自明（つまり単位元のみからなる）ならば群 は中心を持たない (centerless) という。 中心に属する元はしばしば中心的 (central) であるといわれる。.

対称群と群の中心 · 特性部分群と群の中心 · 続きを見る »

群論

群論（ぐんろん、group theory）とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代～80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.

対称群と群論 · 特性部分群と群論 · 続きを見る »

部分群

二項演算 * に関して群 G が与えられたとする。 G の部分集合である H が G の部分群であるということは、 H が演算 * に関して群になるということである。より正確に表現すると、 H が G の部分群であるということは、群の演算 * を H×H （Hの直積）に制限したときに、 H における群の演算になっているということである。この関係は通常、 H ≤ G という記号で表現し、「 H は G の部分群である」と読む。 G の真部分群とは、部分群 H が G の真部分集合である（つまり H≠G である）ことである。任意の群 G に対し、G 自身と単位元のみからなる集合 は常に G の部分群である。 H が G の部分群であるとき、 G は H の拡大群であると表現する場合がある。 G が任意の半群であるときも、G の部分群の定義はそのまま通用するが、本項では群の部分群についてのみを扱うにとどめる。群 G は順序対 (G, &lowast) として記述されることもあるが、このように書くのは普通、G を台となる集合としてその上に演算 "∗" が代数的構造（あるいはもっとほかの構造）を定めるということを強調するためである。 以下では、通常の慣習に倣って ∗ を省略し、積 a ∗ b を単に ab と表記する。また、群の演算を単に「積」と表記する場合もある。.

対称群と部分群 · 特性部分群と部分群 · 続きを見る »

正規部分群

数学、とくに抽象代数学における正規部分群（せいきぶぶんぐん、normal subgroup）は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。 正規部分群の重要性は、エヴァリスト・ガロアによって最初に明らかにされた。.

対称群と正規部分群 · 正規部分群と特性部分群 · 続きを見る »