545:
465:
33:
621:"The Schützenberger Group of an H-class in the Semigroup of Binary Relations by Robert L. Brandon, Darel W. Hardy, George Markowsky, Missouri University of Science and Technology, 1972-12-01"
51:
690:
69:
682:
169:
757:
584:
580:
596:
592:
716:
435:
95:
91:
670:
686:
600:
728:
632:
193:
83:
700:
696:
162:
674:
588:
173:
544:
464:
751:
17:
620:
518:
130:
576:
105:
650:
Marcel-Paul Schützenberger (1957). "D-representation des demi-groupes".
636:
603:
if and only if all of its Schützenberger groups are residually finite.
154:. In fact, there are two Schützenberger groups associated with a given
500:
732:
619:
Brandon, Robert; Hardy, Darel; Markowsky, George (December 1972).
514:, and it is naturally isomorphic to its own Schützenberger group.
438:
of mappings (taking functions as right operators). The group Γ(
539:
459:
26:
575:
It is known that a monoid with finitely many left and right
115:
are distinct, but the groups associated with two different
556:
476:
47:
108:. The Schützenberger groups associated with different
140:
itself were a group, the Schützenberger group of the
42:
may be too technical for most readers to understand
442:) is the Schützenberger group associated with the
681:. Mathematical Surveys, No. 7. Providence, R.I.:
717:"Marcel-Paul Schützenberger (1920–1996)"
715:Wilf, Herbert; et al. (August 29, 1996).
525:and its Schützenberger group coincide for any
8:
426:. The set of all these transformations of
168:The Schützenberger group was discovered by
679:The algebraic theory of semigroups. Vol. I
192:be the semigroup obtained by adjoining an
172:in 1957 and the terminology was coined by
70:Learn how and when to remove this message
54:, without removing the technical details.
400:) defines a transformation, denoted by γ
721:The Electronic Journal of Combinatorics
611:
204:already has an identity element, then
591:all of its Schützenberger groups are
52:make it understandable to non-experts
7:
25:
543:
463:
31:
599:). Similarly such a monoid is
1:
683:American Mathematical Society
517:In general, one has that the
372:) be the set of all elements
671:Clifford, Alfred Hoblitzelle
499:is a maximal subgroup of a
147:would be isomorphic to the
774:
223:is defined as follows: If
170:Marcel-Paul Schützenberger
180:The Schützenberger group
675:Preston, Gordon Bamford
188:be a semigroup and let
705:(pp. 63–66)
652:C. R. Acad. Sci. Paris
122:contained in the same
434:), is a group under
88:Schützenberger group
18:Schutzenberger group
133:. Moreover, if the
129:of a semigroup are
637:10.1007/BF02572873
597:finitely generated
593:finitely presented
585:finitely generated
581:finitely presented
555:. You can help by
475:. You can help by
161:, with each being
94:associated with a
692:978-0-8218-0272-4
601:residually finite
573:
572:
493:
492:
360:of the semigroup
304:, the set of all
80:
79:
72:
16:(Redirected from
765:
758:Semigroup theory
743:
742:
740:
739:
712:
706:
704:
667:
661:
659:
647:
641:
640:
616:
568:
565:
547:
540:
528:
513:
488:
485:
467:
460:
448:
359:
328:
218:
194:identity element
160:
153:
146:
139:
128:
121:
114:
102:
84:semigroup theory
75:
68:
64:
61:
55:
35:
34:
27:
21:
773:
772:
768:
767:
766:
764:
763:
762:
748:
747:
746:
737:
735:
714:
713:
709:
693:
669:
668:
664:
649:
648:
644:
625:Semigroup Forum
618:
617:
613:
609:
595:(respectively,
569:
563:
560:
553:needs expansion
538:
526:
511:
489:
483:
480:
473:needs expansion
458:
443:
430:, denoted by Γ(
405:
384:is a subset of
354:
345:
323:
213:
182:
155:
148:
141:
134:
123:
116:
109:
97:
76:
65:
59:
56:
48:help improve it
45:
36:
32:
23:
22:
15:
12:
11:
5:
771:
769:
761:
760:
750:
749:
745:
744:
707:
691:
662:
642:
610:
608:
605:
589:if and only if
571:
570:
550:
548:
537:
534:
491:
490:
470:
468:
457:
454:
401:
341:
294:
293:
181:
178:
174:A. H. Clifford
165:to the other.
163:antiisomorphic
78:
77:
60:September 2024
39:
37:
30:
24:
14:
13:
10:
9:
6:
4:
3:
2:
770:
759:
756:
755:
753:
734:
733:10.37236/2063
730:
726:
722:
718:
711:
708:
702:
698:
694:
688:
684:
680:
676:
672:
666:
663:
657:
653:
646:
643:
638:
634:
630:
626:
622:
615:
612:
606:
604:
602:
598:
594:
590:
586:
582:
578:
567:
558:
554:
551:This section
549:
546:
542:
541:
535:
533:
531:
524:
520:
515:
509:
505:
502:
498:
487:
478:
474:
471:This section
469:
466:
462:
461:
455:
453:
451:
446:
441:
437:
433:
429:
425:
421:
417:
413:
409:
404:
399:
395:
391:
388:itself. Each
387:
383:
379:
375:
371:
367:
363:
357:
352:
347:
344:
340:
337:, denoted by
336:
332:
326:
322:is the Green
321:
318:
315:
311:
307:
303:
299:
291:
287:
283:
279:
275:
271:
267:
263:
259:
255:
251:
247:
244:
241:
238:
237:
236:
234:
230:
226:
222:
216:
211:
207:
203:
199:
195:
191:
187:
179:
177:
175:
171:
166:
164:
158:
151:
144:
137:
132:
126:
119:
112:
107:
103:
100:
93:
89:
85:
74:
71:
63:
53:
49:
43:
40:This article
38:
29:
28:
19:
736:. Retrieved
724:
720:
710:
678:
665:
660:(MR 19, 249)
658:: 1994–1996.
655:
651:
645:
631:(1): 45–53.
628:
624:
614:
574:
561:
557:adding to it
552:
536:Applications
529:
522:
516:
507:
503:
496:
494:
481:
477:adding to it
472:
449:
444:
439:
431:
427:
423:
419:
415:
411:
407:
402:
397:
393:
389:
385:
381:
377:
373:
369:
365:
361:
355:
350:
348:
342:
338:
334:
330:
324:
319:
316:
313:
309:
308: s in
305:
301:
297:
295:
289:
285:
281:
277:
273:
269:
265:
261:
257:
253:
249:
248:⇔ there are
245:
242:
239:
232:
228:
224:
220:
214:
209:
205:
201:
197:
189:
185:
183:
167:
156:
149:
142:
135:
124:
117:
110:
98:
87:
81:
66:
57:
41:
519:cardinality
436:composition
410:by mapping
333:containing
212:). Green's
738:2015-12-30
607:References
380:such that
312:such that
268:such that
131:isomorphic
583:(or just
564:June 2009
484:June 2009
217:-relation
106:semigroup
752:Category
677:(1961).
456:Examples
120:-classes
113:-classes
701:0132791
527:H-class
512:H-class
506:, then
364:. Let
231:are in
46:Please
699:
689:
577:ideals
510:is an
501:monoid
447:-class
358:-class
353:be an
327:-class
159:-class
152:-class
145:-class
138:-class
127:-class
101:-class
96:Green
406:, of
235:then
196:1 to
104:of a
92:group
90:is a
687:ISBN
349:Let
296:For
280:and
227:and
200:(if
184:Let
86:, a
729:doi
656:244
633:doi
579:is
559:.
521:of
495:If
479:.
422:in
418:to
414:in
392:in
376:in
329:of
300:in
264:in
219:in
82:In
50:to
754::
727:.
723:.
719:.
697:MR
695:.
685:.
673:;
654:.
627:.
623:.
587:)
532:.
452:.
420:ht
382:Ht
346:.
306:b'
288:=
286:by
284:=
282:vb
276:=
274:ax
272:=
270:ua
260:,
256:,
252:,
208:=
176:.
741:.
731::
725:3
703:.
639:.
635::
629:5
566:)
562:(
530:H
523:H
508:H
504:M
497:H
486:)
482:(
450:H
445:H
440:H
432:H
428:H
424:H
416:H
412:h
408:H
403:t
398:H
396:(
394:T
390:t
386:H
378:S
374:t
370:H
368:(
366:T
362:S
356:H
351:H
343:a
339:H
335:a
331:S
325:H
320:b
317:H
314:a
310:S
302:S
298:a
292:.
290:a
278:b
266:S
262:y
258:x
254:v
250:u
246:b
243:H
240:a
233:S
229:b
225:a
221:S
215:H
210:S
206:S
202:S
198:S
190:S
186:S
157:H
150:H
143:H
136:H
125:D
118:H
111:H
99:H
73:)
67:(
62:)
58:(
44:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.