一元体と対称群

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

一元体と対称群の違い

一元体 vs. 対称群

数学において一元体（いちげんたい、field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun"un" はフランス語で "1" の意味の単語であり、また一元体という対象がもつ数学的な豊かさへのわくわくする期待感を英語のfunと掛けたものともなっている。 で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。 F1 が旧来の意味の体にならないことは、体が通常加法単位元 0 と乗法単位元 1 という二つの元を持つことから明らかである。制限を緩めて、ただひとつの元からなる環を考えても、それは 0. 対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.

一元体

数学において一元体（いちげんたい、field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun"un" はフランス語で "1" の意味の単語であり、また一元体という対象がもつ数学的な豊かさへのわくわくする期待感を英語のfunと掛けたものともなっている。 で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。 F1 が旧来の意味の体にならないことは、体が通常加法単位元 0 と乗法単位元 1 という二つの元を持つことから明らかである。制限を緩めて、ただひとつの元からなる環を考えても、それは 0.

一元体と一元体 · 一元体と対称群 · 続きを見る »

ホップ代数

数学において，ホップ代数（ホップだいすう，Hopf algebra）は，に因んで名づけられた代数的構造であり，同時に（単位的結合）代数かつ（余単位的余結合的）余代数であり，これらの構造の整合性により双代数になっており，さらにある性質を満たすを備えたものである．ホップ代数の表現論は特に見事である，なぜならば整合的な余積，余単位射，対合射の存在により，表現のテンソル積，自明表現，双対表現を構成できるからである． ホップ代数は，その起源であり の概念と関係する代数的位相幾何学，の理論，群論（群環の概念によって），そして多数の他の場所で，自然に生じ，おそらく双代数の最もよく知られた種類となっている．ホップ代数はそれ自身も研究されていて，一方では例の特定のクラスが，他方では分類問題が，多く研究されている．それらは物性物理学や量子的場の理論から弦理論まで多様な応用を持つ． 定理 (ホップ) を標数 0 の体上の有限次元次数付き余可換ホップ代数とする．このとき は（代数として）奇数次の生成元による自由外積代数である．.

ホップ代数と一元体 · ホップ代数と対称群 · 続きを見る »

ベクトル空間

数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.

ベクトル空間と一元体 · ベクトル空間と対称群 · 続きを見る »

群作用

数学における群作用（ぐんさよう、group action）は、群を用いて物体の対称性を記述する方法である。.

一元体と群作用 · 対称群と群作用 · 続きを見る »

標数

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

一元体と標数 · 対称群と標数 · 続きを見る »

有限集合

数学において、集合が有限（ゆうげん、finite）であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n.

一元体と有限集合 · 対称群と有限集合 · 続きを見る »