Congruenze modulo $n$ con $n<0$
"I.N. Herstein - Algebra - Editori Riuniti":
DEFINIZIONE Sia $n$ un intero dato. Scriviamo $a \equiv b \ \ mod \ n$ se abbiamo che $n|(a - b)$
Quella che vedete riportata è la definizione di conruenza data da I.N. Herstein nel volume Algebra.
Come si vede, nella definizione non si dice $n$ intero positivo, ma semplicemente $n$ intero.
Io ero abituato a considerare le congruenze modulo un certo $n$ solo per $n>0$.
Secondo questa definizione posso considerare anche le congruenze modulo un certo $n$ negativo.
La cosa non mi pare errata: difatti, se $n|(a-b)$ anche $-n|(a-b)$, quindi da un punto di vista della definizione non è che mi turba qualche cosa.
Quello che volevo chiedere è questo: vi è mai capito di considerare congruenze modulo un certo $n<0$? Se scrivessi $4 \equiv 7 \ \ mod \ (-3)$ sarebbe errore per voi?
Grazie per l'attenzione.
Risposte
"WiZaRd":
Se scrivessi $4 \equiv 7 \ \ mod \ (-3)$ sarebbe errore per voi?
Certo che no!

"WiZaRd":
Se scrivessi $4 \equiv 7 \ \ mod \ (-3)$ sarebbe errore per voi?
Beh, no.
La divisione con resto è definita in $ZZ$, non solo in $NN$

Ok. Grazie mille ad entrambi.