ブラウザよりも高速アクセス！
30 関係: 対称群、巡回群、交換子部分群、二面体群、位相群、像 (数学)、アーベル群、クラインの四元群、シュプリンガー・サイエンス・アンド・ビジネス・メディア、ジョン・ワイリー・アンド・サンズ、内部自己同型、全射、群 (数学)、群の中心、群の直積、群同型、群論、群準同型、部分群、部分群の指数、自己同型、自己準同型、自由群、Graduate Texts in Mathematics、抽象代数学、推移関係、捩れ部分群、正規部分群、有限群、数学。
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
巡回群
群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.
交換子部分群
数学、特に抽象代数学における群の交換子部分群（こうかんしぶぶんぐん、commutator subgroup）あるいは導来部分群（どうらいぶぶんぐん、derived subgroup）は、その群の交換子全体で生成される部分群である。 交換子部分群は、それによる商がアーベル群となるような正規部分群のうちで最小のものであるという点で重要である。すなわち、 がアーベル群となる必要十分条件は正規部分群 が交換子部分群を含むことである。ゆえにある意味で交換子部分群は、群がアーベル群からどれくらい離れているかを測るものということができる。つまり、交換子部分群が大きいほど、その群はアーベル群から遠くなる。.
新しい！!: 特性部分群と交換子部分群 · 続きを見る »
二面体群
二面体群（にめんたいぐん、dihedral group）とは、正多角形の対称性を表現した数学的対象である。より正確には、正多角形を自分自身に移す合同変換全体の成す群のことである。そのような合同変換は、回転と鏡映の二種類がある。二面体群は、有限非可換群の最も単純な例であり、群論、幾何学、化学などの分野において重要な役割を果たす。類似の概念は、3次元以上の正多面体や正多胞体に対しても与えることができる。「二面体」とは、正多角形を3次元空間内で見て裏表の区別を付けたもの、といった意味合いである。.
新しい！!: 特性部分群と二面体群 · 続きを見る »
位相群
数学における位相群（いそうぐん、topological group）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。 文献によっては、本項に言うところの位相群を連続群と呼び、単に「位相群」と言えば位相空間として T2（ハウスドルフの分離公理）を満たす連続群すなわちハウスドルフ位相群を意味するものがある。.
像 (数学)
'''f''' は始域 '''X''' から終域 '''Y''' への写像。'''Y''' の内側にある小さな楕円形が '''f''' の像である。 数学において、何らかの写像の像（ぞう、image）は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による（または f に関する、f のもとでの、f を通じた）X の像という。また、写像の終域の何らかの部分集合 S の逆像（ぎゃくぞう、inverse image）あるいは原像（げんぞう、preimage）は、S の元に写ってくるような始域の元全体からなる集合である。 像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。.
新しい！!: 特性部分群と像 (数学) · 続きを見る »
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.
新しい！!: 特性部分群とアーベル群 · 続きを見る »
クラインの四元群
ラインの四元群とは、巡回群でない位数が最小の群である。また、位数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）」。.
新しい！!: 特性部分群とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
ジョン・ワイリー・アンド・サンズ
ョン・ワイリー・アンド・サンズ（John Wiley & Sons、略称: Wiley、）は、1807年創業の科学、医学、教育などの分野の世界的な学術出版社である。 大学院のための教材、トレーニング教材、百科事典などの印刷、オンライン製品やオンラインサービスのような電子的情報も扱っている。『フォー・ダミーズ』シリーズの出版でも知られている。.
新しい！!: 特性部分群とジョン・ワイリー・アンド・サンズ · 続きを見る »
内部自己同型
抽象代数学において、内部自己同型写像 (inner automorphism) は、ある操作をして、次に別の操作をして、次に最初の操作の逆をするような写像である。記号では、f^ \circ g \circ f (X) のように書ける。最初の行動と後に続くその逆の行動は、全体として得る結果を変えることもあれば（「傘をさして、雨の中を歩いて、傘をとじる」というのは単に「雨の中を歩く」のとは異なる結果になる）、変えないこともある（「左手の手袋を外し、右手の手袋を外し、左手の手袋をつける」のは「右手の手袋のみを外す」のと同じ結果になる）。 より正確には、群 の内部自己同型写像 は、 の任意の元 に対し によって定義される写像である。ここで a は G の与えられた固定された元であり、群の元の作用は右に起こると考える（なのでこれを読むとすれば「a かける x かける a−1」ということになる）。 元 を一つ固定して考えるとき、元 を の による共軛 (conjugate) （あるいは は によって と共軛である）と言い、 から を得る操作 を の による共役変換 (conjugation) または相似変換 (similarity transformation) と呼ぶ（共役類も参照）。また適当な によって の形に書けるような元を総称して の共軛元 (conjugate element) と呼ぶ。 1 つの元による共役が別の 1 つの元を変えない場合（上の「手袋」の場合）と共役によって新しい元が得られる場合（「傘」の場合）を区別することはしばしば興味の対象となる。 事実、 と言うことと と言うことは同値である。したがって、恒等写像でない内部自己同型の存在と個数は、群における交換法則の成り立たなさを測るようなものである。.
新しい！!: 特性部分群と内部自己同型 · 続きを見る »
全射
数学において、写像が全射的（ぜんしゃてき、surjective, onto）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が（一般には複数あってもよいが）対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。 全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: 特性部分群と群 (数学) · 続きを見る »
群の中心
代数学における群 の核心または中心（ちゅうしん、center）この記法の Z はドイツ語で中心という意味の Zentrum に由来する。英語の center から のような記法が使われることも在るが、中心化群などと紛らわしい。 は の全ての元と可換となるような元全体の成す集合 である。 の中心は の部分群であり、定義からアーベル群（可換群）である。部分群としては、常に正規であり、特性的であるが必ずしも完全特性的 (fully characteristic) ではない。剰余群 は の内部自己同型群に同型である。 群 がアーベル群となることと となることとは同値である。これと正反対に、 が自明（つまり単位元のみからなる）ならば群 は中心を持たない (centerless) という。 中心に属する元はしばしば中心的 (central) であるといわれる。.
新しい！!: 特性部分群と群の中心 · 続きを見る »
群の直積
数学、特に群論において、与えられたいくつかの群の直積（ちょくせき、direct product）は、それらを正規部分群として含むような新しい群を作る構成法である。.
新しい！!: 特性部分群と群の直積 · 続きを見る »
群同型
抽象代数学において、群同型（写像） (group isomorphism) は 2 つの群の間の関数であって与えられた群演算と両立する方法で群の元の間の一対一対応ができるものである。2 つの群の間に同型写像が存在すれば、群は同型 (isomorphic) と呼ばれる。群論の見地からは、同型な群は同じ性質を持っており、区別する必要はない。.
群論
群論（ぐんろん、group theory）とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代～80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.
群準同型
数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、group homomorphism）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。.
新しい！!: 特性部分群と群準同型 · 続きを見る »
部分群
二項演算 * に関して群 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 と表記する。また、群の演算を単に「積」と表記する場合もある。.
部分群の指数
数学、とくに群論において、群 G における部分群 H の指数 (index) は G における H の「相対的な大きさ」である。同じことだが、G を埋め尽くす H の「コピー」（剰余類) の個数である。例えば、H が G において指数 2 をもてば、直感的には G の元の「半分」は H の元である。H の G における指数は通常 |G: H| あるいは あるいは (G:H) で表記される。 正式には、H の G における指数は H の G における剰余類の個数として定義される。（H の G における左剰余類の個数はつねに右剰余類の個数と等しい。）例えば、Z を整数のなす加法群とし、2Z を偶数全体からなる Z の部分群とする。すると 2Z は Z において2つの剰余類（すなわち偶数全体と奇数全体）をもち、したがって 2Z の Z における指数は 2 である。一般化すると、任意の正の整数 n に対して である。 N が G の正規部分群であれば、G における N の指数はまた商群 G / N の位数にも等しい、なぜならばこれは G における N の剰余類の集合における群構造の言葉で定義されるからである。 G が無限であれば、部分群 H の指数は一般には 0 でない基数になる。上の例が示すように、それは有限 - つまり、正の整数 - かもしれない。 G と H が有限群であれば、H の G における指数は 2 つの群の位数の商に等しい： これはラグランジュの定理であり、この場合商は必ず正の整数である。.
新しい！!: 特性部分群と部分群の指数 · 続きを見る »
自己同型
数学において自己同型(automorphism)とは、数学的対象から自分自身への同型射のことを言う。ある解釈においては、構造を保ちながら対象をそれ自身へと写像する方法のことで、その対象の対称性を表わしていると言える。対象の全ての自己同型の集合は群を成し、自己同型群(automorphism group)と呼ばれる。大まかにいえば、自己同型は、対象の対称群である。.
新しい！!: 特性部分群と自己同型 · 続きを見る »
自己準同型
数学における自己準同型（じこじゅんどうけい、）とは、ある数学的対象からそれ自身への射（あるいは準同型）のことを言う。例えば、あるベクトル空間 V の自己準同型は、線型写像 ƒ: V → V であり、ある群 G の自己準同型は、群準同型 ƒ: G → G である。一般に、任意の圏に対して自己準同型を議論することが可能である。集合の圏において、自己準同型はある集合 S からそれ自身への函数である。 任意の圏において、X の任意の二つの自己準同型写像の合成は再び X の自己準同型である。X のすべての自己準同型の集合はモノイドを構成し、それは End(X) と表記される（あるいは、圏 C を強調するために EndC(X) と表記される）。.
新しい！!: 特性部分群と自己準同型 · 続きを見る »
自由群
自由群（じゆうぐん、free group）とは、公理から来る自明なもの以外に元の間の等式がない群のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。.
Graduate Texts in Mathematics
Graduate Texts in Mathematics (Grad. Texts in Math., GTM) (ISSN 0072-5285) は、Springer-Verlag により出版されている数学の graduate-level（院レベル）のテキストのシリーズである。いくつかは和訳され丸善出版より出版されている。このシリーズの本は、 Springer-Verlag の他の数学のシリーズと同様、標準的なサイズの黄色い本である（ページ数は様々）。（原著の）GTM シリーズは本の上部が白くなっており容易に識別できる。 このシリーズの本は類似の Undergraduate Texts in Mathematics (UTM) シリーズよりも進んだ内容が書かれる傾向にあるが、この 2 つのシリーズは内容や難易度についてかなりかぶる部分もある。.
新しい！!: 特性部分群とGraduate Texts in Mathematics · 続きを見る »
抽象代数学
抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
新しい！!: 特性部分群と抽象代数学 · 続きを見る »
推移関係
推移関係（すいいかんけい、Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。 一階述語論理でこれを表すと、次のようになる。.
新しい！!: 特性部分群と推移関係 · 続きを見る »
捩れ部分群
アーベル群の理論において、アーベル群 A の捩れ部分群（ねじれぶぶんぐん、torsion subgroup） AT は A の部分群であって有限の位数をもつすべての元からなるものである。アーベル群 A が捩れ (torsion) 群（あるいは'''周期的''' (periodic) 群であるとは、A のすべての元の位数が有限であることで、torsion-free であるとは、単位元を除く A のすべての元の位数が無限であることである。 AT が加法で閉じていることの証明は加法の可換性によっている（例の節を見よ）。 A がアーベル群であれば、捩れ部分群 T は A の fully characteristic subgroup であり、剰余群 A/T は torsion-free である。すべての群をその捩れ部分群に送りすべての準同型をその捩れ部分群への制限に送る、アーベル群の圏から捩れ群の圏への共変関手が存在する。すべての群をその捩れ部分群による商に送りすべての準同型をその明らかな誘導写像（well-defined であることは容易に確かめられる）に送る、アーベル群の圏から torsion-free な群の圏への共変関手も存在する。 A が有限生成アーベル群であれば、その捩れ部分群 T と torsion-free な部分群の直和として書くことができる（しかしこれはすべての非有限生成アーベル群に対して正しくない）。A の捩れ部分群 S と torsion-free な部分群の直和としての任意の分解において、S は T と等しくなければならない（しかし torsion-free 部分群は一意的には定まらない）。これは有限生成アーベル群の分類において重要なステップである。.
新しい！!: 特性部分群と捩れ部分群 · 続きを見る »
正規部分群
数学、とくに抽象代数学における正規部分群（せいきぶぶんぐん、normal subgroup）は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。 正規部分群の重要性は、エヴァリスト・ガロアによって最初に明らかにされた。.
新しい！!: 特性部分群と正規部分群 · 続きを見る »
有限群
数学および抽象代数学において、有限群(ゆうげんぐん、finite group)とは台となっている集合Gが有限個の元しか持たないような群のことである。20世紀の間数学者は、特に有限群のや、可解群や冪零群 の理論などといった、有限群の理論のさまざまな面を深く研究していた。全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている(任意の有限群は組成列を持つ)。 20世紀の後半には、シュヴァレーやといった数学者によってや関連する群の有限類似の理解が深まった。それらの群の族の一つには有限体上の一般線型群がある。 有限群は、ある数学的・物理的対象の構造を保つ変換が有限個しかない場合に、その対象の対称性を考えるときに出て来る群である。他方で、""を扱っているようにもみなせるリー群の理論は、関連するワイル群の影響を強く受ける。有限次ユークリッド空間に作用する鏡映によって生成される有限群も存在する。それゆえ、有限群の特性は、理論物理学や化学などの分野で役目を持つ。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
