Galoisgroep: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
→‎Wortels: geen referenties zonder een kopje
Madyno (overleg | bijdragen)
DE polynoom
Regel 1:
In de [[galoistheorie]], een deelgebied van de [[wiskunde]], is een '''galoisgroep''' de [[Groep (wiskunde)|groep]], die volgens een gegeven definitie bij een [[polynoom]] hoort. De [[Polynoom#Coëfficiënten|coëfficiënten]] van hetde polynoom zijn [[Geheel getal|geheel]] of [[Rationaal getal|rationaal]]. De galoisgroepen zijn genoemd naar de Fransman [[Évariste Galois]].
 
Volgens de [[hoofdstelling van de algebra]] liggen alle [[nulpunt]]en van ditdeze polynoom in het [[complexe vlak]], zij vormen in het complexe vlak een [[Lichaam (Ned) / Veld (Be)|lichaam]] (Nederlands) of [[Lichaam (Ned) / Veld (Be)|veld]] (Belgisch) van [[Algebraïsch getal|algebraïsche getallen]]. De studie van de galoisgroepen van polynomen is begonnen met de studie van de [[Lichaamsuitbreiding (Ned) / Velduitbreiding (Be)|uitbreidingen]]. De galoistheorie bestudeert welke [[Permutatiegroep|groepen, die de nulpunten van een polynoom ''f'' permuteren]], ''f'' [[Invariant (wiskunde)|invariant]] laten.
 
Het is een [[Wet (wetenschap)|wet]], dat bij iedere groep ''G'' er een polynoom ''f'' is, zodat ''G'' de galoisgroep ''G(f)'' van ''f'' is, dus zodat ''G''=''G(f)''.
Regel 8:
Het uitgangspunt van de definitie van de galoisgroep is een polynoom ''f''. Stel dat ''E'' de [[Lichaamsuitbreiding (Ned) / Velduitbreiding (Be)|uitbreiding]] van ''Q'', van de [[Rationaal getal|rationale getallen]], is, waarin alle nulpunten van ''f'' liggen. De galoisgroep ''G(f)'' van ''f'' bestaat uit de [[Verzameling (wiskunde)|verzameling]] van alle [[automorfisme]]n van ''E'', zodanig dat ieder [[Beeld (wiskunde)|beeld]] van een nulpunt van ''f'' weer een nulpunt van ''f'' is. In de galoisgroep van een polynoom komen dus de permuaties van de nulpunten van die polynoom voor, die een automorfisme zijn.
 
Omdat de nulpunten van een polynoom niet altijd in de coëfficiënten van hetde polynoom zijn uit te drukken, maar soms alleen numeriek kunnen worden bepaald, kan met behulp van deze definitie niet altijd de galoisgroep van een polynoom worden berekend. Een dergelijke methode, dus om de galoisgroep van een polynoom in de coëfficiënten van de polynoom uit te drukken, is er wel.<ref>{{en}} {{Cite news |url=http://www.jstor.org/pss/2005536 |title=The Determination of Galois Groups |author=[[Mathematics of Computation]], RP Stauduhar |date=oktober 1973 }} 27, 124</ref> Voor het geval dat de nulpunten van de polynoom wel in de coëfficiënten zijn uit te drukken, geeft deze methode hetzelfde antwoord als dat met behulp van directe berekening zou zijn bepaald.
 
Bij het berekenen van de galoisgroep ''G(f)'' van een polynoom ''f'' kan van de [[groepentheorie]] worden gebruikgemaakt.
 
=== Wortels ===
Om de nulpunten van een polynoom uit te drukken zijn in de wiskunde, behalve de rationale getallen en de vier [[Basisoperatie (wiskunde)|basisbewerkingen]], alleen [[Wortel (wiskunde)|wortels]] toegestaan. Om er abstract mee te rekenen mogen ze wel, net als iedere andere [[variabele]], bijvoorbeeld worden aangeduid met een letter, maar daarmee zijn ze nog niet in de coëfficiënten van hetde polynoom uitgedrukt. Om ze te noteren worden voor de nulpunten van een polynoom meestal de [[Grieks alfabet|griekse letters]] genomen.
 
== Referenties ==