mlV-3. notebook March 06, 2013 Ví. / 3 6-15:55 36-16:11 O obraz inverze k prvku je inverzí obrazu, tj. fía l) = f(a) l. i ......_ -A 3 6-16:09 3 b-1b:lb m IV-3. notebook March 06, 2013 m IV-3. notebook March 06, 2013 VI. 3 b-1b:55 Důkaz Sestrojíme požadovaný izomorfismus f . Označme m = n,' m<' a pro libovolné [a]m e Sro položme r([^],n) — ([a]^...., [a]mÄ). Snadno se ověří, že jde o injektivní homomorfismus (co je jádrem?). ■ by to ještě Šikovněji? PokuclTiam siačí existence isomorfismu, tak / I 2A nešlo by to ještě Šikovněji? stačí využít toho, že injektivní: je automaticky bíjekcí. <\ množinami o stejném poctu prvku 3tí-1/:13 3 6-16:58 4 fy) U-^s MS) 3 tí-1 ll-rts-kp rit.") 3 b-l