ブラウザよりも高速アクセス！
18 関係: 単項イデアル環、射影多様体、代数函数体、付値環、ユークリッド環、デデキント環、分数イデアル、エンリケス・小平の分類、クルル環、クルル次元、コーエン環、因子 (代数幾何学)、環 (数学)、DVR、離散付値、Π、標数、正則局所環。
単項イデアル環
数学において、単項右（左）イデアル環、主右（左）イデアル環 (principal right (left) ideal ring) は環 R であってすべての右（左）イデアルがある x ∈ R に対して xR (Rx) の形であるようなものである。（1つの元で生成されたこの形の右と左のイデアルは単項イデアルである。）これが左と右のイデアル両方に対して満たされるとき、例えば R が可換環のような場合、R を単項イデアル環、主イデアル環 (principal ideal ring) あるいはシンプルに 単項環、主環 (principal ring) と呼ぶことができる。 R の有限生成右イデアルだけが単項であるならば、R は右ベズー環 (right Bézout ring) と呼ばれる。左ベズー環は同様に定義される。これらの条件は域 (domain) においてベズー域として研究される。 整域でもあるような可換単項イデアル環は単項イデアル整域 (PID) と呼ばれる。この記事において焦点は域とは限らない単項イデアル環のより一般的な概念に当てる。.
新しい！!: 離散付値環と単項イデアル環 · 続きを見る »
射影多様体
代数幾何学において，代数閉体 上の射影多様体（しゃえいたようたい，projective variety）とは， 上の（ 次元）射影空間 の部分集合であって，素イデアルを生成する 係数 変数斉次多項式の有限族の零点集合として書けるものをいう．そのようなイデアルは多様体の定義イデアルと呼ばれる．あるいは同じことだが，代数多様体が射影的であるとは， のザリスキ閉部分多様体として埋め込めるときにいう． 1次元の射影多様体は射影曲線と呼ばれ，2次元だと射影曲面，余次元 1 だと射影超曲面と呼ばれる．射影超曲面は単独の斉次式の零点集合である． 射影多様体 が斉次素イデアル によって定義されているとき，商環 は の斉次座標環と呼ばれる．次数や次元のような基本的な不変量は，この次数環のヒルベルト多項式から読み取ることができる． 射影多様体は多くの方法で生じる．それらはであり，荒っぽく言えば「抜けている」点がない．逆は一般には正しくないが，はこの2つの概念の近い関係を記述する．多様体が射影的であることは直線束や因子を調べることによって示される． 射影多様体の顕著な性質の1つは，層コホモロジーの有限性である．滑らかな射影多様体に対して，セール双対性はポワンカレ双対性の類似と見なせる．それはまた射影曲線，すなわち 1 の射影多様体に対するリーマン・ロッホの定理を導く．射影曲線の理論は特に豊かで，曲線のによる分類を含む．高次元の射影多様体の分類問題は自然に射影多様体のモジュライの構成を導く．ヒルベルトスキームは所定のヒルベルト多項式をもつ の閉部分スキームをパラメトライズする．ヒルベルトスキームは，グラスマン多様体は特別な場合であるが，それ自身射影スキームでもある．幾何学的不変式論は別のアプローチを提供する．古典的なアプローチはタイヒミュラー空間やを含む． 古典にさかのぼる特に豊かな理論が，複素射影多様体，すなわち を定義する多項式が複素係数を持つ場合にある．大まかには，GAGA の原理により，射影複素解析空間（あるいは多様体）の幾何学は射影複素多様体の幾何学と等しい．例えば， 上の正則ベクトル束（より一般に連接解析的層）の理論は，代数的ベクトル束の理論と一致する．Chow の定理により，射影空間の部分集合が正則関数の族の零点集合であることと斉次多項式の零点集合であることは同値である．複素射影多様体に対する解析的な手法と代数的な手法の組合せはホッジ理論のような分野に通じる．.
新しい！!: 離散付値環と射影多様体 · 続きを見る »
代数函数体
数学では、体 上の 変数の代数函数体 (algebraic function field)（単に、函数体とも言う）は、 上に超越次数 を持つ有限生成な体の拡大 である。同じことであるが、 上の 変数の代数函数体は、 上の 変数の有理函数の体 の有限拡大として定義できる。 Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field k(x1,...,xn) of rational functions in n variables over k.-->.
新しい！!: 離散付値環と代数函数体 · 続きを見る »
付値環
抽象代数学において、付値環（ふちかん、valuation ring）とは、整域 D であって、その分数体 F のすべての元 x に対して、x か x −1 の少なくとも一方が D に属するようなものである。 体 F が与えられたとき、D が F の部分環であって、F のすべての 0 でない元 x に対して x か x −1 が D に属しているとき、D を 体 F の付値環（a valuation ring for the field F）または座 (place of F) という。この場合 F は確かに D の分数体であるので、体の付値環は付値環である。体 F の付値環を特徴づける別の方法は、F の付値環 D は F をその分数体としてもち、そのイデアルは包含関係で全順序づけられている、あるいは同じことだが、その単項イデアルが包含関係で全順序付けられていることである。とくに、すべての付値環は局所環である。 体の付値環は支配（dominance）あるいは細分（refinement）によって順序を入れた体の局所部分環の集合の極大元である、ただし 体 K のすべての局所環は K のある付値環によって支配される。 任意の素イデアルにおける局所化が付値環であるような整域はプリューファー整域と呼ばれる。.
ユークリッド環
数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、Euclidean domain）あるいはユークリッド環（ユークリッドかん、Euclidean ring）とは、「ユークリッド写像（次数写像）」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される（ベズーの等式）。また、ユークリッド環の任意のイデアルは主イデアル（つまり、単項生成）であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。 ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環（あるいは実際には有理整数環を考えるので十分だが）と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。 そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。.
新しい！!: 離散付値環とユークリッド環 · 続きを見る »
デデキント環
デデキント環（デデキントかん、Dedekind ring）、あるいはデデキント整域（デデキントせいいき、Dedekind domain）とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。.
新しい！!: 離散付値環とデデキント環 · 続きを見る »
分数イデアル
数学、特に可換環論において、分数イデアル（fractional ideal）の概念は整域の文脈で導入され、特にデデキント整域の研究において成果が多い。ある意味で、整域の分数イデアルは分母が許されたイデアルのようなものである。分数イデアルと普通の環のイデアルがともに議論に出てくるような文脈では、明確にするために後者を整イデアル (integral ideal) と呼ぶこともある。.
新しい！!: 離散付値環と分数イデアル · 続きを見る »
エンリケス・小平の分類
数学においてエンリケス・小平の分類(Enriques–Kodaira classification)とは、コンパクトな複素曲面を10個のクラスへ分類する方法のことである。分類の各クラスはモジュライ空間によりパラメーター化することができる。大部分のクラスのモジュライ空間については良く理解されているが、一般型の曲面については明確に記述するには複雑すぎるとみられており、部分的結果しか知られていない。 初めに が複素射影曲面の分類を記述し、その後小平邦彦 がそれを代数的ではないコンパクト曲面を含む分類へと拡張した。標数 p > 0 における曲面の同様の分類を、 が行い、 により完成された。この分類は、標数 2 の場合に特異および超特異(supersingular)なエンリケス曲面を含むことや、標数 2 又は 3 の場合に準超楕円曲面が得られることを除けば、標数 0 の場合と類似している。.
新しい！!: 離散付値環とエンリケス・小平の分類 · 続きを見る »
クルル環
可換環論において、クルル環 (Krull ring) あるいはクルル整域 (Krull domain) は素イデアル分解の良い振る舞いの理論を伴った可換環である。それらは によって導入された。それらはデデキント整域の高次元の一般化である。デデキント整域はちょうど次元が高々 1 のクルル整域である。 この記事において、環は可換で単位元をもつ。.
新しい！!: 離散付値環とクルル環 · 続きを見る »
クルル次元
数学、とくに可換環論において可換環のクルル次元（クルルじげん、Krull dimension）とは、素イデアルのなす減少列の長さの上限である。ヴォルフガング・クルルに因んで名づけられた。文脈から明らかなときには単に次元と呼ぶことも多い。.
新しい！!: 離散付値環とクルル次元 · 続きを見る »
コーエン環
代数学において、コーエン環 (Cohen ring) は体または極大イデアルが p で生成される (0, p) の完備離散付値環である。コーエン環は完備ネーター局所環に対するにおいて使われる。.
新しい！!: 離散付値環とコーエン環 · 続きを見る »
因子 (代数幾何学)
因子（いんし; divisor）とは、代数幾何学や複素幾何学において、代数多様体（または複素解析空間）の余次元1の部分多様体の形式的有限和のことをいう。因子は、代数多様体や解析空間上の有理関数あるいは有理型関数の極や零点の分布を表すために用いられる（概説参照）。線形同値な因子の空間である線形系を考えることは、射影空間への有理写像を考えることと1対1に対応しているので、代数多様体（または複素解析空間）の代数幾何的な性質・情報を取り出すときに欠かせない概念である。.
新しい！!: 離散付値環と因子 (代数幾何学) · 続きを見る »
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
新しい！!: 離散付値環と環 (数学) · 続きを見る »
DVR
DVR.
離散付値
数学において、離散付値（discrete valuation）は体 k 上の整数付値である。つまり、関数 であって、以下の条件を満たす。 0,\infty の値しかとらない自明な付値はしばしば明示的に除外されることに注意する。 非自明な離散付値をもった体を離散付値体（discrete valuation field）と言う。.
新しい！!: 離散付値環と離散付値 · 続きを見る »
Π
（パイ、ピ、ピー、希: /, 英: ）はギリシア文字の一つで、伝統的な配列では、その第16番目に置かれる。古典ギリシア語ではピー、現代ギリシア語ではピと発音されるが、日本やアメリカなどでは英語式発音に倣ってパイと呼び習わされている。 ラテン文字の P 、キリル文字の П はこの文字に由来する。.
標数
標数（ひょうすう、characteristic）は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。.
正則局所環
可換環論において、正則局所環（せいそくきょくしょかん、regular local ring）とは、ネーター局所環 (A, \mathfrak) であって、剰余体 k.
新しい！!: 離散付値環と正則局所環 · 続きを見る »
