În algebră , un câmp închis cvadratic este un câmp comutativ în care fiecare element are o rădăcină pătrată .
Pentru orice câmp F , următoarele proprietăți sunt echivalente:
Orice câmp închis cvadratic este atât pitagoric, cât și formal nu real, dar invers este fals (gândiți-vă la câmpurile caracteristice 2).
Fie E / F o extensie finită cu E închis cvadratic. Apoi, fie −1 este un pătrat în F, iar F este închis cvadratic, fie −1 nu este un pătrat în F și F este euclidian (aceasta este o consecință a teoremei Diller-Dress ).
Pentru corp F , există o „ mică “ extindere quadratically aproape de F . Această extensie, care este unic pentru izomorfism , este numit „“ închiderea pătratic de F . Îl putem construi ca un subcâmp al „ închiderii ” algebrice F alg de F , luând uniunea tuturor rotațiilor extensiilor pătratice pe F în F alg . Când caracteristica lui F este diferită de 2, este deci unirea celor 2 extensii finite ale lui F în F alg , adică toate extensiile Galois de grad egale cu o putere de 2.
De exemplu :