Come to think of it, apples don’t actually satisfy the ring axioms. In particular, if you have at least one apple, there is no number of apples I can give you such that you no longer have any apples.
In fancy math-talk, we can say apples are a semimodule over the semiring of natural numbers.
You can add two bunches of apples through the well-known “glomming-together” operation.
You can multiply a bunch of apples by any natural number.
Multiplication distributes over both natural-number addition and glomming-together.
Multiplication-of-apples is associative with multiplication-of-numbers.
1 is an identity with regard to multiplication-of-apples.
You could quibble that there is a finite supply of apples out there, so that (3 apples) + (all the apples) is undefined, but this model ought to work well enough for small collections of apples.
Nor is it obvious how multiplication of apples should work. Apples might be considered an infinite cyclic abelian monoid, if you like, but it’s beside the point—the point is that once you know what axioms they satisfy, you now know a whole bunch of stuff.
Well, if you have a row of 3 apples, and you get another three rows, you’ll have 9 apples. But multiplying 3 apples by 3 apples would result in 9 apples^2; and I don’t know what those look like.
Does an apple composed of antimatter still count as an apple? If I add that to the original apple, I get a big explosion and lots of energy flying around, but neither apple actually remains afterwards.
Come to think of it, apples don’t actually satisfy the ring axioms. In particular, if you have at least one apple, there is no number of apples I can give you such that you no longer have any apples.
In fancy math-talk, we can say apples are a semimodule over the semiring of natural numbers.
You can add two bunches of apples through the well-known “glomming-together” operation.
You can multiply a bunch of apples by any natural number.
Multiplication distributes over both natural-number addition and glomming-together.
Multiplication-of-apples is associative with multiplication-of-numbers.
1 is an identity with regard to multiplication-of-apples.
You could quibble that there is a finite supply of apples out there, so that (3 apples) + (all the apples) is undefined, but this model ought to work well enough for small collections of apples.
Apples (and other finite sets of concrete objects) form a semiring.
Nor is it obvious how multiplication of apples should work. Apples might be considered an infinite cyclic abelian monoid, if you like, but it’s beside the point—the point is that once you know what axioms they satisfy, you now know a whole bunch of stuff.
Well, if you have a row of 3 apples, and you get another three rows, you’ll have 9 apples. But multiplying 3 apples by 3 apples would result in 9 apples^2; and I don’t know what those look like.
Sure there is, as long as you realize that “give” and “take” are the same action. Giving −1 apples is just taking 1 apple.
Number of apples isn’t closed under taking.
If you wish to satisfy the ring axioms from scratch, you must first invent the economy...
Does an apple composed of antimatter still count as an apple? If I add that to the original apple, I get a big explosion and lots of energy flying around, but neither apple actually remains afterwards.