「完全体」の版間の差分

削除された内容 追加された内容
m lk
Cewbot (会話 | 投稿記録)
m bot: 解消済み仮リンク分離多元環を内部リンクに置き換えます
7行目:
* ''k'' は標数 0 であるかまたは標数 ''p'' > 0 かつ[[フロベニウス自己準同型]] ''x''→''x''<sup>''p''</sup> が ''k'' の[[同型写像]]。
* ''k'' の[[分離閉包]]は[[代数的閉体]]である。
* すべての[[被約環|被約]]可換 ''k''-多元環 ''A'' は {{仮リンク|[[分離多元環|en|separable algebra}}]]である、すなわち、<math>A \otimes_k F</math> はすべての[[体の拡大]] ''F''/''k'' に対して被約である。(下記参照)
そうでなければ、''k'' は'''不完全'''({{lang-en-short|imperfect}})と呼ばれる。