ブラウザよりも高速アクセス！
32 関係: 基本群、可解群、対称群、交代群、交換子、交換子部分群、位相空間、圏 (数学)、ホモロジー (数学)、アーベル群、クラインの四元群、シュプリンガー・サイエンス・アンド・ビジネス・メディア、ジョン・ワイリー・アンド・サンズ、冪零群、商群、群 (数学)、群の生成系、特異ホモロジー、特性部分群、随伴関手、違いを除いて、順序数、部分群、関手、自由群、自然変換、連結空間、Graduate Texts in Mathematics、抽象代数学、核 (代数学)、正規部分群、数学。
基本群
数学、特に代数トポロジーにおいて、基本群（きほんぐん、fundamental group）とは、ある固定された点を始点と終点にもつふたつのループが互いに連続変形可能かを測る点付き位相空間に付帯する群である。直観的には、それは位相空間にある穴についての情報を記述している。基本群はホモトピー群の最初で最も単純な例である。基本群は位相不変量である。つまり同相な位相空間は同じ基本群を持っている。 基本群は被覆空間の理論を用いて研究することができる。なぜなら、基本群は元の空間に付帯する普遍被覆空間の被覆変換群に一致するからである。基本群のアーベル化は、その空間の第一ホモロジー群と同一視することできる。位相空間が単体複体に同相のとき、基本群は群の生成子と関係式のことばで明示的に記述することができる。 基本群はアンリ・ポアンカレによって1895年に論文"Analysis situs"で定義された。ベルンハルト・リーマンとポアンカレとフェリックス・クラインの仕事でリーマン面の理論において基本群の概念が現れた。基本群は閉曲面の位相的な完全な分類を提供するだけでなく、複素函数のモノドロミー的性質の記述もする。.
新しい！!: 交換子部分群と基本群 · 続きを見る »
可解群
数学、特に群論の分野において、可解群（かかいぐん、solvable group, soluble group、Auflösbare Gruppe）は、アーベル群から群の拡大を用いて構成できる群のことである。つまり、可解群は導来列が自明な群で終わるような群のことである。 歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと（アーベル–ルフィニの定理）の証明から来ている。特に、標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る。.
新しい！!: 交換子部分群と可解群 · 続きを見る »
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
新しい！!: 交換子部分群と対称群 · 続きを見る »
交代群
交代群（こうたいぐん、alternating group, Alternierende Gruppe）とは、有限集合の偶置換全体がなす群である。集合 上の交代群は n 次の交代群、もしくは n 文字の交代群 (the alternating group on n letters) と呼ばれ、An もしくは Alt(n), \mathfrak_n という記号で表す。これは n 変数の交代式を不変とするような変数の置換がなす群と思ってもよい。 例として、4つの元からなる集合 の交代群 A4 は以下のようになる。A4.
新しい！!: 交換子部分群と交代群 · 続きを見る »
交換子
数学における交換子（こうかんし、commutator）は、二項演算がどの程度可換性からかけ離れているかを測る指標の役割を果たすものである。考えている代数構造により定義が異なる。物理学、特に量子力学における交換子の役割については、交換関係 (量子力学)の項を参照。.
新しい！!: 交換子部分群と交換子 · 続きを見る »
交換子部分群
数学、特に抽象代数学における群の交換子部分群（こうかんしぶぶんぐん、commutator subgroup）あるいは導来部分群（どうらいぶぶんぐん、derived subgroup）は、その群の交換子全体で生成される部分群である。 交換子部分群は、それによる商がアーベル群となるような正規部分群のうちで最小のものであるという点で重要である。すなわち、 がアーベル群となる必要十分条件は正規部分群 が交換子部分群を含むことである。ゆえにある意味で交換子部分群は、群がアーベル群からどれくらい離れているかを測るものということができる。つまり、交換子部分群が大きいほど、その群はアーベル群から遠くなる。.
新しい！!: 交換子部分群と交換子部分群 · 続きを見る »
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
新しい！!: 交換子部分群と位相空間 · 続きを見る »
圏 (数学)
数学の一分野である圏論において中核的な概念を成す圏（けん、category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる 二つの圏が等しい（相等）とは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。 圏論が初めて現れるのは Eilenberg–Mac Lane, "General Theory of Natural Equivalences" (1945) と題された論文である。古典的だが今もなお広く用いられる教科書として、マクレーンの がある。.
新しい！!: 交換子部分群と圏 (数学) · 続きを見る »
ホモロジー (数学)
数学、とくに代数的位相幾何学や抽象代数学において、ホモロジー (homology) （「同一である」ことを意味するギリシャ語のホモス (ὁμός) に由来）は与えられた数学的対象、例えば位相空間や群に、アーベル群や加群の列を対応させる一つの一般的な手続きをいう。より詳しい背景については ホモロジー論 を見られたい。また、ホモロジーの手法の位相空間に対する具体的な適用については特異ホモロジーを、群についてのそれは群コホモロジーを、それぞれ参照されたい。 位相空間に対しては、ホモロジー群は一般にホモトピー群よりもずっと計算しやすく、したがって、空間を分類する道具としてはより手軽に扱えるものといえるだろう。.
新しい！!: 交換子部分群とホモロジー (数学) · 続きを見る »
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、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年創業の科学、医学、教育などの分野の世界的な学術出版社である。 大学院のための教材、トレーニング教材、百科事典などの印刷、オンライン製品やオンラインサービスのような電子的情報も扱っている。『フォー・ダミーズ』シリーズの出版でも知られている。.
新しい！!: 交換子部分群とジョン・ワイリー・アンド・サンズ · 続きを見る »
冪零群
群論における冪零群（べきれいぐん、nilpotent group）は、「ほとんど」アーベルな群である。この概念は、冪零群が可解群となるという事実に裏打ちされ、有限冪零群に対して位数が互いに素な二元は可換となる。有限冪零群はさらにでさえある。冪零群の概念の創始は1930年代におけるロシア人数学者の業績に帰せられる。 冪零群はガロワ理論において、また群の分類理論において、用いられる。あるいはまた、リー群の分類においても顕著である。 冪零あるいは降中心列・昇中心列といった用語は、（導来群を作る操作を、リー括弧積で代用した類似概念を用いて）リー環の理論においても用いられる（冪零リー環の項を参照）。.
新しい！!: 交換子部分群と冪零群 · 続きを見る »
商群
数学において，商群（しょうぐん，quotient group, factor group）あるいは剰余群，因子群とは，群構造を保つ同値関係を用いて，大きい群から似た元を集めて得られる群である．例えば，n を法とした加法の巡回群は，整数から，差が の倍数の元を同一視し，そのような各類（合同類と呼ばれる）に1つの実体として作用する群構造を定義することによって得られる．群論と呼ばれる数学の分野の一部である． 群の商において，単位元の同値類はつねにもとの群の正規部分群であり，他の同値類たちはちょうどその正規部分群の剰余類たちである．得られる商は と書かれる，ただし はもとの群で は正規部分群である．（これは「（ジーモッドエヌ）」と読まれる．"mod" は modulo の略である．） 商群の重要性の多くはその準同型との関係に由来する．第一同型定理は任意の群 の準同型による像はつねに のある商と同型であると述べている．具体的には，準同型 による の像は と同型である，ただし は の核 を表す． 商群の双対概念は部分群であり，これらが大きい群から小さい群を作る2つの主要な方法である．任意の正規部分群 は，大きい群から部分群 の元の間の差異を除去して得られる，対応する商群を持つ．圏論では，商群は商対象の例であり，これは部分対象の双対である．商対象の他の例は，商環，商線型空間，商位相空間，商集合を参照．.
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: 交換子部分群と群 (数学) · 続きを見る »
群の生成系
抽象代数学において、群の生成系、生成集合 (generating set of a group) は部分集合であって群のすべての元が（群演算のもとで）その部分集合の有限個の元とそれらの逆元の結合として表現できるものである。 言い換えると、S が群 G の部分集合であれば、、S で生成される部分群 (subgroup generated by S)、は S のすべての元を含む G の最小の部分群である、すなわち S のすべての元を含む部分群すべてに渡る共通部分である。同じことだが、<S> は S の元とそれらの逆元の有限積として書ける G のすべての元からなる部分群である。 G.
新しい！!: 交換子部分群と群の生成系 · 続きを見る »
特異ホモロジー
数学の一分野である代数トポロジーにおいて、特異ホモロジー (singular homology) とは位相空間 X ののある種の集合、いわゆるホモロジー群 (homology group) H_n(X) の研究のことである。直感的に言えば、特異ホモロジーは、各次元 n に対して、空間の n 次元の穴を数える。特異ホモロジーはホモロジー論の例である。これは今では理論のかなり大きな集まりに成長している。様々な理論の中で、特異ホモロジーはかなり具体的な構成に基づいているのでおそらく理解するのが容易なものの1つである。 手短に言えば、特異ホモロジーは標準 ''n''-単体から位相空間への写像をとり、それらから特異チェイン (singular chain) と呼ばれる形式和を作ることによって構成される。単体上の境界作用素は特異チェイン複体を誘導する。すると特異ホモロジーはそのチェイン複体のホモロジーである。得られるホモロジー群はすべてのホモトピー同値な空間に対して同じであり、これがそれらの研究の理由である。これらの構成はすべての位相空間に対して適用することができるので、特異ホモロジーは圏論の言葉で表現できる。そこではホモロジー群は位相空間の圏から次数付きアーベル群の圏への関手になる。これらのアイデアは以下でもっと詳細に説明される。.
新しい！!: 交換子部分群と特異ホモロジー · 続きを見る »
特性部分群
数学、とくに群論という抽象代数学の分野において、特性部分群 (characteristic subgroup) はもとの群のすべての自己同型写像の下で不変な部分群である。共役は自己同型であるから、すべての特性部分群は正規部分群であるが、すべての正規部分群が特性部分群であるわけではない。特性部分群の例には、交換子部分群や群の中心がある。.
新しい！!: 交換子部分群と特性部分群 · 続きを見る »
随伴関手
数学の特に圏論における随伴（ずいはん、adjunction）は、二つの関手の間に考えることができる（ある種の双対的な）関係をいう。随伴の概念は数学に遍在し、最適化や効率に関する直観的概念を明らかにする。 最も簡潔な対称的定義において、圏 と の間の随伴とは、二つの関手 の対であって、全単射の族 が変数 に関して自然（あるいは函手的）となるものを言う。このとき、関手 を左随伴函手と呼び、他方 を右随伴函手と呼ぶ。また、「 は の左随伴である」 (同じことだが、「 は の右随伴である」)という関係を と書く。 以下では、この定義や他の定義を詳細化する。.
新しい！!: 交換子部分群と随伴関手 · 続きを見る »
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
新しい！!: 交換子部分群と違いを除いて · 続きを見る »
順序数
数学でいう順序数（じゅんじょすう、ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数を拡張させた概念である。.
新しい！!: 交換子部分群と順序数 · 続きを見る »
部分群
二項演算 * に関して群 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 と表記する。また、群の演算を単に「積」と表記する場合もある。.
新しい！!: 交換子部分群と部分群 · 続きを見る »
関手
圏論における関手（かんしゅ、functor）は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。 関手の概念の萌芽はエヴァリスト・ガロアによる群を用いた代数方程式の研究に見ることができる。20世紀はじめのエミー・ネーターらによる加群の研究において拡大加群などさまざまな関手的構成が蓄積された。20世紀半ばの代数的位相幾何学において実際に関手が定義され、図形から様々な「自然な」代数的構造を取り出す操作を定式化するために利用された。ここでは（基本群のような）代数的対象が位相空間から導かれ、位相空間の間の連続写像は基本群の間の代数的準同型を導いている。その後アレクサンドル・グロタンディークらによる代数幾何学の変革の中でさまざまな数学的対象の関手による定式化が徹底的に追求された。.
自由群
自由群（じゆうぐん、free group）とは、公理から来る自明なもの以外に元の間の等式がない群のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。.
新しい！!: 交換子部分群と自由群 · 続きを見る »
自然変換
数学の一分野である圏論において、自然変換（しぜんへんかん、natural transformation）は、ある函手をその圏に関する内部構造（即ち射の合成）を保ちながら別の函手に変形する方法を与えるものである。したがって直観的には、自然変換というのは「函手間の射」のことであると考えうる。このことは実際に、函手圏と呼ばれるものを定義することにより厳密に定式化することができる。圏論において自然変換の概念は、圏と函手に次いで最も基本的な概念であり、それ故に圏論を用いる議論の大部分に現れる。.
新しい！!: 交換子部分群と自然変換 · 続きを見る »
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
新しい！!: 交換子部分群と連結空間 · 続きを見る »
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) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
新しい！!: 交換子部分群と抽象代数学 · 続きを見る »
核 (代数学)
数学において、準同型の核（かく、kernel）とは、その準同型の単射からのずれの度合いを測る道具である。代数系における準同型の核が "自明" (trivial) であることとその準同型が単射であることとが同値となる。.
新しい！!: 交換子部分群と核 (代数学) · 続きを見る »
正規部分群
数学、とくに抽象代数学における正規部分群（せいきぶぶんぐん、normal subgroup）は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。 正規部分群の重要性は、エヴァリスト・ガロアによって最初に明らかにされた。.
新しい！!: 交換子部分群と正規部分群 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
