Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Stránky: 1
Ahoj.
Zadání:
Je svaz kongruencí pro každý svaz modulární? Distributivní?
Pojmy a značení:
Offline
Ahoj ↑ Andrejka3:,
Tu
http://www-irma.u-strasbg.fr/~noot/coll … hrung.html
pisu ze
Le problème de savoir si tout treillis algébrique distributif est isomorphe au treillis des congruences d'un treillis, posé par R.P. Dilworth dans les années 40, n'a été résolu, par la négative, que récemment.
mozno ti to posluzi
Offline
↑ vanok:
Díky, píšou, že to je distributivní protože něco, že? :)
Francouzsky neumím.
Edit: google prekladac.
Takže nějaký izonorfismus nějakého distributivního svazu byl v 40. letech vyvrácen.
Offline
Ahoj ↑ Andrejka3:,
Tu mas t'en preklad:
Problem vediet ci kazde algebricky distributivny zvez je isomorfny zo zvezom kongruencii nejakeho zvazu, polozeny P.R. Dilworth v 40 rokoch ,dostal negativnu odpoved l'en nedavno.
Offline
Ukázalo se, že ta úloha není moc těžká.
Tvrzení: Nechť je svaz.
Svaz kongruencí svazu je distributivní.
Důkaz rozdělím na dvě části.
Offline
Stránky: 1