Reticoli, tavole di composizione, diagramma di hasse

_overflow_1
ciao a tutti!!!

facendo degli esercizi sui reticoli incontro difficoltà nell'interpretazione delle tavole di composizione e dei diagrammi di hasse,

ad esempio se ho:

$R={x in NN|" "x|45}$
a) ponendo $avvb=mcm(a,b)$ e $a^^b=MCD(a,b)$ per ogni $a,b in R$, si scrivano le tavole di composizione relative alle due operazioni interne suddette, stabilendo che $(R, vv,^^)$ è un reticolo.

io le tavole di composizione le ho scritte (anche se qui sul forum non so come inserirle), però come faccio attraverso esse a stabilire che $R$ è un reticolo? Io so che $R$ è un reticolo però l'ho verificato tramite la definizione di reticolo, come faccio solo utilizzando le tavole di composizione?

b) Si stabilisca se $(R, vv, ^^)$ è un' algebra di Boole mediante il diagramma di hasse dell' insieme ordinato associato al reticolo $(R, vv, ^^)$ oppure utilizzando le tavole di composizione.

Anche qui come sopra non so come interpretare il diagramma di hasse e le tavole di verità, però tramite la definizione di algebra di boole sono arrivato a concludere che questo reticolo non è un' algebra di boole infatti ci sono elementi che hanno più di un complemento...

potreste quindi spiegarmi come interpretare le tavole di composizione e i diagrammi di hasse?

vi ringrazio anticipatamente

Risposte
Lord K
Io ti rispondo con un quesito: com'è la definizione di reticolo?

_overflow_1
ciao intanto grazie per avermi risposto...

sia $R$ un insieme si dice che $(R, vv, ^^)$ è un reticolo se si verificano le seguenti proprietà:
a) $AA a, b in R : avvb=bvva$
b) $AA a, b, c in R : avv(bvvc)=(avvb)vvc$
c) $AA a, b in R : avv(a^^b)=a$

le stesse proprietà poi si devono verificare per $^^$

Lord K
Di nulla...

I diagrammi fanno semplicemente vedere tutti i casi di combinazioni tra i vari elementi dell'insieme con le operazioni che tu hai definito. Se dette operazioni soddisfano la definizione allora ci sei.

In particolare per la prima proprietà devi vedere se la tabella è simmetrica rispetto alla diagonale, mentre per le altre devi verificare il tutto seguendo le varie possibilità via diagramma.

_overflow_1
ahhh quindi niente di che si tratta comunque di verificare le proprietà su tutti gli elementi attraverso le tabelle

grazie mille...

ortese89
ciao overflow...sono interessato al tuo esercizio sui reticoli,potremmo metterci incontatto su messenger? te ne sarei grato ortese89@hotmail.it :wink:

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.