Factorgroep: verschil tussen versies
k WPCleaner v1.30 - Link naar doorverwijspagina aangepast. Help mee! - Lichaam (wiskunde) |
onbegrepen plaatje weg |
||
Regel 1: | Regel 1: | ||
In de [[groepentheorie]], een deelgebied van de [[abstracte algebra]], is een '''factorgroep''' een [[groep (wiskunde)|groep]] die geconstrueerd wordt uit een gegeven groep |
In de [[groepentheorie]], een deelgebied van de [[abstracte algebra]], is een '''factorgroep''' of '''quotiëntgroep''' een [[groep (wiskunde)|groep]] die geconstrueerd wordt uit een gegeven groep en een [[normaaldeler]] van die groep, en die bestaat uit de [[nevenklasse]]n van de normaaldeler. |
||
==Definitie== |
==Definitie== |
||
Zij |
Zij <math>G</math> een groep, en <math>H</math> een [[normaaldeler]] van <math>G</math>. Dit lhoudt in dat de [[verzameling (wiskunde)|verzameling]] <math>G/H</math> van de linkernevenklassen van <math>H</math> samenvalt met de verzameling <math>G\backslash H</math> van de rechternevenklassen van <math>H</math>. |
||
Op |
Op de verzameling <math>G/H</math> wordt een [[groepsbewerking]] <math>*</math> gedefinieerd door het product van twee nevenklassen <math>aH</math> en <math>bH</math> op te vatten als de nevenklasse <math>abH</math> van het product van <math>a</math> en <math>b</math>: |
||
⚫ | |||
Dit |
Dit is pas een geldige definitie, als ze onafhankelijk is van de gekozen vertegenwoordiger van de nevenklassen. Dus als <math>c\in aH</math> en <math>d\in bH</math>, moet <math>cd \in abH</math>. Omdat <math>c\in aH</math> en <math>d\in bH</math> volgt: |
||
⚫ | |||
Maar dan ook omdat <math>H</math> normaaldeler is: |
|||
⚫ | |||
:<math> |
:<math>db\in H</math> en <math>a^{-1}cdb\in H</math> |
||
en |
|||
⚫ | |||
:<math> |
:<math>b^{-1}a^{-1}cd\in H</math> |
||
dus |
|||
⚫ | |||
:<math> |
:<math>(ab)^{-1}cd\in H</math> |
||
zodat |
|||
⚫ | |||
Men verifieert ook gemakkelijk dat deze [[welgedefinieerdheid|welgedefinieerde]] bewerking op de verzameling der nevenklassen, aan de [[groepsaxioma]]'s voldoet. |
Men verifieert ook gemakkelijk dat deze [[welgedefinieerdheid|welgedefinieerde]] bewerking op de verzameling der nevenklassen, aan de [[groepsaxioma]]'s voldoet. |
||
==Voorbeelden en elementaire eigenschappen== |
==Voorbeelden en elementaire eigenschappen== |
||
⚫ | Zij <math>\Z</math> de optelgroep der gehele getallen, en <math>n\Z</math> de [[ondergroep|deelgroep]] der <math>n</math>-vouden (<math>n\ge 1</math>). Dan vormt <math>\Z/n\Z</math>, de verzameling der [[restklasse]]n [[modulair rekenen|modulo]] <math>n</math>, een [[cyclische groep]] met <math>n</math> elementen. |
||
[[Bestand:Normal subgroup illustration.png|thumb|''N'' in de nevenklasse ''G'']] |
|||
⚫ | Zij <math>\ |
||
Elke groep is een normaaldeler van zichzelf, en de factorgroep is de [[triviale groep]] met 1 element. |
Elke groep is een normaaldeler van zichzelf, en de factorgroep is de [[triviale groep]] met 1 element. |
||
De triviale deelgroep die bestaat uit het [[neutraal element]], is |
De triviale deelgroep, die bestaat uit het [[neutraal element|neutrale element]], is altijd een normaaldeler. De factorgroep is [[isomorfisme|isomorf]] met de oorspronkelijke groep. |
||
De groep <math>GL(n,K)</math> der omkeerbare |
De groep <math>GL(n,K)</math> der omkeerbare <math>n\times n</math>-[[matrix (wiskunde)|matrices]] met elementen in een [[lichaam (Ned) / Veld (Be)|lichaam]] <math>K</math> heeft als normaaldeler, de deelgroep <math>SL(n,K)</math> van matrices met [[determinant]] 1. De factorgroep is isomorf met de vermenigvuldigingsgroep <math>K^*</math> (de inverteerbare elementen van <math>K</math>). |
||
In het algemeen is de [[kern (algebra)|kern]] van een [[homomorfisme]] van groepen steeds een normaaldeler van het domein. De bijhorende factorgroep blijkt isomorf te zijn met het beeld van het homomorfisme. |
In het algemeen is de [[kern (algebra)|kern]] van een [[homomorfisme]] van groepen steeds een normaaldeler van het domein. De bijhorende factorgroep blijkt isomorf te zijn met het beeld van het homomorfisme. |
||
Omgekeerd is de afbeelding die elk element van |
Omgekeerd is de afbeelding die elk element van een groep <math>G</math> op zijn nevenklasse ten opzichte van de normaaldeler <math>H</math> afbeeldt, een [[surjectief]] [[groepshomomorfisme]] van <math>G</math> naar <math>G/H</math>. De kern van dit homomorfisme is <math>H</math>. |
||
[[Categorie:Groepentheorie]] |
[[Categorie:Groepentheorie]] |
Versie van 23 aug 2017 00:19
In de groepentheorie, een deelgebied van de abstracte algebra, is een factorgroep of quotiëntgroep een groep die geconstrueerd wordt uit een gegeven groep en een normaaldeler van die groep, en die bestaat uit de nevenklassen van de normaaldeler.
Definitie
Zij een groep, en een normaaldeler van . Dit lhoudt in dat de verzameling van de linkernevenklassen van samenvalt met de verzameling van de rechternevenklassen van .
Op de verzameling wordt een groepsbewerking gedefinieerd door het product van twee nevenklassen en op te vatten als de nevenklasse van het product van en :
- .
Dit is pas een geldige definitie, als ze onafhankelijk is van de gekozen vertegenwoordiger van de nevenklassen. Dus als en , moet . Omdat en volgt:
- en
Maar dan ook omdat normaaldeler is:
- en
en
dus
zodat
Men verifieert ook gemakkelijk dat deze welgedefinieerde bewerking op de verzameling der nevenklassen, aan de groepsaxioma's voldoet.
Voorbeelden en elementaire eigenschappen
Zij de optelgroep der gehele getallen, en de deelgroep der -vouden (). Dan vormt , de verzameling der restklassen modulo , een cyclische groep met elementen.
Elke groep is een normaaldeler van zichzelf, en de factorgroep is de triviale groep met 1 element.
De triviale deelgroep, die bestaat uit het neutrale element, is altijd een normaaldeler. De factorgroep is isomorf met de oorspronkelijke groep.
De groep der omkeerbare -matrices met elementen in een lichaam heeft als normaaldeler, de deelgroep van matrices met determinant 1. De factorgroep is isomorf met de vermenigvuldigingsgroep (de inverteerbare elementen van ).
In het algemeen is de kern van een homomorfisme van groepen steeds een normaaldeler van het domein. De bijhorende factorgroep blijkt isomorf te zijn met het beeld van het homomorfisme.
Omgekeerd is de afbeelding die elk element van een groep op zijn nevenklasse ten opzichte van de normaaldeler afbeeldt, een surjectief groepshomomorfisme van naar . De kern van dit homomorfisme is .