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

イデアル類群

索引 イデアル類群

数学において,体 に対してイデアル類群(ideal class group)あるいは類群(class group)とは,商群 である,ただし は の分数イデアルの群で, は の単項イデアルからなる部分群である.代数体(あるいはより一般に任意のデデキント環)の整数環における一意分解の成り立たなさをイデアル類群によって記述することができる.この群が有限のとき(代数体の整数環の場合はそうである),その群の位数を類数(class number)と呼ぶ.デデキント環の乗法的理論はそのイデアル類群の構造と密接にかかわっている.例えば,デデキント環のイデアル類群が自明であることとその環が一意分解整域であることは同値である..

66 関係: 単位元単項イデアル整域単数可換体同値類同値関係多項式環主イデアル一意分解環平方因子をもたない整数交換法則二項関係二次形式二次体代数幾何学代数体代数的K理論代数的整数代数的整数論位数 (群論)余核ノルム (体論)モノイドユークリッド環リヒャルト・デーデキントヒルベルト類体ピカール群デデキント環ディオファントス方程式フェルマーの最終定理判別式分岐 (数学)分数イデアルアーベル群アーベル拡大アイゼンシュタイン整数イデアル (環論)エルンスト・クンマーカール・フリードリヒ・ガウスガロア理論ガウス整数ケンブリッジ大学出版局円分体商群剰余環算術の基本定理素イデアル群 (数学)群準同型環 (数学)...類体論類数問題類数公式関手自明群逆元Well-defined捩れ部分群核 (代数学)正則素数既約元数学整域整数整数環1の冪根 インデックスを展開 (16 もっと) »

単位元

数学、とくに抽象代数学において、単位元(たんいげん, )あるいは中立元(ちゅうりつげん, )は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.

新しい!!: イデアル類群と単位元 · 続きを見る »

単項イデアル整域

代数学において単項イデアル整域(たんこうイデアルせいいき、あるいは主イデアル整域、principal ideal domain; PID)あるいは主環(しゅかん、anneau principal)とは、任意のイデアルが単項イデアルであるような(可換)整域のことである。 より一般に、任意のイデアルが単項イデアルであるような(零環でない)可換環を単項イデアル環と呼ぶ(この場合、整域とは限らない、つまり零因子をもつかもしれない)が、文献によっては(例えばブルバキなどでは)「主(イデアル)環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。.

新しい!!: イデアル類群と単項イデアル整域 · 続きを見る »

単数

* 数学における環の乗法的可逆元.

新しい!!: イデアル類群と単数 · 続きを見る »

可換体

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

新しい!!: イデアル類群と可換体 · 続きを見る »

同値類

数学において,ある集合 の元が(同値関係として定式化される)同値の概念を持つとき,集合 を同値類(どうちるい,equivalence class)たちに自然に分割できる.これらの同値類は,元 と が同じ同値類に属するのは と が同値であるとき,かつそのときに限るものとして構成される. フォーマルには,集合 と 上の同値関係 が与えられたとき,元 の における同値類は, に同値な元全体の集合 である.「同値関係」の定義から同値類は S の分割をなす.この分割,同値類たちの集合,を の による商集合 (quotient set) あるいは商空間 (quotient space) と呼び, と表記する. 集合 が(群演算や位相のような)構造を持ち,同値関係 がこの構造と適切に両立するように定義されているとき,商集合はしばしばもとの集合から類似の構造を引き継ぐ.例としては,線型代数学における商空間,位相空間論における商空間,,等質空間,商環,,など..

新しい!!: イデアル類群と同値類 · 続きを見る »

同値関係

数学において、同値関係(どうちかんけい、equivalence relation)は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割(類別)する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.

新しい!!: イデアル類群と同値関係 · 続きを見る »

多項式環

数学、殊に抽象代数学における多項式環(たこうしきかん、polynomial ring)は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。.

新しい!!: イデアル類群と多項式環 · 続きを見る »

主イデアル

主イデアル(principal ideal)、あるいは単項イデアルとは、環 の単一の元 により生成された のイデアル のことを言う。(要するに、単元生成されたイデアルを主イデアルと言う。).

新しい!!: イデアル類群と主イデアル · 続きを見る »

一意分解環

数学における一意分解環(いちいぶんかいかん、unique factorization domain,UFD; 一意分解整域)あるいは素元分解環(そげんぶんかいかん)は、大雑把に言えば整数に対する算術の基本定理の如くに(特別の例外を除く)各元が素元(あるいは既約元)の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環 (anneau factriel) とも呼ばれる。 環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。.

