tag:blogger.com,1999:blog-5195188167565410449.post3620898973287363209..comments2016-09-19T07:11:19.884+01:00Comments on Haskell for Maths: What is a Hopf algebra?DavidAhttp://www.blogger.com/profile/16359932006803389458noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5195188167565410449.post-64439429987147720152012-03-05T19:57:17.225+00:002012-03-05T19:57:17.225+00:00No, that was a temporary hallucination on my part....No, that was a temporary hallucination on my part. Sorry!<br /><br />(It is however true that a finite monoid with left and right cancellation is a group - which is kind of how I was seeing it in my head.)DavidAhttp://www.blogger.com/profile/16359932006803389458noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-22616105983468477222012-03-04T19:19:37.236+00:002012-03-04T19:19:37.236+00:00Is it true that all finite monoids are groups?
If ...Is it true that all finite monoids are groups?<br />If a monoid is a set with an associative binary operation having an identity element, how about<br /> with S = {1, 2, 3, 4} and a * b = max {a, b} ?<br />It has identity 1 and max is associative...myzoskihttp://www.blogger.com/profile/02622704681931775367noreply@blogger.com