Algebra I

Eerste zit 2005-06, Wiskunde

Theorievragen

Theorievraag 1

Zij G een groep en zij N een normaaldeler van G. Bewijs dat er een bijectie bestaat tussen de normaaldelers van G die N omvatten en de normaaldelers van G/N. Je mag hierbij het enkel feit gebruiken dat het beeld en het inverse beeld van een deelgroep onder een groepsmorfisme weer een deelgroep is. Al de rest moet bewezen worden.

Theorievraag 2

Veronderstel dat R een hoofdideaaldomein is, en zij r een irreducibel element in R. Bewijs dat (r) dan een maximaal ideaal van R is. Geef ook een voorbeeld van een ring R, commutatief en met eenheidselement, en een irreducibel element r in R, zodat (r) geen maximaal ideaal van R is.

Theorievraag 3

Bewijs de stelling van Kronecker:

"Zij K een veld en zij f een niet-constante veelterm in K[X], dan heeft f een wortel in een velduitbreiding van K."

Snelheidsvragen

(Dit zijn de verraderlijke vraagjes die Veys op het mondeling examen stelt en die je *niet* mag voorbereiden, je krijgt er ongeveer 1 minuut tijd voor. Vaak zit er een addertje onder het gras. Wees dus niet te "snel".)

• Bestaat er een algebraïsch gesloten veld dat $\mathbb{ℂ}$ strikt omvat?
• Waar of fout? "Een groep is eindig als en slechts als alle elementen eindige orde hebben.

Oefeningen

Oefening 1

Zij G een groep met precies twee niet-triviale deelgroepen.

a) Bewijs dat G cyclisch is.

b) Bewijs dat de orde van G van de vorm p³ of pq is, voor zekere priemgetallen p en q.

Oefening 2

Met welke ring is $\frac{{\mathbb{\mathbb{Z}}}_5[X,Y]}{(Y-X^2,XY+Y+2)}$ isomorf? Bewijs je antwoord.

Oefening 3

Zijn $F\subset E$ velden. De Galoisgroep Gal(E, F) van E en F wordt gedefinieerd als de groep van alle veldautomorfismen $\sigma :E\to E$ (met andere woorden, ringautomorfismen van E waarvoor geldt dat $\sigma (1)=1$) die voldoen aan $\sigma (f)=f$, voor alle f in F. (Hierbij is de groepsbewerking samenstelling van afbeeldingen.) Toon aan dat $\text{<mrow data-mjx-texclass="ORD">Gal</mrow>}(\mathbb{\mathbb{Q}}(\sqrt{2}),\mathbb{\mathbb{Q}})\cong {\mathbb{\mathbb{Z}}}_2$.

Oefening 4

a) Kies een voorstelling van ${\mathbb{𝔽}}_8$ als ${\mathbb{𝔽}}_2\left[X\right]/(f)$, met $f\in {\mathbb{𝔽}}_2[X]$ een irreducibele veelterm van graad 3. Bepaal een basis van ${\mathbb{𝔽}}_8$ als ${\mathbb{𝔽}}_2$-vectorruimte. Toon aan dat het Frobeniusmorfisme $\phi :{\mathbb{𝔽}}_8\to {\mathbb{𝔽}}_8:x\mapsto x^2$ een lineaire transformatie van ${\mathbb{𝔽}}_8$ is, bepaal de matrix van $\phi$ ten opzichte van de gekozen basis, en bepaal de minimale veelterm van $\phi$.

b) Zij p een priemgetal, en zij r een natuurlijk getal verschillend van 0. Laat zien dat het Frobenius-morfisme $\phi :{\mathbb{𝔽}}_{p^r}\to {\mathbb{𝔽}}_{p^r}:x\mapsto x^p$ een lineaire transformatie is van ${\mathbb{𝔽}}_{p^r}$ als vectorruimte over ${\mathbb{𝔽}}_p$. Zoek de minimale veelterm van $\phi$ en bewijs je vermoeden.