ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

マシュケの定理

索引 マシュケの定理

数学、特に群の表現論においてマシュケの定理(マシュケのていり、Maschke's theorem)とは、有限群の表現の既約表現への分解に関する定理である。ハインリヒ・マシュケに名を因む。有限群 G のある標数 0 の体上の有限次元表現 (V, ρ) に対し、任意の G-不変部分空間 U は G-不変な直和補因子 W を持つこと、言い換えれば、表現 (V, ρ) が完全可約であることを述べるものである。より一般に、有限体のような正標数 p の体に対しても、p が群 G の位数を割り切らないならば、マシュケの定理は成り立つ。.

29 関係: 半単純加群半単純環単純加群可換体多元体実数岩波講座 基礎数学岩波書店不変部分空間代数的閉体位数 (群論)アルティン・ウェダーバーンの定理シュプリンガー・サイエンス・アンド・ビジネス・メディア共役類群の表現群環組成列環上の加群違いを除いて複素数Graduate Texts in Mathematics標数正方行列指標表有理数有限体有限群既約表現数学

半単純加群

数学、とくに加群論という抽象代数学の分野において、半単純加群(はんたんじゅんかぐん、semisimple module)または完全可約加群(かんぜんかやくかぐん、completely reducible module)はその既約部分加群から容易に理解できるようなタイプの加群である。自分自身の上で半単純加群であるような環はアルティン的半単純環として知られている。有限群の標数0の体上の群環のようないくつかの重要な環は半単純環である。アルティン環ははじめはその最大の半単純商を通じて理解される。アルティン的半単純環の構造はアルティン・ウェダーバーンの定理によってよく理解される。これはこれらの環を行列環の有限個の直積として表示するものである。.

新しい!!: マシュケの定理と半単純加群 · 続きを見る »

半単純環

数学、特に代数学において、環 A が A-加群として半単純加群、すなわち、非自明な部分加群をもたない A-加群の直和であるとき、A を半単純環という。これは、同型の違いを除いて、(可換とは限らない)体上の全行列環の有限個の直積である。 この概念は数学の多くの分野において現れる。例えば、線型代数学、数論、、リー群論、リー環論が挙げられる。これは例えば、の証明に役立つ。 半単純多元環の理論はシューアの補題とアルティン・ウェダーバーンの定理を基盤としている。.

新しい!!: マシュケの定理と半単純環 · 続きを見る »

単純加群

上の左加群 が非自明な部分 -加群をもたないとき、 を単純加群(たんじゅんかぐん、simple module)または既約加群(きやくかぐん、irreducible module)という。これは任意の について となることと同値である。 これは左 -加群の圏 において、すべてのゼロでない準同型写像 は単射である、あるいはすべてのゼロでない準同型写像 は全射であることとしても特徴づけられる。 右加群に対しても同様に定義される。.

新しい!!: マシュケの定理と単純加群 · 続きを見る »

可換体

抽象代数学において、可換体(かかんたい、corps commutatif)あるいは単に体(たい、field)本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。(ガロワ理論を含む)体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は(ゼロ除算を除いて)除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

新しい!!: マシュケの定理と可換体 · 続きを見る »

多元体

数学の抽象代数学において、体上の斜体、多元体(たげんたい)または可除多元環(かじょたげんかん、division algebra)は、大まかには、体上の多元環で除法が自由にできるものをいう。.

新しい!!: マシュケの定理と多元体 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: マシュケの定理と実数 · 続きを見る »

岩波講座 基礎数学

岩波講座 基礎数学(いわなみこうざ きそすうがく)とは、岩波書店から分冊形式で出版された数学書のシリーズ。これらの内いくつかは、後に岩波基礎数学選書(いわなみきそすうがくせんしょ)シリーズとして、一冊本として、一部修正されて再版された。.

新しい!!: マシュケの定理と岩波講座 基礎数学 · 続きを見る »

岩波書店

株式会社岩波書店(いわなみしょてん、Iwanami Shoten, Publishers. )は、日本の出版社。.

新しい!!: マシュケの定理と岩波書店 · 続きを見る »

不変部分空間

線形写像T: V→VについてV の部分空間W がT(W)⊂Wを満たすとき、W をT の不変部分空間(ふへんぶぶんくうかん)と呼ぶ。.

新しい!!: マシュケの定理と不変部分空間 · 続きを見る »

代数的閉体

数学において、体 が代数的に閉じているまたは代数的閉体(だいすうてきへいたい、; 代数閉体)であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.

新しい!!: マシュケの定理と代数的閉体 · 続きを見る »

位数 (群論)

数学の分野である群論において、m.

新しい!!: マシュケの定理と位数 (群論) · 続きを見る »

アルティン・ウェダーバーンの定理

抽象代数学において、アルティン・ウェダーバーンの定理 (Artin–Wedderburn theorem) は半単純環や半単純代数の分類定理である。.

新しい!!: マシュケの定理とアルティン・ウェダーバーンの定理 · 続きを見る »

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

ュプリンガー・サイエンス・アンド・ビジネス・メディア(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)」。.

新しい!!: マシュケの定理とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »

共役類

数学、とくに群論において、任意の群は共役類(きょうやくるい、conjugacy class)に分割できる。同じ共役類の元は多くの性質を共有し、非アーベル群の共役類の研究はそれらの構造のたくさんの重要な特徴を明らかにする。.

新しい!!: マシュケの定理と共役類 · 続きを見る »

群の表現

数学において、群の表現(ぐんのひょうげん、group representation)とは、抽象的な群 の元 に対して具体的な線形空間 の正則な線形変換としての実現を与える準同型写像 のことである。線型空間 の基底を取ることにより、 をより具体的な正則行列として表すことができる。.

新しい!!: マシュケの定理と群の表現 · 続きを見る »

群環

代数学において、与えられた群および環に対する群環(ぐんかん、group ring)は、与えられた群と環の構造を自然に用いて構成される。群環はそれ自身が、与えられた環を係数環とし与えられた群を生成系とする自由加群であって、なおかつ与えられた群の演算を生成元の間の演算として「線型に」延長したものを積とする環を成す。俗に言えば、群環は与えられた群の与えられた環の元を「重み」とする形式和の全体である。与えられた環が可換であるとき、群環は与えられた環上の多元環(代数)の構造を持ち、群多元環(ぐんたげんかん、group algebra; 群代数)(あるいは短く群環これは少々紛らわしいが、任意の群環は係数環の中心上の群多元環となるから、その文脈で何を係数環としているかが明らかならば混乱の虞は無いであろう。)と呼ばれる。 群環は、特に有限群の表現論において重要な役割を果たす代数的構造である。無限群の群環はしばしば位相を加味した議論を必要とするため位相群の群環の項へ譲り、本項は主に有限群の群環を扱う。また、より一般の議論は群ホップ代数を見よ。.

新しい!!: マシュケの定理と群環 · 続きを見る »

組成列

組成列(そせいれつ、composition series)は、抽象代数学における概念の一つであり、与えられた群や加群といった代数的構造を、代数的により単純な構造の単純群や単純加群に分解する手法を与えるものである。組成列が存在するという条件は、有限個の単純(加)群の直積(直和)に書けるという条件よりも弱い。また、組成列が存在すれば、それはある意味で一意的である。.

新しい!!: マシュケの定理と組成列 · 続きを見る »

環上の加群

抽象代数学における環上の加群(かぐん、module)とは、ベクトル空間を一般化した概念で、係数(スカラー)を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは(ベクトル空間がそうであるように)加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。 加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。.

新しい!!: マシュケの定理と環上の加群 · 続きを見る »

違いを除いて

数学の文脈における「—(の違い)を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).

