Wat is een coset?
Een coset is een specifiek type subset van een wiskundige groep.Men zou bijvoorbeeld de set van alle integrale veelvouden van 7, {... -14, -7, 0, 7, 14 ...} kunnen overwegen, die kan worden aangeduid als 7 z .3 aan elk nummer toevoegen genereert de set {... -11, -4, 3, 10, 17 ...}, die wiskundigen beschrijven als 7 z + 3. Deze laatste set wordt de coset van 7 z genoemd Gegenereerd door 3.
Er zijn twee belangrijke eigenschappen van 7 z .Als een getal een veelvoud van 7 is, is het ook additief omgekeerd.De additieve inverse van 7 is -7, de additieve omgekeerde van 14 is -14, enzovoort.Het toevoegen van een veelvoud van 7 aan een ander veelvoud van 7 levert ook een veelvoud van 7. Wiskundigen beschrijven dit door te zeggen dat de veelvouden van 7 worden "gesloten" onder de werking van toevoeging.
Deze twee kenmerken zijn waarom 7 z iseen subgroep van de gehele getallen die worden toegevoegd genoemd.Alleen subgroepen hebben cosets.De set van alle kubieke nummers, {... -27, -8, -1, 0, 1, 8, 27 ...}, heeft geen cosets op dezelfde manier als 7 z omdat het niet is geslotenOnder aanvulling: 1 + 8 ' 9 en 9 is geen kubisch nummer.Evenzo heeft de set van alle positieve gelijkmatige getallen, {2, 4, 6, ...}, geen cosets omdat het geen inverses bevat.
De reden voor deze bepalingen is dat elk nummer in exact één coset moet zijn.In het geval van {2, 4, 6, ...} staat 6 in de coset gegenereerd door 4 en staat in de coset gegenereerd door 2, maar die twee cosets zijn niet identiek.Deze twee criteria volstaan om ervoor te zorgen dat elk element zich in exact één coset bevindt.
Cosets bestaan in elke groep en sommige groepen zijn veel gecompliceerder dan de gehele getallen.Een nuttige groep die men zou kunnen overwegen, is de set van alle manieren om een vierkant te verplaatsen zonder de regio te veranderen die het dekt.Als een vierkant 90 graden wordt gedraaid, is er geen duidelijke verandering in de vorm.Evenzo kan het verticaal, horizontaal of over beide diagonaal worden omgedraaid zonder de regio te veranderen.Wiskundigen noemen deze groep D 4
.D 4 heeft acht elementen.Twee elementen worden als identiek beschouwd als ze alle hoeken op dezelfde plaats verlaten, dus het vier keer roteren van de vierkant wordt als hetzelfde beschouwd als niets doen.Met dit in gedachten kunnen de acht elementen worden aangeduid als e, r, r 2 , r 3 , v, h, d d , en d d .De " e " verwijst naar niets doen, en " r 2
" geeft aan dat twee rotaties worden gedaan.Elk van de laatste vier elementen verwijst naar het omdraaien van het vierkant: verticaal, horizontaal of langs de opwaartse of neerwaartse slanke diagonalen.De gehele getallen zijn een Abelse groep, wat betekent dat de werking ervan voldoet aan de commutatieve wet: 3 + 2 ' 2 + 3. D 4
is niet Abelian.Een vierkant draaien en het vervolgens horizontaal flippen, beweegt de hoeken niet op dezelfde manier als het omdraaien en vervolgens roteren.Bij het werken in niet-commutatieve groepen gebruiken wiskundigen meestal een * om de operatie te beschrijven.Een klein werk laat zien dat het roteren van het vierkant en het dan horizontaal omdraaien, r * H , hetzelfde is als het over zijn neerwaartse diagonaal flippen.Dus r * h ' d d .Het vierkant omdraaien en het vervolgens roteren is gelijk aan het omdraaien van het over zijn opwaartse diagonaal, dus r * h ' d u
.Bestel is belangrijk in d 4 , dus men moet nauwkeuriger zijn bij het beschrijven van cosets.Bij het werken in de gehele getallen is de uitdrukking "de coset van 7 z gegenereerd door 3" ondubbelzinnig omdat het niet uitmaakt of 3 wordt toegevoegd aan de linkerkant of rechts van elk veelvoud van 7. voor een subgroep van d 4 Verschillende bestellingen zullen echter verschillende cosets creëren.Gebaseerd op de eerder beschreven berekeningen, r * H , de linker coset van H gegenereerd door r - Equals { r, d d } maar H * r gelijk aan ( r, d u }. De vereiste dat er geen element is in twee verschillende cosets is niet van toepassingHet vierkant,
r' { e, r, r 2 , r 3 }. Een kleine berekening laat zien dat de linker cosets hetzelfde zijn als de rechtercosets. Een dergelijke subgroep wordt een normaal genoemdSubgroep. Normale subgroepen zijn uiterst belangrijk in abstracte algebra omdat ze altijd coderen voor extra informatie. De twee mogelijke cosets van r staan bijvoorbeeld gelijk aan de twee mogelijke situaties "Het vierkant is omgedraaid" en "het vierkant is niet omgedraaid.”