കെ ഓവർ എഫ് അൾജിബ്രായിക്ക് ആണ്. ഒരു ഫീൽഡ് അടിസ്ഥാന ഫീൽഡിനേക്കാൾ അൾജിബ്രായിക്ക് ആകുകയെന്നതിന്റെ അർത്ഥമെന്താണെന്ന് ഞാൻ നിർവചിച്ചിട്ടുണ്ടോ എന്ന് ഞാൻ ഓർമിക്കുന്നില്ല. ഇല്ലെങ്കിൽ പ്രൂഫ് ചെയ്യുമ്പോൾ ഞാൻ അതുകൂടി ചെയ്യാം.
అప్పుడు K అనేది F పై ఆల్జీబ్రాయిక్, ఒక ఫీల్డ్ అనేది బేస్ ఫీల్డ్ పై ఆల్జీబ్రాయిక్ కావడం అంటే ఏమిటో నేను నిర్వచించానో లేదో నాకు గుర్తు లేదు, కాకపోతే నేను F పై K అనేది ఆల్జీబ్రాయిక్ అని రుజువు చేసినప్పుడు నేను దీన్ని త్వరగా చేస్తాను.