Is addition ever distributive over multiplication?

warlock-labs / noether

Modern, idiomatic, well documented abstract algebra for Rust

MIT License

47 stars 4 forks source link

Is addition ever distributive over multiplication? #6

Open CalabashSquash opened 3 months ago

CalabashSquash commented 3 months ago

Regarding the following lines: https://github.com/warlock-labs/noether/blob/08bface4c5979d5e1896feaa13b63a23e6e2ba97/src/lib.rs#L29-L30

I have a reasonably naive mathematical question: Are there ever any algebraic structures wherein addition (or whatever is represented by +) is distributive over multiplication (or whatever * is)?

0xAlcibiades commented 3 months ago

It's a good question, I'm not sure that's ever the case. Would refer you to do some digging on it though.

merolish commented 3 months ago

Related discussion.

0xAlcibiades commented 2 months ago

So with lattices, eh?