Domácí úloha z 4. prosince 2014 (odevzdává se 11. prosince 2014)
Je dán typ Q = {b, c}, kde b a c jsou unární operační symboly. Pro libovolnou f2-algebru A je součin A x A také f2-algebra.
Řekneme, že f2-algebra A je hezká, když zobrazení f : A Ax A určené předpisem f {a) = (6^(a), c^(a)) pro každé a G A je homomorfismus Q-algeber.
Označme V třídu všech hezkých f2-algeber. Rozhodněte, zda tato třída V je varieta f2-algeber. Své rozhodnutí zdůvodněte.
1