Talk:Semigroup

message: I happen to think this article is pretty ambiguous about closedness of the set under its operation. It was only upon getting to the mention of magmas where closedness was mentioned, that it became apparent the set would be closed under its operation. By way of adding clarity - the positive integers without zero are a semigroup, being a monoid with the identity deleted.  However the nonzero integers are ALSO a monoid with the identity removed.  But they're not a semigroup because the sum of any element and its inverse would not be in the set.  — Preceding unsigned comment added by 92.24.18.49 (talk) 16:13, 24 August 2022 (UTC)
thread_title:  Closedness 

message: The chart of group-like structures has a column for "totality" which links to the idea of a total function. But it's not quite clear how this applies to algebras. The fact that categories are classified as not possessing "totality" only perplexes me. Can someone illuminate this in the article?
In fact, it might be good to give the reader a tour of that little chart. The adjacent section says almost nothing directly about the chart.
Ezrakilty (talk) 03:23, 16 March 2011 (UTC)
replies: text: I think it would be better to get rid of the table. In any case, this is not the article in which to explain it. As for "totality", this is intended to mean that the operation can be applied to any ordered pair of elements. In a category, the "elements" are the morphisms, and the operation is composition of morphisms, so totality fails if there is more than one object. --Zundark (talk) 09:01, 16 March 2011 (UTC)
thread_title:  "Totality" for group-like structures 

message: The section on generalizations mentions semigroupoids, but the accompanying table mentions "semicategory" at what would appear to be the corresponding place.
While I'm mentioning apparent inconsistencies, the section on semigroup applications in PDE's seems to have some as well. I think that H2 should be L2 and that A in the final set of equations should be D. Marc van Leeuwen (talk) 13:59, 21 September 2013 (UTC)
thread_title:  Semigroupoid=semicategory? 

message: I have an engineering degree from MIT, and this article is still pretty much incomprehensible at first read.  A visualization or an elementary worked-through example or two would be enormously helpful. Having lots of prose with mathematical symbols makes it very hard to unpack. -- Beland (talk) 19:55, 19 December 2014 (UTC)
replies: text: Well, we could copy a visual example from Semigroup_with_two_elements. The catch is that methods of semi-group theory are in general rather different from those of group theory. So it's a strange new world the first time you read through it in any presentation. 86.127.138.67 (talk) 07:34, 12 April 2015 (UTC)

text: Actually since this page contains little more than definitions, can you clarify where you got lost? 86.127.138.67 (talk) 10:08, 12 April 2015 (UTC)

text: I rewrote the lead. Let me know what you think. 86.127.138.67 (talk) 10:22, 18 April 2015 (UTC)

text: I like it. I split the last paragraph, which was quite large, into its three natural parts. I also added the "flip-flop" monoid to the examples section - it is very simple and easy to understand even for complete beginners, it is very different than the other examples, and it is fundamentally important for the structure of finite semigroups due to its central role in the Krohn-Rhodes theorem.  — Preceding unsigned comment added by StormWillLaugh (talk • contribs) 19:06, 17 February 2020 (UTC)
thread_title: Making the article accessible

message: Semigroup is sometimes employed for what we (and most extant mathematicians) call a monoid; e. g., as in "numeric(al) semigroup" employed as synonym for "submonoid of (\{0,1,2,3,\ldots\},+)").  I do not know whether historically there were furter deviations from our definition.  However, I think any alternative usage (within algebra) should be mentioned in a short paragraph; and the usage "synonymous with monoid" probably even should be mentioned in the lead. JoergenB (talk) 16:58, 4 November 2023 (UTC)
thread_title:  Other uses of the term