Algebra II: verschil tussen versies

Ga naar: navigatie, zoeken
(TucibqEiUuXfBj)
(Versie 12356 van 193.190.253.216 (overleg) ongedaan gemaakt.)
Regel 1: Regel 1:
B1hICk <a href="http://fnwfjbiwwgab.com/">fnwfjbiwwgab</a>, [url=http://jvleuasccijv.com/]jvleuasccijv[/url], [link=http://ugjehkglwmuv.com/]ugjehkglwmuv[/link], http://pmwfhfbnqulf.com/
+
== Eerste zit 2010-2011 ==
 +
 
 +
=== Vraag 1 ===
 +
#Op pagina 9 van Galoistheorie staat in het bewijs van Stelling 2.2.5. "Het is gemakkelijk aan te tonen dat de afbeelding een isomorfisme is van vectorruimten over E". Toon aan dat deze afbeelding een injectie is.
 +
# In het deel over Hilbert's Nullstellensatz staat in Opmerking 1.4. "Het is niet waar dat de unie van een oneindig aantal algebraïsche verzamelingen steeds een algebraïsche verzameling is". Geef een voorbeeld van een oneindige unie van algebraïsche verzamelingen die geen algebraïsche verzameling is.
 +
 
 +
=== Vraag 2 ===
 +
Zij <math>w=e^{2\pi i /5}</math>. In de oefenzitting hebben we aangetoond dat <math>\mathbb{Q}(w)</math> Galois is over <math> \mathbb{Q} </math> en dat de Galoisgroep van <math>\mathbb{Q}(w)</math> over <math> \mathbb{Q} </math> cyclisch is.
 +
# Geef een generator voor deze Galoisgroep.
 +
# Bepaal alle deelvelden van <math>\mathbb{Q}(w)</math>.
 +
 
 +
=== Vraag 3 ===
 +
Zij <math>K \subset E</math> en E is het ontbindingsveld van een veelterm <math> f(x) \in K[x] </math> van graad n. Zij <math> \alpha_1, ... , \alpha_n </math> de verschillende wortels van f. We identificeren de Galoisgroep van E over K zoals in de cursus met een deelgroep van <math>\mathcal{S}_n</math> met behulp van het injectief groepshomomorfisme: <math> Gal(E/K) \longrightarrow \mathcal{S}_n: \sigma \longrightarrow \sigma|_{\alpha_1,...,\alpha_,}</math>. Definieer <math> \Delta </math> als volgt:
 +
<math> \Delta = \prod_{1 \leq i < j \leq n} (\alpha_i - \alpha_j)</math>
 +
# Toon aan dat <math> \sigma(\Delta) = sgn(\sigma) \Delta </math>.
 +
# Toon aan dat <math> \Delta^2 \in K </math>.
 +
# We identificeren <math> \mathcal{A}_n \cap Gal(E/K) </math> via de Galoiscorrespondentie met een deelveld van E. Toon aan dat dit deelveld <math> K(\Delta) </math> is.
 +
# Toon aan dat
 +
<math> Gal(E/K) \subset \mathcal{A}_n \Leftrightarrow \Delta \in K </math>
 +
 
 +
=== Vraag 4 ===
 +
Waar of niet waar? Bewijs of geef een tegenvoorbeeld.
 +
# Zij <math> a, b \in E </math>. Als er een automorfisme <math> \phi </math> van E over K bestaat met <math> \phi(a) = b </math>, dan hebben a en b dezelfde minimale veelterm over K.
 +
# Zij <math> a, b \in E </math>. Als a en b dezelfde minimale veelterm over K hebben, dan bestaat er een automorfisme <math> \phi </math> van E over K met <math> \phi(a) = b </math>.
 +
 
 +
=== Vraag 5 ===
 +
Geef een Gröbner basis van I = < <math>x^2-z , \ xy^2-z </math>> en bereken <lt(I)>.
 +
 
 +
== Eerste zit 2009-2010 ==
 +
[[Media:ExamenAlgebra2_2010.pdf‎]]
 +
 
 +
== Tweede zit 2008-2009 ==
 +
 
 +
===Vraag 1 ===
 +
Op pagina 25 staat Lemma 4.2.5. In het bewijs staat dat het makkelijk na te gaan is dat E' een radikale uitbreiding is van K en dat E' stabiel is ten opzichte van <math>K \subset E''</math>. Leg uitvoerig uit.
 +
 
 +
===Vraag 2===
 +
Zij <math>w_n = e^{2\pi i/n}</math> met n verschillend van 0. Beschouw H de deelgroep van de multiplicatieve groep van <math>\mathbb{Q}(w_n)</math>, voortgebracht door <math>w_n</math>.
 +
#Bewijs dat H cyclisch is van orde n, en dat elk element van <math>Gal(\mathbb{Q}(w_n),\mathbb{Q})</math> uw <math>w_n</math> afbeeldt op een generator.
 +
#Vanaf nu is n = 12. Geef een afschatting N van het aantal elementen in <math>Gal(\mathbb{Q}(w_n),\mathbb{Q})</math>.
 +
#Geef een veelterm van graad N met <math>w_n</math> als wortel die irreducibel is over <math>\mathbb{Q}</math>.
 +
#Bewijs dat <math> \mathbb{Q} \subset \mathbb{Q}(w_n)</math>  galois is en leg uit hoe de galoisgroep eruit ziet (maw: met welke bekende groep is deze isomorf?)
 +
 
 +
 
 +
Antwoord was N=4, want enkel 1, 5, 7 en 11 zijn onderling ondeelbaar met 12. Galoisgroep is isomorf met Z_2 + Z_2
 +
 
 +
===Vraag 3===
 +
 
 +
Zij <math>K \subset L </math> een Galois-velduitbreiding met Galoisgroep G en zij <math>\alpha \in L</math>.
 +
Toon aan: <math> L = K \left( \alpha \right) \Leftrightarrow </math> de beelden van <math>\alpha</math> onder de elementen van G zijn allemaal verschillend.
 +
 
 +
===Vraag 4===
 +
 
 +
Geef twee veeltermen <math>f, g \in \mathbb{C}[x, y]</math> zodat {f, g} geen Grobnerbasis is voor <f, g> voor eender welke monomenordening.
 +
 
 +
Mogelijk antwoord was x+1 en x. (hier moest wel nog extra uitleg bij waarom - uitleggen waarom 1 nooit groter dan x kan zijn voor een monomenordening.)
 +
===Vraag 5===
 +
 
 +
Bekijk opmerking 1.3 van de blaadjes over Nullstellensatz.
 +
#Geef een voorbeeld van <math>IJ \neq I\cap J</math> en  een voorbeeld van <math>IJ = I\cap J</math>
 +
#Is <math>V(I \cap J) = V(I) \cup V(J)</math> voor I, J idealen in een polynomenring <math>F[x_1, x_2, ..., x_n]</math> met F een veld? Bewijs of geef een tegenvoorbeeld!
 +
 
 +
Antwoord was dat het weldegelijk gelijk was.
 +
== Eerste zit 2008-2009 ==
 +
[[Media:AlgebraII_eerste_zit_2008_2009.pdf]]
 +
 
 +
== Tweede zit 2007-2008 ==
 +
=== Vraag 1 ===
 +
Lemma 4.55.  Leg uit waarom de laatste zin van de eerste paragraaf in het bewijs van dat lemma waar is.  "Thus an element of G is of order p if and only if it cyclically permutes roots of f."
 +
 
 +
=== Vraag 2 ===
 +
===== Vraag 2A =====
 +
Zij <math>K \subset L </math> een velduitbreiding van graad 3 die Galois is.  Zij <math>x_1, x_2, x_3 </math> een basis van L als vectorruimte over K en zij <math>Gal(L,K)=\{\sigma_1, \sigma_2, \sigma_3\}</math>.  Definieer
 +
<pre>
 +
        (    sigma_1(x_1)      sigma_1(x_2)      sigma_1(x_3)    )
 +
d := det (    sigma_2(x_1)      sigma_2(x_2)      sigma_2(x_3)    )
 +
        (    sigma_3(x_1)      sigma_3(x_2)      sigma_3(x_3)    )
 +
</pre>
 +
Toon aan dat <math>d \in K</math>.
 +
 
 +
===== Vraag 2B =====
 +
Zij <math>K \subset L </math> een Galois-velduitbreiding met Galoisgroep G en zij <math>\alpha \in L</math>.
 +
Toon aan: <math> L = K \left( \alpha \right) \Leftrightarrow </math> de beelden van <math>\alpha</math> onder de elementen van G zijn allemaal verschillend.
 +
 
 +
=== Vraag 3 ===
 +
===== Vraag 3A =====
 +
Bepaal de Galoisgroep van <math>x^4 - 8x^2 +9</math> over <math>\mathbb{Q}</math>.  Met welke bekende groep is deze isomorf?  Verklaar elke stap!  (Je mag aannemen dat de vermelde polynoom irreducibel is over <math>\mathbb{Q}</math>.)
 +
 
 +
===== Vraag 3B =====
 +
Bepaal de Galoisgroep voor dezelfde polynoom over <math>\mathbb{Q}\left(\sqrt{7}\right)</math>.
 +
 
 +
=== Vraag 4 ===
 +
===== Vraag 4A =====
 +
Zij <math>G := \{ xy-xz, x^2 z + y^3 -1, x^3 z + x z^3 - x \}</math>.  Is dit een Gröbnerbasis voor <math><_{grevlex}</math> met
 +
<math>x > y > z</math>. Indien wel, is ze dan ook minimaal en gereduceerd?  Indien niet, geef dan een <math>f \in <G></math> met f rem G <math>\neq</math> 0.
 +
 
 +
===== Vraag 4B =====
 +
Dezelfde vraag voor <math><_{lex}</math>.
 +
 
 +
== Eerste zit 2007-2008 ==
 +
 
 +
Examen van 28 januari 2008 (14u)
 +
 
 +
Het examen is (uiteraard) open boek. Je hebt vier uur tijd voor dit examen, en dat is écht weinig.
 +
 
 +
Er is ook een practicum in Maple dat voor 2 van de 20 punten telt.
 +
 
 +
Oplossing van het examen, via Lise via Toledo: [[Media:Oplossingen_examen_algebra_3BA_jan08_1.pdf‎]]
 +
 
 +
=== Vraag 1 ===
 +
 
 +
In de definitie (in de cursustekst) van het radicaal Rad(J) van een ideaal J in een commutatieve ring R wordt beweerd dat Rad(J) ook een ideaal is van R. Geef hiervoor een bewijs.
 +
 
 +
=== Vraag 2 ===
 +
 
 +
Waar of fout? Bewijs of geef een tegenvoorbeeld.
 +
 
 +
*Zij <math>n \geq 2</math> even. Dan bestaat er een veelterm van graad <math>n</math> over <math>\mathbb{Q}</math> met <math>n</math> verschillende wortels, zodat de Galoisgroep van deze veelterm (over <math>\mathbb{Q}</math>) isomorf is met <math>\mathbb{Z}/2\mathbb{Z},+</math>.
 +
*Zijn <math>F \subseteq E_1 \subseteq E_2</math> eindige velduitbreidingen. Indien <math>\Gamma\left(E_1:F\right) \cong \Gamma\left(E_2 : F\right)</math>, dan is <math>E_1 = E_2</math>.
 +
 
 +
=== Vraag 3 ===
 +
 
 +
Zij <math>n \geq 1</math> een geheel getal. Zij <math>\omega</math> een primitieve <math>n</math>-de eenheidswortel in <math>\mathbb{C}</math>. Zij K een deelveld van <math>\mathbb{C}</math> dat <math>\omega</math> bevat. Zij <math>a \in \mathbb{Z}</math> en zij <math>b</math> een wortel van <math>X^n - a</math> in <math>\mathbb{C}</math>.
 +
 
 +
*Bewijs dat <math>\Gamma(K(b) : K)</math> isomorf is met <math>\mathbb{Z}/d\mathbb{Z}</math>, waarbij <math>d </math> een deler is van <math>n</math>.
 +
*Bewijs dat <math>b^d \in K</math>.
 +
*Stel dat <math>X^n - a</math> irreducibel is over <math>K</math>. Bewijs dat <math>\Gamma(K(b) : K)</math> isomorf is met <math>\mathbb{Z}/n\mathbb{Z}</math>
 +
 
 +
=== Vraag 4 ===
 +
 
 +
Bepaal de Galoisgroep van <math>X^3 - 5</math> over
 +
*<math>\mathbb{Q}</math>
 +
*<math>\mathbb{Q}\left(\sqrt[3]{5}\right)</math>
 +
*<math>\mathbb{Q}\left(\sqrt{3}i\right)</math>
 +
 
 +
=== Vraag 5 ===
 +
 
 +
*Beschouw <math>I = \langle xy + y, xy + 2y - x \rangle \subseteq \mathbb{C}[x,y]</math>. Bepaal een Gröbnerbasis voor I t.o.v. de grlex-orde.  Geef een basis voor <math>\mathbb{C}[x,y]/I</math> als vectorruimte over <math>\mathbb{C}</math>.
 +
*Zij <math>I</math> een ideaal in <math>\mathbb{C}\left[x_1,x_2,\,\cdots,x_n\right]</math> met Gröbnerbasis <math>G</math>. Construeer een basis voor de <math>\mathbb{C}</math>-vectorruimte <math>\mathbb{C}\left[x_1,x_2,\,\cdots,x_n\right]/I</math> en bewijs.
 +
 
 +
== Eerste zit 2006-2007 ==
 +
 
 +
[[Media:Ex_algebra_3BA_jan07.pdf‎]]
 +
 
 +
== Eerste zit 2002-03 ==
 +
 
 +
=== Oefening 1 ===
 +
 
 +
Waar is niet waar? (Bewijs of geef een tegenvoorbeeld)
 +
 
 +
a) Zij <math>K\subset L</math> een velduitbreiding van graad 2. Dan is <math>L</math> normaal over <math>K</math>.
 +
 
 +
