Domácí úloha z 25. září 2014 (odevzdává se 2. října 2014)
1. Nechť / : S —> T je homomorfismus svazů a nechť 5 je podsvaz (resp. ideál, resp. filtr) svazu T. Dokažte, že
f-1(B) = {xeS\f(x)EB}
je podsvaz (resp. ideál, resp. filtr) svazu S.
2. Nechť / : S —> T je surjektivní homomorfismus svazů a nechť A je ideál (resp. filtr) svazu S. Dokažte, že
f (A) = {f(x) | xeA}
je ideál (resp. filtr) svazu T.
1