Algebra 1

Aad Vijn Studienummer: 4020111

12 juni 2010

Technische Wiskunde Faculteit der Elektrotechniek, Wiskunde en Informatica Technische Universiteit Delft

1. Inleveropgave week 1 1.1. Opgave 9. Het symmetrisch verschil van twee verzamelingen A en B is gedenieerd als A B = ( A B ) ( A B ) Zij X een verzameling met twee elementen , en V de collectie van deelverzamelingen van X. Laat zijn dat V een verzameling van 4 elementen is, en dat deze verzameling onder de bewerking de structuur van een viergroep van Klein krijgt. uitwerking : Zij X een verzameling bestaande uit twee elementen: X = {a, b}. We deni eren V als de collectie van deelverzamelingen, dus V = {, {a}, {b}, {a, b}}. Merk op dat de lege verzameling een deelverzameling is van elke verzameling. Om te laten zien dat dit alle deelverzamelingen zijn, kunnen we het volgende zeggen. Als er een 5e deelverzameling zou zijn, dan zou hij tenminste uit 1 van deze verzamelingen moeten bestaan met een extra element uit de verzameling X . Maar elementen die in een verzameling vaker terugkomen laat je uit der verzameling weg, zodat het element eenmaal voorkomt. Hierdoor wordt {a, a} de verzameling {a}. We concluderen dat V uit 4 elementen bestaat. Om te laten zien dat de verzameling V het structuur heeft van een Viergroep van Klein, zullen we een vermenigvuldigtafel maken: a b {a} {a} {b} {b} {a, b} {a, b} Tabel {a} {b} {a, b} {a} {b} {a, b} {a, b} {b} {a, b} {a} {b} {a} 1. opgave 9

Aan het structuur van de vermenigvuldigtafel kunnen we het volgende zien: Er is een eenheidselement (de lege verzameling ) Het produkt van 2 verschillende deelverzamelingen geeft het derde overgebleven deelverzameling Er is dus een bijectie f V4 V gedenieerd door id , sx {a}, sy {b} en h {a, b}. We concluderen dat V4 en V isomorf zijn.

1.2. Opgave 12. Laat zien dat de vergelijking 3x2 + 2 = y 2 geen geheeltallige oplossingen heeft door te rekenen modulo 3. Bewijs ook dat de vergelijking geen rationale oplossingen heeft. uitwerking : Zoals de opgave al aangaf, gaan we rekenen modulo 3. Dit betekent dat elke x, y {0, 1, 2}. De vergelijking gaat dan over in y2 = 2 Immers 3 0, dus de term 3x2 is voor elke x gelijk aan 0. Omdat y {0, 1, 2} betekent dit dat y 2 {0, 1}. Hieruit kunnen we concluderen dat de vergelijking geen geheeltallige oplossingen heeft, want voor geen enkele y is y 2 = 2. Nu gaan we bewijzen dat de vergelijking geen rationale oplossingen heeft. Stel x, y Q zijn rationale oplossingen. c a We schrijven x = en y = met a, c Z en b, d N1 . b d Invullen in de vergelijking 3x2 + 2 = y 2 geeft ons: 3 a b
2

+2=
a 2 b 2

c d

Merk op dat we nog steeds rekenen modulo 3. De term 2=

is dus voor elke x Q gelijk aan 0. Oftewel:

c d2 2 Vermenigvuldig links en rechts met de noemer d . We bekijken de volgende verkregen vergelijking: 2d2 = c2 Opnieuw kunnen we zeggen dat c2 , d2 {0, 1}. We concluderen dat de vergelijking 2d2 = c2 geen gehele oplossingen heeft, en dus heeft 3x2 + 2 = y 2 geen rationale oplossingen!

1.3. Opgave 13. Denieer V4 en V4 als in de stellingen 1.1 en 1.3. Laat zien dat er precies 6 verschillende isomorsmen V4 V4 bestaan. uitwerking : Zij V4 = {id, sx , sy , h} en V4 = {1, 3, 5, 7, } de verzamelingen uit stelling 1.1 en 1.3. We zijn op zoek naar het aantal isomorsmen zodanig dat f V4 V4 een bijectie is. Een vereiste van zo een isomorf is dat de identiteit wordt behouden, dus id 1. De andere 3 elementen van V4 kunnen dus op 3 2 1 = 6 manieren worden gestuurd naar de overige 3 elementen in V4 . Er bestaan dus precies 6 verschillende isomorsmen V4 V4 .

1.4. Opgave 15. Bepaal de verzameling van symmetri en van een gelijkzijdige driehoek in het vlak. Commuteren deze symmetri en onder samenstelling? uitwerking : We gaan op zoek naar de symmetri en van een gelijkzijdige driehoek. Als we kijken naar zo een gelijkzijdige driehoek ABC , kunnen we de volgende symmetri en ontdekken: De identiteitssymmetrie: id De spiegeling door de zwaartelijn door het punt A: sa De spiegeling door de zwaartelijn door het punt B: sb De spiegeling door de zwaartelijn door het punt C: sc . : d1 De rotatiesymmetrie onder een hoek van 23 2 De rotatiesymmetrie onder een hoek van 3 : d2
1 Merk op dat d2 = d en. We gaan nu een vermenigvuldigtafel maken 1 . We komen op een totaal van 6 symmetri om te controlen of deze symmetri en commuteren onder samenstelling:

a b id sa id id sa sa sa id sb d2 sb sc sc d1 d1 sc d1 d2 d2 sb Tabel 2.

sb sc d1 sb sc d1 d1 d2 sb id d1 sc d2 id sa sa sb id sc sa id opgave 15

d2 d2 sc sa sb id id

Het mogen duidelijk zijn dat niet alle symmetri en niet commuteren. Immers, sa sb sb sa en d1 sc sc d1 .