So, let K over F be a field extension and let alpha in K be algebraic over F; this is the definition now.
కాబట్టి, K ఓవర్ F ఫీల్డ్ ఎక్స్ టెన్షన్ గా ఉండనివ్వండి మరియు Kలోని ఆల్ఫా F పై బీజగణితం కానివ్వండి; ఇది ఇప్పుడు నిర్వచనం.