Estensione separabile: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 3:
Un '''campo perfetto''' è un campo le cui estensioni sono tutte separabili; tale concetto è importante nella [[teoria di Galois]]. Un semplice criterio per sapere se un campo è perfetto è il seguente: un campo è perfetto se e solo ha [[Caratteristica_(algebra)|caratteristica]] zero o ha caratteristica <math>p</math> diversa da zero e ogni elemento ha una radice <math>p</math>-esima nel campo. In particolare, tutti i [[Campo_finito|campi finiti]] o di caratteristica zero (come ''Q'', ''R'' o ''C'') sono perfetti.
Esempi di estensioni separabili sono ''R/Q'', ''C/Q'' e ''C/R'', così come tutte le estensioni su campi perfetti, o anche <math>F_p(x,y)/F_p(x)</math>, ove <math>F_p</math> è il campo finito con ''p''
{{algebra}}
|