新しい!!: イデアル類群と一意分解環 · 続きを見る »

平方因子をもたない整数

数学において、無平方数(むへいほうすう、square-free integer)または平方因子を持たない整数 (integer without square factors) とは、平方因子を持たない数、すなわち より大きい完全平方で割り切れないような整数(通例として正の整数)をいう。与えられた整数が無平方数であるとき、その整数は無平方 (square-free) であるともいう。例えば、10 は無平方だが、18 は 9.

新しい!!: イデアル類群と平方因子をもたない整数 · 続きを見る »

交換法則

交換法則(こうかんほうそく、Commutative property) は数学における法則の一つ。可換則(かかんそく)や交換律(こうかんりつ)ともいう。.

新しい!!: イデアル類群と交換法則 · 続きを見る »

二項関係

数学において、二項関係(にこうかんけい、binary relation)あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 の元からなる順序対のあつまりである。別な言い方をすれば、直積集合 の部分集合を、集合 上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合 に対して、 と との間の二項関係とは、直積 の部分集合のことをいう。 二項関係の一つの例は素数全体の成す集合 と整数全体の成す集合 の間の整除関係である。この整除関係では任意の素数 は、 の倍数である任意の整数 に関係を持ち、倍数でない整数には関係しないものとして扱われる。例えば、素数 が関係を持つ整数には などが含まれるが や は含まれない。同様に素数 が関係する整数として などが挙げられるが、 や はそうではない。 二項関係は数学のさまざまな分野で用いられ、不等関係、恒等関係、算術の整除関係、初等幾何学の合同関係、グラフ理論の隣接関係、線型代数学の直交関係などのさまざまな概念が二項関係として定式化することができる。また、写像の概念を特別な種類の二項関係として定義することもできる。二項関係は計算機科学においても重用される。 二項関係はn-項関係 (各 -番目の成分が関係の -番目の始集合 からとられているようなn-組からなる集合)で とした特別の場合である。 ある種の公理的集合論では(集合の一般化としての)類の上の関係を考えることができる。このような拡張は、集合論における元の帰属関係や包含関係の概念(に限った話ではないが)のモデル化を、ラッセルの逆理のような論理矛盾に陥らずに行うために必要である。.

新しい!!: イデアル類群と二項関係 · 続きを見る »

二次形式

数学における二次形式(にじけいしき、quadratic form) は、いくつかの変数に関する次数が 2 の斉次多項式である。たとえば は変数 x, y に関する二次形式である。 二次形式は数学のいろいろな分野(数論、線型代数学、群論(直交群)、微分幾何学(リーマン計量)、微分位相幾何学(四次元多様体の交叉形式)、リー理論(キリング形式)など)で中心的な位置を占める概念である。.

新しい!!: イデアル類群と二次形式 · 続きを見る »

二次体

二次体 (にじたい、quadratic field) は、有理数体上、2次の代数体のことである。任意の二次体は、平方因子を含まない 0, 1 以外の整数 d を用いて、\scriptstyle\mathbb(\sqrt) と表現される。もし、d > 0 である場合、実二次体 (real quadratic field)、d \mathbb(\sqrt) は、d.

新しい!!: イデアル類群と二次体 · 続きを見る »

代数幾何学

代数幾何学(だいすうきかがく、algebraic geometry)とは、多項式の零点のなすような図形を代数的手法を用いて(代数多様体として)研究する数学の一分野である。大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。 ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。 上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。 当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。 2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。 3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。 しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム」と呼ばれるプログラムに沿って分類が強力に推し進められている。 19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した(代数幾何学のイタリア学派)。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。.

新しい!!: イデアル類群と代数幾何学 · 続きを見る »

代数体

代数体(だいすうたい、algebraic number field)とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。 K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。 このとき θ は n 次の代数的数であるので、K を \mathbb 上のベクトル空間とみたとき、\ は基底となる。.

新しい!!: イデアル類群と代数体 · 続きを見る »

代数的K理論

数学では、代数的K-理論(algebraic K-theory)は、ある非負な整数 n に対して環からアーベル群への函手の系列 を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次 K-群 K0 と K1 は、n ≥ 2 に対する高次 K-群 Kn とはいくらか異なった項と考えられている。実際、高次の群よりも低次の群は受け入れやすく、より多くの応用を持っている。高次の群の理論は、( R が整数の環であるときでさえ)非常に深く、計算することが確かに困難である。 群 K0(R) は、射影加群を使い、環のイデアル類群の構成を一般化したことになる。1960年代、1970年代の発展は、現在は(Quillen–Suslin theorem)となっている射影加群についてのジャン=ピエール・セール(Jean-Pierre Serre)の予想を解こうとした努力に関係していた。キレン・サスリンの定理は、この分野で発見された古典的代数の他の問題に多く関連している。同じように、K1(R) は、行列の基本変形を使った環の可逆元の群の変形である。群 K1(R) はトポロジー、特に、R が群環のときに重要である。なぜなら、その商である(Whitehead group)が、(simple homotopy theory)や(surgery theory)の理論における問題を研究するためのホワイトヘッドの捩れを含んでいるからである。群 K0(R) もたとえば有限性不変量のような他の不変量を含んでいる。1980年代以降、代数的K-理論は、ますます代数幾何学へ多くの応用が増加している。たとえば、(motivic cohomology)は密接に代数的K-理論に関係している。 n(R) of functors from rings to abelian groups, for all nonnegative integers n. For historical reasons, the lower K-groups K0 and K1 are thought of in somewhat different terms from the higher algebraic K-groups Kn for n ≥ 2.

新しい!!: イデアル類群と代数的K理論 · 続きを見る »

代数的整数

数論において代数的整数(だいすうてきせいすう、algebraic integer)とは、整数係数モニック多項式の根となるような複素数のことを言う。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。 代数体 K の整数環 O は K ∩ A に等しく、また体 K の極大整環(order)となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z がアーベル群として有限生成(即ち有限生成 '''Z'''-加群)であることと同値である。.

新しい!!: イデアル類群と代数的整数 · 続きを見る »

代数的整数論

代数的整数論(だいすうてきせいすうろん、algebraic number theory)は数論の一分野であり、抽象代数学の手法を用いて、整数や有理数、およびそれらの一般化を研究する。数論的な問題は、代数体やその整数環、有限体、関数体のような代数的対象の性質のことばで記述される。これらの性質は、例えば環において一意分解が成り立つかとか、イデアルの性質、体のガロワ群などであるが、ディオファントス方程式の解の存在のような、数論において極めて重要な問題を解決することができる。.

新しい!!: イデアル類群と代数的整数論 · 続きを見る »

位数 (群論)

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

新しい!!: イデアル類群と位数 (群論) · 続きを見る »

余核

数学において、ベクトル空間の線型写像 f: X → Y の余核 (よかく、cokernel) は f の終域 の f の像による商空間 Y/im(f) である。余核の次元は f の余次元 (corank) と呼ばれる。 余核はの双対であるので、その名前がついている。核は定義域の部分対象であるのに対し(それは定義域に写す)、余核は終域のである(それは終域から写す)。 直感的には、解きたい方程式 f(x).

新しい!!: イデアル類群と余核 · 続きを見る »

ノルム (体論)

体論において、ノルム (norm) は、体の拡大(とくにガロア拡大などの代数拡大)に付随して現れる写像の一種で、拡大体の元をもとの体の元に移す性質を持つ。.

新しい!!: イデアル類群とノルム (体論) · 続きを見る »

モノイド

数学、とくに抽象代数学における単系(たんけい、monoid; モノイド)はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群(単位的半群)であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。モノイドの概念は計算機科学の分野でも、その基礎付けや実用プログラミングの両面で広く用いられる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。.

新しい!!: イデアル類群とモノイド · 続きを見る »

ユークリッド環

数学の特に抽象代数学および環論におけるユークリッド整域(ユークリッドせいいき、Euclidean domain)あるいはユークリッド環(ユークリッドかん、Euclidean ring)とは、「ユークリッド写像(次数写像)」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される(ベズーの等式)。また、ユークリッド環の任意のイデアルは主イデアル(つまり、単項生成)であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。 ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環(あるいは実際には有理整数環を考えるので十分だが)と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。 そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。.

新しい!!: イデアル類群とユークリッド環 · 続きを見る »

リヒャルト・デーデキント

ブラウンシュヴァイクの中央墓地にあるデデキントの墓 ユリウス・ヴィルヘルム・リヒャルト・デーデキント(デデキント、Julius Wilhelm Richard Dedekind、1831年10月6日 - 1916年2月12日)は、ドイツのブラウンシュヴァイク出身の数学者。代数学・数論が専門分野。1858年からチューリッヒ工科大学教授、1894年からブラウンシュヴァイク工科大学教授を歴任した。彼の名前にちなんだ数学用語としては、デデキント環、デデキント切断などがある。.

