From: Anton Cox (A.G.Cox_at_city.ac.uk)
Date: Thu Sep 27 2001 - 07:31:14 PDT
On Thu, 27 Sep 2001, Arnt Gulbrandsen wrote:
> Isn't that congruence rather than equality?
>
> Anton Cox <A.G.Cox_at_city.ac.uk>
> > "10 must be equal to 20 (modulo 5)..."
>
> 10 is congruent with 20 modulo 5.
In the category of modular equivalences congruence *is* equality. One
can (if one wants) use "congruent" to distinguish from "equal" but
this is typically just a convenience in the event that one also wants
to refer to equality of two numbers in the ordinary sense.
The interpretation I have outlined is a reasonable (I would say
standard) one, which is all Aron needs for his rule to be judged
valid.
Best Wishes,
Anton
--
Rule Date: 2001-09-27 14:30:29 GMT
This archive was generated by hypermail 2.1.5 : Thu Nov 24 2011 - 10:48 PST