"Brian M. Scott" <b.scott@[EMAIL PROTECTED]
> wrote in message
news:l9bxtk4h4bav$.1nbe4ry5difpu.dlg@[EMAIL PROTECTED]
> On Fri, 18 Jul 2008 22:39:01 +0100, Jack <jj@[EMAIL PROTECTED]
>
> wrote in <news:F38gk.6608$7B3.2197@[EMAIL PROTECTED]
> in
> alt.algebra.help:
>
>> I've decided that zero and negative integers could be
>> useful to me. All negative integers are divisible by
>> positive integers (if, on occasions, only themselves and
>> -1), aren't they?
>
> Every negative integer other than -1 is divisible by at
> least *two* positive integers. Specifically, if n is a
> negative integer different from -1, then n is divisible by
> the positive integers 1 and -n. For n, m in Z, the notation
> n | m (m is divisible by n) simply means that there is some
> integer k such that m = kn; k may be positive, negative, or
> zero.
>
>> Should I, then, stick with |N, but define it as 'all
>> integers',
>
> Absolutely not: that would be a serious and very confusing
> violation of convention.
>
So how about |Z ---> |N?
|
