ブラウザよりも高速アクセス！
28 関係: 半単純環、単位元、対合、局所体、局所コンパクト群、保型形式、マイケル・フリードマン、モジュラー形式、ローラン級数、ワイル群、ヴォーン・ジョーンズ、ヘッケ作用素、ブレイド群、ドミトリー・カジュダン、カジュダン–ルスティック多項式、コクセター群、ジョーンズ多項式、ジョージ・ルスティック、剰余体、神保道夫、簡約群、群環、畳み込み、量子群、連続 (数学)、P進数、有限体、数学。
半単純環
数学、特に代数学において、環 A が A-加群として半単純加群、すなわち、非自明な部分加群をもたない A-加群の直和であるとき、A を半単純環という。これは、同型の違いを除いて、（可換とは限らない）体上の全行列環の有限個の直積である。 この概念は数学の多くの分野において現れる。例えば、線型代数学、数論、、リー群論、リー環論が挙げられる。これは例えば、の証明に役立つ。 半単純多元環の理論はシューアの補題とアルティン・ウェダーバーンの定理を基盤としている。.
単位元
数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.
対合
対合（たいごう、ついごう、involution）は、自分自身をその逆として持つ写像である。 これは空間上の変換であって、二回繰り返すと恒等変換となる（元に戻る）という性質 を持つものと言ってもよい。ただし、それ自身が恒等変換となるものは通常は除いて考える。またこれは変換群に属する位数 2 の元 を指すと言っても同じことであり、それを理由に一般の群（抽象群）においても位数 2 の元を対合と呼ぶことがある。.
局所体
局所体(きょくしょたい、local field)とは、離散付値に対して完備であり、剰余体が有限体である付値体のことである。 局所体の定義としては、上に挙げたもの以外にもいくつかあり、そのうちの代表的なものを挙げる。これらは互いに同値な定義である。.
局所コンパクト群
数学において、局所コンパクト群 (locally compact group) とは、位相空間として局所コンパクトかつハウスドルフな位相群 G である。数学で現れる群の多くの例は局所コンパクトでありそのような群はハール測度と呼ばれる自然な測度を持っているから局所コンパクト群は重要である。これによって G 上のボレル可測関数の積分を定義することができフーリエ変換や L^p 空間といった標準的な解析学の概念を一般化することができる。 有限群の表現論の結果の多くは群上平均化することによって証明される。コンパクト群に対しては、これらの証明の修正は正規化されたに関して平均を取ることによって類似の結果をもたらす。一般の局所コンパクト群では、そのような技術が使えるとは限らない。得られる理論は調和解析の中心的な部分である。局所コンパクトアーベル群の表現論はポントリャーギン双対によって記述される。.
新しい！!: ヘッケ環と局所コンパクト群 · 続きを見る »
保型形式
調和解析や数論において、保型形式（ほけいけいしき、automorphic form）は、位相群 上で定義された複素数（あるいは複素ベクトル空間）値の函数で、離散部分群 の作用の下に不変なものである。保型形式は、ユークリッド空間における周期函数（これは離散位相群としての 1 次元トーラス上の函数と見なされる）を、一般の位相群に対して一般化したものである。 モジュラー形式は、モジュラー群あるいはのひとつを離散部分群として持つ SL2('''R''')（特殊線型群）や PSL2('''R''')（射影特殊線型群）の上に定義された保型形式である。この意味では、保型形式の理論はモジュラー形式の理論の拡張である。 アンリ・ポアンカレ (Henri_Poincaré) は、三角函数や楕円函数の一般化として、最初に保型形式を発見した。ラングランズ予想を通して、保型形式は現代の数論で重要な役割を果たす。.
マイケル・フリードマン
マイケル・ハートレー・フリードマン（Michael Hartley Freedman, 1951年4月21日 - ）はアメリカ合衆国の数学者。主に合衆国西部のカリフォルニア州と東部のニュージャージー州プリンストンにおいて活動。 トポロジー（位相幾何学）における難問とされるポアンカレ予想が四次元において成立することを証明したことで知られており、1986年にフィールズ賞を授与された。 現在はマイクロソフト社の研究機関マイクロソフトリサーチに所属し、量子コンピュータの開発に携わる。.
新しい！!: ヘッケ環とマイケル・フリードマン · 続きを見る »
モジュラー形式
モジュラー形式は、モジュラー群という大きな群についての対称性をもつ上半平面上の複素解析的函数である。歴史的には数論で興味をもたれる対象であり、現代においても主要な研究対象である一方で、代数トポロジーや弦理論などの他分野にも現れる。 モジュラー函数（modular function）: ここでいうモジュラー函数以外にも、「モジュラー函数」という術語はいくつか別の意味で用いられることがあるので注意が必要である。例えば、ハール測度の理論に現れる群の共軛作用から定まる函数 Δ(g) もモジュラー函数と呼ばれることがあるが、別な概念である。は重さ 0 、つまりモジュラー群の作用に関して不変であるモジュラー形式のことを言う。そしてそれゆえに、直線束の切断としてではなく、モジュラー領域上の函数として理解することができる。また、「モジュラー函数」はモジュラー群について不変なモジュラー形式であるが、無限遠点で f(z) が正則性を満たすという条件は必要ない。その代わり、モジュラー函数は無限遠点では有理型である。 モジュラー形式論は、もっと一般の場合である保型形式論の特別な場合であり、従って現在では、離散群の豊かな理論のもっとも具体的な部分であると見ることもできる。.
新しい！!: ヘッケ環とモジュラー形式 · 続きを見る »
ローラン級数
ーラン級数（ローランきゅうすう、Laurent series）とは負冪の項も含む形での冪級数としての関数の表示のことである。テイラー級数展開できない複素関数を表示する場合に利用される。ローラン級数の名は、最初の発表が1843年にピエール・アルフォンス・ローランによってなされたことに由来する。ローラン級数の概念自体はそれより先の1841年にカール・ワイエルシュトラスによって発見されていたが公表されなかった。 特定の点 ''c'' および閉曲線 γ に関して定義されたローラン級数。 積分路である γ は赤で塗ったアニュラスの内側に載っており、アニュラスの内側で ''f''(''z'') は正則である.
新しい！!: ヘッケ環とローラン級数 · 続きを見る »
ワイル群
数学、特にリー環の理論において、ルート系 のワイル群（Weyl group）は、ルート系のの部分群である。具体的には、ルートに直交する超平面に関する鏡映によって生成される部分群のことで、そのようなものとしてである。抽象的には、ワイル群はであり、その重要な例である。 半単純リー群、半単純リー環、線型代数群、などのワイル群はその群あるいは環のルート系のワイル群である。 名前はヘルマン・ワイル (Hermann Weyl) にちなむ。.
ヴォーン・ジョーンズ
ヴォーン・ジョーンズ（Sir Vaughan Frederick Randal Jones、KNZM、1952年12月31日 - ）は、ニュージーランド出身の数学者。ヴァンダービルト大学特別教授、カリフォルニア大学バークレー校名誉教授、オークランド大学招聘教授。 1990年フィールズ賞受賞。専門はフォン・ノイマン環、数理物理学、低次元位相幾何学、代数解析学の研究。.
新しい！!: ヘッケ環とヴォーン・ジョーンズ · 続きを見る »
ヘッケ作用素
ヘッケ作用素(ヘッケさようそ、Hecke operator)とは、ウェイトkの正則保型形式に作用する作用素。モーデル作用素を拡張して定義される。.
新しい！!: ヘッケ環とヘッケ作用素 · 続きを見る »
ブレイド群
数学において、 本の糸のブレイド群(braid group)（組みひも群とも呼ぶ）は、と記し、直感的には幾何学的に描かれる群であり、ある意味で 対称群 を一般化する。ここに は自然数であり、 であれば、 は(infinite group)である。ブレイド群は、結び目をあるブレイド（組みひも）の閉じた形として表現することができるので、結び目理論に応用を持つ。 n, is a group which has an intuitive geometrical representation, and in a sense generalizes the symmetric group.
新しい！!: ヘッケ環とブレイド群 · 続きを見る »
ドミトリー・カジュダン
ドミトリー・カジュダン ドミトリー・カジュダン（Dmitriy(David) Aleksandrovich Kazhdan、1946年 - ）は、ロシア出身のアメリカ人数学者。ハーバード大学名誉教授、ヘブライ大学教授。専門は表現論。 現在ではドミトリーを用いることはなくデイヴィッドを用いている。 有名なゲルファント (Izrail Gelfand) 学派の出身で、その流れをくむ表現論を専門としているが、グロタンディークの流れをくむ代数幾何学に関しても業績 (モチーフなど) がある。 1975年にはソ連を出てアメリカに移住。.
新しい！!: ヘッケ環とドミトリー・カジュダン · 続きを見る »
カジュダン–ルスティック多項式
表現論において、コクセター群 に付随するカジュダン・ルスティック多項式（カジュダン・ルスティックたこうしき、Kazhdan–Lusztig polynomial） とは、 の元 でパラメトライズされたある整数係数多項式の族のことである。この多項式は、1979年にデイビッド・カジュダンとジョージ・ルスティックによって、 に付随するヘッケ環のある基底を用いて導入された。特に としては半単純リー群 に付随するワイル群が代表的である。この場合、カジュダン・ルスティック多項式は、 の上のを用いた幾何学的記述を持ち、 のリー環 \mathfrak の表現論を記述するために重要な役割を果たしている（カジュダン・ルスティック予想）。この多項式やその類似物は、その後のの発展における契機となったのみならず、現在でも表現論における中心的な研究対象のひとつである。.
新しい！!: ヘッケ環とカジュダン–ルスティック多項式 · 続きを見る »
コクセター群
数学においてコクセター群（コクセターぐん、Coxeter group）とは鏡映変換で表示できる抽象群のことである。ハロルド・スコット・マクドナルド・コクセターに因んで名づけられた。有限コクセター群は何らかのユークリッド鏡映群（たとえば一般次元正多胞体の対称変換群など）になっている。もちろん、すべてのコクセター群が有限群とは限らないし、すべてのコクセター群をユークリッド的な鏡映や対称変換として記述できるわけでもない。コクセター群は鏡映群の抽象化として導入され、有限コクセター群の分類は完了している 。 コクセター群は数学のいくつもの分野に現れる。一般次元正多胞体の対称変換群や単純リー代数のワイル群は有限コクセター群の例であり、ユークリッド平面や双曲平面の正則三角形分割 (regular tessellation) に対応する三角群や無限次元カッツ-ムーディ代数のワイル群は無限コクセター群の例である。 コクセター群に関する標準的な文献としては や などがある。.
新しい！!: ヘッケ環とコクセター群 · 続きを見る »
ジョーンズ多項式
数学の結び目理論の分野において、ジョーンズ多項式 （Jones polynomial）は ヴォーン・ジョーンズが1983年に発見した多項式不変量である。明確に言うと、ジョーンズ多項式は向き付けられた結び目 または 絡み目の結び目不変量で、整数を係数とする t^ の ローラン多項式 で与えられる。 ジョーンズの発見以来、後述のように数学・物理学のさまざまな話題との関係が発見され議論されている。.
新しい！!: ヘッケ環とジョーンズ多項式 · 続きを見る »
ジョージ・ルスティック
ョージ・ルスティック（George Lusztig, 1946年 -）は、ルーマニア生まれのアメリカ人数学者。苗字は日本語でラスティグと表記されることもある。.
新しい！!: ヘッケ環とジョージ・ルスティック · 続きを見る »
剰余体
数学において、剰余体（じょうよたい、residue field）は可換環論における基本的な構成である。R を可換環、m を極大イデアルとしたとき、剰余体は剰余環 k.
神保道夫
保 道夫（じんぼう みちお、1951年11月28日 - ）は日本の数学者。立教大学理学部教授。.
簡約群
数学における簡約群（reductive group）とは冪単根基が自明となる代数閉体上の代数群のことである。代数的トーラスや一般線形群など任意の半単純代数群は簡約となる。一般の代数体上の場合には、代数閉包上で冪単根基が自明となるような滑らかなアフィン代数群を簡約代数群と呼ぶ。ここで代数閉包への移行は、定義体が有限体上の関数体などの不完全体（imperfect field）となる場合に必要である。（必ずしも完全でない）体 k 上の代数群で k-冪単根基が自明となるものは:en:pseudo-reductive groupと呼ばれる。簡約群の名称は線形表現の完全可約性から来ており、標数0の代数群の表現に対して成り立つ性質である。（これは代数群としての表現にのみ適応される。離散群としての有限次元表現は標数0の場合でさえ必ずしも完全可約にならない。）Haboushの定理は、幾何学的簡約性と呼ばれるより弱い条件が正標数の場合の簡約群に対しても成立していることを示す。 G ≤ GLn を滑らかなk-閉部分群としたとき、k 上の n 次元アフィン空間への作用が既約であるならば G は簡約である。 そのため GLn 及び SLn は簡約である（後者はより強く半単純となる）。.
群環
代数学において、与えられた群および環に対する群環（ぐんかん、group ring）は、与えられた群と環の構造を自然に用いて構成される。群環はそれ自身が、与えられた環を係数環とし与えられた群を生成系とする自由加群であって、なおかつ与えられた群の演算を生成元の間の演算として「線型に」延長したものを積とする環を成す。俗に言えば、群環は与えられた群の与えられた環の元を「重み」とする形式和の全体である。与えられた環が可換であるとき、群環は与えられた環上の多元環（代数）の構造を持ち、群多元環（ぐんたげんかん、group algebra; 群代数）（あるいは短く群環これは少々紛らわしいが、任意の群環は係数環の中心上の群多元環となるから、その文脈で何を係数環としているかが明らかならば混乱の虞は無いであろう。）と呼ばれる。 群環は、特に有限群の表現論において重要な役割を果たす代数的構造である。無限群の群環はしばしば位相を加味した議論を必要とするため位相群の群環の項へ譲り、本項は主に有限群の群環を扱う。また、より一般の議論は群ホップ代数を見よ。.
畳み込み
畳み込み（たたみこみ、convolution）とは関数 を平行移動しながら関数 に重ね足し合わせる二項演算である。畳み込み積分、合成積、重畳積分、あるいは英語に倣いコンボリューションとも呼ばれる。.
量子群
数学と理論物理学において、用語量子群（りょうしぐん、quantum group）は付加構造を持った様々な種類の非可換代数を指す。一般に、量子群はある種のホップ代数である。ただ1つの包括的な定義があるわけではなく、広範に類似した対象の族がある。 用語「量子群」は最初量子可積分系の理論において現れた。ウラジーミル・ドリンフェルト (Володи́мир Дрі́нфельд) と神保道夫によってホップ代数のある特定のクラスとして定義されたのだった。同じ用語は古典リー群あるいはリー環を変形したあるいはそれに近い他のホップ代数に対しても用いられる。例えば、ドリンフェルトと神保の仕事の少し後にによって導入された、量子群の `bicrossproduct' のクラスである。 ドリンフェルトのアプローチでは、量子群は補助的なパラメーター q あるいは h に依存したホップ代数として生じる。この代数は、q.
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: ヘッケ環と連続 (数学) · 続きを見る »
P進数
p 進数（ピーしんすう、p-adic number）とは、1897年にクルト・ヘンゼルによって導入された、数の体系の一つである。文脈によっては、その体系の個々の数を指して p 進数と呼ぶこともある。有理数の体系を実数や複素数の体系に拡張するのとは別の方法で、各素数 p に対して p 進数の体系が構成される。それらは有理数のつくる空間の局所的な姿を記述していると考えられ、数学の中でも特に数論において重要な役割を果たす。数学のみならず、素粒子物理学の理論などで使われることもある（例えば ''p'' 進量子力学を参照）。 「p 進数」とは「2進数」や「3進数」の総称に過ぎないので、文字 p がすでに他の場所で用いられている場合、q 進数や l 進数などと表現されることもある。 なお、自然数や実数を 0 と 1 で表現する方法（2進法）やその結果得られる記号列（2進列）も「2進数」と呼ぶ場合があるが、本項の意味での「2進数」とは異なる。.
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
ここにリダイレクトされます：
ヘッケ代数、岩堀-ヘッケ代数、岩堀-ヘッケ環、岩堀ヘッケ環。