b) Zij <math>L=K(\alpha)</math>. als de uitbreidingsgraad <math>[L:K]</math> oneven is, dan is <math>L=K(\alpha^2)</math>.
 +
 
 +
=== Oefening 2 ===
 +
 
 +
Zij <math>p\neq 2</math> priem, en zij <math>\xi</math> een complexe primitieve <math>p</math>-de eenheidswortel. dan is de Galoisgroep <math>G(\mathbb Q(\xi),\mathbb Q)</math> isomorf met de multiplicatieve groep <math>\mathbb Z^\times_p</math>. Zij <math>\chi</math> het unieke niet-triviale groepsmorfisme van <math>\mathbb{Z}^\times_p</math> naar {1,-1}, en stel <math>\alpha =\sum^{p-1}_{s=1}\chi(s)\xi^s</math>.
 +
 
 +
a) toon aan dat er een uniek deelveld <math>K</math> van <math>\mathbb Q(\xi)</math> bestaat met uitbreidingsgraad 2 over <math>\mathbb Q</math>.
 +
 
 +
b) Fixeer een isomorfisme <math>\psi : G(\mathbb Q(\xi),\mathbb Q)\rightarrow\mathbb Z^\times_p</math>. Bewijs dat, voor elk automorfisme <math>\sigma\in G(\mathbb Q(\xi),\mathbb Q)</math>, het beeld van <math>\alpha</math> onder <math>\sigma</math> gelijk is aan <math>(\chi\circ\psi)(\sigma)</math> maal <math>\alpha</math>.
 +
 
 +
c) toon aan dat <math>K=\mathbb Q(\alpha)</math>.
 +
 
 +
== Eerste zit 2001-02 ==
 +
 
 +
=== Oefening 1 ===
 +
 
 +
Zij <math>K</math> een eindige uitbreiding van het veld <math>\mathbb Q</math>. zij <math>g(x_1,\ldots,x_n)</math> een niet nul veelterm over <math>K</math>. Zij <math>A</math> een deelverzameling van <math>\mathbb Q^n</math> en veronderstel dat <math>g</math> nul is op elk element van <math>A</math>. Gebruik Galoistheorie om een niet nul veelterm <math>h(x_1,\ldots,x_n)</math> over <math>\mathbb Q</math> te construeren die nul is op elk element van <math>A</math>.
 +
 
 +
 
 +
== Tweede zit 1999-2000 ==
 +
 
 +
 
 +
=== Oefening 1 ===
 +
 
 +
b) Waar of niet waar? Zij <math>K\subset L</math> velden en <math>a,b\in L</math> met dezelfde minimale veelterm <math>f(x)</math> over <math>K</math>. Veronderstel dat <math>L</math> een eindige normale uitbreiding is over <math>K</math>. Dan bestaat er een <math>\sigma\in G(L:K)</math> zodat <math>\sigma(a)=b</math>.
 +
 
 +
=== Oefening 2 ===
 +
 
 +
Zij <math>E</math> een eindige normale uitbreiding van <math>\mathbb Q</math>, met Galoisgroep <math>G(E:\mathbb Q)\cong\mathbb Z_4,+</math>.
 +
 
 +
a) Bewijs dat er <math>a,b\in\mathbb Z</math> bestaan zodat <math>E=\mathbb Q(\sqrt{a+\sqrt{b}})</math>.
 +
 
 +
b) Geef de stabiele velden t.o.v. <math>E</math> en <math>\mathbb Q</math>.
 +
 
 +
=== Oefening 3 ===
 +
 
 +
Geef een basis van de vectorruimte <math>\mathbb Q(1+\sqrt[3]{5},\sqrt[4]{3})</math> over het veld <math>\mathbb Q(\sqrt{3})</math>.
 +
 
 +
 
 +
== Eerste zit 1999-2000 ==
 +
 
 +
=== Oefening 1 ===
 +
 
 +
Zij <math>L=\mathbb Q(\sqrt[3]{2},\sqrt{3}i)</math>.
 +
 
 +
a) Is <math>L=\mathbb Q(\sqrt[3]{2}\sqrt{3}i)</math>? Bepaal een minimale veelterm van <math>\sqrt[3]{2}\sqrt{3}i</math> over <math>\mathbb Q</math>.
 +
 
 +
b) Bepaal <math>G(L,\mathbb Q)</math> en <math>L_{G(L,\mathbb Q)}</math>. Met welke groep is <math>G(L,\mathbb Q)</math> isomorf?
 +
 
 +
=== Oefening 2 ===
 +
 
 +
Zij <math>F\subset K</math> velden en <math>K</math> een eindige separabele uitbreiding van <math>F</math>. Toon aan:
 +
 
 +
<math>K</math> is normaal over <math>F\Leftrightarrow</math> voor elke velduitbreiding <math>L</math> van <math>K</math> en elk ringmorfisme <math>\sigma : K \rightarrow L</math> met <math>\sigma |_F=Id_F</math> geldt: <math>\sigma(K)\subset K</math>.
 +
 
 +
 
 +
 
 +
[[Categorie:3bw]]

Versie van 23 mrt 2011 om 23:18

Eerste zit 2010-2011

Vraag 1

  1. Op pagina 9 van Galoistheorie staat in het bewijs van Stelling 2.2.5. "Het is gemakkelijk aan te tonen dat de afbeelding een isomorfisme is van vectorruimten over E". Toon aan dat deze afbeelding een injectie is.
  2. In het deel over Hilbert's Nullstellensatz staat in Opmerking 1.4. "Het is niet waar dat de unie van een oneindig aantal algebraïsche verzamelingen steeds een algebraïsche verzameling is". Geef een voorbeeld van een oneindige unie van algebraïsche verzamelingen die geen algebraïsche verzameling is.

Vraag 2

Zij . In de oefenzitting hebben we aangetoond dat Galois is over en dat de Galoisgroep van over cyclisch is.

  1. Geef een generator voor deze Galoisgroep.
  2. Bepaal alle deelvelden van .

Vraag 3

Zij en E is het ontbindingsveld van een veelterm van graad n. Zij de verschillende wortels van f. We identificeren de Galoisgroep van E over K zoals in de cursus met een deelgroep van met behulp van het injectief groepshomomorfisme: . Definieer als volgt:

  1. Toon aan dat .
  2. Toon aan dat .
  3. We identificeren via de Galoiscorrespondentie met een deelveld van E. Toon aan dat dit deelveld is.
  4. Toon aan dat

Vraag 4

Waar of niet waar? Bewijs of geef een tegenvoorbeeld.

  1. Zij . Als er een automorfisme van E over K bestaat met , dan hebben a en b dezelfde minimale veelterm over K.
  2. Zij . Als a en b dezelfde minimale veelterm over K hebben, dan bestaat er een automorfisme van E over K met .

Vraag 5

Geef een Gröbner basis van I = < > en bereken <lt(I)>.

Eerste zit 2009-2010

Media:ExamenAlgebra2_2010.pdf‎

Tweede zit 2008-2009

Vraag 1

Op pagina 25 staat Lemma 4.2.5. In het bewijs staat dat het makkelijk na te gaan is dat E' een radikale uitbreiding is van K en dat E' stabiel is ten opzichte van . Leg uitvoerig uit.

Vraag 2

Zij met n verschillend van 0. Beschouw H de deelgroep van de multiplicatieve groep van , voortgebracht door .

  1. Bewijs dat H cyclisch is van orde n, en dat elk element van uw afbeeldt op een generator.
  2. Vanaf nu is n = 12. Geef een afschatting N van het aantal elementen in .
  3. Geef een veelterm van graad N met als wortel die irreducibel is over .
  4. Bewijs dat galois is en leg uit hoe de galoisgroep eruit ziet (maw: met welke bekende groep is deze isomorf?)


Antwoord was N=4, want enkel 1, 5, 7 en 11 zijn onderling ondeelbaar met 12. Galoisgroep is isomorf met Z_2 + Z_2

Vraag 3

Zij een Galois-velduitbreiding met Galoisgroep G en zij . Toon aan: de beelden van onder de elementen van G zijn allemaal verschillend.

Vraag 4

Geef twee veeltermen zodat {f, g} geen Grobnerbasis is voor <f, g> voor eender welke monomenordening.

Mogelijk antwoord was x+1 en x. (hier moest wel nog extra uitleg bij waarom - uitleggen waarom 1 nooit groter dan x kan zijn voor een monomenordening.)

Vraag 5

Bekijk opmerking 1.3 van de blaadjes over Nullstellensatz.

  1. Geef een voorbeeld van en een voorbeeld van
  2. Is voor I, J idealen in een polynomenring met F een veld? Bewijs of geef een tegenvoorbeeld!

Antwoord was dat het weldegelijk gelijk was.

Eerste zit 2008-2009

Media:AlgebraII_eerste_zit_2008_2009.pdf

Tweede zit 2007-2008

Vraag 1

Lemma 4.55. Leg uit waarom de laatste zin van de eerste paragraaf in het bewijs van dat lemma waar is. "Thus an element of G is of order p if and only if it cyclically permutes roots of f."

Vraag 2

Vraag 2A

Zij een velduitbreiding van graad 3 die Galois is. Zij een basis van L als vectorruimte over K en zij . Definieer

         (    sigma_1(x_1)       sigma_1(x_2)       sigma_1(x_3)    )
d := det (    sigma_2(x_1)       sigma_2(x_2)       sigma_2(x_3)    )
         (    sigma_3(x_1)       sigma_3(x_2)       sigma_3(x_3)    )

Toon aan dat .

Vraag 2B

Zij een Galois-velduitbreiding met Galoisgroep G en zij . Toon aan: de beelden van onder de elementen van G zijn allemaal verschillend.

Vraag 3

Vraag 3A

Bepaal de Galoisgroep van over . Met welke bekende groep is deze isomorf? Verklaar elke stap! (Je mag aannemen dat de vermelde polynoom irreducibel is over .)

Vraag 3B

Bepaal de Galoisgroep voor dezelfde polynoom over .

Vraag 4

Vraag 4A

Zij . Is dit een Gröbnerbasis voor met . Indien wel, is ze dan ook minimaal en gereduceerd? Indien niet, geef dan een met f rem G 0.

Vraag 4B

Dezelfde vraag voor .

Eerste zit 2007-2008

Examen van 28 januari 2008 (14u)

Het examen is (uiteraard) open boek. Je hebt vier uur tijd voor dit examen, en dat is écht weinig.

Er is ook een practicum in Maple dat voor 2 van de 20 punten telt.

Oplossing van het examen, via Lise via Toledo: Media:Oplossingen_examen_algebra_3BA_jan08_1.pdf‎

Vraag 1

In de definitie (in de cursustekst) van het radicaal Rad(J) van een ideaal J in een commutatieve ring R wordt beweerd dat Rad(J) ook een ideaal is van R. Geef hiervoor een bewijs.

Vraag 2

Waar of fout? Bewijs of geef een tegenvoorbeeld.

  • Zij even. Dan bestaat er een veelterm van graad over met verschillende wortels, zodat de Galoisgroep van deze veelterm (over ) isomorf is met .
  • Zijn eindige velduitbreidingen. Indien , dan is .

Vraag 3

Zij een geheel getal. Zij een primitieve -de eenheidswortel in . Zij K een deelveld van dat bevat. Zij en zij een wortel van in .

  • Bewijs dat isomorf is met , waarbij een deler is van .
  • Bewijs dat .
  • Stel dat irreducibel is over . Bewijs dat isomorf is met

Vraag 4

Bepaal de Galoisgroep van over

Vraag 5

  • Beschouw . Bepaal een Gröbnerbasis voor I t.o.v. de grlex-orde. Geef een basis voor als vectorruimte over .
  • Zij een ideaal in met Gröbnerbasis . Construeer een basis voor de -vectorruimte en bewijs.

Eerste zit 2006-2007

Media:Ex_algebra_3BA_jan07.pdf‎

Eerste zit 2002-03

Oefening 1

Waar is niet waar? (Bewijs of geef een tegenvoorbeeld)

a) Zij een velduitbreiding van graad 2. Dan is normaal over .

b) Zij . als de uitbreidingsgraad oneven is, dan is .

Oefening 2

Zij priem, en zij een complexe primitieve -de eenheidswortel. dan is de Galoisgroep isomorf met de multiplicatieve groep . Zij het unieke niet-triviale groepsmorfisme van naar {1,-1}, en stel .

a) toon aan dat er een uniek deelveld van bestaat met uitbreidingsgraad 2 over .

b) Fixeer een isomorfisme . Bewijs dat, voor elk automorfisme , het beeld van onder gelijk is aan maal .

c) toon aan dat .

Eerste zit 2001-02

Oefening 1

Zij een eindige uitbreiding van het veld . zij een niet nul veelterm over . Zij een deelverzameling van en veronderstel dat nul is op elk element van . Gebruik Galoistheorie om een niet nul veelterm over te construeren die nul is op elk element van .


Tweede zit 1999-2000

Oefening 1

b) Waar of niet waar? Zij velden en met dezelfde minimale veelterm over . Veronderstel dat een eindige normale uitbreiding is over . Dan bestaat er een zodat .

Oefening 2

Zij een eindige normale uitbreiding van , met Galoisgroep .

a) Bewijs dat er bestaan zodat .

b) Geef de stabiele velden t.o.v. en .

Oefening 3

Geef een basis van de vectorruimte over het veld .


Eerste zit 1999-2000

Oefening 1

Zij .

a) Is ? Bepaal een minimale veelterm van over .

b) Bepaal en . Met welke groep is isomorf?

Oefening 2

Zij velden en een eindige separabele uitbreiding van . Toon aan:

is normaal over voor elke velduitbreiding van en elk ringmorfisme met geldt: .