Articles

A Revolucionária Teoria de Galois

Evariste Galois

Em 31 de Maio de 1832, um francês Republicano revolucionário chamado de Évariste Galois morreu de um tiro. Ele tinha 20 anos. Na noite anterior, temendo sua própria morte, Galois escreveu muitas cartas, rabiscando freneticamente “Não tenho tempo; Não tenho tempo”. Uma carta é particularmente preciosa por razões históricas. Nesta carta, Galois afirma ter realmente desencadeado a revolução. Não é política. Mas matemática.tinha?A revolução iniciada por Galois acabou por ser maior e mais profunda do que ele poderia imaginar! A paisagem da matemática tem sido profundamente afetada pela visão de Galois, à medida que a sua descendência subiu e assumiu o mundo matemático. Esta progênie é agora onipresente e governa terras sem limites. Vai sob o nome de pura álgebra.para romantizar um pouco mais a história da vida dramática de Galois, aqui está um resumo de um documentário que fiz sobre álgebra:

Waw! Galois certamente soa como um gênio único!

Galois manuscript

ele definitivamente é! Mas a sua revolução matemática não correu bem. Como todo líder da revolução, ele primeiro teve as maiores dificuldades. Não para imaginar a revolução. Mas para convencer os outros a juntarem-se a ele numa abordagem de mudança de jogo da matemática. Quando Galois ainda estava vivo, as suas ideias revolucionárias foram rejeitadas várias vezes pela Academia francesa de Ciências… porque os melhores matemáticos Franceses daquela época, como Siméon Denis Poisson, simplesmente não conseguiram! Em parte devido à letra ilegível de Galois exibida à direita … como é que a teoria de Galois ainda era conhecida?em 1843, 10 anos após a morte de Galois, finalmente, um brilhante matemático francês chamado Joseph Liouville conseguiu captar algumas das ideias de Galois. Depois de mais 3 anos de trabalho, Liouville publicou um artigo para explicá-los. Mas o artigo de Liouville ainda era demasiado rebuscado para outros matemáticos apreciarem e compreenderem. Levou mais 24 anos para encontrar um matemático francês notável o suficiente para entender melhor Galois e tornar suas ideias límpidas. Este matemático notável é Camille Jordan. Na Verdade, O Livro de Jordan de 1870 sobre a teoria de Galois foi tão bem escrito que o matemático alemão Felix Klein achou-o tão legível como um livro alemão!Haha! Acho que isto realmente desencadeou a Revolução de Galois!foi definitivamente um grande impulso. Mas seriam precisos mais 82 anos para o grande matemático austríaco Emil Artin finalmente dar à teoria de Galois a sua forma moderna, em 1942. O Artin merece muitos créditos. Enquanto Galois foi o visionário que previu esta revolução, Artin, em muitos sentidos, é o que realmente empreendeu a revolução e derrubou a matemática. Graças a Artin, e a alguns outros, Hoje, a teoria de Galois tornou-se uma pedra angular inevitável da pesquisa em matemática, com muitas conquistas surpreendentes e surpreendentes (como a prova de Wiles do último teorema de Fermat), bem como um enorme reservatório de perguntas e mistérios abertos!este artigo vai empurrá-lo cada vez mais intelectualmente. O conhecimento de álgebra linear, números complexos e teoria dos grupos pode ser útil para uma leitura mais fácil das seções 2, 4 e 5, respectivamente. Mas, seja corajoso, como a recompensa é ter uma boa visão geral de uma das mais belas e perspicazes teorias da matemática!

Fields in Pure Algebra

Galois theory is about symmetries of numbers. Mas antes de chegar lá, tenho de te apresentar para te armar, revelando-te um segredo sobre números. E tenho a certeza que já ouviste falar! Na verdade, no ensino médio, você provavelmente foi ensinado a nunca deixar raízes nos denominadores.o que queres dizer?

quero dizer que $1 / (\sqrt{2}-1)$ não foi uma resposta certa. Pode ajudar a livrar-se da raiz quadrada de 2 no denominador?sim! Isto faz-me lembrar algo… mas não me lembro do que era suposto fazermos…

Hehe… ensinaram-nos a multiplicar-nos para cima e para baixo pelo conjugado do denominador. Este conjugado é obtido substituindo $-$ por $+$ (ou vice-versa) no denominador:

Raízes no Numerador

eu usei a identidade $(a+b)(a-b)=a^2-b^2$. Se você não conhece esta fórmula, verifique o vídeo da física dos minutos que explica por que $(a+b) (c+d) = ac+ad+bc+bd$. Até então, substituindo $ C$ por $A$ E $d $ por $ – b$, você deve obter a identidade que eu dei.
portanto, temos $1/(\sqrt{2}-1) = \sqrt{2}+1$? Isso é surpreendente!eu sei! A expressão complicada $1/(\sqrt{2}-1)$ representa o mesmo número que $\sqrt{2}+1$. E isso explica porque nossos professores queriam que nós escrevêssemos resultados de uma maneira ao invés da outra: quando tudo é escrito da mesma maneira, os exames ficam muito mais fáceis de corrigir!Haha! Estou a ver os pontos deles!

