Getaltheorie: verschil tussen versies
Naar navigatie springen
Naar zoeken springen
Geen bewerkingssamenvatting |
examen van gisteren |
||
Regel 1: | Regel 1: | ||
== Getaltheorie ( prof. Jan Denef, 1LW1 ) == | == Getaltheorie ( prof. Jan Denef, 1LW1 ) == | ||
=== Examen van 29 juni 2007 === | |||
# Werk de volgende citaten uit de cursustekst heel nauwkeurig uit: | |||
## Algoritme 4.1.7 op pagina 15: ''De kans dat <math>\frac{c + b}{c - b}</math> geen kwadraat is in <math>\left(\mathbb{Z}/p\mathbb{Z}\right)^*</math> is minstens 1/2, aangezien de afbeelding <math>c \mapsto \frac{c + b}{c - b}</math> een bijectie is van <math>\left(\mathbb{Z}/p\mathbb{Z}\right)^* \setminus \{-b,b\}</math> naar <math>\left(\mathbb{Z}/p\mathbb{Z}\right)^* \setminus \{-1,1\}</math>.'' | |||
## Eigenschap 6.3.5 op pagina 38: ''Dit is onafhankelijk van de keuze van <math>n</math> en <math>m</math> omdat de te bewijzen beweringen gelden voor de <math>p</math>-adische gehelen in <math>\mathbb{N}</math>.'' | |||
## Eigenschap 8.5.1 op pagina 64: ''Omdat <math>\mathbb{Z} + \sqrt{-2}\mathbb{Z}</math> een uniek factorizatiedomein is, en omdat <math>y + \sqrt{-2}</math> en <math>y - \sqrt{-2}</math> onderling ondeelbaar zijn, volgt uit <math>\left(y + \sqrt{-2}\right)\left(y - \sqrt{-2}\right) = x^3</math> dat <math>y +\sqrt{-2}</math> het product is van de derde macht van een element van <math>\mathbb{Z} + \sqrt{-2}\mathbb{Z}</math> en een eenheid in <math>\mathbb{Z} + \sqrt{-2}\mathbb{Z}</math>.'' | |||
# Noteer met <math>V</math> de verzameling van alle natuurlijke getallen die op "2007" eindigen in hun decimale voorstelling. Bepaal alle priemgetallen <math>p</math> zodat de verzameling <math>V</math> dicht is in <math>\mathbb{Z}_p</math>, de ring van de <math>p</math>-adische gehelen met de <math>p</math>-adische metriek. | |||
# Zij <math>p</math> een willekeurig priemgetal. We noemen <math>X \in \mathbb{Z}_p</math> de Teichmüller lift van <math>a \in \mathbb{F}_p</math> (het veld met <math>p</math> elementen) indien het beeld van <math>X</math> in <math>\mathbb{F}_p</math> gelijk is aan <math>x</math> en <math>X^p = X</math>. | |||
## Bewijs dat elke <math>a \in \mathbb{F}_p</math> een unieke Teichmüller lift <math>A</math> heeft. | |||
## Stel <math>p = 5</math> en <math>a = \bar{2}</math>. Bepaal de waarde van <math>A</math> modulo 125. | |||
# Deze vraag bestaat uit drie deeltjes: | |||
## Zij <math>p</math> priem. Bewijs dat <math>\left(\frac3p\right) = (-1)^{\left[\frac{p}{3}\right] - \left[\frac{p}{6}\right]}</math>, met <math>[x]</math> het grootste geheel getal kleiner dan of gelijk aan <math>x</math>. | |||
## Zij <math>m \neq 0</math> een geheel getal. Bewijs dat <math>12m^2 - 1</math> een priemdeler <math>p</math> heeft met <math>p \equiv 11 \pmod{12}</math>. | |||
## Bewijs dat er oneindig veel priemgetallen <math>p</math> bestaan met <math>p \equiv 1 \pmod{3}</math>. (Hint: wanneer is <math>\left(\frac{-3}{p}\right) = 1</math>?) | |||
# Beschouw voor een gegeven priemgetal <math>p</math> de vergelijking <math>x^2 - xy + 2y^2 = p</math>. | |||
## Bewijs dat de vergelijking een gehele oplossing <math>(x,y)</math> heeft als <math>p \equiv 1 \pmod{7}</math>. | |||
## Bepaal alle gehele oplossingen <math>(x,y)</math> voor <math>p = 29</math>. | |||
=== Examen van 23 juni 2006 (NIET MEER RELEVANT) === | === Examen van 23 juni 2006 (NIET MEER RELEVANT) === | ||
Versie van 30 jun 2007 10:50
Getaltheorie ( prof. Jan Denef, 1LW1 )
Examen van 29 juni 2007
- Werk de volgende citaten uit de cursustekst heel nauwkeurig uit:
- Algoritme 4.1.7 op pagina 15: De kans dat geen kwadraat is in is minstens 1/2, aangezien de afbeelding een bijectie is van naar .
- Eigenschap 6.3.5 op pagina 38: Dit is onafhankelijk van de keuze van en omdat de te bewijzen beweringen gelden voor de -adische gehelen in .
- Eigenschap 8.5.1 op pagina 64: Omdat een uniek factorizatiedomein is, en omdat en onderling ondeelbaar zijn, volgt uit dat het product is van de derde macht van een element van en een eenheid in .
- Noteer met de verzameling van alle natuurlijke getallen die op "2007" eindigen in hun decimale voorstelling. Bepaal alle priemgetallen zodat de verzameling dicht is in , de ring van de -adische gehelen met de -adische metriek.
- Zij een willekeurig priemgetal. We noemen de Teichmüller lift van (het veld met elementen) indien het beeld van in gelijk is aan en .
- Bewijs dat elke een unieke Teichmüller lift heeft.
- Stel en . Bepaal de waarde van modulo 125.
- Deze vraag bestaat uit drie deeltjes:
- Zij priem. Bewijs dat , met het grootste geheel getal kleiner dan of gelijk aan .
- Zij een geheel getal. Bewijs dat een priemdeler heeft met .
- Bewijs dat er oneindig veel priemgetallen bestaan met . (Hint: wanneer is ?)
- Beschouw voor een gegeven priemgetal de vergelijking .
- Bewijs dat de vergelijking een gehele oplossing heeft als .
- Bepaal alle gehele oplossingen voor .
Examen van 23 juni 2006 (NIET MEER RELEVANT)
- gegeven een getal , , is priem.
Bewijs: - Beschrijf met één congruentierelatie alle priemgetallen p, die in decimale schrijfwijze niet eindigen op 1 of 6, en waarvoor volgende eigenschappen heeft:
- Er bestaat een getal a dat a+1 als multiplicatieve inverse heeft.
- Er bestaan getallen a en b die zowel elkaars multiplicatieve als additieve inverse zijn.
- Er bestaat een getal waarvan de derde macht gelijk is aan het drievoud.
- Neem E het ontbindingsveld van de veelterm
Bewijs:
Met welke gekende groep is de Galois-groep van E over isomorf?
Beschrijf ten slotte alle tussenvelden tussen E en met behulp van een primitief element. - Gegeven: E is een eindige normale velduitbreiding van F.
is een vectorruimte over E, die gesloten is onder de actie van Gal(E,F), d.w.z.
Stel .
Bewijs dat een F-basis van ook een E-basis is van