Getaltheorie: verschil tussen versies

Uit Wina Examenwiki
Naar navigatie springen Naar zoeken springen
Geen bewerkingssamenvatting
Arne (overleg | bijdragen)
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

  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 Xp de Teichmüller lift van a𝔽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