De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  prikbord |  gastenboek |  wie is wie? |  contact

HOME

samengevat
vragen bekijken
een vraag stellen
hulpjes
zoeken
FAQ's
links
twitter
boeken
help

inloggen

colofon

  \require{AMSmath}

Subgroep van een eindige groep

Als H een subgroep is van eindige groep G,en als |G|=m|H|, verander het bewijs van Lagrange's stelling om te laten zien dat gm!H voor alle gG.

Mijn plan was om met lage waarden voor m te beginnen.

Dus stel m=1 dan |G|=|H| en dus G=H dus g H voor alle g G.

Bij m=2 liep ik echter al vast.
Stel m=2 dus |G|=2|H|, dan willen we aantonen dat g2 H voor alle g G.
Neem G=Hg1H. Dan kunnen we 2 gevallen onderscheiden, namelijk g H, en gH. In het geval van g H zijn we snel klaar. Maar als g H, dan zit g g1H.

Hier liep ik vast, want dan zit g2 toch ook in g1H? En als dat zo is kan hij niet in H zitten, want g1H en H hebben alleen de identiteit gemeen.

Bij voorbaat dank!

Dorien
Student universiteit - dinsdag 3 oktober 2017

Antwoord

Inderdaad, als $g\in H$ dan ook $g^2\in H$, want $H$ is een ondergroep. Maar waarom zou $g^2$ in $g_1H$ moeten zitten als $g\in g_1H$? `Toch' is niet een erg sterk argument.
Sterker nog: ook als $g\in g_1H$ dan $g^2\in H$. Immers je kunt $g=g_1h$ schrijven met $h\in H$. Dan geldt $g^2=g_1hg_1h$; maar $hg_1h\notin H$ en dus $g^2\notin g_1H$.
Ik zou de hint volgen en nog eens goed naar het bewijs van de stelling van Lagrange kijken.

Oh, en $H$ en $g_1H$ zijn disjunct, ze hebben geen enkel punt gemeen.

kphart
Vragen naar aanleiding van dit antwoord? Klik rechts..!
dinsdag 3 oktober 2017
 Re: Subgroep van een eindige groep 



klein |  normaal |  groot

home |  vandaag |  bijzonder |  twitter |  gastenboek |  wie is wie? |  colofon

©2001-2017 WisFaq - versie IIb

eXTReMe Tracker