mas e $1 / (\sqrt{2}-1)$? Podes livrar-te da raiz no denominador? Pode ser feito?

Cubo de Raiz no Denominador

Deixe-me tentar… Se substituirmos $-$ por $+$, no denominador obtemos $\sqrt{2}+1$. A multiplicação do denominador por isso produz $(\sqrt{2}-1) \vezes (\sqrt{2}+1) = \sqrt{2}^2-1$. Arg … ainda há uma raiz cúbica!eu sei!

então como podemos remover as raízes cúbicas do denominador?diz – me tu!Hummm … alguma sorte?alguma ajuda?

Hehe… curiosamente, qualquer poder de $\sqrt{2}-1$ pode ser escrito como uma soma de poderes de $\sqrt{2}$. Na verdade, você só precisa distribuir os produtos:

Powers of Cube Root of 2 Minus 1

Wait… Isn’t $\sqrt{2}^3$ equal to 2?sim, é! Ao fazer esta substituição na terceira equação, temos mostrado que os três primeiros poderes de $\sqrt{2}-1 $ podem ser escritos como uma soma de um número racional, de $\sqrt{2}$ e de $\sqrt{2}^2$!então?

então agora temos 3 equações, com 2 expressões raiz que queremos livrar-nos! Assim, podemos combinar as equações para remover todas as expressões de raiz à direita!Hummm … como?

Vamos multiplicar as 2 primeiras linhas por 3 e somar os 3 equações:

Polinômio é Igual Racional

Observe como que a terceira linha foi obtido através da substituição de $\sqrt{2}^3$ 2.acho que isso é bom… mas não me diz como conseguir $\sqrt{2}$ para o numerador!

Hehe … a coisa legal é que o termo esquerdo que obtivemos agora pode ser factorizado por $\sqrt{2}-1$! Deixe-me saltar alguns cálculos aborrecidos… e chegar ao resultado $(\sqrt{2}-1)$ $(\sqrt{2}^2 + \sqrt{2} + 1)$ $= 1$. Então, para nos livrarmos das raízes no denominador, podemos multiplicar para cima e para baixo por $\sqrt{2}^2 + \sqrt{2} + 1$! Finalmente, temos a seguinte fórmula surpreendente e bela:

Waw! Isso é muito fixe!eu sei! Mas o mais melhor é que o método que usamos é muito geral! Com tecnologias semelhantes, podemos agora remover todos os radicais dos denominadores!fantástico!

Agora, o que era de particular interesse para Galois não era o fato de que um método habilitado para remover radicais de denominadores. Mas em vez disso, qualquer número com radicais em denominadores igualou um número com radicais no topo. Isto significava que os números com radicais no topo eram estáveis por divisão.o que queres dizer?

é comum denotar $\mathbb Q{2}]$ o conjunto de números que podem ser escritos como uma soma de poderes de $\sqrt{2}$. Uma vez que $\sqrt{2}^3 = 2$ é um número racional, qualquer soma de poderes de $\sqrt{2}$ pode de facto ser escrita no formulário padrão $a\sqrt{2}^2 + b\sqrt{2} + c$. Agora, se você adicionar, subtrair ou multiplicar quaisquer dois desses números, então não é difícil ver que obtemos números que ainda podem ser colocados no formulário padrão $a\sqrt{2}^2 + b\sqrt{2} + c$. Além disso, o que acabamos de mostrar aqui é que o inverso de todos os números $a\sqrt{2}^2 + b\sqrt{2} + C$ também pode ser escrito em forma padrão. Isso mostra que qualquer adição, subtração, multiplicação e divisão de números em $\mathbb Q{2}]$ produz um número, que pode ser escrita na forma padrão… e, portanto, pertence a $\mathbb Q{2}]$. Em termos de álgebra pura, $\mathbb Q{2}]$ é assim estável pelas quatro operações aritméticas clássicas. Por esta razão, chamamos-lhe Campo.

Este campo não deve ser confundido com campos da física que mapeiam locais para números ou vetores. Você pode aprender mais sobre tais campos escalares ou vetoriais em meu artigo sobre mecânica quântica. Aqui, um campo é um conjunto de objetos que podem ser adicionados, subtraídos, multiplicados e divididos, produzindo objetos que ainda pertencem ao campo.

geometria das extensões de Campos

o campo com o qual está mais familiarizado é provavelmente o conjunto $\mathbb Q$ dos números racionais. Outros exemplos de campos são os conjuntos $\mathbb R$ de números reais e o conjunto $\mathbb C$ de números complexos. E agora, também temos $ \mathbb Q{2}$. Dado que $\mathbb Q{2}]$ é um campo que contém o campo $\mathbb Q$, dizemos que $\mathbb Q{2}] / \mathbb Q$ é uma extensão de campo.

de facto, pode ser mostrado que se um campo $k $ satisfaz $x+x + \ldots+x \neq 0$ para toda a soma finita e qualquer $x \neq 0$, então $k$ deve conter $\mathbb Q$. Caso contrário, o campo $k$ é necessariamente construído sobre campos finitos $\mathbb Z /p\mathbb Z$, também conhecido como $\mathbb F_p$, onde $p$ é primo. Nestes campos, uma soma de $ p $ elementos $x $ sempre é igual a 0. De facto, todos os campos finitos são $\mathbb F_{p^n} \cong \mathbb F_p^n$ onde $n$ é um número inteiro e $p$ é primo. Estes campos finitos são essenciais na ciência da computação e na criptografia!

o fato de que $\mathbb Q{2}] / \mathbb Q$ é uma extensão de campo produz uma conexão muito natural entre os dois campos. Ou seja, $\mathbb Q{2}]$ pode ser visto como um espaço vetorial, onde $\mathbb Q$ é o campo escalar. Em particular, o fato de que qualquer número, em $\mathbb Q{2}]$ pode ser escrito $\sqrt{2}^2 + b\sqrt{2} + c$ significa que $(1, \sqrt{2}, \sqrt{2}^2)$ formulários de uma base de us $\mathbb Q{2}]}$ em $\mathbb Q$-espaço vetorial. E isso significa que podemos representá-lo geometricamente como um espaço de 3 dimensões!

extensão de campo como espaço vetorial

neste ponto, se não estiver familiarizado com espaços vetoriais, recomendo que leia o meu artigo sobre álgebra linear.

a dimensão do espaço vetorial acima é uma propriedade interessante de extensões de campo. É conhecido como o grau, e é comumente denotado $\big{2}] : \mathbb Q\big] = 3$ por exemplo.

existem extensões de campo de $\mathbb Q{2}]$?Sim! É realmente muito fácil criar uma extensão de campo disto: basta adicionar um número radical que não pertence a $\mathbb Q{2}]$!posso adicionar $\sqrt{2}$?Sim! Isto criaria o campo $(\mathbb Q{2}]) = \mathbb Q{2},\sqrt{2}]$. Estes campos contêm todos os números que são produtos e somas de $\sqrt{2}$ e $\sqrt{2}$. Estas são de forma $\sqrt{2}^2$+$b\sqrt{2}+c$+$ d\sqrt{2}^2\sqrt{2}$ +$ e \sqrt{2} \sqrt{2} $+$ f \sqrt{2}$. Alguma ideia do grau $\big{2}, \sqrt{2}]: \mathbb Q{2}] \ big]$ é?Hummm … 2?Sim! De fato, temos $\sqrt{2}^2$+$b\sqrt{2}$+$c $+$ d\sqrt{2}^2\sqrt{2} $+$ e \sqrt{2} \sqrt{2} $+$ f \sqrt{2} $ = $ (\sqrt{2}^2+b\sqrt{2}+c) $ + $d\sqrt{2}^2 + e \sqrt{2} + f) \sqrt{2}$. Assim, qualquer número de $\mathbb Q{2},\sqrt{2}]$ pode ser escrito $A+B + \sqrt{2}$, onde $A$ e $B$ pertencem a $\mathbb Q{2}]$. Assim, 2 escalares de $\mathbb Q{2}] $ determinam um número em $\mathbb Q{2},\sqrt{2}]$. Isto significa que o grau da extensão de campo $\mathbb Q{2}, \sqrt{2}] / \mathbb Q{2}]$ é 2. Na verdade, temos a relação Chasles $\big{2}, \sqrt{2}]: \mathbb Q \big] $ = $ \big{2}, \sqrt{2}] : \mathbb Q{2}] \big] \big{2}]: \mathbb Q \big] $ = $ 2 \vezes 3 = 6$.

qualquer extensão de campo de $\mathbb Q$ Pode ser escrita $\mathbb Q$?é melhor que isso! Qualquer extensão de campo de grau finito, Chamada extensão de campo finito, é estendida por um único número. Por exemplo, $\mathbb Q{2}, \sqrt{2}] $=$ \mathbb Q{2} + \sqrt{2}]$, o que significa que todos os números que são somas de potências de $\sqrt{2}$ e $\sqrt{2}$ são também as somas de potências de $\sqrt{2} + \sqrt{2}$. Não é surpreendente?

extensões de campo finitas

mais genericamente, qualquer extensão de campo finita de $\mathbb Q$ Pode ser escrita $\mathbb Q$ com algum $x$ que é adicionado a $\mathbb Q$.os graus das extensões de campo podem ser infinitos?Sim. É o caso da extensão de campo $\mathbb R/ \ mathbb Q$. E, assim é a extensão de campo mais importante na teoria de Galois! Esta extensão de campo é $\bar {\mathbb Q} / \mathbb Q$, Onde $\bar{\mathbb Q}$ é o conjunto de números algébricos. Estas são todas as soluções para equações polinomiais da forma $a_n x^n $ + $ a_{n-1} x^{n-1} $+$ … $+$ a_1 x $+$ a_0 = 0$. Por exemplo, $\sqrt{2}$ é um número algébrico porque é solução para $x^4 – 2x = 0$. Assim, $\bar {\mathbb Q}$ é uma extensão de campo para todas as extensões de campo finitas de $\mathbb Q$.

descubra mais sobre números algébricos com meu artigo sobre números e construtibilidade. Além disso, devo mencionar que $\bar{\mathbb Q}$ é chamado de fechamento algébrico de $\mathbb Q$, Uma vez que consiste em Adicionar todas as soluções para equações algébricas. Foi provado por Ernst Steinitz que este fechamento algébrico existe e é único até isomorfismo. Esta singularidade é importante na teoria de Galois, pois garante que todos os encerramentos algébricos têm as mesmas simetrias. Estranhamente, porém, a singularidade requer o controverso axioma da escolha, sem o qual fechamentos algébricos podem não ser isomórficos!

números conjugados

estamos quase lá! Precisamos de um desvio final através de equações polinomiais.

Euclidiana Division

Como $x^4-2x=0$?exactamente! Galois notou que algumas equações poderiam ser simplificadas. Por exemplo, $x^4-2x=0$ pode ser factorizado como $x(x^3-2)=0$, o que corresponde a $x=0$ ou $X^3-2=0$. Assim, a equação $x^4-2x = 0$ pode ser reduzida para equações $x = 0$ e $x^3-2=0$. E de fato, esta redução é muito semelhante a como números como 35 podem ser reduzidos para 5 e 7, Porque $ 5 \vezes 7 = 35$. A semelhança entre equações e números inteiros é tão forte que podemos até fazer divisões euclidianas de polinômios, assim como você aprendeu a fazê-lo por números! À direita está um exemplo de tal divisão (não se preocupe se você não entender, não será importante para a sequela).

então eu acho que Galois estudou o equivalente de números primos …

exatamente! Estas são conhecidas como equações polinomiais irredutíveis. A equação $x^3-2 = 0$ é um exemplo de equação polinomial irredutível.

espere … acabou de factorizar como $x^3-2$ = $(x – \sqrt{2})$ (x^2+\sqrt{2}x+\sqrt{2}^2)$!Sim! Mas, crucialmente, Galois queria focar-se em equações com coeficientes racionais. Ou, melhor, polinômios com coeficientes que pertencem ao campo base. Então, o que eu quis dizer foi que, por $\mathbb Q$ como o campo base, $x^3-2=0$ é irredutível. o que é tão interessante com equações polinomiais irredutíveis?

vamos considerar $x^2 – 2x -1=0$ para ter algumas pistas. Esta equação pode ser provada como irredutível. Lembras-te como resolvê-lo?

Well the solutions to $ax^2+bx+c=0$ are $x = (- b \pm \sqrt{b^2-4ac})$/$(2a)$, right?

Se $ B^2-4ac \ geq 0$, Sim.

por isso as soluções aqui são $x = (2 \pm \sqrt{8})/2 $=$ 1 \pm \sqrt{2}$, certo?exactamente! Então, a equação polinomial irredutível $x^2 + 2x -1=0$ tem duas soluções: $1+\sqrt{2}$ e $1 – \sqrt{2}$ … algum comentário?não … espere! São conjugados!Bingo! Essa é a descoberta chave de Galois. Mais geralmente, Galois chamado conjuga todas as soluções para uma equação polinomial irredutível. E, como podem imaginar, estes são essenciais para remover radicais dos denominadores!Hummm … como se faz isso?

A primeira coisa a notar é que, se $x_1$, $x_2$, …, $x_n$ são todas as soluções de um polinômio irredutível de equação $a_n x^n + a_{n-1} x^{n-1} $+$ … + a_1 x + a_0 = 0$, com coeficientes racionais, então este polinômio irredutível equação, na verdade, pode ser reescrito $a_n(x-x_1)(x-x_2)…(x-x_n)=0$. A identificação dos termos constantes produz então $x_1 x_2 … x_n $ = $ (-1)^n a_0/a_n$. Então, crucialmente, o produto dos números conjugados é o número racional $(-1)^n a_0/a_n$, que é não-zero (prove-o!).

para fazer o que acabei de dizer, as soluções de equações polinomiais irredutíveis devem ter multiplicidade 1. Esta propriedade é conhecida como separabilidade. Esta propriedade só depende do campo base. Campos de Base cujos polinômios irredutíveis são separáveis são chamados perfeitos. Felizmente, no nosso caso, $\mathbb Q$ é perfeito, bem como todas as suas extensões.

Aqui está uma pequena piada para ter em mente a forte ligação entre conjugados:

conjugados e racionais

então como é que isso se aplica à remoção de radicais de denominadores?

considere uma fração $1 / x_ 1$, onde $x_ 1$ é uma expressão complicada com radicais. Multiplicando para cima e para baixo pelos conjugados $x_2$, …, $x_n$ de $x_1$ então rende $1/x_1 $=$ (-1)^n a_n x_2…x_n/a_0$, o que não tem nenhum radical no denominador porque estabelecemos $a_0$ como sendo um número não-zero do campo de base!Waw! Da hora! E que tal $ \sqrt{2}$? Quais são os seus conjugados?

Recall that $x^3-2=0$ is the irreducible polynomial equation $\sqrt{2}$ is the solution of. Assim, conjuga são as outras soluções para essa equação, que são os números complexos $\sqrt{2}j$ e $\sqrt{2}j^2$, onde $j= e^{i\tau/3}$ com $\tau = 2\pi$, sendo o rácio entre a circunferência de um círculo através de seu raio. A figura seguinte mostra as localizações das soluções conjugadas neste plano complexo:

raízes cúbicas em plano complexo

ambiguidade de Galois

finalmente, estamos a chegar à visão chave de Galois!o que é?os conjugados

são perfeitamente permutáveis. Isto significa que, se você alterar sistematicamente $\sqrt{2}$ pelo seu conjugado $-\sqrt{2}$, então as igualidades ainda se mantêm. Por exemplo, uma vez que tínhamos $1/(\sqrt{2}-1) = \sqrt{2}+1$, posso dizer-lhe directamente que $1/(- \sqrt{2}-1)= – \sqrt{2}+1$! Similarmente, temos a seguinte implicação impressionante:

substituindo a raiz cúbica de 2

Waw! Isso é surpreendente! De onde vem isso?

Hehe… deixe-me recordar primeiro que os campos finitos são percorridos por um único elemento. Então, se o campo base for $\mathbb Q$, qualquer campo finito pode ser escrito $\mathbb Q$ para algum $x_1$. Agora, considere $x^n + a_{n-1}x^{n-1} $ + $ … + a_1 x + a_0 = 0$ a equação polinomial irredutível $x_1$ é a solução de. Então, o que define a $\mathbb P$ é $\mathbb Q$-espaço vetorial gerado por $x_1$, $x_1^2$, …, $x_1^{n-1}$, com a simplificação dos maiores poderes de us $x_1$ de acordo com a regra algébrica $x_1^n $=$ – a_{n-1}x_1^{n-1} $-$ … – a_0$.

So $\mathbb Q$ can be constructed solely on these algebraic rules?exactamente! Crucialmente, estas regras algébricas de $ \mathbb Q$ não dependem realmente da natureza de $x_1$; elas só dependem do polinômio irredutível de $x_1$ é a solução de! Portanto, as regras de $\mathbb Q$ são idênticas às de $\mathbb Q$,…, $\mathbb Q$, Onde $x_1$ é substituído por um dos seus conjugados $x_2$,…, $x_n$. Em particular,os campos $\mathbb Q{2}]$ e $\mathbb Q{2} j]$ operam de acordo com as mesmas regras. É por isso que os conjugados são perfeitamente permutáveis! Podemos dizer que os campos de $\mathbb Q{2}]$ e $\mathbb Q{2} j]$ são isomórficas, e que a substituição de $\sqrt{2}$ por $\sqrt{2}j$ é um isomorfismo $\mathbb Q{2}] \rightarrow \mathbb Q{2}j]$.

mais geralmente, o campo construído sobre regras algébricas derivadas de uma equação polinomial irredutível é chamado de campo de ruptura da equação polinomial irredutível. Denotando $p$ o polinômio, este campo de ruptura é muitas vezes escrito $\mathbb Q/(P)$.
So, $\mathbb Q{2}]$ and $\mathbb Q{2}j]$ are in fact more or less the same?

de uma forma muito semelhante (mas mais forte) que dois espaços vetoriais de dimensão 2 são mais ou menos iguais! Isto tem uma terrível consequência. Significa que, de uma perspectiva algébrica, não faz sentido fazer a diferença entre um número e qualquer um dos seus conjugados (desde que você sistematicamente substitua o número pelo seu conjugado)! Então, por exemplo, $\sqrt{2}$ e $-\sqrt{2}$ são algebricamente indistinguíveis! Para ter isso em mente, aqui está outra piada que eu inventei:

Cube Root of Two Gets Replaced

$\sqrt{2}$ and $-\sqrt{2}$ indistinguable… Hummm… you’re exagering, right?de todo! Qualquer distinção entre estes dois números deve envolver alguma outra matemática que não álgebra, como relações de ordem ou topologia. O que eu quero dizer é que, por exemplo, a relação $\sqrt{2} > 0$ faz a diferença entre $\sqrt{2}$ por $-\sqrt{2}$, mas isso é porque ele envolve uma relação ordem. Mas se nos restringirmos a equalidades polinomiais, então não há absolutamente nenhuma diferença entre $\sqrt{2}$ e $ – \sqrt{2}$. Similarmente, $i$ e $ – i$, as soluções da equação polinomial irredutível $x^2+1=0$, também são algebricamente indistinguíveis. No entanto, chamamos arbitrariamente $i$ um deles. É por isso que Galois chamou sua teoria de ambiguidade. Hoje, a ambiguidade da escolha da raiz quadrada convencional de $-1$ entre $I$ e $-i$ é chamada de simetria entre $I$ e $-i$.grupos Galois Galois

Galois particularmente focados em extensões de campo que são estáveis por conjugação. Tais extensões de campo estáveis são agora conhecidas como extensões Galois. Então, se $x_1 $ pertence a uma extensão Galois, então esta extensão Galois contém todos os seus conjugados $x_2$,…, $x_n$.

uma vez que a conjugação depende do campo de base, assim como a estabilidade por conjugação.como podemos construir uma extensão Galois?

a simple way to construct Galois extensions consists in taking the field spanned by solutions of an irreducible polynomial equation. Por exemplo, se $x_ 1$,…, $x_n$ são conjugados para o campo base $\mathbb Q$, então $\mathbb Q / \mathbb Q$ é uma extensão Galois. Os campos construídos desta forma são chamados campos de divisão.

Note that the polynomial equation of a splitting field does not need to be irreducible. Além disso, pode ser provado que todas as extensões de campo finitas de Galois estão dividindo campos.pode dar um exemplo?

por exemplo, o campo de repartição da equação $x^3-2=0$ é a extensão Galois $\mathbb Q{2}, \sqrt{2} j, \sqrt{2} j^2] / \mathbb Q$ estendida pelas suas soluções.o que há de tão interessante nas extensões Galois?

Se $x_1$ abrange uma extensão Galois, então o mesmo acontece com os seus conjugados. Assim, $\mathbb Q = \mathbb Q = $ … $ = \mathbb Q$ = $\mathbb Q$. Assim, o isomorfismo entre $\mathbb Q$ e $\mathbb Q$ Que consiste em sempre substituir $x_1$ por $x_2$ é de fato um isomorfismo entre $\mathbb Q$ e ele mesmo! Chamamos-lhe automorfismo. Automorphisms of a Galois extension $\mathbb Q / \mathbb Q$ forms the Galois group $Gal (\mathbb Q/\mathbb Q)$.

pode aprender mais sobre grupos com o meu artigo sobre simetrias.

agora, crucialmente, se $\mathbb Q = \mathbb Q$, então todos os automorfismos de uma extensão Galois $\mathbb Q / \mathbb Q$ são permutações de $x_1$ com um de seus conjugados! Em particular, vemos aqui que a cardinalidade de um grupo Galois é igual ao grau da extensão Galois.pode dar um exemplo?claro! Você pode notar que $\mathbb Q = \mathbb Q$ e $\mathbb Q = \mathbb Q$, O que significa que $i$ e $\sqrt{2}$ cada abrange os campos de divisão da equação polinomial irredutível de que são solução. Assim, $\mathbb Q / \mathbb Q$ e $\mathbb Q/\mathbb Q$ são ambas extensões Galois. Portanto, seus automorfismos consistem em substituir $ i$ por um de seus conjugados, $i$ ou $ – i$, e substituir $\sqrt{2} $ por $\sqrt{2}$ ou $ – \sqrt{2}$. Nos primeiros casos, não estamos mudando nada para números, o que corresponde à simetria zero. Os segundos casos podem ser visualizados como simetrias axiais, como mostrado na figura abaixo:

simetrias de plano complexo

não é incrível?é bom… mas podemos ter simetrias mais complicadas?claro! Vamos para o campo de divisão $\mathbb Q{2},\sqrt{2}j, \sqrt{2}j^2]$ de $x^3-2=0$. Mas, antes de ir mais longe, vamos notar que $\mathbb Q{2},\sqrt{2}j, \sqrt{2}j^2] = \mathbb Q{2}, j]$.como provamos a igualdade?só precisamos de provar que todos os geradores de um campo pertencem ao outro. Vamos começar por provar que os geradores do último, $\sqrt{2}$ e $j$, pertencem ao primeiro. É óbvio por $ \sqrt{2}$. Agora, $j = (\sqrt{2} j) / \sqrt{2}$, portanto $j$ pertencem ao campo anterior também. Isto prova que todos os elementos de $ \mathbb Q{2}, j]$ pertencem a $\mathbb Q{2}, \sqrt{2} j, \sqrt{2} j^2]$. Reciprocamente, é simples que todos os geradores do campo anterior, $\sqrt{2}$, $\sqrt{2}j$ e $\sqrt{2}j^2$, são produtos dos geradores do último. Assim, ambos os campos são iguais. E, em particular, $\mathbb Q{2}, j] / \mathbb Q$ é uma extensão Galois.fixe! Então, o que é o Grupo Galois $Gal (\mathbb Q{2}, j]/\mathbb Q)$?

Hehe … para entender as simetrias de $\mathbb Q{2}]$, Vamos precisar ir mais longe no estudo de Galois de grupos Galois …

correspondência Galois

o problema com grupos Galois é que eles podem se tornar extremamente grandes e complicados. Este é particularmente o caso do grupo infinito $Gal (\bar{\mathbb Q}/\mathbb Q)$. Para apreender grupos tão grandes e complexos, Galois teve a brilhante ideia de quebrá-los em pedaços menores.como podemos quebrar os grupos Galois?

surpreendentemente, Galois descobriu que os grupos Galois poderiam ser divididos em subgrupos de simetrias apenas olhando para aqueles que deixam algum subcampo inalterado. Por exemplo, $\mathbb Q$ é um subcampo de $\mathbb Q{2}, j]$, uma vez que qualquer número do primeiro pertence ao segundo. Assim, simetrias de $\mathbb Q{2}, j]$ que não mudam nada para $\mathbb Q$ formam um subgrupo do Grupo Galois de $\mathbb Q{2}, j]/\mathbb Q$. Estas simetrias formam o Grupo Galois $Gal (\mathbb Q{2},j]/\mathbb Q)$.Uau! Isto está a ficar abstracto!eu sei! Gosto de visualizar estas simetrias como as formas de ligar $\mathbb Q{2},j]$ em $\mathbb Q$. Aqui está uma imagem imaginada do “ligar”:

ligar para

aqui, haveria 2 maneiras (identidade e simetria axial horizontal), mas em dimensões mais altas as simetrias podem ser muito mais complicadas.
So $Gal (\mathbb Q{2}, j] / \mathbb Q)$ é um subgrupo de $Gal (\mathbb Q{2}, j]/\mathbb Q)$?exactamente! E isso é simplesmente porque $\mathbb Q{2}, j]$ é uma extensão Galois de $\mathbb Q$ Que é em si uma extensão de campo de $\mathbb Q$.e há mais! Galois mostrou que todos os subgrupos de uma extensão Galois são obtidos desta forma! Mais precisamente,o mapeamento de qualquer campo $K$ in-entre a extensão Galois $\mathbb Q{2}, j]$ e o campo base $\mathbb Q$ para o Grupo Galois $Gal(\mathbb Q{2}, j] / K)$ é bijetivo. Este fato é chamado de correspondência Galois! Esta correspondência é esquematicamente mostrada em baixo para uma extensão Galois $\mathbb Q/\mathbb Q$.

Galois Correspondence

este mapeamento também está estritamente a diminuir no sentido de que quanto maior o campo $K$, menor o Grupo Galois $Gal(\mathbb Q{2},j] / K)$ is. E, naturalmente, este teorema aplica-se a qualquer campo de base $k$ que não seja $\mathbb Q$ e a qualquer extensão Galois $L/k$ que não seja $\mathbb Q{2},j]$. Note que $K$ aqui não é assumido como uma extensão Galois do campo base. Mas enquanto $L / k$ for uma extensão Galois, $L / K$ será uma extensão Galois também.
como é que isso se aplica a $Gal (\mathbb Q{2}, j] / \mathbb Q)$?

em vez de tentar descrever este grupo directamente, vamos concentrar-nos no seu subgrupo $Gal(\mathbb Q{2}, j]/\mathbb Q)$. É simples que $\sqrt{2}$ spans $\mathbb Q{2}, j]$ quando adicionado a $\mathbb Q$. Assim, $\mathbb Q{2}, j] / \mathbb Q$ é uma extensão Galois estendida por $\sqrt{2}$. Portanto, usando um teorema que vimos anteriormente, sabemos que todos os automorfismos desta extensão Galois consistem em substituir $\sqrt{2}$ por um dos seus 3 conjugados (em si, $\sqrt{2} j$ e $\sqrt{2} j^2$)!

pode então ver que $Gal (\mathbb Q{2}, j] / \mathbb Q)$ é isomórfico para o grupo $\mathbb Z/3\mathbb Z$ de números inteiros Módulo 3 com adição.

Agora, eu poderia continuar a estudar outras peças de $Gal(\mathbb Q{2}, j]/\mathbb Q)$, como o Galois subgrupo $Gal(\mathbb Q{2},j]/\mathbb Q{2}])$. Mas prefiro usar outro dos poderosos teoremas de Galois. Ou seja, ele provou que se $\mathbb Q/\mathbb Q$ foi, além disso, uma extensão Galois em si, então o subgrupo $Gal(\mathbb Q{2}, j]/\mathbb Q)$ é normal.

formalmente, $H$ é um subgrupo normal de $G$ Se $gH = Hg$ para todos $G \Em G$.

assim, o Grupo Galois de $\mathbb Q{2},j]/\mathbb Q$ Pode ser quociado por este subgrupo, e o grupo quociente então é igual a $Gal (\mathbb Q/\mathbb Q)$. No entanto, $\mathbb Q / \ mathbb Q$ é de facto uma extensão Galois estendida por $j$, cujo conjugado é $j^2$. Assim, $Gal (\mathbb Q/\mathbb Q)$ consiste em deixar $j$ como $j$ ou substituí-lo por $j^2$.

Mais geralmente, se temos campo de extensões $L/K/k$ com $L/k$ e $K/k$ extensões de Galois, em seguida $Gal(L/K)$ ī e um subgrupo normal de $Gal(L/K)$ e $Gal(L/k)/Gal(L/K) \cong Gal(K/k)$. Isso mostra que temos $Gal(\mathbb Q{2},j]/\mathbb Q) / Gal(\mathbb Q{2},j]/\mathbb Q) \cong Gal(\mathbb Q/\mathbb Q) \config \mathbb Z/ 2\mathbb Z$.

podemos agora deduzir todas as simetrias de $Gal(\mathbb Q{2},j]/\mathbb Q)$ combinando estas de $Gal (\mathbb Q{2},j] / \mathbb Q)$ e $Gal (\mathbb Q/\mathbb Q)$. Podemos apresentar estas simetrias pelo desenho como eles afetam nossas três abrangendo conjuga $\sqrt{2}$, $\sqrt{2}j$ e $\sqrt{2}j^2$:

Grupo de Galois

Note-se que, acima de, a simetria de us $Gal(\mathbb Q{2},j] / \mathbb Q)$ é feito antes que de us $Gal(\mathbb Q/\mathbb Q)$.

crucialmente, a figura acima contém todas as simetrias de $Gal (\mathbb Q{2}, j] / \mathbb Q)$. E surpreendentemente, estas simetrias correspondem a um conhecido grupo de simetria.qual é o conhecido grupo de simetria?vou deixar o Marcus du Sautoy apresentá – lo.:então, as simetrias aqui são como uma estrela-do-mar ou como um triângulo?como um triângulo, obviamente!sim, de facto! Este grupo de simetrias do triângulo é chamado $D_3$, e é o mesmo que o grupo $S_3$ de permutações de 3 elementos. Isto nos leva à seguinte fórmula, que eu achei tão bonita, que eu decidi moldá-la!

Galois Group Isomorphism

Let’s Conclusion

In many ways, Galois is to be regarded as the father of modern algebra. Sua visão fundamental era olhar para a matemática através do ângulo das regras de operações, e isso o levou a revelar ambiguidades surpreendentes e perspicazes, ou simetrias, entre números. De uma perspectiva algébrica, números como $\sqrt{2}$, $\sqrt{2}j$ e $\sqrt{2}j^2$ são perfeitamente simétricos e totalmente intercambiáveis.mas, a teoria de Galois tem alguma aplicação?

a compreensão destas simetrias tem tido aplicações surpreendentes na geometria algébrica e topologia algébrica, entre outras. In particular, early successes of the theory include a classification of constructible regular polygons and a theorem asserting that high degree polynomial equations could not be solved by radicals.

But that was centuries ago…

recent successes appear in cryptography and Andrew Wiles’ proof of Fermat’s last theorem. Esta prova envolve estudar o Grupo Galois $Gal (\bar{\mathbb Q} /\mathbb Q)$ com representação de grupo. Mas eu diria que a teoria ainda é jovem, e muito resta para descobrir. Afinal de contas, é uma das áreas de pesquisa mais ativas na pesquisa de matemática pura de hoje.isto deve levar-nos a pagar muito mais tributos ao incrível génio de Galois… deixem-me incluir um por SocraticaStudios.