存在の主張
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/01/29 11:29 UTC 版)
定理の解釈は 1930 年頃エミール・アルティンの理論の定式化で変わった。ガロワの時代から、原始元の役割は分解体をただ1つの元で生成されるものとして表現することだった。そのような元のこの(任意の)選択は Artin の扱いにおいて避けられる。同時に、そのような元の構成の考慮は退く:定理は存在定理 になる。 すると以下のアルティンの定理は古典的な原始元定理に取って代わる。 定理 を有限次体拡大とする。このときある元 に対して であることと なる中間体 K が有限個しか存在しないことは同値である。 すると定理の系はより古風な意味での原始元定理(分離性は通常暗黙に仮定された)である: 系 を有限次分離拡大とする。このときある に対して である。 系は代数体、すなわち有理数体 Q の有限拡大に応用する、なぜならば Q は標数 0 ゆえ任意の拡大が分離的だからである。
※この「存在の主張」の解説は、「原始元定理」の解説の一部です。
「存在の主張」を含む「原始元定理」の記事については、「原始元定理」の概要を参照ください。
- 存在の主張のページへのリンク