Galoisgroep

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de groepentheorie, een deelgebied van de wiskunde, is een Galoisgroep de groep, die volgens een gegeven definitie bij een polynoom hoort. Hoe de Galoisgroep is gedefinieerd staat in de volgende paragraaf. De coëfficiënten van het polynoom zijn geheel of rationaal. De Galoisgroepen zijn genoemd naar de Fransman Évariste Galois.

Volgens de hoofdstelling van de algebra liggen alle nulpunten van dit polynoom in het complexe vlak, zij vormen in het complexe vlak een lichaam (Nederlands) of veld (Belgisch) van algebraïsche getallen. De studie van de Galoisgroepen van polynomen is begonnen met de studie van de lichaamsuitbreidingen (Nederlands) / velduitbreidingen (Belgisch).

Het is een 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).

Definitie[bewerken]

Het uitgangspunt van de definitie van de Galoisgroep is een polynoom f. Stel dat E de uitbreiding van Q (de rationale getallen) is, waarin alle nulpunten van f liggen. De Galoisgroep G(f) van f bestaat uit de verzameling van alle automorfismen van E, zodanig dat ieder 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 het 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.[1] 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.

Wortels[bewerken]

Om de nulpunten van een polynoom uit te drukken zijn in de wiskunde, behalve de rationale getallen en de vier basisbewerkingen, alleen 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 het polynoom uitgedrukt. Om ze te noteren worden voor de nulpunten van een polynoom meestal de griekse letters genomen.

Zie ook[bewerken]

Externe link[bewerken]

Referentie[bewerken]

  1. (en) The Determination of Galois Groups door RP Stauduhar