19/10/20 17:31:37.57 f+LcfVi/.net
>>62
つづき
構成的結果
一般に、有限分離拡大 L / K に対するすべての原始元からなる集合は L の真の K-部分空間すなわち中間体の有限の集まりの補集合である。このステートメントは有限体のケースについては何も言っていない。
有限体に対しては体の乗法群（巡回群）の生成元、これは当然原始元である、を見つけるために捧げられた計算理論が存在する。K が無限のときは、鳩ノ巣原理により証明できる。2元で生成された線型部分空間を考えると、c を K の元とする線型結合
γ =α +cβ
は有限個しかなく両方の元を含む部分体を生成できないことが証明される。
これはアルティンの結果から古典的な結果がどのように導かれるかを示す方法としてほとんどすぐであり、中間体の個数の言葉での例外的な c の個数が有界であることが得られる（この数はガロワ理論によってアプリオリにそれ自身制限されるものである）。
したがってこのケースにおいて trial-and-error は原始元を見つける実際的な手法となることができる。例を見よ。
URLﾘﾝｸ(ja.wikipedia.org)
単拡大
(抜粋)
数学、より正確には代数学において、可換体の理論の枠組みで、体 K の拡大 L は、L のある元 α が存在して L が K(α) と等しいときに単拡大あるいは単純拡大 (simple extension) という。
単拡大 K(α) が有限拡大であることと α が K 上代数的であることは同値である。K の（同型の違いを除いて）唯一の無限単拡大は有理関数体 K(X) である。
原始元定理はすべての有限分離拡大が単拡大であることを保証する。
つづく