Loading AI tools
Da Wikipedia, l'enciclopedia libera
In algebra, un campo di spezzamento (o campo di riducibilità completa) di un polinomio , definito su un campo , è la più piccola estensione di che contiene tutte le radici di .
Sia un campo e un polinomio a coefficienti in . Se è costante, un suo campo di spezzamento è . Sia ora non costante di grado . Un'estensione di è un campo di spezzamento di se:
La seconda condizione può anche essere espressa dicendo che, se è un'estensione intermedia tra ed (ossia se ), allora esiste tale che ; in questo senso, è la più piccola estensione di contenente tutte le radici (non necessariamente distinte) di .
Se è un polinomio a coefficienti in , è sempre possibile costruire un campo di spezzamento di su , applicando ripetutamente quozienti di anelli di polinomi.
Supponiamo infatti che si fattorizzi in come . Allora, l'anello quoziente è un campo (poiché è un ideale massimale) che contiene e una radice di . La fattorizzazione di in comprenderà quindi un fattore lineare (corrispondente alla radice di ).
Il procedimento può essere ripetuto (passando poi ai fattori ) e termina dal momento che il grado di è finito; il campo che si ottiene alla fine è esattamente un campo di spezzamento di su .
Applicando questa costruzione ad ogni polinomio (con l'aiuto del lemma di Zorn se il campo di partenza non è numerabile) si ottiene la costruzione di una chiusura algebrica di .
Due campi di spezzamento di uno stesso polinomio, su uno stesso campo, sono isomorfi.
Se è un campo algebricamente chiuso contenente (ad esempio, se è la sua chiusura algebrica) allora esiste un unico campo di spezzamento di contenuto in . Gli automorfismi di questo campo di spezzamento formano un gruppo che, se è separabile su , è detto gruppo di Galois del polinomio; esso misura, in un certo senso, in quanti modi diversi il campo di spezzamento di può essere costruito.
I sottocampi di che sono campi di spezzamento di un polinomio separabile a coefficienti in sono esattamente le estensioni algebriche, normali e di grado finito di .
Se è irriducibile, tale campo è la chiusura normale del sottocampo , dove è una qualsiasi radice di .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.