Algemene informatie
Algebraïsche structuren is een vak uit het tweede semester. Het vak werd in het academiejaar 2006-2007 voor het eerst gegeven aan studenten van 1e bachelor wiskunde en het is een keuzevak in de bachelor fysica. Tot het academiejaar 2008-2009 werd het vak gegeven door Raf Cluckers, sinds 2009-2010 is de docent Filip Cools. Er is geen handboek, enkel een cursus, bestaande uit vijf hoofdstukken. Als leerstof wordt een inleiding gegeven tot groeptheorie (groepen, ringen, velden) en ook duale ruimtes en billineaire vormen komen aan bod. Het vak bouwt gedeeltelijk voor op de leerstof van Lineaire Algebra.
Informatie over het examen
Het examen is deels mondeling, deels schriftelijk.
De afgelopen examens
Juni 2012
28 juni 2012 (namiddag)
27 Juni 2012 (Namiddag)
25 Juni 2012 (Namiddag)
Proefexamen 2012
Juni 2011
27 Juni 2011
En nu ook in een mooie pdf. -> Bijvraag bij theorievraag 2: geldt dit bewijs ook voor oneindigdimensionale vectorruimten? (en verklaar (uiteraard) je antwoord (als in: waarom loopt het al dan niet mis)
Vraag 1
- Geef de stelling van Lagrange (je hoeft ze niet te bewijzen)7
- Bewijs : Zij G een eindige groep, en zij x een element uit G. Bewijs dat de orde van x een deler is van de orde van G.
Vraag 2
Toon aan dat er een kanoniek isomorfisme bestaat tussen een vectorruimte V en zijn biduale ruime (V*)*
Vraag 3
Reken uit: (2008!)mod2011 (2011 is priem)
Vraag 4
Reken uit: (55^(62) -2*13^(63) + 41^(62))mod182
Vraag 5
Zij G een eindige groep, en \alpha een groepsmorfisme zodat \alpha na \alpha gelijk is aan de identieke. Er geldt bovendien dat \alpha(g) \neq g voor alle g element van G. Toon aan :
- Beschouw \phi : G \to G : g -> g^(-1) * \alpha(g). Toon aan dat \phi een bijectie is.
- Toon aan dat \alpha(g) = g^(-1) voor alle g element van G
Vraag 6
Beschouw een veld K niet van karakteristiek 2. Beschouw K^(2 x 2). Definieer het inproduct <A,B> = Spoor(AB). (Spoor(M) = M_{11} + M_{22}, voor alle M := (M^2)_{ij}.
- Vind een basis zodat de matrix van het inproduct een diagonaalmatrix is.
- Als K = Z_{17}. Kan je een basis vinden zodat de matrix van het inproduct gelijk is aan I_4?
Eerdere examens
25 augustus 2010
De eerste drie vragen waren mondeling.
Vraag 1
- Zij G,* een Groep en zij G cyclisch bewijs dan voor elke H, dat indien H een deelgroep van G is, H cyclisch is.
Vraag 2
- Definieer de Eulerfunctie. Leid de formule voor met p een priemgetal.
Vraag 3
- Als K,+,. een veld is, dan hebben alle element dezelfde additieve orde. Bovendien, als deze orde eindig is, is het een priemgetal. Bijvragen: waarom is x.(n.y)= (x.n).y (tip: geen associativiteit), waarom is (u1).(v1) = (uv)1
Vraag 4
- Werk uit: .
- Bewijs dat is congruent met niet kan voor elke (tip voor alle denk aan welke waarde de vergelijking kan aan nemen.
Vraag 5
- Zij G,* een groep met orde m en zij . Extra is gegeven dat G een commutatieve groep is en dat ggd(m,n)=1. bewijs dat een groepsisomorfisme is.
- Is het noodzakelijk dat G,* commutatief is? Zo ja, waarom? Zo nee, bewijs.
- Is het noodzakelijk dat ggd(m,n)=1? Zo ja, waarom? Zo nee, bewijs.
Vraag 6
- Weet ik niet meer.
20 augustus 2009
Vraag 1
- Zij V de standaard reële vectorruimte en veronderstel dat allen verschillend van 0. Beschouw de kwadratische vorm
- Zij standaardbasis van . Stel een matrix op, waar de Gramm matrix is ten opzichte van van de bilineaire vorm geassocieerd aan .
- Zij A de matrix van een lineaire afbeelding ten opzichte van , en zij zoals hierboven. Noteer in matrix-vorm (namelijk als product van matrices) , en met .
- Definieer . Defininieer van een lineaire afbeelding als de determinant van de matrix die f definieert. Dit is onafhankelijk van de gekozen basis in V, maar dat hoef je niet aan te tonen. Toon aan dat voor elke geldt dat .
- Definieer en . Zijn en deelgroepen van ? Bewijs of geef een tegenvoorbeeld. (De bewerking is de samenstelling)
- Bereken voor alle in de vorige opgave gevonden deelgroepen de index in
Vraag 2
- Met de standaard duale basis van bedoelen we de duale basis geassocieerd aan de basis van met . Beschouw de basis van de
- Wat is toegepast op , waar a, b, c, d complexe getallen zijn?
- Druk uit in termen van de standaard duale basis van
- Beschouw de basis van de . Druk uit in termen van de standaard duale basis van . (Deze standaard duale basis wordt op analoge wijze gedefinieerd als die voor .)
Vraag 3
Zij een natuurlijk getal. Geef en bewijs een criterium wanneer een element een multiplicatief inverse heeft. Schets een algoritme om zo'n invers te berekenen.
15 juni 2009
Vraag 1
- Beschrijf een werkwijze (een oplossingswijze, een algoritme, maar niet noodzakelijk efficiënt) om voor een gegeven symmetrische bilineaire vorm <.,.> op een eindigdimensionale vectorruimte V over een veld K van karakteristiek verschillend van 2 een orthogonale basis te vinden. Geef ook kort aan waarom je oplossing werkt en wat je gebruikt.
- Alternatieve vraag (voor 2 punten minder): Geef het bewijs voor orthogonaliseerbaarheid van zo'n bilineaire vorm <.,.> op V. Dus bewijs dat er een orthogonale basis bestaat voor deze <.,.> met voorwaarden zoals gegeven hierboven.
Vraag 2
Beschrijf de theorie van Reed-Solomoncodes (Herinnering: dit werkt met polynomen over een eindig veld van beperkte graad)
Vraag 3
Bereken mod n en ook mod an voor a=1003, b=240 en n=16. Schrijf goed op wat je gebruikt en waarom het mag!
Vraag 4
Voor G,* een groep, noteer met G' de kleinste deelgroep van G die omvat. Definieer analoog H' voor een groep H. zij nu een groepshomomorfisme
- Zij een deelgroep van H. Toon aan dat een deelgroep is van G.
- Bereken G' in het geval dat G een commutatieve groep is.
- Geef een concreet voorbeeld waarbij f(G') niet gelijk is aan H'.
- Veronderstel dat een niet-triviaal groepshomomorfisme is, in de zin dat het beeld uit meer bestaat dan alleen maar het neutraal element van H. Geef dan (in deze algemene set-up) een voorbeeld van een niet-triviale linker-actie van g op H en toon aan dat het inderdaad aan de axioma's van linker-actie voldoet.
26 juni 2008
(1) Beschouw de lineaire code over gegeven door de generatorsmatrix met
- Bereken alle vectoren van
- Bereken
- Bij het doorsturen van informatie met deze code ontvang je . Je veronderstelt dat je alle gebeurde fouten kan verbeteren. Wat is dan de doorgestuurde boodschap? Leg je antwoord uit.
(2) Geef en bewijs de stelling Bézout-Bachet en de veralgemeende stelling van Bézout-Bachet.
(3) Wat is een bilineaire vorm op een vectorruimte? Leg uit.
25 juni 2008 (namiddag)
(1) Stel dat G een groep is met neutraal element, en dat x² = e voor alle x in G.
- Bewijs dat G commutatief is.
- Is G cyclisch? Bewijs of geef een tegenvoorbeeld.
(2) Geef en bewijs de Chinese reststelling.
(3) Leg het radicaal uit van een K-bilineaire symmetrische ruimte V.
(Ik kreeg op de mondelinge verdediging dan nog de volgende bijvraag: Bestaat er een symmetrische bilineaire vorm op zodat voor alle ?)
25 juni 2008 (voormiddag)
(1) Voor een noteren we met de verzameling van de -vouden. Het is eenvoudig in te zien dat dit een deelgroep is van (dit hoef je niet aan te tonen).
a. Toon aan dat elke deelgroep van geschreven kan worden als voor zekere .
b. Voor is
ook een deelgroep van (dit is wederom eenvoudig, en moet je niet aantonen). Zoek een zodat .
(2) Geef en bewijs de structuurstelling (ook genaamd de hoofdstelling) voor symmetrische bilineaire vormen. (Herinnering: dit gaat over diagonaalmatrices).
24 juni 2008 (namiddag)
(1) Zij een commutatieve groep, met neutraal element . Beschouw twee deelgroepen en . We definiëren dan
a. Bewijs dat een deelgroep is.
b. Als en beide cyclisch zijn, is dan ook cyclisch? Bewijs of geef een tegenvoorbeeld.
c. Veronderstel nu dat een eindige groep is, en dat . Bewijs dat de orde van een willekeurig element in kleiner dan of gelijk aan is.
(2) Geef en bewijs de stelling van Sylvester voor diagonaliseerbaarheid over .
24 juni 2008 (voormiddag)
1:Bereken voor een oneven natuurlijk getal n>1 en met ggd(a,10)=1 het voorlaatste cijfer in de decimale schrijfwijze van
2:Beschrijf de theorie van Reed-Solomoncodes.
3:Geef en bewijs de veralgemeende stelling van Bezout-Bachet.
5 september 2007
1: Zij G,. een groep met neutraal element e. We definiëren Tor(G) als de verzameling van alle x in G met eindige orde in G.
- Veronderstel dat G een eindige groep is, wat is dan Tor(G)?
- Toon aan dat als G een abelse groep is, Tor(G) een deelgroep va G is.
- Stel dat G een abelse groep is. Bereken dan Tor(G/Tor(G)). Geef en bewijs hierbij ook het resultaat uit de cursus dat een quotientgroep van een abelse groep wel degelijk een groepsstructuur heeft.
- Beschouw een ring R,+,. waarvoor geldt Tor(R,+)={0}. Toon aan dat er een voor zo'n ring een ringhomomorfisme bestaat
2: Beschouw de standaard 4 dimensionale vectorruimte over
- zij willekeurig. Bewijs dat een basis vormt
- Druk de duale basis uit in termen van de standaardbasis
- Geef een definitie van duale ruimte. Met welke gekende vectorruimte is isomorf. Als je hierbij een stelling uit de cursus gebruikt, vermeld deze dan nauwkeurig.
3: In deze opgave bekijken we enkele eigenschappen van ringen
- in geldt dat een veelterm van graad n maximaal wortels heeft. Is dit ook zo voor een ring? Bewijs of geef een tegenvoorbeeld.
- Geef alle oplossingen van de vergelijking in
- Neem 3 willekeurige getallen a,b en p met p een priemgetal. Bewijs dan dat juist een oplossing heeft als en slechts als
27 juni 2007
1:
- Geef en bewijs de congruentie van Euler en toon aan hoe je hieruit de Kleine Stelling van Fermat kunt halen.
- Is de volgende redenering correct: Neem de vergelijking = 1 mod 17 voor . Omdat ggd(3,17)=1 en geldt mod 17. Dus n is een oplossing van de vergelijking als en slechts als n = 0 mod 16 . Indien de redenering niet juist is, geef dan de correcte oplossingsverzameling.
2:
- Zij een groep waarvan alle elementen orde 1 of 2 hebben. Bewijs dat abels is.
- Is isomorf met ?
(Ik denk dat hier wat "gegevens" ontbreken, vb G kan ook alleen e bevatten enz, kdenk dat er bij moet staan orde G >=2) 3:
- Zij en twee priemgetallen met , zodanig dat priem is.
- Bewijs dat
- Bestaat de inverse van in (of: geef de inverse?)
- Bereken in .
4:
- Bereken in :
5: Zij een n x n matrix over een eindig veld met karakteristiek met p een priemgetal, bewijs dat als er n verschillende eigenwaarden zijn van die allemaal in zitten.
6:
- geef de definitie van een linker groepactie.
- Definieer de afbeeldingen en . Dan vormt een groep met als bewerking de samenstelling van functies. Definieer nu de afbeelding door en Dan is een linker groepsactie. Definieer nu . Toon aan dat een lineaire deelruimte is van beschouwd als reele vectorruimte.
- Vul de verzameling aan tot een verzameling die zowel een basis is van de reele vectorruimte als van de complexe vectorruimte .
- Neem nu als basis van . Schrijf de afbeeldingen in als lineaire combinaties van de afbeeldingen in de standaard duale basis van . Dit is de duale basis geassocieerd aan de basis van .