On Saturday, February 1, 2020 at 10:54:31 AM UTC-5, Benoit wrote: > > On Saturday, February 1, 2020 at 3:37:57 AM UTC+1, Norman Megill wrote: >> >> On Friday, January 31, 2020 at 8:23:08 PM UTC-5, Benoit wrote: >>> >>> Regarding the possible introduction in the main part of semigroups and >>> magmas: >>> When I look at the page http://us2.metamath.org/mpeuni/df-mnd.html I >>> feel a bit dizzy. The abundance of parentheses and conjunctions makes it >>> hard to parse. >>> >> >> If you already know about magmas, semigroups, and monoids, of course >> you'd feel that way. Look at it from the perspective of someone who's >> never heard of these and really doesn't care to learn, because all they >> came for was groups. Just the names of these things are somewhat >> intimidating and have little or nothing to do with what they really are. >> > > I think we will not agree on this. I prefer to face difficulties one by > one, instead of all three at the same time. I personnally still find the > long chain of characters in http://us2.metamath.org/mpeuni/df-mnd.html > intimidating. It's always difficult to look from the perspective of > someone who's completely new to it. I may be underestimating the > difficulty of facing several notions, and you may be underestimating the > difficulty of reading such long expressions of formal math >
Question: why do you think that Lang's Algebra (2002 edition) doesn't define or mention "semigroup" in its 900 pages? Norm -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/78607d53-eb35-4729-9ee6-1e3bfa212ab8%40googlegroups.com.
