Simulacre d'examen de cossos i extensions

El polinomi mínim. El candidat natural és $x^{2} - 2$, que òbviament anul·la l'element i és mònic.

És irreductible? Sí, per Eisenstein: pren un primer que divideixi $2$ sense que el seu quadrat el divideixi. Aquest primer no divideix el coeficient líder (que és $1$), divideix tots els altres coeficients (que són zero excepte el terme independent) i el seu quadrat no divideix $2$.

Conclusió. El grau de l'extensió és el grau del polinomi mínim:

$[\mathbb{Q}(\sqrt[2]{2}) : \mathbb{Q}] = 2$

Una base és el conjunt de les potències de l'element des de la zero fins a la $1$, en total $2$ elements.

Una conseqüència útil. Per la fórmula de la torre, qualsevol element que visqui dins d'aquesta extensió ha de tenir grau que divideixi $2$. Això descarta immediatament moltes possibilitats sense fer cap càlcul.

La fórmula de la torre.

$[M:K] = [M:L]\cdot[L:K] = 2\cdot3 = 6$

Per què es multipliquen. Si prens una base del pis de baix i una del de dalt, els productes formen una base del conjunt. Hi ha $3$ elements a la primera i $2$ a la segona, o sigui $6$ productes.

El que permet fer. Aquesta fórmula converteix preguntes d'existència en divisibilitat. Si et preguntes si un cert element pot viure dins de $M$, mira si el seu grau divideix $6$; si no, la resposta és no, sense cap càlcul.

L'error clàssic és sumar els graus. Pensa-ho com a dimensions d'espais vectorials: quan encaixes estructures, les dimensions es multipliquen, igual que passa amb el producte cartesià.

El criteri. Un cos finit conté un subcòs primer amb $p$ elements i n'és un espai vectorial de dimensió finita $n$. Per tant té exactament $p^{n}$ elements: la mida ha de ser una potència d'un únic primer.

Aquí: $64 = 2^{6}$, que és una potència d'un sol primer. Per tant existeix, i a més és únic fins a isomorfisme.

Un avís. Quan existeix, el cos de $p^{n}$ elements amb $n > 1$ no és l'anell de les classes mòdul $p^{n}$: aquell té divisors de zero. Es construeix com a quocient de polinomis sobre les classes mòdul $p$ per un polinomi irreductible de grau $n$.

El grup multiplicatiu d'un cos finit és sempre cíclic, cosa que no és gens òbvia i que té moltes aplicacions en criptografia i codis correctors.

El polinomi mínim. El candidat natural és $x^{3} - 13$, que òbviament anul·la l'element i és mònic.

És irreductible? Sí, per Eisenstein: pren un primer que divideixi $13$ sense que el seu quadrat el divideixi. Aquest primer no divideix el coeficient líder (que és $1$), divideix tots els altres coeficients (que són zero excepte el terme independent) i el seu quadrat no divideix $13$.

Conclusió. El grau de l'extensió és el grau del polinomi mínim:

$[\mathbb{Q}(\sqrt[3]{13}) : \mathbb{Q}] = 3$

Una base és el conjunt de les potències de l'element des de la zero fins a la $2$, en total $3$ elements.

Una conseqüència útil. Per la fórmula de la torre, qualsevol element que visqui dins d'aquesta extensió ha de tenir grau que divideixi $3$. Això descarta immediatament moltes possibilitats sense fer cap càlcul.

El polinomi mínim. El candidat natural és $x^{4} - 7$, que òbviament anul·la l'element i és mònic.

És irreductible? Sí, per Eisenstein: pren un primer que divideixi $7$ sense que el seu quadrat el divideixi. Aquest primer no divideix el coeficient líder (que és $1$), divideix tots els altres coeficients (que són zero excepte el terme independent) i el seu quadrat no divideix $7$.

Conclusió. El grau de l'extensió és el grau del polinomi mínim:

$[\mathbb{Q}(\sqrt[4]{7}) : \mathbb{Q}] = 4$

Una base és el conjunt de les potències de l'element des de la zero fins a la $3$, en total $4$ elements.

Una conseqüència útil. Per la fórmula de la torre, qualsevol element que visqui dins d'aquesta extensió ha de tenir grau que divideixi $4$. Això descarta immediatament moltes possibilitats sense fer cap càlcul.

El polinomi mínim. El candidat natural és $x^{5} - 6$, que òbviament anul·la l'element i és mònic.

És irreductible? Sí, per Eisenstein: pren un primer que divideixi $6$ sense que el seu quadrat el divideixi. Aquest primer no divideix el coeficient líder (que és $1$), divideix tots els altres coeficients (que són zero excepte el terme independent) i el seu quadrat no divideix $6$.

Conclusió. El grau de l'extensió és el grau del polinomi mínim:

$[\mathbb{Q}(\sqrt[5]{6}) : \mathbb{Q}] = 5$

Una base és el conjunt de les potències de l'element des de la zero fins a la $4$, en total $5$ elements.

Una conseqüència útil. Per la fórmula de la torre, qualsevol element que visqui dins d'aquesta extensió ha de tenir grau que divideixi $5$. Això descarta immediatament moltes possibilitats sense fer cap càlcul.

El polinomi mínim. El candidat natural és $x^{6} - 17$, que òbviament anul·la l'element i és mònic.

És irreductible? Sí, per Eisenstein: pren un primer que divideixi $17$ sense que el seu quadrat el divideixi. Aquest primer no divideix el coeficient líder (que és $1$), divideix tots els altres coeficients (que són zero excepte el terme independent) i el seu quadrat no divideix $17$.

Conclusió. El grau de l'extensió és el grau del polinomi mínim:

$[\mathbb{Q}(\sqrt[6]{17}) : \mathbb{Q}] = 6$

Una base és el conjunt de les potències de l'element des de la zero fins a la $5$, en total $6$ elements.

Una conseqüència útil. Per la fórmula de la torre, qualsevol element que visqui dins d'aquesta extensió ha de tenir grau que divideixi $6$. Això descarta immediatament moltes possibilitats sense fer cap càlcul.

El polinomi mínim. El candidat natural és $x^{8} - 10$, que òbviament anul·la l'element i és mònic.

És irreductible? Sí, per Eisenstein: pren un primer que divideixi $10$ sense que el seu quadrat el divideixi. Aquest primer no divideix el coeficient líder (que és $1$), divideix tots els altres coeficients (que són zero excepte el terme independent) i el seu quadrat no divideix $10$.

Conclusió. El grau de l'extensió és el grau del polinomi mínim:

$[\mathbb{Q}(\sqrt[8]{10}) : \mathbb{Q}] = 8$

Una base és el conjunt de les potències de l'element des de la zero fins a la $7$, en total $8$ elements.

Una conseqüència útil. Per la fórmula de la torre, qualsevol element que visqui dins d'aquesta extensió ha de tenir grau que divideixi $8$. Això descarta immediatament moltes possibilitats sense fer cap càlcul.