84:
74:
53:
458:. Obviously the reason for that is precision, which is important also. But the problem is that a definition of an unfamiliar term is often given in terms of 2-3 other unfamiliar terms, which in turn are defined in terms of more unfamiliar terms, etc.. I find myself diving through several layers of dependency definitions -- each with a different wikipedia page -- just to unpack one definition. And the problem with specialized notation is that it is not even clear
229:
158:
22:
176:
515:
As a case in point, I was just looking up the definition of "inverse relation" on wikipedia, and the explanation talked about a "semigroup with involution", so I had to look up that, which was defined in terms of a "semigroup", so I had to look up that page (which brought me here), which says that "A
287:
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
314:
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?
572:
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
333:
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
392:
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. --
512:, though of course they should be clearly noted as being imprecise. The key point in a plain language definition is to avoid domain-specific jargon. For example: "Roughly speaking, a foo is . . . ". And later: "More precisely, a foo is . . . " (with full rigor and jargon).
673:"). 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.
523:: (a) someone runs across an unfamiliar term and reads the page to get a rough idea of what that term means; and (b) someone wants to dig deeply and precisely into the meaning of the term. The (possibly imprecise) plain language definition should be given
288:
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.
449:
for those who are not math specialists! I have a PhD in
Computer Science, and I've certainly had reasonable exposure to math and logic over the years, but I too find this article unbearably difficult to unpack. The main problem is the
542:
I hope the above suggestions are helpful and don't just sound like complaints. I know it is hard to write such things in widely understandable ways, and I very much appreciate the efforts of all editors who contribute. Thanks! --
140:
671:
412:. 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
500:
480:
354:
The section on generalizations mentions semigroupoids, but the accompanying table mentions "semicategory" at what would appear to be the corresponding place.
701:
130:
183:
163:
711:
106:
696:
318:
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.
588:
706:
559:
482:(which I do know, but I'm just using as an example). Ask yourself: What would a reader type into a google search, to find out what the
431:
417:
357:
While I'm mentioning apparent inconsistencies, the section on semigroup applications in PDE's seems to have some as well. I think that
295:
97:
58:
516:
semigroup generalizes a monoid", so I had to look up "monoid" . . . except that I gave up at that point. (Stack overflow?)
531:
think it is important to introduce the jargon that is used in the field, but it should be fairly clearly separated from
188:
33:
409:
272:
378:
251:
584:
539:
they face the prospect of a deeply nested recursive traversal through many pages of jargon-filled definitions.
242:
614:
563:
435:
421:
299:
535:
providing a layman's (approximate) definition, so that readers can get the gist of what the term is about
580:
374:
39:
573:
important for the structure of finite semigroups due to its central role in the Krohn-Rhodes theorem.
83:
576:
291:
430:
Actually since this page contains little more than definitions, can you clarify where you got lost?
21:
323:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
678:
544:
257:
89:
73:
52:
339:
548:
398:
253:
228:
485:
465:
319:
690:
674:
335:
519:
There are two main use cases that a page like this should address, and they are
394:
334:
composition of morphisms, so totality fails if there is more than one object. --
102:
79:
611:; e. g., as in "numeric(al) semigroup" employed as synonym for "submonoid of
607:
is sometimes employed for what we (and most extant mathematicians) call a
175:
157:
510:
plain language definitions help enormously, even if they are imprecise
527:, free of jargon. The gory details and jargon should come later. I
255:
682:
592:
567:
552:
439:
425:
402:
382:
343:
327:
303:
258:
222:
15:
191:
process or it was formerly listed at
Requested articles.
617:
488:
468:
462:
to look up the definition of a symbol such as "*" or
101:, a collaborative effort to improve the coverage of
187:, because it is used for the administration of the
665:
494:
474:
447:please help make this article easier to understand
558:I rewrote the lead. Let me know what you think.
266:This page has archives. Sections older than
8:
651:
621:
574:
408:Well, we could copy a visual example from
289:
152:
47:
616:
487:
467:
369:in the final set of equations should be
197:Knowledge:WikiProject Requested articles
666:{\displaystyle (\{0,1,2,3,\ldots \},+)}
200:Template:WikiProject Requested articles
154:
49:
19:
276:when more than 5 sections are present.
7:
310:"Totality" for group-like structures
181:This article is within the scope of
95:This article is within the scope of
38:It is of interest to the following
14:
702:Mid-priority mathematics articles
270:may be automatically archived by
115:Knowledge:WikiProject Mathematics
227:
174:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
660:
618:
383:13:59, 21 September 2013 (UTC)
184:WikiProject Requested articles
1:
712:Requested articles by quality
593:19:06, 17 February 2020 (UTC)
403:19:55, 19 December 2014 (UTC)
388:Making the article accessible
109:and see a list of open tasks.
697:C-Class mathematics articles
683:16:58, 4 November 2023 (UTC)
410:Semigroup_with_two_elements
304:16:13, 24 August 2022 (UTC)
728:
707:C-Class Requested articles
568:10:22, 18 April 2015 (UTC)
553:16:29, 17 April 2015 (UTC)
440:10:08, 12 April 2015 (UTC)
426:07:34, 12 April 2015 (UTC)
350:Semigroupoid=semicategory?
344:09:01, 16 March 2011 (UTC)
328:03:23, 16 March 2011 (UTC)
169:
134:
67:
46:
456:domain-specific notation
141:project's priority scale
98:WikiProject Mathematics
667:
600:Other uses of the term
496:
476:
452:high density of jargon
273:Lowercase sigmabot III
28:This article is rated
668:
497:
477:
615:
506:Examples help a lot.
495:{\displaystyle \in }
486:
475:{\displaystyle \in }
466:
121:mathematics articles
663:
492:
472:
203:Requested articles
194:Requested articles
189:Requested articles
164:Requested articles
90:Mathematics portal
34:content assessment
595:
579:comment added by
306:
294:comment added by
280:
279:
219:
218:
215:
214:
211:
210:
151:
150:
147:
146:
719:
672:
670:
669:
664:
501:
499:
498:
493:
481:
479:
478:
473:
375:Marc van Leeuwen
275:
259:
231:
223:
205:
204:
201:
198:
195:
178:
171:
170:
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
727:
726:
722:
721:
720:
718:
717:
716:
687:
686:
613:
612:
602:
484:
483:
464:
463:
390:
352:
312:
285:
271:
260:
254:
236:
202:
199:
196:
193:
192:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
725:
723:
715:
714:
709:
704:
699:
689:
688:
662:
659:
656:
653:
650:
647:
644:
641:
638:
635:
632:
629:
626:
623:
620:
601:
598:
597:
596:
581:StormWillLaugh
570:
502:symbol means?
491:
471:
443:
442:
428:
416:presentation.
389:
386:
351:
348:
347:
346:
311:
308:
284:
281:
278:
277:
265:
262:
261:
256:
252:
250:
247:
246:
238:
237:
232:
226:
217:
216:
213:
212:
209:
208:
206:
179:
167:
166:
161:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
724:
713:
710:
708:
705:
703:
700:
698:
695:
694:
692:
685:
684:
680:
676:
657:
654:
648:
645:
642:
639:
636:
633:
630:
627:
624:
610:
606:
599:
594:
590:
586:
582:
578:
571:
569:
565:
561:
560:86.127.138.67
557:
556:
555:
554:
550:
546:
540:
538:
534:
530:
526:
522:
517:
513:
511:
507:
503:
489:
469:
461:
457:
453:
448:
441:
437:
433:
432:86.127.138.67
429:
427:
423:
419:
418:86.127.138.67
415:
411:
407:
406:
405:
404:
400:
396:
387:
385:
384:
380:
376:
372:
368:
364:
360:
355:
349:
345:
341:
337:
332:
331:
330:
329:
325:
321:
316:
309:
307:
305:
301:
297:
293:
282:
274:
269:
264:
263:
249:
248:
245:
244:
240:
239:
235:
230:
225:
224:
221:
207:
190:
186:
185:
180:
177:
173:
172:
168:
165:
162:
159:
155:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
608:
604:
603:
575:— Preceding
541:
536:
532:
528:
524:
520:
518:
514:
509:
505:
504:
459:
455:
451:
446:
444:
413:
391:
370:
366:
362:
358:
356:
353:
317:
313:
290:— Preceding
286:
267:
241:
233:
220:
182:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
296:92.24.18.49
112:Mathematics
103:mathematics
59:Mathematics
691:Categories
361:should be
283:Closedness
605:Semigroup
521:different
365:and that
320:Ezrakilty
675:JoergenB
589:contribs
577:unsigned
454:and the
292:unsigned
268:365 days
234:Archives
336:Zundark
139:on the
30:C-class
609:monoid
545:DBooth
537:before
395:Beland
36:scale.
533:first
525:first
445:Yes,
679:talk
585:talk
564:talk
549:talk
508:And
436:talk
422:talk
399:talk
379:talk
340:talk
324:talk
300:talk
460:how
414:any
131:Mid
693::
681:)
649:…
591:)
587:•
566:)
551:)
529:do
490:∈
470:∈
438:)
424:)
401:)
381:)
373:.
342:)
326:)
302:)
677:(
661:)
658:+
655:,
652:}
646:,
643:3
640:,
637:2
634:,
631:1
628:,
625:0
622:{
619:(
583:(
562:(
547:(
434:(
420:(
397:(
377:(
371:D
367:A
363:L
359:H
338:(
322:(
298:(
243:1
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.