Algebra II

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$.

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 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$.

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$ gelijk aan $\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 )$.