Significato di un simbolo

[ballo1]

devo verificare che una relazione $a|b$ sia di equivalenza. Il problema è: cosa vuol dire $a|b$? o più nello specifico, cosa vuol dire $|$?

[NightKnight1]

Se $a,b$ sono interi, o più in generale elementi di un anello, si scrive $a|b$ e si legge "$a$ divide $b$" per dire che $b$ è un divisibile per $a$, cioè che $\exists c \in ZZ \ : \ b=ac$.

[ballo1]

Immaginavo volesse dire divisibile, ma con le variabili al contrario. Grazie davvero per il chiarimento.

[cirasa]

Ma difficilemente riuscirai a provare che la relazione di divisibiità è di equivalenza, semplicemente perchè...non lo è!

[vict85]

"cirasa":Ma difficilemente riuscirai a provare che la relazione di divisibiità è di equivalenza, semplicemente perchè...non lo è!

effettivamente è un ordine...

[Gatto891]

"vict85":[quote="cirasa"]Ma difficilemente riuscirai a provare che la relazione di divisibiità è di equivalenza, semplicemente perchè...non lo è!

effettivamente è un ordine...[/quote]

Supponendo $a, b \in NN$... già in $ZZ$ nemmeno quello. Sicuramente però è molto più vicino all'ordine che all'equivalenza