• Support PF! Buy your school textbooks, materials and every day products Here!

Commutative monoids have binary products

  • Thread starter imlala
  • Start date
  • #1
3
0

Homework Statement


Hello,

I'd like to prove that the category cmon of commutative monoids has binary products.


The Attempt at a Solution



actually i'm aware that i have to use cartesian products
given monoids (M, [tex]\bullet[/tex]m, [tex]e^{}_{m}[/tex]) and (N, [tex]\bullet[/tex]n, [tex]e^{}_{n}[/tex])

it follows that (M[tex]\times[/tex]N) [tex]\times[/tex] (M[tex]\times[/tex]N) [tex]\rightarrow[/tex] M[tex]\times[/tex] N

and ((m,n), (m',n')) |---> (m [tex]\bullet[/tex]m m', n [tex]\bullet[/tex]n n') ....

Thanks in advance for any help!
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Well, what have you managed to do successfully, and where are you stuck? Can you, at least, write an outline of the individual steps you have to do even if you can't do them?


P.S. I'm assuming you don't have any general structure theorems available -- e.g. that any variety of universal algebra has products.
 
  • #3
3
0
actually i've got the solution for the particular problem for category monoid of monoids but i can't figure out what is needed to add to the proof to satisfy the proposition that cmon of commutative monoids have binary products.
 

Related Threads on Commutative monoids have binary products

Replies
4
Views
941
Replies
1
Views
638
Replies
8
Views
2K
Replies
2
Views
3K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
0
Views
1K
Replies
0
Views
724
  • Last Post
Replies
11
Views
3K
  • Last Post
Replies
3
Views
2K
Top