Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

esercizio su campo finito

30/07/2023, 11:06

Buongiorno, sto cercando di risolvere un problema su un'estensione finita di un campo finito, e mi trovo in difficoltà.
Il problema è questo: << Provare che l'estensione finita K di un campo finito F è semplice>>.
Allora, abbiamo un campo finito F, una sua estensione finita K, e bisogna dimostrare che K è semplice, ossia che esiste un elemento $ alpha in $ K tale che K = F( $ alpha $ ).
Se F fosse infinito basterebbe applicare il teorema dell'elemento primitivo. Qui però ciò non si può fare, perché F è finito. Però sappiamo che per i campi finiti vale la seguente proprietà: il gruppo moltiplicativo di un campo finito è ciclico. Quindi, chiamando $ Phi $ il gruppo moltiplicativo del campo F, sappiamo che esiste un elemento $ lambda in Phi $ tale che $ Phi =< lambda > $ .
A questo punto, però, non riesco più a procedere oltre. Qualcuno riesce a darmi un suggerimento?
Grazie

Re: esercizio su campo finito

30/07/2023, 19:10

Hai provato a dimostrare che $K=F(lambda)$? Devi dimostrare le due inclusioni.

Re: esercizio su campo finito

31/07/2023, 09:59

Dimostrare che K = F( $ lambda $ ) non credo che serva, perché, essendo $ lambda in F $ , K non sarebbe più un'estensione di F. Bisogna dimostrare (con la simbologia da me adottata) che K = F ($ alpha $ ), con $ alpha $ non appartenente ad F.

Re: esercizio su campo finito

31/07/2023, 11:57

Sì, intendevo dire che prendi come $lambda$ un generatore del gruppo moltiplicativo di $K$ (non di $F$). Questo $lambda$ esiste perché $K$ è finito, come si vede facilmente.

Re: esercizio su campo finito

05/08/2023, 10:49

:smt023 :D
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.