Print Story I made my first Grothendieck group
Logic & Maths
By Alan Crowe (Sat Mar 11, 2006 at 07:25:53 AM EST) mathematics, algebra, abstract algebra, group theory (all tags)

I started with {0,1} for my set and logical-or as my law of composition. Then I carried out the construction to get my Grothendieck group. It turned out to be embarrasslingly small, but, heh, we all have to start somewhere



The idea is to start with a commutative monoid and turn it into a group. That is, you start with something that fails to be a group because it lacks inverses, and fix it, using the fact it is commutative.

So first I need a monoid, M.
0+0=0
0+1=1
1+0=1
1+1=1
will do.

The operation is logical-or so it is associative and has 0 as its unit. Thats the monoid taken care off. Obviously it is commutative.

Now for Fab(M), the free abelian group generated by M. I'll write elements of Fab(M) like this 0n1m where n and m are integers. Example:
0516+0-213 =0319

In my text book the generator of Fab(M) corresponding to an element x ∈ M is written [x]. So [0] = 0110 and [1] = 0011

Next I need B the subgroup of Fab(M) generated by all elements of type [x+y]-[x]-[y]. Now you can see why I wanted to start small. I only have four generators to consider.
[0+0]-[0]-[0] = [0]-[0]-[0] = 0-110
[0+1]-[0]-[1] = [1]-[0]-[1] = 0-110
[1+0]-[1]-[0] = [1]-[1]-[0] = 0-110
[1+1]-[1]-[1] = [1]-[1]-[1] = 001-1

Since B contains 0-110 it must contain its inverse 0110. Similarly 001-1B so we must have 0011B

B has both of the generators of Fab(M) so it must be the whole of Fab(M).

The final step is to construct the Grothendieck group as the quotient of Fab(M) by B. Since Fab(M) = B this is easy, it is isomorphic to the group with one element. That is a little disappointing, my monoid shrank!

On the other hand it is quite illuminating. My text book goes on to talk about cancellation laws. My monoid doesn't let me cancel 1's. I was half expecting the Grothendieck construction to fix the fact that it isn't a group by adding inverses, but it does the obvious thing and gets rid of things that don't cancel.

< Visiting Hours Are Over. | BBC White season: 'Rivers of Blood' >
I made my first Grothendieck group | 5 comments (5 topical, 0 hidden) | Trackback
WIPO by DesiredUsername (4.00 / 2) #1 Sat Mar 11, 2006 at 08:06:14 AM EST
Homomorphism is destroying the traditional institution of commutivity.

---
Now accepting suggestions for a new sigline
this comment is cardinalist! by dr k (4.00 / 1) #4 Sat Mar 11, 2006 at 09:00:30 AM EST
We demand equal rights for non-singular matrices.

:| :| :| :| :|

[ Parent ]
Grothendieck Group? by ObviousTroll (2.00 / 0) #2 Sat Mar 11, 2006 at 08:13:42 AM EST
I realize I'm not down with the young peoples' music any more, but I didn't realize the Netherlands were having such a large influence on popular culture.


The doctor said it was the worst case of cookie-blindness he'd ever seen.
A+++++ would grade this homework again by dr k (2.00 / 0) #3 Sat Mar 11, 2006 at 08:57:40 AM EST
Please staple your assignments.

:| :| :| :| :|

"And write your name and student ID on each by Forbidden (2.00 / 0) #5 Sun Mar 12, 2006 at 12:34:16 PM EST
...page. My name is Dave, I'll see you next week."

I fucking hated that guy!


You once was.
[ Parent ]
I made my first Grothendieck group | 5 comments (5 topical, 0 hidden) | Trackback