新しい!!: マシュケの定理と違いを除いて · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: マシュケの定理と複素数 · 続きを見る »

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 · 続きを見る »

標数

標数(ひょうすう、characteristic)は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。.

新しい!!: マシュケの定理と標数 · 続きを見る »

正方行列

正方行列(せいほうぎょうれつ、square matrix)とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 \end.

新しい!!: マシュケの定理と正方行列 · 続きを見る »

指標表

抽象代数学の一分野である群論において、指標表(しひょうひょう、character table)とは、与えられた群について、その全ての既約表現の指標を表にまとめたものである。これは直交関係などにより対象としている群についての比較的少ない情報から計算できて、群の性質をそこから引き出すことができる。 化学・結晶学・分光学において点群の指標表は、対称性の観点から分子振動を分類したり、2つの量子状態間の遷移が可能かどうかを考える場合に用いられる。.

新しい!!: マシュケの定理と指標表 · 続きを見る »

有理数

有理数(ゆうりすう、rational number) とは、二つの整数 a, b (ただし b は 0 でない)をもちいて a/b という分数で表せる数のことをいう。b.

新しい!!: マシュケの定理と有理数 · 続きを見る »

有限体

有限体(ゆうげんたい、英語:finite field)とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域(ガロアいき、Galois field)などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.

新しい!!: マシュケの定理と有限体 · 続きを見る »

有限群

数学および抽象代数学において、有限群(ゆうげんぐん、finite group)とは台となっている集合Gが有限個の元しか持たないような群のことである。20世紀の間数学者は、特に有限群のや、可解群や冪零群 の理論などといった、有限群の理論のさまざまな面を深く研究していた。全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている(任意の有限群は組成列を持つ)。 20世紀の後半には、シュヴァレーやといった数学者によってや関連する群の有限類似の理解が深まった。それらの群の族の一つには有限体上の一般線型群がある。 有限群は、ある数学的・物理的対象の構造を保つ変換が有限個しかない場合に、その対象の対称性を考えるときに出て来る群である。他方で、""を扱っているようにもみなせるリー群の理論は、関連するワイル群の影響を強く受ける。有限次ユークリッド空間に作用する鏡映によって生成される有限群も存在する。それゆえ、有限群の特性は、理論物理学や化学などの分野で役目を持つ。.

新しい!!: マシュケの定理と有限群 · 続きを見る »

既約表現

数学のとくに群あるいは多元環の表現論における(代数的構造の)既約表現(きやくひょうげん、irreducible representation; irrep) とは、真の閉部分表現を持たない非零表現を言う。 複素内積ベクトル空間 V 上の任意の有限次元ユニタリ表現は、既約表現の直和である。既約表現は常に直既約である(すなわち、別の表現の直和にかくことができない)であり、この二つはしばしば混同されるが、例えば上半三角冪零行列として作用する実数の二次元表現など、一般には可約だが直既約な表現が無数に存在する。.

新しい!!: マシュケの定理と既約表現 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: マシュケの定理と数学 · 続きを見る »

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »