User:Ragnar Schroder/Sandbox: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Ragnar Schroder
No edit summary
No edit summary
 
(24 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{AccountNotLive}}
Testing my sandbox:  
Testing my sandbox:  




1995: 0,28 grader
1995: 0,28 grader
1997: 0,36 grader
1997: 0,36 grader
1998: 0,52 grader
1998: 0,52 grader


2001: 0,40 grader
2001: 0,40 grader
Line 15: Line 19:


ÆØÅ æøå
ÆØÅ æøå
==The Galois connection==
Given a field L that extends K, <math>K,L :  K \lsub L </math>,  the field extension and
If L is a splitting field for some polynomial with coefficients over K,  then L:K is a normal and finite field extension.
If
===The Galois group of a polynomial - a basic example===
As an example,  let us look at the second-degree polynomial <math>x^2-5</math>, with the coefficients {-5,0,1} viewed as elements of Q.
This polynomial has no roots in Q.  However, from the [[fundamental theorem of algebra]] we know that it has exacly two roots in C, and can be written as the product of two first-degree polynomials there - i.e. <math>x^2-5 = (x-r_0)(x-r_1), r_0, r_1 \in  C</math>.  From direct inspection of the polynomial we also realize that <math>r_0 = -r_1</math>.
L = <math>\lbrace a+b r_0, a,b \in Q  \rbrace </math> is the smallest subfield of C that contains Q and both <math>r_0</math> and <math>-r_0</math>.
The are exactly 2 automorphisms of L that leave every element of Q alone: the do-nothing automorphism <math>\phi_0: a+b r_0  \rightarrow a + b r_0 </math> and the map <math>\phi_1 : a+b r_0  \rightarrow a - b r_0</math>.
Under composition of automorphisms,  these two automorphisms together form a group  isomorphic to <math>S_2</math>,  the group of permutations of two objects.
The sought for Galois group is therefore <math>S_2</math>, which has no nontrivial subgroups.
The 3 requirements (explained below) for the Galois correspondence to exist happen to be fullfilled,  so we we conclude from the subgroup structure of <math>S_2</math> that there is no intermediate field extension containing Q and also roots of the polynomial.

Latest revision as of 03:34, 22 November 2023


The account of this former contributor was not re-activated after the server upgrade of March 2022.


Testing my sandbox:


1995: 0,28 grader

1997: 0,36 grader

1998: 0,52 grader


2001: 0,40 grader 2002: 0,46 grader 2003: 0,46 grader 2004: 0,43 grader 2005: 0,48 grader 2006: 0,42 grader 2007: 0,41 grader

ÆØÅ æøå