H is een subgroup eigenlijk. Wat is een normaaldeler in het engels?quote:Op zaterdag 30 oktober 2010 16:50 schreef Outlined het volgende:
een subset? Een normaaldeler bedoel je!
De vraag is denk ik nog steeds niet goed, niet in de laatste plaats omdat |G| = 4 als ik dit zo zie en dus nooit isomorf kan zijn met een groep van 2 elementen
weet je dit zeker en zoek je alleen nog een bewijs of is het een vermoeden?quote:ik wil bewijzen dat als G twee conjugatieklassen heeft, dat G dan isomorf is aan Z/2Z.
is dit gegeven? over het algemeen niet waar namelijkquote:De orbit van x, G(x), is gelijk aan de conjugatieklassen van x.
1) Ik in weet in principe zeker dat dat zo is (tenzij de opgave fout is).quote:Op zaterdag 30 oktober 2010 19:40 schreef Outlined het volgende:
[..]
weet je dit zeker en zoek je alleen nog een bewijs of is het een vermoeden?
Was je al op jacht gegaan naar tegenvoorbeelden?
[..]
is dit gegeven? over het algemeen niet waar namelijk
VB: 0 in Z/nZ, dan Z/nZ(0) = Z/nZ, terwijl de conjugatieklasse waar 0 in zit gelijk is aan {0}.
de stabalizer noteer je trouwens bijna altijd met Gx
quote:In dit geval is het waar omdat "G acts on itself by conjugation".
De conjugatieklasse van een element is in het algemeen geen ondergroep.quote:Op zaterdag 30 oktober 2010 18:07 schreef BasementDweller het volgende:
OK. Dan is er dus iets fout aan de volgende redenering:
G is een groep en beschouw de action van G op zichzelf door conjugatie. Ik wil bewijzen dat als G twee conjugatieklassen heeft, dat G dan isomorf is aan Z/2Z.
De orbit van x, G(x), is gelijk aan de conjugatieklassen van x. Dus er bestaan twee verschillende orbits. Vanwege de orbit stabilizer stelling bestaat er een bijectie tussen G(x) en de linker cosets van de stabelizer van x Gx in G. Dus zijn er twee linker cosets van Gx in G. Dus de index van Gx in G is 2.
Dan gebruik ik de stelling:
Als de index van H in G gelijk aan 2 is, dan is H een normaaldeler van G en de quotientgroep G/H is isomorf met Z/2Z.
Dus hieruit volgt G/Gx is isomorf met Z/2Z.
Vandaar mijn vraag of hieruit volgt dat G ook isomorf is met Z/2Z.
Waar maak ik een fout?
Hint: {e} is een conjugatieklasse, er kan dus nog maar 1 andere conjugatieklasse zijn.quote:Op zaterdag 30 oktober 2010 19:55 schreef BasementDweller het volgende:
Ja dat dacht ik. G(x) is de orbit en wat G doet is conjugeren. Dan krijg je { gxg-1 | g in G} lijkt me?
Maar bij mij zijn orbits, stabilizers, normal subgroups, quotientgroups, en actions er zo'n beetje in 1 college doorheengejaagd. Dus misschien doe ik het ook helemaal fout....
Voor de duidelijkheid even de opgave erbij:
[ afbeelding ]
Gebruik ik dat dan?quote:Op zaterdag 30 oktober 2010 23:22 schreef thabit het volgende:
[..]
De conjugatieklasse van een element is in het algemeen geen ondergroep.
Ja want G/Gx is dan niet gedefinieerd. Voor een deelverzameling H van G is G/H alleen goedgedefinieerd (als verzameling!) als H een ondergroep is. Daarbij is G/H alleen goedgedefinieerd als groep als H normaal is in G.quote:
Kloptquote:Een leraar Engels koopt voor zijn klas een aantal leesboekjes van 7,50 per stuk.
Elk boek heeft 60 bladzijden. In totaal moet hij 225 euro betalen. Hoeveel boeken heeft hij gekocht?
- Moet je hier nou 225:7,50 doen? D: Het aantal bladzijden boeit toch helemaal niet?
Als x 'de rest' is, oftewel het deel van de leerlingen is dat een 9 of 10 had, dan geldt: 1/3 + 2/5 + 1/4 + x = 1. Snap je waarom? Reken x uit.quote:Op het Huyens College hebben alle brugklassers een proefwerk Wiskunde gemaakt. Éen derde van de leerlingen had een 6, twee vijfde een 7 en een kwart een 8. De rest had een hoger cijfer. Welk deel van de leerlingen had een 9 of 10?
- Die snap ik dus helemaal niet.
x:y:z = 7:5:3quote:De verhouding van 3 getallen is 7:5:3. Het grootste getal is 12 meer dan het kleinste getal. Bereken de drie getallen.
Kan ik hiermee laten zien dat |G|=2?quote:Op zaterdag 30 oktober 2010 23:23 schreef thabit het volgende:
[..]
Hint: {e} is een conjugatieklasse, er kan dus nog maar 1 andere conjugatieklasse zijn.
|G(x)| |Gx| = |G|quote:Op maandag 1 november 2010 19:53 schreef BasementDweller het volgende:
[..]
Kan ik hiermee laten zien dat |G|=2?
Waarom |G(x)|=2 en |Gx|=1? |G(x)| is niet het aantal orbits maar de cardinaliteit van de orbit van x...quote:Op maandag 1 november 2010 19:56 schreef Outlined het volgende:
[..]
|G(x)| |Gx| = |G|
dan zou je uit dat gegeven dus moeten afleiden dat |G(x)| = 2 en |Gx| = 1 en dus vind je zo |G| = 2.
kijk, dit is gewoon de stelling die je (denk ik) moet gebruiken:quote:Op maandag 1 november 2010 20:08 schreef BasementDweller het volgende:
Groepentheorie uiteraard, UU.
Maar gaat het dan nog wel op wat je zei en zo ja, enig idee hoe?
SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
[ Bericht 9% gewijzigd door Outlined op 01-11-2010 21:01:12 ]Come on, who can, who can, can hear the bass drum.
Ja, met die stelling kun je het inderdaad heel eenvoudig bewijzen.quote:Op maandag 1 november 2010 20:38 schreef Outlined het volgende:
[..]
kijk, dit is gewoon de stelling die je (denk ik) moet gebruiken:
|G(x)| |Gx| = |G|
quote:Op maandag 1 november 2010 20:38 schreef Outlined het volgende:
[..]
kijk, dit is gewoon de stelling die je (denk ik) moet gebruiken:
|G(x)| |Gx| = |G|
hintMaar je zegt ook |Gx|=1 dus dan krijg je |G(x)|=|G|=|G(x)|+|G(e)|SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Ja als je het snapt is het bijna altijd makkelijkquote:Op maandag 1 november 2010 20:43 schreef thabit het volgende:
[..]
Ja, met die stelling kun je het inderdaad heel eenvoudig bewijzen.![]()
Hint: niet naar |Gx| kijken, maar naar |G(x)|.quote:Op maandag 1 november 2010 21:19 schreef BasementDweller het volgende:
[..]
Maar je zegt ook |Gx|=1 dus dan krijg je |G(x)|=|G|=|G(x)|+|G(e)|![]()
[..]
Ja als je het snapt is het bijna altijd makkelijk
Juist!quote:Op maandag 1 november 2010 21:39 schreef BasementDweller het volgende:
Voor cardinaliteit gebruik ik even #:
#G = #G[x] + #G[e]
en volgens de orbit stab thm ook: #G = #G[x] #Gx
#G[e] = #{e} =1
#G[x] +1 = #G[x] #Gx
#G[x] #Gx - #G[x] =1
#G[x] ( #Gx -1 ) = 1
cardinalities zijn allemaal >0
dus #G[x] =1 #Gx=2
dus #G = #G[x] #Gx = 2
en alle groepen van orde 2 zijn isomorf met Z/2Z
hah, een unigenoot. ik ben van plan volgen jaar ook wiskunde te gaan doen daar (doe nu informatica)quote:Op maandag 1 november 2010 20:08 schreef BasementDweller het volgende:
Groepentheorie uiteraard, UU.
Maar gaat het dan nog wel op wat je zei en zo ja, enig idee hoe?
leukquote:Op maandag 1 november 2010 23:17 schreef minibeer het volgende:
[..]
hah, een unigenoot. ik ben van plan volgen jaar ook wiskunde te gaan doen daar (doe nu informatica)
a = arcsin(1/3)quote:Op dinsdag 2 november 2010 23:39 schreef Adames het volgende:
Nou heb ik morgen een toets, alleen snap ik 1 vraag van goniometrie niet.
Weet niet eens waar ik moet beginnen
Stel alfa = arcsin 1/3
Wat is dan de cosinus van 1/2 alfa?
je hebtquote:Op woensdag 3 november 2010 00:56 schreef Riparius het volgende:
[..]
Dit gaat al niet goed, we hebben cos α = √(8/9) = 2√(2/3). Dat is niet hetzelfde als (√8)/3.
Blijft dus over SQRT(3+2√2)/6, want dat zit net onder 1quote:Op woensdag 3 november 2010 00:29 schreef Riparius het volgende:
De uitwerking hierboven van VanishedEntity is niet juist. Uit:
(1) α = arcsin(1/3)
Volgt in ieder geval dat:
(2) -½π ≤ α ≤ ½π
En dus:
(3) -¼π ≤ ½α ≤ ¼π
En dus:
(4) ½√2 ≤ cos ½α ≤ 1
Productregel. x kéér eaxquote:Op woensdag 3 november 2010 14:41 schreef algebra010 het volgende:
De afgeleide van eax = aeax.
Waarom is de afgeleide van xex dan (x+1)ex?
Ik zou zeggen de a van de macht is 1, tenslotte is het 1x, dus 1.xex = xex
Dat moet je niet zo opschrijven, het =-teken is hier misleidend. Schrijf dan bijvoorbeeld:quote:
Nee, niet intuďtief (en krom) gaan redeneren. Pas behalve de kettingregel hier ook de productregel toe.quote:Waarom is de afgeleide van xex dan (x+1)ex?
Ik zou zeggen de a van de macht is 1, tenslotte is het 1x, dus 1.xex = xex
| Forum Opties | |
|---|---|
| Forumhop: | |
| Hop naar: | |