#### Comment Preferences

• ##### Not sure where you're going with this, (1+ / 0-)
Recommended by:
Orinoco

. . . but if you're trying to repair the proof, it can't be done.

Consider the following (completely artificial) operator ? defined on these same three elements:

?   y   r   g
y   y   r   g
r   r    g   g
g  g    g   r

This operator is not only commutative, but it also has an identity (y) and lacks zero divisors. And yet it's not associative, since (r ? g) ? g != r ? (g ? g).

This shows that associativity is somewhat akin to Buddha-nature: You either have it or you don't, and if you don't, there's nothing at all that can substitute for it.

• ##### So to demonstrate associativity(0+ / 0-)

would I have to do an exhaustive evaluation of all possible combinations arising from my addition chart?

Or: what does Buddha-nature look like on an addition table? Left to right uniform progression? Top to bottom uniform progression? The combination of these?

"The problems of incompetent, corrupt, corporatist government are incompetence, corruption and corporatism, not government." Jerome a Paris

[ Parent ]

• ##### I don't myself know a way to prove associativity(1+ / 0-)
Recommended by:
Orinoco

of an arbitrary operator, except by exhaustive checking. Arbitrary means arbitrary. In my ? operator, for example, changing a single result value makes the operator associative.

Of course one never does this in real life, especially when the space is infinite. Associativity is proven via other properties of the operator or the set. For example, the associativity of addition and  multiplication mod N follows from the same properties on the natural numbers, which properties can themselves be proven directly from the Peano axioms (say).

Not sure what you mean by "uniform progression" but I doubt that there's any such characterization. I'm hardly an expert on this topic, though.

• ##### And what about proving commutativity?(1+ / 0-)
Recommended by:
Orinoco

A quibble: The text proves commutativity of + mod 5 by noting that all entries in any given SW-to-NE diagonal are identical. This of course is sufficient but not necessary; all you really need is for the table to be symmetric in the main diagonal. Although there's no incorrect statement in the text as it stands, some people may take away a condition for commutativity that's too strong.

• ##### Ah, yes(0+ / 0-)

I see where I did that. Didn't mean to, though. The condition is symmetry, not identical entries along the entire SW-NE diagonal.

A bit later Awkward Goat says "But if we reverse the order of those numbers, we'll get the sum in the mirror image spot in the other triangle" but the damage was already done when he agrees with Billy Goat Gruff that identical diagonals "...means that...we get two triangles which are mirror images of each other.”

By "uniform progression" I mean there is an order that is preserved on each row (or in each column). b follows a, c follows b, d follows c, e follows d, a follows e.

a b c d e
b c d e a
c d e a b
d e a b c
e a b c d

"The problems of incompetent, corrupt, corporatist government are incompetence, corruption and corporatism, not government." Jerome a Paris

[ Parent ]

Subscribe or Donate to support Daily Kos.

Click here for the mobile view of the site