# [Zk] 5.1.

<{ForumPost(poster="stana", timestamp=2007-01-05 20:53:35)}>
Protoze jsem moji otazku na foru jeste nezahledl, tak pisu:  
1. (teoreticka) uzaverove systemy, uzaverovy operator, uzaver a vztahy mezi nimi,  
2. (prakticka) Popsat maximalni idealy okruhu Z(+, -, ., 0, 1)
<{/ForumPost}>

<{ForumPost(poster="tomas", timestamp=2007-01-08 00:59:14)}>
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.
<{/ForumPost}>