新しい!!: イデアル類群とリヒャルト・デーデキント · 続きを見る »

ヒルベルト類体

代数的整数論において,数体 のヒルベルト類体(Hilbert class field) とは, の最大アーベル不分岐拡大である.その 上の次数は の類数に等しく, の 上のガロワ群は の素イデアルに対するフロベニウス元を用いて のイデアル類群に自然に同型である. この文脈では, のヒルベルト類体は(古典的なイデアル論的解釈で)おいて不分岐であるだけでなく, の無限素点においても不分岐である.つまり, のすべての実埋め込みは の実埋め込み(複素埋め込みではなく)に拡張する..

新しい!!: イデアル類群とヒルベルト類体 · 続きを見る »

ピカール群

数学では、環付き空間 X のピカール群(Picard group)は Pic(X) と書き、テンソル積である群作用を持つ X 上の可逆層(もしくは、直線束)の同型類のなす群である。この構成は、因子類群やイデアル類群の構成の大域的なバージョンであり、代数幾何学や複素多様体の理論でよく使われる。 ピカール群は、層コホモロジー群 としても定義することができる。 整スキーム(integral scheme)に対して、ピカール群はカルティエ因子の類群と同型であることを示すことができる。複素多様体に対し、指数層系列は、ピカール群の基本的な情報を与える。 エミール・ピカール (Émile Picard) の理論、特に代数曲線の因子の理論から、ピカールの名前がついている。.

新しい!!: イデアル類群とピカール群 · 続きを見る »

デデキント環

デデキント環(デデキントかん、Dedekind ring)、あるいはデデキント整域(デデキントせいいき、Dedekind domain)とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。.

新しい!!: イデアル類群とデデキント環 · 続きを見る »

ディオファントス方程式

ディオファントス方程式(ディオファントスほうていしき、Diophantine equation)とは、整係数多変数高次不定方程式である。文脈として、整数解や有理数解を問題にしたい場合に用いられる用語であり、主に数論の研究課題と考えられている。古代アレクサンドリアの数学者ディオファントスの著作『算術』で、その有理数解が研究されたのにちなんだ名称である。.

新しい!!: イデアル類群とディオファントス方程式 · 続きを見る »

フェルマーの最終定理

