# Žemlička 18. 1. 2015

<{ForumPost(poster="CiTrus", timestamp=2016-01-18 19:49:07)}>
Standardní formát. Celkem 32 bodů, na trojku je potřeba alespoň 18.  

1.  (1b) Napište Eukleidův algoritmus.
1.  (1b) Uveďte definici faktorové grupy (vč. značení a definice operací).
1.  (1b) Je grupa permutací $S_3(\circ)$ komutativní? Stručně zdůvodněte.
1.  (1b) Rozhodněte, zda množina lichých čísel tvoří podgrupu grupy $\mathbb{Z}(+)$. Stručně zdůvodněte.
1.  (1b) Uveďte všechny (až na isomorfismus) cyklické grupy.
1.  (1b) Uveďte definici homomorfismu mezi algebrami $A(\alpha_i\mid\ i\in I)$ a $B(\alpha_i\mid\ i\in I)$.
1.  (1b) Uveďte 1. větu o isomorfismu pro algebry.
1.  (1b) Jsou grupy $\mathbb{Z}_{12}(+)$ a $\mathbb{Z}_3\times\mathbb{Z}_4(+)$ isomorfní? Stručně zdůvodněte.
1.  (1b) Popište vztah množiny kongruencí a ideálů okruhu.
1.  (1b) Definujte Booleovu algebru.
1.  (2b) Spočítejte, kolik invertibilních prvků obsahuje $\mathbb{Z}_{999}(\cdot)$.
1.  (2b) Nakreslete svaz kongruencí grupy $\mathbb{Z}_{30}(+)$.
1.  (2b) Rozhodněte zda grupa $S_5(\circ)$ obsahuje podgrupu řádu a) 4, b) 6, c) 7. Pokud ano, uveďte příklad, pokud ne, vysvětlete.
1.  (2b) Generuje prvek 16 grupu $\mathbb{Z}_{170}(+)$? Generuje prvek 16 grupu $\mathbb{Z}_{171}(+)$? Stručně zdůvodněte.
1.  (7b) Je-li $G(\cdot)$ konečná cyklická grupa a $A, B$ její podgrupy, dokažte, že $|A\cap B|=\text{gcd}(|A|,|B|)$. Můžete k tomu použít všechna tvrzení z přednášky (nezapomeňte je správně ocitovat).
1.  (7b) Dokažte, že aspoň dvouprvkový okruh je (obecně nekomutativní) těleso, právě když obsahuje právě dva levé ideály.

<{/ForumPost}>

<{ForumPost(poster="CiTrus", timestamp=2016-01-18 20:08:29)}>
Pro zájemce uvádím jenom stručně své řešení (po opravě).  

1.  viz skripta
1.  viz skripta
1.  není, můžeme vzít např. permutace (132) a (13)(2) - jejich složení dá z každé strany jiný výsledek
1.  netvoří podgrupu, protože není uzavřená (liché číslo + liché číslo je sudé číslo)
1.  stačilo se odkázat na tvrzení z přednášky o tom, že všechny cyklické grupy jsou isomorfní celým číslům (buď nekonečným nebo konečným)
1.  viz skripta
1.  viz skripta
1.  ano, dle čínské věty o zbytcích je pro 3, 4 (nesoudělná čísla) zobrazení H(x) bijekcí
1.  tady chtěl napsat tvrzení, že svazy ideálů a kongruencí jsou isomorfní
1.  viz skripta
1.  počítáme Eulerovu funkci pro 999, výsledek je 648
1.  úlohu lze převést isomorfismem na svaz podgrup, potom už není složité nakreslit Hasseho diagram
1.  a) ano, libovolná grupa generovaná 4-cyklem, b) ano, např. S3, c) ne, protože 7 nedělí 120 (Lagrange)
1.  první grupu negeneruje, protože gcd(16,170)=2, takže v grupě nikdy nebudou lichá čísla; druhou grupu generuje, protože gcd(16,171)=1
1.  Lagrange nám zaručí, že velikost průniku je společným dělitelem čísel |A| a |B|; aby se ukázalo, že je největší, předpokládejme, že číslo d je gcd(|A|,|B|); protože G je cyklická, má právě jednu podgrupu D řádu d; protože je navíc d dělitelem obou čísel |A| i |B|, musí D být podgrupou A i B zároveň, tudíž musí ležet v jejich průniku; z toho vyplývá, že d dělí velikost průniku a protože obě tato čísla jsou společní dělitelé čísel |A| a |B|, přičemž d je z definice největší možné číslo s touto vlastnosti, musí se rovnat, proto průnik A, B je roven D a velikost průniku je rovna d = gcd(|A|,|B|).
1.  viz důkaz ve skriptech

<{/ForumPost}>