Matematické Fórum

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

 

#1 11. 05. 2014 21:50

TvujLenor
Zelenáč
Příspěvky: 4
Reputace:   0 
 

Svazy

Zdravím,

mám tu dva svazy dělitelnost na množině X = {2,4,6,8,18,72} a druhou dělitelnost {1,2,3,4,6,8,12,72}. Jde o Booleovu algebru ? Osobně myslím, že nikoliv, ale potřebuji to ověřit. Dík.

Offline

 

#2 12. 05. 2014 20:20 — Editoval Andrejka3 (12. 05. 2014 20:33)

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Svazy

↑ TvujLenor:
Ahoj. Je známa klasifikace booleových konečných algeber. Každá je izomorfní nějaké potenční množině, uspořádané inkluzí. Takže má $2^n$ prvků. Tím máme vyřešený ten první svaz.
Druhý -- pokud je boolean algebrou, pak je izomorfní $(P\{1,2,3\},\cap, \cup,{}',\emptyset,\{1,2,3\})$. Má mít například tři atomy...
edit: zamena slov klasifikace a charakterizace.

What does a drowning number theorist say?
'log log log log ...'

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson