Quindicesimo esercizio

(Pywikibot v.2)
 
m (Pywikibot v.2)
 
Riga 1: Riga 1:
{{InizioEsercizio|titolo=|number=7.15|anchor=Esercizio7_15}}
+
{{InizioEsercizio|title=|number=7.15|anchor=Esercizio7_15}}
 
Nelle ipotesi degli esercizi 2 e 3, mostrare che <math>M = \mathbb Q(\sqrt{p_1}+\sqrt{p_2}+\dots +\sqrt{p_n})</math>.
 
Nelle ipotesi degli esercizi 2 e 3, mostrare che <math>M = \mathbb Q(\sqrt{p_1}+\sqrt{p_2}+\dots +\sqrt{p_n})</math>.
  

Versione attuale delle 15:23, 21 mag 2018

Esercizio 7.15

Nelle ipotesi degli esercizi 2 e 3, mostrare che .


Suggerimento: mostrare che l'orbita di sotto l'azione di contiene almeno elementi distinti.

 


Cerco elementi distinti dell'orbita di sotto l'azione di , dove pongo . Osservo che

e quindi le immagini di mediante i sono elementi distinti dell'orbita. Poi, se considero prodotti della forma , si ha che
e ottengo elementi distinti dell'orbita.


Considero allora tutti i possibili prodotti di elementi distinti di , che sono ; applicandoli a ottengo elementi nell'orbita di , della forma

Mostro che gli elementi ottenuti sono tutti distinti: Considero due prodotti di elementi di , devo mostrare che . Sia e ; Se supponiamo per assurdo che segue che

ma allora, siccome i sono indipendenti, segue che , e quindi .


Mostrare che l'estensione è semplice equivale a mostrare che . Sappiamo che e abbiamo appena mostrato che , però siccome vale l'inclusione , si deve avere , cioè .

 PrecedenteSuccessivo