算術』。 フェルマーの最終定理(フェルマーのさいしゅうていり、Fermat's Last Theorem)とは、 以上の自然数 について、 となる自然数の組 は存在しない、という定理のことである。フェルマーの大定理とも呼ばれる。フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、360年後にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった。.

新しい!!: イデアル類群とフェルマーの最終定理 · 続きを見る »

判別式

代数学において、多項式の判別式(はんべつしき、discriminant)はその係数たちの関数であり、一般には大文字の 'D' あるいは大文字のギリシャ文字デルタ (Δ) で表記される。それは根の性質についての情報を与えてくれる。例えば、二次多項式 の判別式は である。ここで、実数,, に対して、Δ > 0 であれば、多項式は 2 つの実根を持ち、Δ.

新しい!!: イデアル類群と判別式 · 続きを見る »

分岐 (数学)

数学では、分岐 (ramification) は、複素数に対する平方根の函数のように、幾何学的に分岐することを意味し、符号の異なる 2つの枝を持つことを言う。分岐は、空間の分岐点で被覆写像が退化するときに、(分岐は互いに出会うので)互いに写像のファイバーを共通に持つ反対側(シート)の視点からも使う。.

新しい!!: イデアル類群と分岐 (数学) · 続きを見る »

分数イデアル

数学、特に可換環論において、分数イデアル(fractional ideal)の概念は整域の文脈で導入され、特にデデキント整域の研究において成果が多い。ある意味で、整域の分数イデアルは分母が許されたイデアルのようなものである。分数イデアルと普通の環のイデアルがともに議論に出てくるような文脈では、明確にするために後者を整イデアル (integral ideal) と呼ぶこともある。.

新しい!!: イデアル類群と分数イデアル · 続きを見る »

アーベル群

数学、とくに抽象代数学におけるアーベル群(アーベルぐん、abelian group)または可換群(かかんぐん、commutative group)は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群(加法群)としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法(例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す)が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.

新しい!!: イデアル類群とアーベル群 · 続きを見る »

アーベル拡大

抽象代数学において、ガロア群がアーベル群となるようなガロア拡大のことをアーベル拡大 (abelian extension) と言う。ガロア群が巡回群のときは、巡回拡大 (cyclic extension) という。ガロア拡大が可解 (solvable) であるとは、ガロア群が可解、つまり中間拡大に対応するアーベル群の列からガロア群が構成されるときを言う。 有限体の全ての有限拡大は、巡回拡大である。類体論の発展は、数体と局所体と、有限体上の代数曲線の函数体のアーベル拡大についての詳細な情報をもたらした。 円分拡大という概念があり、2つの少し異なる定義がある。1つは1の冪根による拡大のことであり、もう1つはその部分拡大のことである。例えば円分体は円分拡大である。任意の円分拡大はいずれの定義でもアーベル拡大である。 体 K が 1 の原始 n 乗根を含み、K のある元の n 乗根が添加されると、この拡大はいわゆるクンマー拡大であり、これはアーベル拡大となる。(K の標数が p > 0 のとき、p は n を割らないと仮定しなければならない。もし割るようであれば、分離拡大ですらないからである。)しかしながら、一般に、元の n 乗根のガロア群は、n 乗根と1の冪根の双方に作用し、半直積として非可換ガロア群を構成する。クンマー理論は、アーベル拡大の場合を完全に記述する。クロネッカー・ウェーバーの定理は、K が有理数体のとき、拡大がアーベル的であるということと、拡大が1の冪根を添加して得られる体の部分体であることとは同値であると言う定理である。 トポロジーにおける基本群との重要な類似がある。基本群は空間の全ての被覆空間を分類する。すなわち、1次ホモロジー群に直接関連付ける基本群のアーベル化により、アーベル被覆が分類される。.

新しい!!: イデアル類群とアーベル拡大 · 続きを見る »

アイゼンシュタイン整数

ウス平面内の、正三角形を成す格子における格子点は、アイゼンシュタイン整数を表す。 アイゼンシュタイン整数(アイゼンシュタインせいすう、Eisenstein integer)とは、フェルディナント・ゴットホルト・マックス・アイゼンシュタインにちなんで名付けられた複素数の一種である。正確には、整数 a, b と1の原始3乗根 に対して a + b ω の形の複素数のことである。b.

新しい!!: イデアル類群とアイゼンシュタイン整数 · 続きを見る »

イデアル (環論)

抽象代数学の分野である環論におけるイデアル(ideal, Ideal)は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環(商環)の構成にも用いられる、この点において群論で剰余群(商群)の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。.

新しい!!: イデアル類群とイデアル (環論) · 続きを見る »

エルンスト・クンマー

ルンスト・エドゥアルト・クンマー(Ernst Eduard Kummer、1810年1月29日 ブランデンブルク・ゾーラウ Sohrau(ポーランド・ルブシュ県) - 1893年5月14日)は、ドイツの数学者。ワイエルシュトラス、(彼の教え子の一人)クロネッカーと共に、ベルリン大学の三大数学者の一人として指導的役割を果たした。最初は関数論を研究していたが、1840年代からは代数的整数論に関心を持つようになり、円分体とそのイデアル類と類数を中心的に研究するようになった。彼はその後のイデアル論の基礎となるものを確立し、L関数の値のp進的な性質を調べていった。この他、砲弾の弾道計算で業績を残している。オーギュスタン・ルイ・コーシーとガブリエル・ラメが行った虚数を含む素因数分解に一意性がないことを指摘した。しかし、クンマーは一意性の問題に取り組み、多くの場合について一意性を復活させる方法として理想数を導入した。この方法はのちにリヒャルト・デーデキントによってまとめられ、イデアル概念が生まれた。 大学での講義中、とっさに九九が計算できなかった逸話が有名である。数々の業績を残した彼だが、瞬発的な数字の計算能力はむしろ低かったようである。.

新しい!!: イデアル類群とエルンスト・クンマー · 続きを見る »

カール・フリードリヒ・ガウス

Disquisitiones Arithmeticae のタイトルページ ヨハン・カール・フリードリヒ・ガウス(; Johann Carl Friedrich Gauß, Carolus Fridericus Gauss, 1777年4月30日 - 1855年2月23日)は、ドイツの数学者、天文学者、物理学者である。彼の研究は広範囲に及んでおり、特に近代数学のほとんどの分野に影響を与えたと考えられている。数学の各分野、さらには電磁気など物理学にも、彼の名が付いた法則、手法等が数多く存在する。19世紀最大の数学者の一人である。.

新しい!!: イデアル類群とカール・フリードリヒ・ガウス · 続きを見る »

ガロア理論

ア理論(ガロアりろん、Galois theory)は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。.

新しい!!: イデアル類群とガロア理論 · 続きを見る »

ガウス整数

ウス整数とは、ガウス平面では格子点に当たる。 ガウス整数(ガウスせいすう、Gaussian integer)とは、実部と虚部が共に整数である複素数のことである。すなわち、(, は整数)の形の数のことである。ここで は虚数単位を表す。ガウス整数という名称は、カール・フリードリヒ・ガウスが導入したことに因む。ガウス自身はガウス整数のことを複素整数(Komplexe Ganze Zahl)と呼んだが、今日ではこの呼称は一般的ではない。 通常の整数は、 の場合なので、ガウス整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、集合として全体の構造を考える方が自然である。ガウス整数全体の集合を と表し、これをガウス整数環と呼ぶ。すなわち、 である( は有理整数環、すなわち有理整数全体の集合を表す)。その名が示すように、ガウス整数環は加法と乗法について閉じており、環としての構造を持つ。複素数体 C の部分環であるから、整域でもある。 を有理数体、すなわち有理数全体の集合とするとき、 をガウス数体という。ガウス整数環はガウス数体の整数環である。ガウス数体は、典型的な代数体であるところの円分体や二次体の一種であるので、ガウス整数環は代数的整数論における最も基本的な対象の一つである。.

新しい!!: イデアル類群とガウス整数 · 続きを見る »

ケンブリッジ大学出版局

ンブリッジ大学出版局(Cambridge University Press)は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.

新しい!!: イデアル類群とケンブリッジ大学出版局 · 続きを見る »

円分体

円分体 (えんぶんたい、cyclotomic field) は、有理数体に、1 の m(>2) 乗根 \scriptstyle\zeta(\ne\pm 1) を添加した代数体である。円分体およびその部分体のことを円体ともいう。 以下において、特に断らない限り、\zeta_n.

新しい!!: イデアル類群と円分体 · 続きを見る »

商群

数学において,商群(しょうぐん,quotient group, factor group)あるいは剰余群,因子群とは,群構造を保つ同値関係を用いて,大きい群から似た元を集めて得られる群である.例えば,n を法とした加法の巡回群は,整数から,差が の倍数の元を同一視し,そのような各類(合同類と呼ばれる)に1つの実体として作用する群構造を定義することによって得られる.群論と呼ばれる数学の分野の一部である. 群の商において,単位元の同値類はつねにもとの群の正規部分群であり,他の同値類たちはちょうどその正規部分群の剰余類たちである.得られる商は と書かれる,ただし はもとの群で は正規部分群である.(これは「(ジーモッドエヌ)」と読まれる."mod" は modulo の略である.) 商群の重要性の多くはその準同型との関係に由来する.第一同型定理は任意の群 の準同型による像はつねに のある商と同型であると述べている.具体的には,準同型 による の像は と同型である,ただし は の核 を表す. 商群の双対概念は部分群であり,これらが大きい群から小さい群を作る2つの主要な方法である.任意の正規部分群 は,大きい群から部分群 の元の間の差異を除去して得られる,対応する商群を持つ.圏論では,商群は商対象の例であり,これは部分対象の双対である.商対象の他の例は,商環,商線型空間,商位相空間,商集合を参照..

新しい!!: イデアル類群と商群 · 続きを見る »

剰余環

数学の一分野、環論における商環(しょうかん、quotient ring)、剰余環(じょうよかん、factor ring)あるいは剰余類環(じょうよるいかん、residue class ring)とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる(I による違いを「無視」するともいえる)ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体(分数の体)と呼ばれる構成とは異なるし、全商環(商の環、これは環の局所化の一種)とも異なる。.

新しい!!: イデアル類群と剰余環 · 続きを見る »

算術の基本定理

pp.

新しい!!: イデアル類群と算術の基本定理 · 続きを見る »

素イデアル

素イデアル(prime ideal)は、環のイデアルで、ある条件を満たすものである。歴史的には、素数(素元)の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環(一般に)のすべてのゼロでない(整)イデアルは、素イデアルの有限個の積として(順序を除いて)一意的に書ける(イデアル論の基本定理)。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.

新しい!!: イデアル類群と素イデアル · 続きを見る »

群 (数学)

数学における群(ぐん、group)とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.

新しい!!: イデアル類群と群 (数学) · 続きを見る »

群準同型

数学、特に群論における群の準同型写像(じゅんどうけいしゃぞう、group homomorphism)は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。.

新しい!!: イデアル類群と群準同型 · 続きを見る »

環 (数学)

数学における環(かん、ring)は、台集合に「加法」(和)および「乗法」(積)と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである(これは乗法が可換だから可換環の例でもある)。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す(乗法単位元の存在を要求しない)こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは(整数環や多項式環などの)よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則(の根底にある特殊相対性)や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野(主に数論)からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する(イデアルをつかって剰余環を作り、単純環に帰着するなど)。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える(前者は代数的数論や代数幾何学の範疇に属する)。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環(斜体)が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.

新しい!!: イデアル類群と環 (数学) · 続きを見る »

類体論

数学における類体論(るいたいろん、class field theory, Klassenkörpertheorie)は、有限体上の曲線の函数体や数体のアーベル拡大について、およびそのようなアーベル拡大に関する数論的性質について研究する、代数的整数論の一大分野である。理論の対象となる体は、一般に大域体もしくは一次元大域体と呼ばれるものである。 与えられた大域体の有限次アーベル拡大と、その体の適当なイデアル類もしくはその体のイデール類群の開部分群との間に一対一対応が取れるという事実によって、類体論の名がある。例えば、数体の最大不分岐アーベル拡大であるヒルベルト類体は、非常に特別なイデアル類に対応する。類体論は、大域体のイデール類群(即ち、体の乗法群によるイデールの商)によってその大域体の最大アーベル拡大のガロワ群へ作用する相互律準同型 (reciprocity homomorphism) を含む。大域体のイデール類群の各開部分群は、対応する類体拡大からもとの大域体へ落ちるノルム写像の像になっているのである。 標準的な方法論は、1930年代以降発達したで、これは大域体の完備化である局所体のアーベル拡大を記述するものであり、これを用いて大域類体論が構築される。.

新しい!!: イデアル類群と類体論 · 続きを見る »

類数問題

数学では、(虚二次体の)ガウスの類数問題(Gauss class number problem)は、通常に理解されているように、 各々の n ≥ 1 に対し類数が n である虚二次体の完全なリストをもたらした。この問題の命名は偉大な数学者カール・フリードリヒ・ガウス(Carl Friedrich Gauss)にちなんでいる。この問題は、また、代数体の判別式の項で記述することもできる。実二次体にも関連した問題があり、その振る舞いは である。 この問題の困難な点は、限界の有効(effective)な計算である。与えられた判別式に対し、類数を計算することは易しく、類数の非有効(ineffective)な下界を求める方法はいくつかあるが(非有効とは、計算はできないが、定数であるということのみわかることを意味する)、しかし有効な限界を求め(リストの完全な証明)は難しい。 d \to -\infty.

新しい!!: イデアル類群と類数問題 · 続きを見る »

類数公式

数論では、類数公式(class number formula)は、代数体の多くの重要な不変量(特にイデアル類群の位数である類数)をデデキントゼータ函数の特殊値に関係付ける公式である。.

新しい!!: イデアル類群と類数公式 · 続きを見る »

関手

圏論における関手(かんしゅ、functor)は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。 関手の概念の萌芽はエヴァリスト・ガロアによる群を用いた代数方程式の研究に見ることができる。20世紀はじめのエミー・ネーターらによる加群の研究において拡大加群などさまざまな関手的構成が蓄積された。20世紀半ばの代数的位相幾何学において実際に関手が定義され、図形から様々な「自然な」代数的構造を取り出す操作を定式化するために利用された。ここでは(基本群のような)代数的対象が位相空間から導かれ、位相空間の間の連続写像は基本群の間の代数的準同型を導いている。その後アレクサンドル・グロタンディークらによる代数幾何学の変革の中でさまざまな数学的対象の関手による定式化が徹底的に追求された。.

新しい!!: イデアル類群と関手 · 続きを見る »

自明群

数学において、自明群、自明な群 (trivial group)、単位群 はただ1つの元からなる群である。すべてのそのような群は同型であるので、英語などではしばしば定冠詞をつけて the trivial group などと呼ばれる。自明群のただ1つの元は単位元であるので普通 0, 1, e のように文脈に応じて表記される。群の演算が ∗ であれば によって定義される。 同様に定義される自明モノイド (trivial monoid) もまた群である。その唯一の元がそれ自身の逆元でありしたがって自明群と同じであるからである。 自明群を空集合と混同してはならない。(これは元を全くもたず、単位元を欠くため、群にはなりえない。) 任意の群 G が与えられると、単位元のみからなる部分集合は、それ自身が自明群である G の部分群であり、G の自明な部分群 (trivial subgroup) と呼ばれる。また、G 自身も明らかに G の部分群であるので、G も自明な部分群と呼ばれることがあるが、これは著者によって異なるので注意が必要である。群によってはこれら以外にも自明に部分群になるものがあるが、それらは自明な部分群とは呼ばれない。 "G は非自明な真の部分群をもたない" (G has no nontrivial proper subgroups) という言い回しが意味するのは、G のすべての部分群は自明群 および群 G 自身であるということである。.

新しい!!: イデアル類群と自明群 · 続きを見る »

逆元

逆元 (ぎゃくげん、)とは、数学、とくに抽象代数学において、数の加法に対する反数や乗法に関する逆数の概念の一般化で、直観的には与えられた元に結合してその効果を「打ち消す」効果を持つ元のことである。逆元のきちんとした定義は、考える代数的構造によって少し異なるものがいくつか存在するが、群を考える上ではそれらの定義する概念は同じものになる。.

新しい!!: イデアル類群と逆元 · 続きを見る »

Well-defined

数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義(における公理の組)が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ(定義の整合性)が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない(文脈によっては「定義可能性」などで代用可能である)。.

新しい!!: イデアル類群とWell-defined · 続きを見る »

捩れ部分群

アーベル群の理論において、アーベル群 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 部分群は一意的には定まらない)。これは有限生成アーベル群の分類において重要なステップである。.

新しい!!: イデアル類群と捩れ部分群 · 続きを見る »

核 (代数学)

数学において、準同型の核(かく、kernel)とは、その準同型の単射からのずれの度合いを測る道具である。代数系における準同型の核が "自明" (trivial) であることとその準同型が単射であることとが同値となる。.

新しい!!: イデアル類群と核 (代数学) · 続きを見る »

正則素数

数論における正則素数(せいそくそすう、regular prime)とは、円の ''p'' 分体の類数を割り切らない素数 p のことであり、エルンスト・クンマーにより、考案された。小さいものから順に と続く。 クンマーは、奇素数の正則性は、p が k.

新しい!!: イデアル類群と正則素数 · 続きを見る »

既約元

抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約(irreducible)であると言う。 既約元を素元と混同してはならない。(可換環 の0でも単元でもない元 は、 のある元 と に対して であるときにはいつでも または であるようなときに、素元と呼ばれる。)整域において、素元は既約元である素元 が既約元であることの証明。 とする。すると は素元なので または である。 であるとして、 としよう。すると となるので である。 は整域なので である。したがって は単元であり は既約である。Sharpe (1987) p.54。逆は一意分解整域に対しては正しい(あるいはより一般に、GCD整域に対しても正しい)が、一般の整域に対しては成り立たない。 さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、 が GCD 整域であり、 が の既約元であれば、 で生成されたイデアルは の素イデアル(したがって既約イデアル)である。.

新しい!!: イデアル類群と既約元 · 続きを見る »

数学

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

新しい!!: イデアル類群と数学 · 続きを見る »

整域

抽象代数学における整域(せいいき、integral domain)は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である(奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる)。別な文献では(ラングが顕著だが)整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在(零積法則)は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、a ≠ 0 のとき、等式 から が結論できる。.

新しい!!: イデアル類群と整域 · 続きを見る »

整数

数学における整数(せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero)は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen(「数」の意・複数形)に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理(的)」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

新しい!!: イデアル類群と整数 · 続きを見る »

整数環

数学において,代数体 の整数環(せいすうかん,ring of integers)とは, に含まれるすべての整な元からなる環である.整な元とは有理整数係数の単多項式 の根である.この環はしばしば あるいは \mathcal O_K と書かれる.任意の有理整数は に属し,その整元であるから,環 はつねに の部分環である. 環 は最も簡単な整数環である.すなわち, ただし は有理数体である.

新しい!!: イデアル類群と整数環 · 続きを見る »

1の冪根

1の冪根(いちのべきこん、root of unity)、または1の累乗根(いちのるいじょうこん)は、数学において、冪乗して 1 になる(冪単である)ような数のことである。すなわち、ある自然数 n が存在して となる z のことである。通常は複素数の範囲で考えるが、場合によっては ''p'' 進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。 自然数 n に対し、m (\zeta_n.

新しい!!: イデアル類群と1の冪根 · 続きを見る »

ここにリダイレクトされます:

イデアル類類数類数の有限性類群

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