Algebra 2 - Patáková - zk 28.6.2021

Lukaskub at 2021-06-28 19:02:11

Algebra 2 měla nový sylabus tento rok, tak se chci podělit o zkušenosti.

Po projití otázek z předchozích let (dle fóra), tak mi přijde, že jsme mělí víc aplikovanou algebru - méně algebraických struktur a více využití.
Třeba jsme měli rozbor FFT a algoritmů pro rychlé násobení/dělení polynomů, plus pár dalších, za cenu rozšířených teoritických povídání o Galoisových grupách a Booleovy algebry jsme měli jako zmínku v poslední kapitole.

Osobně mi to tak víc vyhovovalo.

Ohledně známky: 10-15 bodů přes semestr za průběžné testíky, 70b za písemnou část, 20b za ústní, hranice 55-67-80.
Tím jsem taky chtěl říct, že zkouška měla dvě částí - písemnou a ústní.
Byl jsem na termínu sám, 2h jsem psal písemnou část, protože jsem byl jediný, tak jsme se domluvili, že mi to opraví a půjdu co nejdřív na ústní.
Na ústní jsme prošli písemku, co jsem měl dobře a co špatně a proč, pak jsem dostal ještě jednu otázku a nakonec jsem dostal známku.

Otázky přesněji:
Písemná část:

  1. Nutná a postačující podmínka T[a] = T(a). Plus všechny potřebné definice a důkazy.

  2. Minimální polynom. Definice, určit pro nějaký prvek nad nějakým tělesem a najít bázi.

  3. Najít všechny homomorfismy z S<sub>3</sub> do Z<sub>6</sub>.

  4. Jsou obory Q[\sqrt(2), \sqrt(5)]{: alt="Q[\sqrt(2), \sqrt(5)]" type="image/"} a Q[\sqrt(2) + \sqrt(5)] {: alt="Q[\sqrt(2) + \sqrt(5)] " type="image/"} totožné?

  5. Princip bezčtvercové faktorizace nad konečnými tělesy. V čem je rozdíl proti char 0?

  6. Co je pravdivé. Důkaz, protipříklad
    -A) Každý maximální ideál je prvoideál
    -B) Každý prvoideál je maximální

Odpovědi:

  1. a je algebraický prvek. Důkazy jsou ve skriptech

  2. Viz skripta, dobré si pamatovat, že je ireducibilní. Já jsem napsal, že je polynom minimálního stupně, který má koeficienty z tělesa a hodnotu v a{: alt="a" type="image/"} 0, což je dost možná ekvivalentní, ale špatně se to pak používá.

  3. Všechno do 0 a všechny transpozice do 3, zbytek do 0. Buď přes řády prvků + vlastnosti homomorfismu, nebo přes normální podgrupy.

  4. Totožné jsou (na zkoušce jsem napsal, že nejsou). ![\sqrt(2) = ((\sqrt(2) + \sqrt(5))^3 - (\sqrt(2) + \sqrt(5))/6 ](http://latex.codecogs.com/gif.latex?\sqrt(2) = ((\sqrt(2) + \sqrt(5))^3 - (\sqrt(2) + \sqrt(5))/6 ){: alt="\sqrt(2) = ((\sqrt(2) + \sqrt(5))^3 - (\sqrt(2) + \sqrt(5))/6 " type="image/"}, obdobně pro \sqrt(5){: alt="\sqrt(5)" type="image/"}.

  5. Viz skripta.

  6. Každý maximální ideál je prvoidéal (třeba přes faktorokruhy, co generují). Protipříklad - nad Z je 0Z prvoideál, ale je obsažen v ideálu nZ.

Na ústní jsem dostal úlohy pravítka a tužky, takže jsem nastínil myšlenky za tím proč a jak, plus jsem ukázal, jak bych dokázal, že krychli nejde zdvojit.
Dostal jsem za 2. Obecně fajn zkouška.