Matematické Fórum

Bud’ θ kongruence na A a zobrazeni  bijekce
je potom svazovy homomorfismus mezi intervalem [θ, A × A] ⊆ Con (A) a svazem Con (A/θ)
Pomoci tohoto tvrzeniı popiste svazy kongruencı na algebrach (Zn, +),

Nekdo napad jak to resit prosim? Ve stylu idealne jen navest, protoze si popravde uplne nejsem jisty co se po me presne chce?
To prvni trzeni o homomorfismu jsem predtim dokazoval bez problemu..

diky moc