|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 分 ： [ぶん, ふん] 1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1 ・ 分離 ： [ぶんり] 1.separation 2. detachment 3. segregation 4. isolation, 5. dissociated, dissociation ・ 多 ： [た] 1. (n,pref) multi- ・ 多項式 ： [たこうしき] (n) polynomial ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
数学において、与えられた体 ''K'' 上の多項式 ''P''(''X'') は次のとき分離的 (separable) である。''K'' の代数的閉包においてその根が、つまり、重複を考えない根の個数が多項式の次数に等しい〔S. Lang, Algebra, p. 178〕。 この概念はと密接に関係している。''K'' が完全体であれば2つの概念は一致する。一般に、''P''(''X'') が分離的であることと、''K'' を含む任意の体上で平方因子をもたないことは同値であり、これは ''P''(''X'') がその ''P'' '(''X'') と互いに素なとき、かつそのときに限り成り立つ。 == 以前の定義 == 昔の定義では、''P''(''X'') は ''K'' におけるその既約因子の各々が現代の定義で分離的であるときに、分離的と考えられていた〔N. Jacobson, Basic Algebra I, p. 233〕。例えば、有理数係数の多項式 はこの意味で分離的である。この定義では、分離性は体 ''K'' に依存した。例えば、完全体上の任意の多項式は分離的と考えられていた。例えば、有限体上の一変数有理関数体 F''p''(''t'') 上の多項式 は、F''p''(''t'') の代数的閉包上 と分解するので、F''p''(''t'') 上では分離的でないが、代数閉包上では分離的であるということになってしまう。（任意の代数閉体は定義によって完全体である。） この定義は、ガロワ理論には便利かもしれないが、もはや使われていない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「分離多項式」の詳細全文を読む スポンサード リンク
|