| Property |
Value |
| dbo:abstract
|
- 代数学において、体 k は以下の同値な条件の1つが成り立つときに完全（英: perfect）と呼ばれる。
* k 上のすべての既約多項式は相異なる根をもつ。
* k 上のすべての既約多項式は分離的である。
* k のすべての有限次拡大は分離的である。
* k のすべての代数拡大は分離的である。
* k は標数 0 であるかまたは標数 p > 0 かつk のすべての元は p ベキである。
* k は標数 0 であるかまたは標数 p > 0 かつフロベニウス自己準同型 x→xp が k の同型写像。
* k の分離閉包は代数的閉体である。
* すべての被約可換 k-多元環 A は 分離多元環である、すなわち、 はすべての体の拡大 F/k に対して被約である。（下記参照） そうでなければ、k は不完全（英: imperfect）と呼ばれる。 とくに、標数 0 のすべての体とすべての有限体は完全である。 完全体は重要である、なぜならば完全体上のガロワ理論は単純になるからだ、というのも体拡大が分離的であるという一般的なガロワの仮定はこれらの体では自動的に満たされるからである（上の3つ目の条件を見よ）。 より一般的に、標数が素数 p の環はフロベニウス自己準同型が自己同型のときに完全と呼ばれる。（これは整域上で上の条件「k のすべての元は pベキである」と同値である。） (ja)
- 代数学において、体 k は以下の同値な条件の1つが成り立つときに完全（英: perfect）と呼ばれる。
* k 上のすべての既約多項式は相異なる根をもつ。
* k 上のすべての既約多項式は分離的である。
* k のすべての有限次拡大は分離的である。
* k のすべての代数拡大は分離的である。
* k は標数 0 であるかまたは標数 p > 0 かつk のすべての元は p ベキである。
* k は標数 0 であるかまたは標数 p > 0 かつフロベニウス自己準同型 x→xp が k の同型写像。
* k の分離閉包は代数的閉体である。
* すべての被約可換 k-多元環 A は 分離多元環である、すなわち、 はすべての体の拡大 F/k に対して被約である。（下記参照） そうでなければ、k は不完全（英: imperfect）と呼ばれる。 とくに、標数 0 のすべての体とすべての有限体は完全である。 完全体は重要である、なぜならば完全体上のガロワ理論は単純になるからだ、というのも体拡大が分離的であるという一般的なガロワの仮定はこれらの体では自動的に満たされるからである（上の3つ目の条件を見よ）。 より一般的に、標数が素数 p の環はフロベニウス自己準同型が自己同型のときに完全と呼ばれる。（これは整域上で上の条件「k のすべての元は pベキである」と同値である。） (ja)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4174 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-ja:title
|
- Perfect field (ja)
- Perfect field (ja)
|
| prop-ja:urlname
|
- Perfect_field (ja)
- Perfect_field (ja)
|
| prop-ja:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 代数学において、体 k は以下の同値な条件の1つが成り立つときに完全（英: perfect）と呼ばれる。
* k 上のすべての既約多項式は相異なる根をもつ。
* k 上のすべての既約多項式は分離的である。
* k のすべての有限次拡大は分離的である。
* k のすべての代数拡大は分離的である。
* k は標数 0 であるかまたは標数 p > 0 かつk のすべての元は p ベキである。
* k は標数 0 であるかまたは標数 p > 0 かつフロベニウス自己準同型 x→xp が k の同型写像。
* k の分離閉包は代数的閉体である。
* すべての被約可換 k-多元環 A は 分離多元環である、すなわち、 はすべての体の拡大 F/k に対して被約である。（下記参照） そうでなければ、k は不完全（英: imperfect）と呼ばれる。 とくに、標数 0 のすべての体とすべての有限体は完全である。 完全体は重要である、なぜならば完全体上のガロワ理論は単純になるからだ、というのも体拡大が分離的であるという一般的なガロワの仮定はこれらの体では自動的に満たされるからである（上の3つ目の条件を見よ）。 より一般的に、標数が素数 p の環はフロベニウス自己準同型が自己同型のときに完全と呼ばれる。（これは整域上で上の条件「k のすべての元は pベキである」と同値である。） (ja)
- 代数学において、体 k は以下の同値な条件の1つが成り立つときに完全（英: perfect）と呼ばれる。
* k 上のすべての既約多項式は相異なる根をもつ。
* k 上のすべての既約多項式は分離的である。
* k のすべての有限次拡大は分離的である。
* k のすべての代数拡大は分離的である。
* k は標数 0 であるかまたは標数 p > 0 かつk のすべての元は p ベキである。
* k は標数 0 であるかまたは標数 p > 0 かつフロベニウス自己準同型 x→xp が k の同型写像。
* k の分離閉包は代数的閉体である。
* すべての被約可換 k-多元環 A は 分離多元環である、すなわち、 はすべての体の拡大 F/k に対して被約である。（下記参照） そうでなければ、k は不完全（英: imperfect）と呼ばれる。 とくに、標数 0 のすべての体とすべての有限体は完全である。 完全体は重要である、なぜならば完全体上のガロワ理論は単純になるからだ、というのも体拡大が分離的であるという一般的なガロワの仮定はこれらの体では自動的に満たされるからである（上の3つ目の条件を見よ）。 より一般的に、標数が素数 p の環はフロベニウス自己準同型が自己同型のときに完全と呼ばれる。（これは整域上で上の条件「k のすべての元は pベキである」と同値である。） (ja)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |