>>735
その認識で構いません。
結果的には
L∩Ω={x∈L | x はモニックな整係数の最小多項式を持つ}
です。


L=Q(√5)のとき
L∩Ω=Z[(1+√5)/2)
です。