Cisla stran a cislovanie viet v tomto subore sa vztahuju na predchadzajucu verziu (16.februara 2010)

14/uloha 2.3.1, 15/uloha 2.3.2: Zadania su upravene - tak ako su v prikladoch na stranke cviceni. (V niektorych z uloh je riesenie otazky, ci existuje surjektivny homomorfizmus, dost tazke.)
14/uloha 2.3.3 - vynechat uplne
20_8 a\nontin [a^d] -> ma byt: a^s\nontin [a^d]
20_7 0<=s'<n -> ma byt 0<=s'<d
20_3 0<=s'<s -> ma byt 0<=s'<d
21/def 2.4.14 d\in N\ -> ma byt: d\in N\{0}
21/veta 2.4.16 - doplnenie dokazu implikacie (=>); (Zdovodnenie, ze generatorom musi byt i dvojica (1,1).)
22/Uloha 2.4.10 0<=m<=k-1 ma byt: 0<=m<=n-1
36/Priklad 3.2.8 {(x,y)\in R^2; x,y\in R} ma byt {(x,y)\in R^2; x-y=r}
36/Dôkaz lemy 3.2.12: Doplnil som:
Zobrazenie phi je zrejme surjekcia (vzorom pre triedu Hb je
ľavá trieda b^-1H). Ukážeme ešte, že je to injekcia.
38/Pribudlo cvicenie 3.2.10.
40/Definicia 3.3.3: Doplnenie oznacenia pre normalnu podgrupu.
42/Priklad 3.4.3: Chybala definicia grup G a H:
Nech G=(RxR,+) a H={(x,x); x\in R}.
45/Veta 3.5.11: Vynechal som prvu cast dokazu, pretoze fakt ze K/H je normalna podgrupa vyplyva z druhej casti dokazu (ukaze sa tam, ze je to jadro homomorfizmu).
45/ Pribudlo znenie a dokaz druhej vety o izomorfizme.
46/Pribudlo cvicenie 3.5.8.
51/Pribudlo tvrdenie o krateni nenulovym prvkom v okruhu bez delitelov 0. (Dostalo cislo 4.1.14 a cislovanie za nim sa tym automaticky posunulo.)
55/Definicia 4.2.8 (hlavny ideal) - chybal tam predpoklad, ze okruh R je komutativny