Un piccolo problema sugli elementi algebrici di grado dispari

Messaggioda Shocker » 05/02/2016, 22:38

Buonasera a tutti,

stavo cercando di risolvere il seguente problema:

Sia $K \subset L$ una estensione di campi. Sia $\alpha \in L$ un elemento algebrico su $K$ di grado dispari. Dimostrare che $K(\alpha^2) = K(\alpha)$.



Sul fatto che $K(\alpha^2) \subset K(\alpha)$ non ci piove perché $\alpha^2 in K(\alpha)$ in quanto $K(\alpha)$ è un campo che contiene $\alpha$.
Passiamo alla seconda inclusione: $K(\alpha) \subset K(\alpha^2)$, ecco qui inizio ad avere problemi: non riesco ad utilizzare l'ipotesi sul grado dispari di $\alpha$! Non mi sembra un problema complesso, quindi sicuramente c'è qualcosa che mi sto perdendo.
Forse sto anche sbagliando strada, alternativamente avevo pensato di considerare $K(\alpha), K(\alpha^2)$ come spazi vettoriali su $K$ e giocare sulle dimensioni(e quindi sui gradi delle estensioni).

Avete qualche suggerimento?
Abbiate pazienza, è la prima volta che mi approccio all'Algebra astratta :-D .

Grazie.
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 186 di 1738
Iscritto il: 02/10/2011, 17:09

Re: Un piccolo problema sugli elementi algebrici di grado dispari

Messaggioda Pappappero » 05/02/2016, 23:57

Quanto e', al massimo, il grado di $K(\alpha)$ su $K(\alpha^2)$?

In altre parole, esiste un polinomio "ovvio" di grado basso (facciamo $2$) a coefficienti in $K(\alpha^2)$ che ha come radice $\alpha$?

Perche' questo polinomio non puo' essere il polinomio minimo? Come concludiamo?
Pappappero
Senior Member
Senior Member
 
Messaggio: 807 di 1848
Iscritto il: 30/12/2010, 16:17

Re: Un piccolo problema sugli elementi algebrici di grado dispari

Messaggioda Shocker » 06/02/2016, 11:17

Ciao :)

Grazie per la risposta!
Allora certamente $p(x) = x^2 - \alpha^2 \in K(\alpha^2)[x]$ si annulla in $\alpha$ però non può essere il polinomio minimo perché $\alpha$ è un elemento algebrico di grado dispari, cioè se $p(x)$ fosse il polinomio minimo allora dato che $K \subset K(\alpha^2) \subset K(\alpha)$: $[K(\alpha) : K] = 2k+1 \iff [K(\alpha) : K(\alpha^2)][K(\alpha^2):K] = \alpha \iff 2t = 2k+1$, assurdo. Quindi suppongo che il grado del polinomio minimo debba essere minore di $2$ e l'unica possibilità è $x-\alpha$ ma questo implica che $\alpha \in K(\alpha^2)$ e quindi $K(\alpha) \subset K(\alpha^2) => K(\alpha^2) = K(\alpha)$.

E' corretto come ragionamento? :o

Ciao!
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 187 di 1738
Iscritto il: 02/10/2011, 17:09

Re: Un piccolo problema sugli elementi algebrici di grado dispari

Messaggioda Pappappero » 06/02/2016, 18:04

Esattamente quello che avevo in mente io.
Pappappero
Senior Member
Senior Member
 
Messaggio: 808 di 1848
Iscritto il: 30/12/2010, 16:17

Re: Un piccolo problema sugli elementi algebrici di grado dispari

Messaggioda Shocker » 06/02/2016, 18:32

Grazie! :D
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 188 di 1738
Iscritto il: 02/10/2011, 17:09


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite