Normaaldeler: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
k WPCleaner v1.38 - Link naar doorverwijspagina aangepast. Help mee! - Partitie (wiskunde)
Regel 34:
Als ''D'' een deelgroep is van ''G'', en ''g'' is een element van ''G'', dan noemt men
:<math>gD:=\left\{g\cdot d|d\in D\right\}</math>
de ''linkernevenklasse van D met vertegenwoordiger g.'' De verzameling van alle linkernevenklassen van ''D'' noteren we ''G/D.'' Ze vormt een [[Partitiepartitie (wiskundeverzamelingenleer)|partitie]] van <math>G</math>. Analoog voor ''G\D'', de partitie der rechternevenklassen van ''D''. Als ''D'' een normaaldeler is, vallen deze twee noties samen en spreken we kortweg van nevenklassen. In dat geval wordt op ''G/D'' ook een [[groepsbewerking]] gedefinieerd. Deze groep heet de [[factorgroep]] of ''quotiëntgroep''. De afbeelding
:<math>G\to G/D:g\mapsto gD</math>
is een [[homomorfisme]] van groepen met ''D'' als [[kern (algebra)|kern]]. Hieruit volgt dat een deelgroep normaal is ''als en slechts als'' hij de kern van een homomorfisme is.