Errata:

str. 10, důkaz Pol(V)=Gamma(V), má být Ker={f:fi_f=0}.

str. 11: 
Když mluvím o homomorfismech souřadnicových okruhů, implicitně rozumím K-homommorfismy, tj. okruhové homomorfismy, které fixují těleso K, které je podtělesem všech souřadnicových okruhů.
Měl jsem to explicitně zmínit v zápiscích i na videu, ale zapomněl jsem na to.
Tu vlastnost používám v důkazu tvrzení: implicitně se tam rozumí, že homomorfismus je jednoznačně určen obrazem generátorů [x_i], ovšem to je pravda pouze pro K-homomorfismy. Důkaz by nefungoval pro
zobrazení, které fixuje [x_i], ale nějak hýbe s prvky K (např. uvažujte komplexní sdružení pro K=C).