Prodotto tensoriale campi ciclotomici

Messaggioda melusina89 » 19/06/2017, 15:03

Ciao a tutti!
Sto studiando un articolo di crittografia e sono incappata in un argomento (credo) di teoria analitica dei numeri. L'argomento in questione è il prodotto tensoriale tra campi. Sto trovando tantissime difficoltà un po' perché non sono riuscita a trovare un buon testo di riferimento e un po' perché sono più di tre anni che non tocco la teoria dei campi. :(
Spero che possiate aiutarmi.

Sia $\zeta_m$ una radice primitiva m-esima dell'unità e sia $K=QQ(\zeta_m)$ l'm-esimo ampliamento ciclotomico di $QQ$.
Sappiamo che $K~=(QQ[X])/((Phi_m(X))$ dove $Phi_m(X)$ è l'm-esimo polinomio ciclotomico.
Allora risulta che $K~=xx_i K_i = QQ(\zeta_(m_1), \zeta_(m_2), ...)$ dove $xx$ denota il prodotto tensoriale, $m = \prod_{i} m_i$ è la fattorizzazione in primi di $m$ e $K_i = QQ(\zeta_(m_i))$.
Ebbene, come si dimostra questo isomorfismo e il fatto che il prodotto tensoriale di questi ampliamenti è uguale a $QQ(\zeta_(m_1), \zeta_(m_2), ...)$???

Equivalentemente possiamo dire che $K~=(QQ[X_1,X_2,...])/(((Phi_(m_1)(X_1);Phi_(m_2)(X_2);...)))$.
Ma scusate in che relazione sono $QQ(\zeta_(m_1), \zeta_(m_2), ...)$ e $(QQ[X_1,X_2,...])/(((Phi_(m_1)(X_1);Phi_(m_2)(X_2);...)))$?
Chiedo venia se le domande sono banali ma sono molto arrugginita. :( :(
melusina89
Starting Member
Starting Member
 
Messaggio: 15 di 34
Iscritto il: 24/02/2014, 12:32

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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite