Algebra II

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 $K\subset E^{″}$. Leg uitvoerig uit.

Vraag 2

Zij $w_n=e^{2\pi i/n}$ met n verschillend van 0. Beschouw H de deelgroep van de multiplicatieve groep van $\mathbb{\mathbb{Q}}(w_n)$, voortgebracht door $w_n$.

1. Bewijs dat H cyclisch is van orde n, en dat elk element van $Gal(\mathbb{\mathbb{Q}}(w_n),\mathbb{\mathbb{Q}})$ uw $w_n$ afbeeldt op een generator.
2. Vanaf nu is n = 12. Geef een afschatting N van het aantal elementen in $Gal(\mathbb{\mathbb{Q}}(w_n),\mathbb{\mathbb{Q}})$.
3. Geef een veelterm van graad N met $w_n$ als wortel die irreducibel is over $\mathbb{\mathbb{Q}}$.
4. Bewijs dat $\mathbb{\mathbb{Q}}\subset \mathbb{\mathbb{Q}}(w_n)$ 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 $K\subset L$ een Galois-velduitbreiding met Galoisgroep G en zij $\alpha \in L$. Toon aan: $L=K\left(\alpha \right)\iff$ de beelden van $\alpha$ onder de elementen van G zijn allemaal verschillend.

Vraag 4

Geef twee veeltermen $f,g\in \mathbb{ℂ}[x,y]$ 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 $IJ\ne I\cap J$ en een voorbeeld van $IJ=I\cap J$
2. Is $V(I\cap J)=V(I)\cup V(J)$ voor I, J idealen in een polynomenring $F[x_1,x_2,...,x_n]$ 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 $K\subset L$ een velduitbreiding van graad 3 die Galois is. Zij $x_1,x_2,x_3$ een basis van L als vectorruimte over K en zij $Gal(L,K)=\{{\sigma }_1,{\sigma }_2,{\sigma }_3\}$. 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 $d\in K$.

Vraag 2B

Zij $K\subset L$ een Galois-velduitbreiding met Galoisgroep G en zij $\alpha \in L$. Toon aan: $L=K\left(\alpha \right)\iff$ de beelden van $\alpha$ onder de elementen van G zijn allemaal verschillend.

Vraag 3

Vraag 3A

Bepaal de Galoisgroep van $x^4-8x^2+9$ over $\mathbb{\mathbb{Q}}$. Met welke bekende groep is deze isomorf? Verklaar elke stap! (Je mag aannemen dat de vermelde polynoom irreducibel is over $\mathbb{\mathbb{Q}}$.)

Vraag 3B

Bepaal de Galoisgroep voor dezelfde polynoom over $\mathbb{\mathbb{Q}}\left(\sqrt{7}\right)$.

Vraag 4

Vraag 4A

Zij $G:=\{xy-xz,x^{2}z+y^3-1,x^{3}z+x{z}^3-x\}$. Is dit een Gröbnerbasis voor ${<}_{grevlex}$ met $x>y>z$. Indien wel, is ze dan ook minimaal en gereduceerd? Indien niet, geef dan een $f\in <G>$ met f rem G $\ne$ 0.

Vraag 4B

Dezelfde vraag voor ${<}_{lex}$.

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 $n\ge 2$ even. Dan bestaat er een veelterm van graad $n$ over $\mathbb{\mathbb{Q}}$ met $n$ verschillende wortels, zodat de Galoisgroep van deze veelterm (over $\mathbb{\mathbb{Q}}$) isomorf is met $\mathbb{\mathbb{Z}}/2\mathbb{\mathbb{Z}},+$.
• Zijn $F\subseteq E_1\subseteq E_2$ eindige velduitbreidingen. Indien $\mathrm{\Gamma }(E_1:F)\cong \mathrm{\Gamma }(E_2:F)$, dan is $E_1=E_2$.

Vraag 3

Zij $n\ge 1$ een geheel getal. Zij $\omega$ een primitieve $n$-de eenheidswortel in $\mathbb{ℂ}$. Zij K een deelveld van $\mathbb{ℂ}$ dat $\omega$ bevat. Zij $a\in \mathbb{\mathbb{Z}}$ en zij $b$ een wortel van $X^n-a$ in $\mathbb{ℂ}$.

• Bewijs dat $\mathrm{\Gamma }(K(b):K)$ isomorf is met $\mathbb{\mathbb{Z}}/d\mathbb{\mathbb{Z}}$, waarbij $d$ een deler is van $n$.
• Bewijs dat $b^d\in K$.
• Stel dat $X^n-a$ irreducibel is over $K$. Bewijs dat $\mathrm{\Gamma }(K(b):K)$ isomorf is met $\mathbb{\mathbb{Z}}/n\mathbb{\mathbb{Z}}$

Vraag 4

Bepaal de Galoisgroep van $X^3-5$ over

• $\mathbb{\mathbb{Q}}$
• $\mathbb{\mathbb{Q}}\left(\sqrt[3]{5}\right)$
• $\mathbb{\mathbb{Q}}\left(\sqrt{3}i\right)$

Vraag 5

• Beschouw $I=⟨xy+y,xy+2y-x⟩\subseteq \mathbb{ℂ}[x,y]$. Bepaal een Gröbnerbasis voor I t.o.v. de grlex-orde. Geef een basis voor $\mathbb{ℂ}[x,y]/I$ als vectorruimte over $\mathbb{ℂ}$.
• Zij $I$ een ideaal in $\mathbb{ℂ}[x_1,x_2,\cdots ,x_n]$ met Gröbnerbasis $G$. Construeer een basis voor de $\mathbb{ℂ}$-vectorruimte $\mathbb{ℂ}[x_1,x_2,\cdots ,x_n]/I$ en bewijs.

Eerste zit 2002-03

Oefening 1

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

a) Zij $K\subset L$ een velduitbreiding van graad 2. Dan is $L$ normaal over $K$.

b) Zij $L=K(\alpha )$. als de uitbreidingsgraad $[L:K]$ oneven is, dan is $L=K({\alpha }^2)$.

Oefening 2

Zij $p\ne 2$ priem, en zij $\xi$ een complexe primitieve $p$-de eenheidswortel. dan is de Galoisgroep $G(\mathbb{\mathbb{Q}}(\xi ),\mathbb{\mathbb{Q}})$ isomorf met de multiplicatieve groep ${\mathbb{\mathbb{Z}}}_p^{\times }$. Zij $\chi$ het unieke niet-triviale groepsmorfisme van ${\mathbb{\mathbb{Z}}}_p^{\times }$ naar {1,-1}, en stel $\alpha =\sum _{s=1}^{p-1}\chi (s){\xi }^s$.

a) toon aan dat er een uniek deelveld $K$ van $\mathbb{\mathbb{Q}}(\xi )$ bestaat met uitbreidingsgraad 2 over $\mathbb{\mathbb{Q}}$.

b) Fixeer een isomorfisme $\psi :G(\mathbb{\mathbb{Q}}(\xi ),\mathbb{\mathbb{Q}})\to {\mathbb{\mathbb{Z}}}_p^{\times }$. Bewijs dat, voor elk automorfisme $\sigma \in G(\mathbb{\mathbb{Q}}(\xi ),\mathbb{\mathbb{Q}})$, het beeld van $\alpha$ onder $\sigma$ gelijk is aan $(\chi \circ \psi )(\sigma )$ maal $\alpha$.

c) toon aan dat $K=\mathbb{\mathbb{Q}}(\alpha )$.

Eerste zit 2001-02

Oefening 1

Zij $K$ een eindige uitbreiding van het veld $\mathbb{\mathbb{Q}}$. zij $g(x_1,\dots ,x_n)$ een niet nul veelterm over $K$. Zij $A$ een deelverzameling van ${\mathbb{\mathbb{Q}}}^n$ en veronderstel dat $g$ nul is op elk element van $A$. Gebruik Galoistheorie om een niet nul veelterm $h(x_1,\dots ,x_n)$ over $\mathbb{\mathbb{Q}}$ te construeren die nul is op elk element van $A$.

Tweede zit 1999-2000

Oefening 1

b) Waar of niet waar? Zij $K\subset L$ velden en $a,b\in L$ met dezelfde minimale veelterm $f(x)$ over $K$. Veronderstel dat $L$ een eindige normale uitbreiding is over $K$. Dan bestaat er een $\sigma \in G(L:K)$ zodat $\sigma (a)=b$.

Oefening 2

Zij $E$ een eindige normale uitbreiding van $\mathbb{\mathbb{Q}}$, met Galoisgroep $G(E:\mathbb{\mathbb{Q}})\cong {\mathbb{\mathbb{Z}}}_4,+$.

a) Bewijs dat er $a,b\in \mathbb{\mathbb{Z}}$ bestaan zodat $E=\mathbb{\mathbb{Q}}(\sqrt{a+\sqrt{b}})$.

b) Geef de stabiele velden t.o.v. $E$ en $\mathbb{\mathbb{Q}}$.

Oefening 3

Geef een basis van de vectorruimte $\mathbb{\mathbb{Q}}(1+\sqrt[3]{5},\sqrt[4]{3})$ over het veld $\mathbb{\mathbb{Q}}(\sqrt{3})$.

Eerste zit 1999-2000

Oefening 1

Zij $L=\mathbb{\mathbb{Q}}(\sqrt[3]{2},\sqrt{3}i)$.

a) Is $L=\mathbb{\mathbb{Q}}(\sqrt[3]{2}\sqrt{3}i)$? Bepaal een minimale veelterm van $\sqrt[3]{2}\sqrt{3}i$ over $\mathbb{\mathbb{Q}}$.

b) Bepaal $G(L,\mathbb{\mathbb{Q}})$ en $L_{G(L,\mathbb{\mathbb{Q}})}$. Met welke groep is $G(L,\mathbb{\mathbb{Q}})$ isomorf?

Oefening 2

Zij $F\subset K$ velden en $K$ een eindige separabele uitbreiding van $F$. Toon aan:

$K$ is normaal over $F\iff$ voor elke velduitbreiding $L$ van $K$ en elk ringmorfisme $\sigma :K\to L$ met $\sigma {|}_F=I{d}_F$ geldt: $\sigma (K)\subset K$.