Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've been asking questions on reflectors before and I hope you are not getting annoyed. Apologies if that's the case.

My question is the following: Are there reflectors to the forgetful functor $U: \mathbf{CMon} \to \mathbf{Mon}$ from commutative monoids to the general monoids?

I know they exist in rings and groups but I have trouble working it out for monoids. Any answer is very much appreciated, but one not referring to the adjoint functor theorem is preferred.

share|improve this question
    
Thanks Martin Sleziak for edit, I'll be better in the future –  user25470 Apr 9 '12 at 20:11

1 Answer 1

up vote 1 down vote accepted

Well it's pretty much the same as for groups, and in fact, every algebraic structure which includes a binary composition law.

When $M$ is a monoid, then $M^{\mathrm{ab}}$ is defined to be $M/\sim$, where $\sim$ is the smallest congruence relation on $M$ which satisfies $ab \sim ba$ for all $a,b \in M$. Then $M \mapsto M^{\mathrm{ab}}$ is left adjoint to the inclusion functor $U$. The proof is trivial.

If you want to have an explicit description of $\sim$ (which is important for computations, but not for the proof that the above is true): $x \sim y$ iff there is a composition $x=x_1 \cdots x_n$ and a permutation $\sigma$ of $1,\dotsc,n$ such that $y = x_{\sigma(1)} \cdots x_{\sigma(n)}$. [This easy description is not available for the category of groups] In other words: Computation in $M^{\mathrm{ab}}$ is as in $M$, but you don't care for the order in which they are done.

share|improve this answer
    
Does it have a right adjoint? –  user25470 Apr 9 '12 at 18:44
    
No, $U$ doesn't preserve colimits (namely, coproducts are not preserved). –  Martin Brandenburg Apr 9 '12 at 19:03
    
Thanks for the help, deeply appreciated –  user25470 Apr 9 '12 at 20:10

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.