Fuzzy subfields (Q2639913)

Let F/K be a field extension and let S(F/K) denote the set of all fuzzy subfields of F such that \(A\supseteq d_ K\) where \(d_ K\) is the characteristic function of K in F. It is shown that F/K is finite dimensional if and only if every A in S(F/K) is finite-valued. It is also shown that F/K is simple if and only if there exists c in F such that for all A in S(F/K) and for all x in F, A(c)\(\leq A(x)\). Other properties of algebraic field extensions such as separability and inseparability are characterized in terms of fuzzy subfields.