✎ Monoids [The Physics Travel Guide]

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

====== Monoids ======

<blockquote> Monoids abound in mathematics; they are in a sense the most primitive interesting algebraic structures.<cite>http://math.ucr.edu/home/baez/week74.html</cite></blockquote>

<note tip>
Explanations in this section should contain no formulas, but instead colloquial things like you would hear them during a coffee break or at a cocktail party.
</note>
  
<tabbox Student>

<blockquote>what is a category with one object? It is a "monoid". The usual definition of a monoid is this: a set M with an associative binary product and a unit element 1 such that a1 = 1a = a for all a in S. [...]

We tend to think of this ability to "undo" any process as a key aspect of symmetry. I.e., if we rotate a beer bottle, we can rotate it back so it was just as it was before. We don't tend to think of SMASHING the beer bottle as a symmetry, because it can't be undone. But while processes that can be undone are especially interesting, it's also nice to consider other ones... so for a full understanding of symmetry we should really study monoids as well as groups.

But we also should be interested in "partially defined" processes, processes that can be done only if the initial conditions are right. This is where categories come in! Suppose that we have a bunch of boxes, and a bunch of processes we can do to a bottle in one box to turn it into a bottle in another box: for example, "take the bottle out of box x, rotate it 90 degrees clockwise, and put it in box y". We can then think of the boxes as objects and the processes as morphisms: a process that turns a bottle in box x to a bottle in box y is a morphism f: x → y. We can only do a morphism f: x → y to a bottle in box x, not to a bottle in any other box, so f is a "partially defined" process. This implies we can only compose f: x → y and g: u → v to get fg: x → v if y = u.

[A] monoid is like a [[advanced_tools:group_theory|group]], but the "symmetries" no longer need be invertible; a category is like a monoid, but the "symmetries" no longer need to be composable!
<cite>http://math.ucr.edu/home/baez/week74.html</cite></blockquote>
 
<tabbox Researcher>

<note tip>
The motto in this section is: //the higher the level of abstraction, the better//.
</note>

--> Example1#

<--

--> Example2:#

<--

</tabbox>

Please solve the following equation to prove you're human. 146 -3 = Please keep this field empty:

Edit summary

Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International

User Tools

Site Tools

Page Tools