Last week, in Number Sense 044, Awkward Goat and Billy Goat Gruff invented a new operation, called Butts, which worked with three colors, Red, Yellow and Green. Butts has an identity element, Yellow, and is commutative. The jury is still out on whether Butts is associative or not.

“Well,” said Billy Goat Gruff, “we certainly found out how not to go about proving Butts is associative. But how do we find out whether it is or not?”

“Since we only have three colors in our table,” said Awkward Goat, “there are only six possible combinations using all three colors. We can check them all.”

“Since Yellow is the identity element,” said Awkward Goat, “anywhere we have Yellow butting another color, or another color butting Yellow, we can simply remove the Yellow square and leave the other color.”

“That makes our job a lot simpler,” said Billy Goat Gruff. “and they are all Red butts Green or Green butts Red.”

“And, according to our Butt table, both those give us Yellow.”

“Two of them are obviously the same thing,” said Billy Goat Gruff, “once we remove the parentheses. Red butts Green equals Red butts Green. And the other way around, too.”

“Let's remove the parentheses, first,” said Awkward Goat.

“So,” said Billy Goat Gruff, “we have Red butts Green, Yellow butts Yellow, and Green butts Red. According to our table, Red butts Green is Yellow.”

“Yellow butts Yellow is Yellow,” said Awkward Goat, “since it's the identity element.”

“And Green butts Red,” continued Billy Goat Gruff, “is Yellow.”

“I did not see that one coming,” said Billy Goat Gruff. “Does this mean our Butting operation is associative?”

“Not yet,” said Awkward Goat, “because we might have a situation where we have two Red and one other color.”

“If we have two Reds and a Green, anywhere we put the Green, the answer is the same: Red. We'll get a similar result for two Greens and a Red: we'll get Green.”

“The Yellow cancels itself out,” said Awkward Goat, “since it doesn't change the other color. So two Reds and a Yellow winds up becoming Red butts Red is Green, however you associate it. The same would be true for two Greens and a Yellow giving Red. If you have two Yellows, though, you end up with the third color, even if the third color is Yellow.”

“What's left?” asked Billy Goat Gruff.

“Three of a kind,” answered Awkward Goat. “Three Reds, let's see, Red butts Red is Green, and Green butts Red is Yellow. Three Greens: Green butts Green is Red, and Red butts Green is Yellow. And of course, three Yellows will give Yellow.”

So it seems association works for our Butt operation,” said Billy Goat Gruff. “I can't think of any other combinations we might try, and all the combinations we've looked at so far we can combine in any order.”

“So, let's sum up,” said Awkward Goat. “We have an operation, Butt, which works on three colors, Red, Yellow and Green.”

“Butt is closed. Every combination gives back one of the original colors as a result.”

“Butt has an identity element, Yellow, which gives back the color it butts, or the color that butts it.”

“Butt elements have inverses.”

“Excuse me, Awkward Goat,” said Billy Goat Gruff. “What's an inverse?”

“I'm sorry, I thought I explained that,” apologized Awkward Goat. “No? Well, if there is a color that results in Yellow, the identity element, when it is butted, then that color is the butting color's inverse. For example, Red butts Green gives Yellow, so Green is Red's inverse.”

“So Red is Green's inverse?” asked Billy Goat Gruff.

“Exactly!”

“Then what is Yellow's inverse?” asked Billy Goat Gruff. “It can't be Red or Green, because we don't get Yellow as a result.”

“That's true, but Yellow is its own inverse,” said Awkward Goat. “Yellow butts Yellow gives Yellow. Remember, inverse doesn't mean it changes a color to Yellow, it just means the result is Yellow.”

“I see. Carry on,” said Billy Goat Gruff.

“And finally, Butt is associative,” finished Awkward Goat. “I think we have a Group.”

“A Group?” asked Billy Goat Gruff.

“A Group,” replied Awkward Goat. “A set of elements, Red, Yellow and Green, with an operator, Butt, that is closed, has an identity element, all its elements have inverses, and is associative.”

“The idea,” mused Billy Goat Gruff, “that a bunch of colors, running around in a fenced in yard, butting each other to make more of the same colors, is mathematics... well, let's just say it all seems rather abstract to me.”

