Exercicis de teoria de Galois

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $21$ són [1, 3, 7, 21].

$\#\text{cossos intermedis} = 4$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $21$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $2$ cossos intermedis propis, un per cada divisor de $21$ diferent d'$1$ i de $21$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

Què és. El cos de descomposició és la menor extensió on el polinomi es factoritza completament en factors lineals. És sempre una extensió de Galois.

En aquest cas: el segon radical és el doble del primer.

$[\text{cos de descomposició} : \mathbb{Q}] = 2$

El grup de Galois té, doncs, $2$ elements, perquè en una extensió de Galois l'ordre del grup coincideix amb el grau.

El parany més freqüent és comptar cada factor per separat i multiplicar. Cal comprovar si els radicals són independents: adjuntar l'arrel de dos ja et dona l'arrel de vuit, de divuit i de qualsevol múltiple per un quadrat perfecte. Quan això passa, el grau no puja.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $22$ són [1, 2, 11, 22].

$\#\text{cossos intermedis} = 4$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $22$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $2$ cossos intermedis propis, un per cada divisor de $22$ diferent d'$1$ i de $22$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $23$ són [1, 23].

$\#\text{cossos intermedis} = 2$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $23$ correspon al grup sencer, que fixa només el cos base.

Com que $23$ és primer, només hi ha aquests dos: no hi ha cap cos intermedi propi. L'extensió és, en aquest sentit, indivisible.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $24$ són [1, 2, 3, 4, 6, 8, 12, 24].

$\#\text{cossos intermedis} = 8$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $24$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $6$ cossos intermedis propis, un per cada divisor de $24$ diferent d'$1$ i de $24$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $25$ són [1, 5, 25].

$\#\text{cossos intermedis} = 3$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $25$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $1$ cossos intermedis propis, un per cada divisor de $25$ diferent d'$1$ i de $25$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $26$ són [1, 2, 13, 26].

$\#\text{cossos intermedis} = 4$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $26$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $2$ cossos intermedis propis, un per cada divisor de $26$ diferent d'$1$ i de $26$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $27$ són [1, 3, 9, 27].

$\#\text{cossos intermedis} = 4$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $27$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $2$ cossos intermedis propis, un per cada divisor de $27$ diferent d'$1$ i de $27$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $28$ són [1, 2, 4, 7, 14, 28].

$\#\text{cossos intermedis} = 6$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $28$ correspon al grup sencer, que fixa només el cos base.

Per tant hi ha $4$ cossos intermedis propis, un per cada divisor de $28$ diferent d'$1$ i de $28$.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.

La correspondència de Galois és una bijecció entre cossos intermedis i subgrups. Per tant comptar cossos és comptar subgrups.

Subgrups d'un cíclic. Un grup cíclic d'ordre $n$ té exactament un subgrup per cada divisor de $n$, ni un més ni un menys. Els divisors de $29$ són [1, 29].

$\#\text{cossos intermedis} = 2$

Els dos extrems hi són inclosos: el divisor $1$ correspon al subgrup trivial, que fixa tota l'extensió; i el divisor $29$ correspon al grup sencer, que fixa només el cos base.

Com que $29$ és primer, només hi ha aquests dos: no hi ha cap cos intermedi propi. L'extensió és, en aquest sentit, indivisible.

I la correspondència inverteix inclusions: subgrup més gran vol dir cos fix més petit. A més, en un grup cíclic tots els subgrups són normals, de manera que totes les extensions intermèdies són de Galois sobre el cos base.