I see your point, Mathochist, and it is legitimate; I’m just not sure it’s relevant to what I was trying to do, which was to answer Uncommon Sense’s quesion (the one I quoted, from post #12), in a way that someone who hasn’t had any substantial math in 20 years could understand. I wasn’t attempting to prove anything, nor to address your previous post, but to try to clear up some of US’s confusion.
Actually, I did see US’s question as being sort of asymmetrical, since he was talking about points on a number line and comparing the point -3 with the point -3 * -3. But I see what bothers you. (FWIW, it’s the same kind of thing that bothers me in the “basic algebra” explanation of adding signed numbers: “For 5 + -3, you start at 5 and move 3 spaces to the left.” I’ve seen this kind of thing in textbooks and maybe said it myself, and it isn’t exactly wrong, but it does make it sound like the two numbers being added are two different kinds of things: one a point, the other a movement/distance/vector.)
The maddening thing from a pedagogical point of view is that it isn’t wrong, just misleading. A clearer example occurs in most courses in multivariable calculus where points and vectors are confounded. Yes: in Euclidean space tangent spaces can be canonically identified with the manifold itself; but in general this doesn’t hold and the student who learned the two concepts as one presents the teacher later on with that much more work.
Here, no, the OP is not likely to go on to anywhere the distinction becomes important. However, the question “why?” was asked, not “how can I think about this to make it go away?” I don’t think that the first four one-line proofs in basic ring theory are going to kill anyone who’s made it through high school if they’re willing to read them with an open mind.
No, they shouldn’t. But I’m kinda curious as to why you chose to give a proof that’s dependent on the existence of the multiplicative identity when the result holds in arbitrary rings.
Mainly because the steps are (IMHO) clearer to a first-timer if you don’t throw nonunital rings at them at first. Admittedly it can be a fine line sometimes between concrete and abstract, but I thought that a less general proof in the style of modern algebra would be the best course. It isn’t bogged down with artifacts from an interpretation like scaling distances, but keeps it close enough to the familiar (especially to anyone who grew up after the new-new-math) that it should be easily graspable.