代数学について

質問

代数学の定理で以下のようなものがありました．

αを体Kの拡大体の元とする．このとき，
αがK上代数的である⇔K[α]=K(α)

ただし，
K[X]：K係数のXについての多項式全体の集合（多項式環）
K(α)：K係数のXについての有理式全体の集合（有理関数体）
です．

この証明ですが，画像のように書いてあります．

はじめて見た記号で分かりません．
（本当はこの記号ではないかもしれませんが，こんな感じの形をしています）

これが分からなくて困っています．

よろしくお願いします．

回答No.1

Tacosan · ベストアンサー

「a は b を割り切る」ということを a|b と書いたりします.
これで通りますか?