Bych se mel taky podelit, co :) ?
Teorie: opcany svaz (dokazat ze je svaz), modularni svazy
Praxe: slovni monoid s pismenkama {x, y} a prazdnym slovem e ... ted to z hlavy uz asi nedam dohromady, ale melo se zjistit jak vypada faktorizovanej podle nejaky kongruence. Kongruence byla minimalni mozna a bylo receno ze obsahuje { (xy, e), (yx, e) }.
No, je to kupodivu uspesne za mnou. Ac jsem myslel ze to neumim tak jsem nakonec dostal za 2, za coz muze jednoznacne Zemlicka tim jak dobre radi :D. Mel jsem ale stesti ze jsem nemusel dokazovat takove ty slozitejsi vety kde je na me moc sprostych slov. Pokud clovek tusi co se po nem chce a tusi jak na to tak to se Zemlickovo radami jde zvladnout asi docela dobre.
Matfyz Wiki