Aantonen groep

Moderators: ArcherBarry, Fuzzwood

Gebruikersavatar
Berichten: 524

Aantonen groep

Hallo allemaal,

Ik heb een vraag over groepen waar ik niet uitkom:

Laat zien dat
\(H = \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}\)
met als bewerking
\((\overline{x_1}, \overline{x_2}) \cdot (\overline{y_1}, \overline{y_2}) = (\overline{x_1} + \overline{(-1)^{x_2}y_1}, \overline{x_2} + \overline{y_2})\)
een groep is. Er is hier niet sprake van de productgroep
\(\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}\)
.

Is
\(H\)
Abels?[/i]

---

Om te bepalen of het een groep is, moet ik dus aantonen dat het associatief is, een eenheidselement heeft en een inverse heeft, maar waar staan die streepjes (in de algebra) voor?

Daarnaast moet ik dus elementen kiezen uit
\(H\)
, maar volgens de lesstof ziet een groep eruit als
\(H \times H \rightarrow H\)
, maar hier is er sprake van 'verschillende'
\(H\)
's. Ik weet dus niet hoe ik moet beginnen.

Alvast bedankt voor de hulp!

Gebruikersavatar
Moderator
Berichten: 51.271

Re: Aantonen groep

Iemand die hier een handje kan toesteken?
ALS WIJ JE GEHOLPEN HEBBEN...
help ons dan eiwitten vouwen, en help mee ziekten als kanker en zo te bestrijden in de vrije tijd van je chip...
http://www.wetenscha...showtopic=59270

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

\(H = \mathbb{Z}/3\mathbb{Z}\)
Weet je wat dit betekent?

Gebruikersavatar
Berichten: 524

Re: Aantonen groep

Safe schreef:
\(H = \mathbb{Z}/3\mathbb{Z}\)
Weet je wat dit betekent?
Ja, dat is een restklasse modulo 3.

Dit bestaat uit
\(\{\overline{0}, \overline{1}, \overline{2}\}\)
,

met
\(\overline{0} = \{...,-6,-3,0,3,6\}\)
.
\(\overline{1} = \{...,-5,-2,1,4,7\}\)
.
\(\overline{2} = \{...,-4,-1,2,5,8\}\)
.

Maar wat ik daar nou aan heb, dat weet ik niet. Als ik het zou bekijk, zou ik zeggen dat
\(\mathbb{Z}/3\mathbb{Z} = \mathbb{Z}\)
, als je naar de elementen van de verzameling kijkt.

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

Ok, en nu gebruik je zelf de streepjes waarnaar je (in de eerste post) vraagt.

Dus weet je ook uit welke verz x2 en y2 komen.

Ga nu uit van de gegeven operatie, zoek het eenheidselement. Waaraan moet je voldoen?

Gebruikersavatar
Berichten: 524

Re: Aantonen groep

Safe schreef:Ok, en nu gebruik je zelf de streepjes waarnaar je (in de eerste post) vraagt.

Dus weet je ook uit welke verz x2 en y2 komen.

Ga nu uit van de gegeven operatie, zoek het eenheidselement. Waaraan moet je voldoen?
Daar kom ik nu ook achter. Ik gebruikte de notatie uit de lesstof, vandaar.

Dus dat betekent dat
\(x_1,x_2,y_1,y_2 \in \mathbb{Z}\)
?

De operatie is de vermenigvuldiging? Ik moet dus aantonen dat het associatief is, dat er een eenheidselement is en dat er een inverse is, toch?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

Fruitschaal schreef:Daar kom ik nu ook achter. Ik gebruikte de notatie uit de lesstof, vandaar.

Dus dat betekent dat
\(x_1,x_2,y_1,y_2 \in \mathbb{Z}\)
?

De operatie is de vermenigvuldiging? Ik moet dus aantonen dat het associatief is, dat er een eenheidselement is en dat er een inverse is, toch?
Dus dat betekent dat
\(x_1,x_2,y_1,y_2 \in \mathbb{Z}\)
?
Nee, je moet de restklassen gebruiken.

Zoek je eenheidselement ...

Gebruikersavatar
Berichten: 524

Re: Aantonen groep

Safe schreef:Nee, je moet de restklassen gebruiken.

Zoek je eenheidselement ...
Sorry, maar ik begrijp het nog niet.

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

\((\overline{x_1}, \overline{x_2}) \cdot (\overline{e_1}, \overline{e_2}) = (\overline{x_1} + \overline{(-1)^{x_2}e_1}, \overline{x_2} + \overline{e_2})\)


en ook ...

Gebruikersavatar
Berichten: 524

Re: Aantonen groep

Safe schreef:
\((\overline{x_1}, \overline{x_2}) \cdot (\overline{e_1}, \overline{e_2}) = (\overline{x_1} + \overline{(-1)^{x_2}e_1}, \overline{x_2} + \overline{e_2})\)


en ook ...
Dan moet ik dus aantonen dat:
\((\overline{x_1}, \overline{x_2}) \cdot (\overline{e_1}, \overline{e_2}) = (\overline{e_1}, \overline{e_2}) \cdot (\overline{x_1}, \overline{x_2}) = (\overline{x_1}, \overline{x_2})\)
?

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

Heel goed! Bestaat er zo'n element?

Gebruikersavatar
Berichten: 524

Re: Aantonen groep

Heel goed! Bestaat er zo'n element?
Ik zou zeggen dat
\(e_1 = 1\)
en
\(e_2 = 0\)

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

We nemen nu aan (zonder notatie) uitgaande van (1,0) dat de elementen 1 en 0 restklassen zijn van resp:
\(\overline{1} = \{...,-5,-2,1,4,7,...\}\)
en
\(\overline{0} = \{...,-8,-4,0,4,8,....\}\)


(1,1).(1,0)=... , geef de berekening.

Gebruikersavatar
Berichten: 524

Re: Aantonen groep

Safe schreef:We nemen nu aan (zonder notatie) uitgaande van (1,0) dat de elementen 1 en 0 restklassen zijn van resp:
\(\overline{1} = \{...,-5,-2,1,4,7,...\}\)
en
\(\overline{0} = \{...,-8,-4,0,4,8,....\}\)
(1,1).(1,0)=... , geef de berekening.
\((1,1)\cdot(1,0) = (\overline{1} + \overline{-1*1}, \overline{1} + \overline{0})\)
Ik zie nu inderdaad dat dat niet klopt. Want die
\(\overline{1} mod 4 + \overline{0} mod 4 = \overline{1} mod 8\)
.

Dus in dat geval zou
\(e_2 = 1\)
moeten zijn. Want 1 mod 4 + 1 mod 4 = 1 mod 4.

Verder moet gelden dat
\(\overline{(-1)^{x_2}y_1} = \overline{(-1)^{x_2}}\)
toch? Dan komt het wel overeen dat
\(e_1 = 1\)
Dus ik zou nu zeggen dat
\((e_1, e_2) = (1,1)\)

Gebruikersavatar
Pluimdrager
Berichten: 10.058

Re: Aantonen groep

Want die
\(\overline{1} mod 4 + \overline{0} mod 4 = \overline{1} mod 8\)
.
Klopt dit?

Heb je ook andere elementen uit de restklasse getest?
Dus ik zou nu zeggen dat
\((e_1, e_2) = (1,1)\)
Test eens, met berekening:

(1,1)(0,0)

(1,1)(3,4) en (3,4)(1,1)

(1,1)(1,0) en (1,0)(1,1)

(1,1)(4,8)

(1,1)((2,1) en (2,1)(1,1)

Reageer