“Excellent!” cheered Awkward Goat, “You've got it!”

#### Tags

EMAIL TO A FRIEND X
You must add at least one tag to this diary before publishing it.

Add keywords that describe this diary. Separate multiple keywords with commas.
Tagging tips - Search For Tags - Browse For Tags

?

More Tagging tips:

A tag is a way to search for this diary. If someone is searching for "Barack Obama," is this a diary they'd be trying to find?

Use a person's full name, without any title. Senator Obama may become President Obama, and Michelle Obama might run for office.

If your diary covers an election or elected official, use election tags, which are generally the state abbreviation followed by the office. CA-01 is the first district House seat. CA-Sen covers both senate races. NY-GOV covers the New York governor's race.

Tags do not compound: that is, "education reform" is a completely different tag from "education". A tag like "reform" alone is probably not meaningful.

Consider if one or more of these tags fits your diary: Civil Rights, Community, Congress, Culture, Economy, Education, Elections, Energy, Environment, Health Care, International, Labor, Law, Media, Meta, National Security, Science, Transportation, or White House. If your diary is specific to a state, consider adding the state (California, Texas, etc). Keep in mind, though, that there are many wonderful and important diaries that don't fit in any of these tags. Don't worry if yours doesn't.

You can add a private note to this diary when hotlisting it:
Are you sure you want to remove this diary from your hotlist?
Are you sure you want to remove your recommendation? You can only recommend a diary once, so you will not be able to re-recommend it afterwards.
Rescue this diary, and add a note:
Are you sure you want to remove this diary from Rescue?
Choose where to republish this diary. The diary will be added to the queue for that group. Publish it from the queue to make it appear.

You must be a member of a group to use this feature.

Add a quick update to your diary without changing the diary itself:
Are you sure you want to remove this diary?
 Unpublish Diary (The diary will be removed from the site and returned to your drafts for further editing.) Delete Diary (The diary will be removed.)
Are you sure you want to save these changes to the published diary?

#### Comment Preferences

• ##### Tips for groups(11+ / 0-)

of Goats? No, those are herds. Of grapes? No, those are bunches. Of geese? No those are flocks.

So what is a group, anyway?

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

• ##### Does this still work if you are color blind?(4+ / 0-)
Recommended by:

Thanks Orinoco!  Great stuff.

• ##### My friend(3+ / 0-)
Recommended by:

the biology teacher was color blind. His wife was color blind. Their kids had no chance. He said when he was young he worried that his clothes didn't match, so he always brought someone with him to pick stuff out. After he got married he said it was just as well.

• ##### I am not color blind(3+ / 0-)
Recommended by:
palantir, Chi, joemac53

and I still do well to have someone else pick out my clothes.

A story: around Halloween, a colleague wore a black skirt and an orange top. I said, "Oh! nice! Color coordinated." She fixed me with one of those looks and replied, "I like to think I'm always color coordinated." I quickly backpedaled and said, "Oh, you are, you are, but today you're color coordinated enough that even I noticed!"

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

[ Parent ]

• ##### My advice to all(1+ / 0-)
Recommended by:
Orinoco

Never notice...that way you should not get in trouble.

• ##### Yes!(1+ / 0-)
Recommended by:
palantir

But you have to use limes, bananas and apples, and distinguish them by smell.

Oh, and keep the goats away, or they'll eat the Cayley table.

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

[ Parent ]

• ##### Love them groups!(2+ / 0-)
Recommended by:

Keep them coming!

• ##### OK, but (or is it butt?) what are you going to do(1+ / 0-)
Recommended by:
Orinoco

with groups that have thousands or millions of elements?

I write about Learning Disabilities and general stuff at Associated Content

• ##### I think I'm going to say:(1+ / 0-)
Recommended by:
plf515

leave this to the professionals... kids, don't try this at home.

Determining associativity for an arbitrary operation is not a simple task. It might make more sense to design an algorithm that guaranteed associativity, and use that to fill in the Cayley table for an operation so you'd know, a priori, that the operation was associative.

If you have an algorithm, then you could put together an inductive proof that would extend to thousands or millions of elements, beginning with a tiny cayley table that could be proved by hand, like the one in this diary.

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

[ Parent ]