Getaltheorie: verschil tussen versies

Uit Wina Examenwiki
Naar navigatie springen Naar zoeken springen
Arne (overleg | bijdragen)
kGeen bewerkingssamenvatting
Geert (overleg | bijdragen)
Regel 7: Regel 7:
## 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>.''
## 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.
# 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>.
# Zij <math>p</math> een willekeurig priemgetal. We noemen <math>X \in \mathbf{Z}_p</math> de Teichmüller lift van <math>x \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.
## 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.
## Stel <math>p = 5</math> en <math>a = \bar{2}</math>. Bepaal de waarde van <math>A</math> modulo 125.
Regel 17: Regel 17:
## Bewijs dat de vergelijking een gehele oplossing <math>(x,y)</math> heeft als <math>p \equiv 1 \pmod{7}</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>.
## 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 8 jun 2008 13:12

Getaltheorie (prof. Jan Denef, 3BW/MW)

Examen van 29 juni 2007

  1. Werk de volgende citaten uit de cursustekst heel nauwkeurig uit:
    1. Algoritme 4.1.7 op pagina 15: De kans dat c+bcb geen kwadraat is in (/p)* is minstens 1/2, aangezien de afbeelding cc+bcb een bijectie is van (/p)*{b,b} naar (/p)*{1,1}.
    2. Eigenschap 6.3.5 op pagina 38: Dit is onafhankelijk van de keuze van n en m omdat de te bewijzen beweringen gelden voor de p-adische gehelen in .
    3. Eigenschap 8.5.1 op pagina 64: Omdat +2 een uniek factorizatiedomein is, en omdat y+2 en y2 onderling ondeelbaar zijn, volgt uit (y+2)(y2)=x3 dat y+2 het product is van de derde macht van een element van +2 en een eenheid in +2.
  2. Noteer met V de verzameling van alle natuurlijke getallen die op "2007" eindigen in hun decimale voorstelling. Bepaal alle priemgetallen p zodat de verzameling V dicht is in p, de ring van de p-adische gehelen met de p-adische metriek.
  3. Zij p een willekeurig priemgetal. We noemen X𝐙p de Teichmüller lift van x𝔽p (het veld met p elementen) indien het beeld van X in 𝔽p gelijk is aan x en Xp=X.
    1. Bewijs dat elke a𝔽p een unieke Teichmüller lift A heeft.
    2. Stel p=5 en a=2¯. Bepaal de waarde van A modulo 125.
  4. Deze vraag bestaat uit drie deeltjes:
    1. Zij p priem. Bewijs dat (3p)=(1)[p3][p6], met [x] het grootste geheel getal kleiner dan of gelijk aan x.
    2. Zij m0 een geheel getal. Bewijs dat 12m21 een priemdeler p heeft met p11(mod12).
    3. Bewijs dat er oneindig veel priemgetallen p bestaan met p1(mod3). (Hint: wanneer is (3p)=1?)
  5. Beschouw voor een gegeven priemgetal p de vergelijking x2xy+2y2=p.
    1. Bewijs dat de vergelijking een gehele oplossing (x,y) heeft als p1(mod7).
    2. Bepaal alle gehele oplossingen (x,y) voor p=29.

Examen van 23 juni 2006 (NIET MEER RELEVANT)

  1. gegeven een getal p=3mod4, q=2p+1, q is priem.
    Bewijs: q|2p1
  2. Beschrijf met één congruentierelatie alle priemgetallen p, die in decimale schrijfwijze niet eindigen op 1 of 6, en waarvoor p 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 xpx waarvan de derde macht gelijk is aan het drievoud.
  3. Neem E het ontbindingsveld van de veelterm x3+5[x]
    Bewijs: E=(3,53)
    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.
  4. Gegeven: E is een eindige normale velduitbreiding van F.
    VEE[x] is een vectorruimte over E, die gesloten is onder de actie van Gal(E,F), d.w.z.
    fσVE  fVE,σGal(E,F)
    Stel VF=VEF[x].
    Bewijs dat een F-basis van VF ook een E-basis is van VE