News for hackers. Stuff that matters.

A comment on Connections between Abstract Algebra and High School Algebra (2015). Parent comment

Re:Connections between Abstract Algebra and High School Alge... by wz1000 on Wednesday December 06, 2017 @10:12AM (#15861595)
> Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0

No, this is only true when you are doing multiplication in an integral domain.

https://en.wikipedia.org/wiki/Integral_domain

There are many rings where this is not true, like Z/nZ where n is not prime.

    2*2 = 0 (mod 4)
    2 /= 0  (mod 4)
[ Parent | on HN ]
Re:Connections between Abstract Algebra and High School Alge... by posterboy on Wednesday December 06, 2017 @03:43PM (#15864785)
mod should be part of the signature of the ring, so you are not looking at pure multiplication. Then the domain would be still integral. Why wouldn't it?
[ Parent | on HN ]
Re:Connections between Abstract Algebra and High School Alge... by opportune on Wednesday December 06, 2017 @03:46PM (#15864823)
An integral domain is any commutative ring with no zero divisors (a,b are zero divisors if ab = 0 but a != 0, b != 0). In this case 2*2 = 0, so 2 is a zero divisor, so Z/4z = Z_4 is not an integral domain.
[ Parent | on HN ]