2842:
2272:
2837:{\displaystyle {\begin{aligned}\beta \left({\frac {m}{n}}\right)&=\beta \left({\frac {1}{n}}\cdot m\right)=\beta \left({\frac {1}{n}}\right)\cdot \beta (m)\\&=\beta \left({\frac {1}{n}}\right)\cdot \gamma (m)=\beta \left({\frac {1}{n}}\right)\cdot \gamma \left(mn\cdot {\frac {1}{n}}\right)\\&=\beta \left({\frac {1}{n}}\right)\cdot \gamma (mn)\cdot \gamma \left({\frac {1}{n}}\right)=\beta \left({\frac {1}{n}}\right)\cdot \beta (mn)\cdot \gamma \left({\frac {1}{n}}\right)\\&=\beta \left({\frac {1}{n}}\cdot mn\right)\cdot \gamma \left({\frac {1}{n}}\right)=\beta (m)\cdot \gamma \left({\frac {1}{n}}\right)=\gamma (m)\cdot \gamma \left({\frac {1}{n}}\right)\\&=\gamma \left(m\cdot {\frac {1}{n}}\right)=\gamma \left({\frac {m}{n}}\right),\end{aligned}}}
282:
635:
306:
1576:
2230:
630:{\displaystyle {\begin{aligned}d&=x_{1}u_{1},&u_{1}&=v_{1}y_{1}\\x_{i-1}v_{i-1}&=x_{i}u_{i},&u_{i}y_{i-1}&=v_{i}y_{i}\;(i=2,\dots ,m)\\x_{m}v_{m}&=u_{m+1},&u_{m+1}y_{m}&=d\end{aligned}}}
1927:
954:
727:
1972:
811:
238:
2277:
311:
3316:
First
International Tainan-Moscow Algebra Workshop: Proceedings of the International Conference held at National Cheng Kung University Tainan, Taiwan, Republic of China, July 23–August 22, 1994
2265:
1676:
1322:
1371:
1249:
1195:
135:
1714:
2140:
1850:
1815:
1018:
167:
2070:
81:
2168:
3761:
2036:
1750:
1994:
1082:
1130:
2096:
1626:
1348:
1044:
2173:
244:, and the Zig-zag theorem gives necessary and sufficient conditions for determining whether or not a given morphism is epi. Proofs of this theorem are
1872:
3444:
836:
3450:
3536:
3330:
4210:
4045:
4026:
3530:
3501:
3324:
642:
1935:
732:
176:
4132:
These pure algebraic proofs were based on the tensor product characterization of the dominant elements for monoid by
2235:
4205:
1571:{\displaystyle d=x_{1}u_{1}=x_{1}v_{1}y_{1}=x_{2}u_{2}y_{1}=x_{2}v_{2}y_{2}=\cdots =x_{m}v_{m}y_{m}=u_{m+1}y_{m}}
1631:
1273:
1200:
1146:
86:
1681:
3715:
3375:
3271:
3171:
2101:
1823:
1772:
975:
140:
2041:
60:
2145:
3802:
Ahanger, Shabir Ahmad; Shah, Aftab
Hussain (2020). "Epimorphisms, dominions and varieties of bands".
3742:
2015:
1722:
4146:
2005:
A proof sketch for example of non-surjective epimorphism in the category of rings by using zig-zag
1977:
1929:
is an epimorphism in the category of all rings and ring homomorphisms by proving that any pair of
4184:
4106:
4098:
4005:
3949:
3916:
3887:
3854:
3819:
3790:
3772:
3707:
3626:
3591:
3413:
3367:
3236:
3163:
1049:
1091:
4041:
4022:
3526:
3497:
3440:
3426:
3320:
1930:
1863:
3512:
3314:
2075:
4088:
4080:
4059:
3997:
3974:
3941:
3908:
3879:
3844:
3811:
3782:
3699:
3674:
3651:
3616:
3581:
3556:
3518:
3478:
3432:
3403:
3359:
3299:
3261:
3226:
3199:
3155:
1605:
1327:
1023:
23:
4177:
4055:
4063:
4051:
3739:
Alam, Noor; Higgins, Peter M.; Khan, Noor
Mohammad (2020). "Epimorphisms, dominions and
1717:
27:
3621:
3604:
3231:
3214:
3204:
3187:
4199:
4009:
3979:
3962:
3953:
3920:
3858:
3823:
3794:
3711:
3483:
3466:
3417:
3371:
3240:
3167:
55:
4188:
4110:
3595:
2225:{\displaystyle \beta \left({\frac {m}{n}}\right)=\gamma \left({\frac {m}{n}}\right)}
26:
characterizing the notion of a dominion, was introduced by
American mathematician
3522:
3436:
2860:
245:
170:
39:
3833:"On saturated permutative varieties and consequences of permutation identities"
3815:
3786:
3188:"The determination of all varieties consisting of absolutely closed semigroups"
1869:
Example of non-surjective epimorphism in the category of rings: The inclusion
281:
3849:
3832:
3586:
3569:
3560:
3408:
3391:
1581:
260:, completing Isbell's original proof. The pure algebraic proofs were given by
253:
3678:
3304:
3287:
1922:{\displaystyle i:(\mathbb {Z} ,\cdot )\hookrightarrow (\mathbb {Q} ,\cdot )}
35:
3656:
3640:"On Free Products of Semigroups and a New Proof of Isbell's Zigzag Theorem"
3639:
4071:
Campercholi, Miguel (2018). "Dominions and
Primitive Positive Functions".
3266:
4102:
4084:
4093:
4001:
3945:
3912:
3891:
3867:
3703:
3630:
3511:
Howie, John M. (1996). "Isbell's zigzag theorem and its consequences".
3363:
3159:
3313:
Higgins, Peter M. (2016). "Ramsey's theorem in algebraic semigroup".
294:
3988:
Higgins, Peter M. (1985). "Epimorphisms, dominions and semigroups".
3883:
949:{\displaystyle (u_{1},v_{1},u_{2},v_{2},\dots ,u_{m},v_{m},u_{m+1})}
3777:
280:
3665:
Stenström, Bo (1971). "Flatness and localization over monoids".
3929:
3687:
3347:
3249:
3143:
968:
be a submonoid of a monoid (or a subsemigroup of a semigroup)
3748:
722:{\displaystyle u_{1},\dots ,u_{m+1},v_{1},\dots ,v_{m}\in U}
1967:{\displaystyle \beta ,\gamma :\mathbb {Q} \to \mathbb {R} }
3551:
Isbell, John R. (1969). "Epimorphisms and
Dominions. IV".
806:{\displaystyle x_{1},\dots ,x_{m},y_{1},\dots ,y_{m}\in S}
233:{\displaystyle {\rm {{Dom}_{T}({\rm {{im}\;\alpha )=T}}}}}
1587:
For monoids, this theorem can be written more concisely:
3837:
Journal of the
Australian Mathematical Society, Series A
3899:
Isbell, J. R. (1973). "Epimorphisms and dominions, V".
3425:
Isbell, John R. (1966). "Epimorphisms and
Dominions".
242:
examples of categories with non-surjective epimorphism
3745:
2275:
2238:
2176:
2148:
2104:
2078:
2044:
2018:
1980:
1938:
1875:
1826:
1775:
1725:
1684:
1634:
1608:
1374:
1330:
1276:
1203:
1149:
1094:
1052:
1026:
978:
839:
735:
645:
309:
179:
143:
89:
63:
3428:
Proceedings of the
Conference on Categorical Algebra
3215:"Completely semisimple semigroups and epimorphisms"
3755:
3144:"Epis are onto for generalized inverse semigroups"
2836:
2259:
2224:
2162:
2134:
2090:
2064:
2030:
1988:
1966:
1921:
1844:
1809:
1744:
1708:
1670:
1620:
1570:
1362:that is, there is a sequence of factorizations of
1342:
1316:
1243:
1189:
1124:
1076:
1038:
1012:
948:
829:. By the spine of the zig-zag we mean the ordered
805:
721:
629:
232:
161:
129:
75:
3609:Transactions of the American Mathematical Society
3396:Proceedings of the Edinburgh Mathematical Society
2992:
2990:
2988:
3688:"An algebraic proof of Isbell' s zigzag theorem"
3219:Proceedings of the American Mathematical Society
3192:Proceedings of the American Mathematical Society
3574:Journal of the Australian Mathematical Society
3041:
3039:
3037:
3035:
3021:
3019:
2260:{\displaystyle {\frac {m}{n}}\in \mathbb {Q} }
4036:Howie, John M. (1995). "Semigroup amalgams".
3392:"Epis are onto for finite regular semigroups"
2974:
2972:
2940:
2938:
2936:
2934:
2920:
2918:
2916:
2914:
1765:be a commutative subsemigroup of a semigroup
240:. The categories of rings and semigroups are
8:
285:The dashed line is the spine of the zig-zag.
2997:
2900:
2898:
2896:
2894:
3553:Journal of the London Mathematical Society
3288:"A short proof of Isbell's zigzag theorem"
2000:
1671:{\displaystyle d\in \mathrm {Dom} _{S}(U)}
507:
213:
4133:
4092:
3978:
3848:
3776:
3747:
3746:
3744:
3655:
3620:
3585:
3482:
3407:
3303:
3265:
3230:
3203:
3111:
2958:
2956:
2954:
2813:
2788:
2750:
2711:
2672:
2638:
2606:
2564:
2540:
2498:
2466:
2432:
2393:
2347:
2316:
2287:
2276:
2274:
2253:
2252:
2239:
2237:
2208:
2184:
2175:
2156:
2155:
2147:
2103:
2077:
2058:
2057:
2043:
2017:
1982:
1981:
1979:
1960:
1959:
1952:
1951:
1937:
1906:
1905:
1886:
1885:
1874:
1825:
1790:
1779:
1777:
1776:
1774:
1733:
1724:
1683:
1653:
1642:
1633:
1607:
1562:
1546:
1533:
1523:
1513:
1494:
1484:
1474:
1461:
1451:
1441:
1428:
1418:
1408:
1395:
1385:
1373:
1329:
1317:{\displaystyle d\in {\rm {{Dom}_{S}(U)}}}
1297:
1286:
1284:
1283:
1275:
1218:
1207:
1205:
1204:
1202:
1164:
1153:
1151:
1150:
1148:
1093:
1051:
1025:
993:
982:
980:
979:
977:
931:
918:
905:
886:
873:
860:
847:
838:
791:
772:
759:
740:
734:
707:
688:
669:
650:
644:
607:
591:
570:
553:
543:
501:
491:
468:
458:
443:
433:
410:
394:
380:
370:
353:
338:
328:
310:
308:
205:
204:
203:
194:
183:
181:
180:
178:
142:
104:
93:
91:
90:
88:
62:
3496:. L.M.S. Monographs; 7. Academic Press.
3059:
38:, within the study of the properties of
4125:
3124:
3098:
3072:
3046:
3026:
2979:
2963:
2945:
2925:
2877:
2003:
265:
16:Theorem of dominion in abstract algebra
4159:
3319:. Walter de Gruyter GmbH & Co KG.
2885:
1244:{\displaystyle {\rm {{Dom}_{S}(U)=S}}}
1190:{\displaystyle {\rm {{Dom}_{S}(U)=U}}}
257:
249:
130:{\displaystyle {\rm {{Dom}_{S}(U)=S}}}
3963:"A proof of Isbell's zig-zag theorem"
3514:Semigroup Theory and its Applications
3085:
2905:
1709:{\displaystyle d\otimes 1=1\otimes d}
261:
7:
3570:"A Proof of Isbell's Zigzag Theorem"
3333:from the original on August 13, 2023
3010:
2135:{\displaystyle \beta (m)=\gamma (m)}
1852:from a finite commutative semigroup
1845:{\displaystyle \alpha \colon S\to T}
1810:{\displaystyle {\rm {{Dom}_{S}(U)}}}
1013:{\displaystyle {\rm {{Dom}_{S}(U)}}}
162:{\displaystyle \alpha \colon S\to T}
3494:An introduction to semigroup theory
2065:{\displaystyle n,m\in \mathbb {Z} }
297:(or a subsemigroup of a semigroup)
3390:Hall, T. E.; Jones, P. R. (1983).
1799:
1791:
1786:
1783:
1780:
1649:
1646:
1643:
1306:
1298:
1293:
1290:
1287:
1236:
1227:
1219:
1214:
1211:
1208:
1182:
1173:
1165:
1160:
1157:
1154:
1002:
994:
989:
986:
983:
223:
209:
206:
195:
190:
187:
184:
122:
113:
105:
100:
97:
94:
76:{\displaystyle U\hookrightarrow S}
14:
3930:"On epics and dominions of bands"
3868:"Epimorphisms and Dominions, III"
3622:10.1090/S0002-9947-1972-0294441-0
3232:10.1090/S0002-9939-1986-0822424-3
3205:10.1090/S0002-9939-1983-0684630-8
2163:{\displaystyle m\in \mathbb {Z} }
1046:such that, for all homomorphisms
83:is an epimorphism if and only if
4178:"WHAT IS... THE ZIGZAG THEOREM?"
4038:Fundamentals of Semigroup Theory
3467:"Epimorphisms and dominions. II"
3465:Howie, J.M; Isbell, J.R (1967).
813:, is called a zig-zag of length
241:
4158:Some results were corrected in
3872:American Journal of Mathematics
3718:from the original on 2022-07-17
3539:from the original on 2023-08-05
3453:from the original on 2023-07-26
3378:from the original on 2023-08-11
3274:from the original on 2023-07-29
3174:from the original on 2022-11-30
301:, then a system of equalities;
4019:Techniques of Semigroup Theory
3756:{\displaystyle {\mathcal {H}}}
3292:Pacific Journal of Mathematics
2737:
2731:
2698:
2692:
2593:
2584:
2527:
2518:
2419:
2413:
2373:
2367:
2129:
2123:
2114:
2108:
2038:to be ring homomorphisms, and
2031:{\displaystyle \beta ,\gamma }
1956:
1916:
1902:
1899:
1896:
1882:
1836:
1802:
1796:
1745:{\displaystyle S\otimes _{U}S}
1665:
1659:
1580:This statement also holds for
1309:
1303:
1254:
1230:
1224:
1176:
1170:
1119:
1113:
1104:
1098:
1068:
1005:
999:
943:
840:
532:
508:
217:
200:
153:
116:
110:
67:
1:
4073:The Journal of Symbolic Logic
1350:or there exists a zig-zag in
31:
4145:See Hoffman or Mitchell for
3980:10.1016/0021-8693(74)90141-0
3523:10.1017/CBO9780511661877.007
3484:10.1016/0021-8693(67)90010-5
3348:"Epimorphisms and dominions"
1989:{\displaystyle \mathbb {Z} }
4021:. Oxford University Press.
3437:10.1007/978-3-642-99902-4_9
3250:"Epimorphisms and amalgams"
1266:is a submonoid of a monoid
1020:is the set of all elements
4227:
4017:Higgins, Peter M. (1992).
3816:10.1007/s00233-019-10047-8
3787:10.1007/s00233-019-10050-z
3763:-commutative semigroups".
3286:Higgins, Peter M. (1990).
3248:Higgins, Peter M. (1988).
3213:Higgins, Peter M. (1986).
1077:{\displaystyle f,g:S\to T}
248:in nature, beginning with
3850:10.1017/S1446788700023041
3667:Mathematische Nachrichten
3587:10.1017/S1446788708000384
3409:10.1017/S0013091500016850
1259:Isbell's zigzag theorem:
1125:{\displaystyle f(s)=g(s)}
4211:Theorems in group theory
3866:Isbell, John R. (1968).
3679:10.1002/mana.19710480124
3605:"The Dominion of Isbell"
3603:Mitchell, Barry (1972).
3928:Scheiblich, E. (1976).
3638:Renshaw, James (2002).
3568:Hoffman, Piotr (2008).
3561:10.1112/jlms/s2-1.1.265
3492:Howie, John M. (1976).
3305:10.2140/pjm.1990.144.47
3254:Colloquium Mathematicum
3186:Higgins, P. M. (1983).
3142:Higgins, P. M. (1981).
2998:Howie & Isbell 1967
2091:{\displaystyle n\neq 0}
1255:Isbell's zigzag theorem
1135:We call a subsemigroup
20:Isbell's zigzag theorem
3757:
3657:10.1006/jabr.2002.9143
2838:
2261:
2226:
2164:
2136:
2092:
2066:
2032:
1990:
1968:
1923:
1866:are absolutely closed.
1846:
1811:
1746:
1710:
1672:
1622:
1621:{\displaystyle d\in S}
1572:
1344:
1343:{\displaystyle d\in U}
1324:if and only if either
1318:
1245:
1191:
1126:
1078:
1040:
1039:{\displaystyle s\in S}
1014:
950:
807:
723:
631:
286:
234:
163:
131:
77:
3758:
2839:
2262:
2227:
2165:
2137:
2093:
2067:
2033:
1991:
1969:
1924:
1856:to another semigroup
1847:
1812:
1747:
1711:
1673:
1623:
1573:
1345:
1319:
1246:
1192:
1127:
1079:
1041:
1015:
951:
808:
724:
632:
284:
235:
164:
137:, furthermore, a map
132:
78:
46:is a subsemigroup of
3961:Philip, J.M (1974).
3831:Khan, N. M. (1985).
3743:
3686:Storrer, H. (1976).
3431:. pp. 232–246.
3346:Hall, T. E. (1982).
3267:10.4064/cm-56-1-1-17
2273:
2236:
2174:
2146:
2102:
2076:
2042:
2016:
1978:
1936:
1873:
1824:
1773:
1723:
1682:
1632:
1606:
1372:
1328:
1274:
1201:
1147:
1092:
1050:
1024:
976:
837:
733:
643:
307:
293:is a submonoid of a
256:, and continuing by
177:
141:
87:
61:
4147:commutative diagram
4085:10.1017/jsl.2017.18
4040:. Clarendon Press.
3990:Algebra Universalis
3901:Algebra Universalis
42:. For example, let
4002:10.1007/BF01188058
3967:Journal of Algebra
3946:10.1007/BF02194926
3913:10.1007/BF02945133
3753:
3704:10.1007/BF02195912
3644:Journal of Algebra
3517:. pp. 81–92.
3471:Journal of Algebra
3364:10.1007/BF02572773
3160:10.1007/BF02676649
2834:
2832:
2257:
2222:
2160:
2132:
2088:
2062:
2028:
2012:We show that: Let
1986:
1964:
1931:ring homomorphisms
1919:
1864:Inverse semigroups
1842:
1820:Every epimorphism
1807:
1742:
1706:
1668:
1618:
1598:be a submonoid of
1568:
1340:
1314:
1241:
1187:
1122:
1074:
1036:
1010:
946:
803:
719:
627:
625:
287:
230:
159:
127:
73:
4176:Nicol, Andrew W.
3446:978-3-642-99904-8
2851:
2850:
2821:
2796:
2758:
2719:
2680:
2646:
2614:
2572:
2548:
2506:
2474:
2440:
2401:
2355:
2324:
2295:
2247:
2216:
2192:
1594:be a monoid, let
4218:
4206:Semigroup theory
4192:
4182:
4163:
4156:
4150:
4143:
4137:
4134:Stenström (1971)
4130:
4114:
4096:
4067:
4032:
4013:
3996:(2–3): 225–233.
3984:
3982:
3957:
3924:
3895:
3878:(4): 1025–1030.
3862:
3852:
3827:
3798:
3780:
3762:
3760:
3759:
3754:
3752:
3751:
3726:
3724:
3723:
3682:
3673:(1–6): 315–334.
3661:
3659:
3634:
3624:
3599:
3589:
3564:
3547:
3545:
3544:
3507:
3488:
3486:
3461:
3459:
3458:
3421:
3411:
3386:
3384:
3383:
3342:
3340:
3338:
3309:
3307:
3282:
3280:
3279:
3269:
3244:
3234:
3209:
3207:
3182:
3180:
3179:
3128:
3121:
3115:
3108:
3102:
3095:
3089:
3082:
3076:
3069:
3063:
3056:
3050:
3043:
3030:
3023:
3014:
3007:
3001:
2994:
2983:
2976:
2967:
2960:
2949:
2942:
2929:
2922:
2909:
2902:
2889:
2882:
2843:
2841:
2840:
2835:
2833:
2826:
2822:
2814:
2802:
2798:
2797:
2789:
2767:
2763:
2759:
2751:
2724:
2720:
2712:
2685:
2681:
2673:
2661:
2657:
2647:
2639:
2623:
2619:
2615:
2607:
2577:
2573:
2565:
2553:
2549:
2541:
2511:
2507:
2499:
2484:
2480:
2476:
2475:
2467:
2445:
2441:
2433:
2406:
2402:
2394:
2379:
2360:
2356:
2348:
2336:
2332:
2325:
2317:
2300:
2296:
2288:
2266:
2264:
2263:
2258:
2256:
2248:
2240:
2231:
2229:
2228:
2223:
2221:
2217:
2209:
2197:
2193:
2185:
2169:
2167:
2166:
2161:
2159:
2141:
2139:
2138:
2133:
2097:
2095:
2094:
2089:
2071:
2069:
2068:
2063:
2061:
2037:
2035:
2034:
2029:
2001:
1995:
1993:
1992:
1987:
1985:
1973:
1971:
1970:
1965:
1963:
1955:
1928:
1926:
1925:
1920:
1909:
1889:
1859:
1855:
1851:
1849:
1848:
1843:
1816:
1814:
1813:
1808:
1806:
1805:
1795:
1794:
1789:
1768:
1764:
1751:
1749:
1748:
1743:
1738:
1737:
1715:
1713:
1712:
1707:
1678:if and only if
1677:
1675:
1674:
1669:
1658:
1657:
1652:
1627:
1625:
1624:
1619:
1601:
1597:
1593:
1577:
1575:
1574:
1569:
1567:
1566:
1557:
1556:
1538:
1537:
1528:
1527:
1518:
1517:
1499:
1498:
1489:
1488:
1479:
1478:
1466:
1465:
1456:
1455:
1446:
1445:
1433:
1432:
1423:
1422:
1413:
1412:
1400:
1399:
1390:
1389:
1365:
1361:
1357:
1353:
1349:
1347:
1346:
1341:
1323:
1321:
1320:
1315:
1313:
1312:
1302:
1301:
1296:
1269:
1265:
1250:
1248:
1247:
1242:
1240:
1239:
1223:
1222:
1217:
1196:
1194:
1193:
1188:
1186:
1185:
1169:
1168:
1163:
1142:
1138:
1131:
1129:
1128:
1123:
1087:
1083:
1081:
1080:
1075:
1045:
1043:
1042:
1037:
1019:
1017:
1016:
1011:
1009:
1008:
998:
997:
992:
971:
967:
955:
953:
952:
947:
942:
941:
923:
922:
910:
909:
891:
890:
878:
877:
865:
864:
852:
851:
832:
828:
824:
820:
816:
812:
810:
809:
804:
796:
795:
777:
776:
764:
763:
745:
744:
728:
726:
725:
720:
712:
711:
693:
692:
680:
679:
655:
654:
636:
634:
633:
628:
626:
612:
611:
602:
601:
581:
580:
558:
557:
548:
547:
506:
505:
496:
495:
479:
478:
463:
462:
448:
447:
438:
437:
421:
420:
405:
404:
385:
384:
375:
374:
358:
357:
343:
342:
333:
332:
300:
292:
239:
237:
236:
231:
229:
228:
227:
226:
212:
199:
198:
193:
168:
166:
165:
160:
136:
134:
133:
128:
126:
125:
109:
108:
103:
82:
80:
79:
74:
53:
49:
45:
36:semigroup theory
34:is a concept in
24:abstract algebra
4226:
4225:
4221:
4220:
4219:
4217:
4216:
4215:
4196:
4195:
4180:
4175:
4172:
4167:
4166:
4157:
4153:
4144:
4140:
4131:
4127:
4122:
4117:
4070:
4048:
4035:
4029:
4016:
3987:
3960:
3934:Semigroup Forum
3927:
3898:
3884:10.2307/2373286
3865:
3830:
3804:Semigroup Forum
3801:
3765:Semigroup Forum
3741:
3740:
3738:
3734:
3732:Further reading
3729:
3721:
3719:
3692:Semigroup Forum
3685:
3664:
3637:
3602:
3567:
3550:
3542:
3540:
3533:
3510:
3504:
3491:
3464:
3456:
3454:
3447:
3424:
3389:
3381:
3379:
3352:Semigroup Forum
3345:
3336:
3334:
3327:
3312:
3285:
3277:
3275:
3247:
3212:
3185:
3177:
3175:
3148:Semigroup Forum
3141:
3137:
3132:
3131:
3122:
3118:
3109:
3105:
3096:
3092:
3088:, Theorem 1.2.)
3083:
3079:
3070:
3066:
3057:
3053:
3044:
3033:
3024:
3017:
3008:
3004:
3000:, Theorem 2.3.)
2995:
2986:
2977:
2970:
2961:
2952:
2943:
2932:
2923:
2912:
2903:
2892:
2883:
2879:
2874:
2869:
2857:
2852:
2831:
2830:
2809:
2781:
2777:
2765:
2764:
2746:
2707:
2668:
2637:
2633:
2621:
2620:
2602:
2560:
2536:
2494:
2482:
2481:
2456:
2452:
2428:
2389:
2377:
2376:
2343:
2315:
2311:
2301:
2283:
2271:
2270:
2234:
2233:
2204:
2180:
2172:
2171:
2144:
2143:
2100:
2099:
2074:
2073:
2040:
2039:
2014:
2013:
2006:
1996:are fact equal.
1976:
1975:
1974:which agree on
1934:
1933:
1871:
1870:
1857:
1853:
1822:
1821:
1817:is commutative.
1778:
1771:
1770:
1766:
1762:
1758:
1729:
1721:
1720:
1680:
1679:
1641:
1630:
1629:
1604:
1603:
1599:
1595:
1591:
1558:
1542:
1529:
1519:
1509:
1490:
1480:
1470:
1457:
1447:
1437:
1424:
1414:
1404:
1391:
1381:
1370:
1369:
1363:
1359:
1355:
1351:
1326:
1325:
1285:
1272:
1271:
1267:
1263:
1257:
1206:
1199:
1198:
1197:, and dense if
1152:
1145:
1144:
1140:
1139:of a semigroup
1136:
1090:
1089:
1085:
1048:
1047:
1022:
1021:
981:
974:
973:
972:. The dominion
969:
965:
962:
927:
914:
901:
882:
869:
856:
843:
835:
834:
830:
826:
822:
818:
814:
787:
768:
755:
736:
731:
730:
703:
684:
665:
646:
641:
640:
624:
623:
613:
603:
587:
585:
566:
559:
549:
539:
536:
535:
497:
487:
480:
464:
454:
452:
439:
429:
422:
406:
390:
387:
386:
376:
366:
359:
349:
347:
334:
324:
317:
305:
304:
298:
290:
279:
274:
182:
175:
174:
173:if and only if
139:
138:
92:
85:
84:
59:
58:
51:
47:
43:
22:, a theorem of
17:
12:
11:
5:
4224:
4222:
4214:
4213:
4208:
4198:
4197:
4194:
4193:
4171:
4170:External links
4168:
4165:
4164:
4151:
4138:
4124:
4123:
4121:
4118:
4116:
4115:
4068:
4046:
4033:
4027:
4014:
3985:
3973:(2): 328–331.
3958:
3940:(1): 103–114.
3925:
3907:(1): 318–320.
3896:
3863:
3843:(2): 186–197.
3828:
3810:(3): 641–650.
3799:
3771:(2): 349–363.
3750:
3735:
3733:
3730:
3728:
3727:
3683:
3662:
3635:
3600:
3580:(2): 229–232.
3565:
3548:
3531:
3508:
3502:
3489:
3462:
3445:
3422:
3402:(2): 151–162.
3387:
3343:
3325:
3310:
3283:
3245:
3225:(3): 387–390.
3210:
3198:(3): 419–421.
3183:
3138:
3136:
3133:
3130:
3129:
3116:
3112:Stenström 1971
3103:
3090:
3077:
3064:
3051:
3031:
3015:
3002:
2984:
2968:
2950:
2930:
2910:
2890:
2876:
2875:
2873:
2870:
2868:
2865:
2864:
2863:
2856:
2853:
2849:
2848:
2829:
2825:
2820:
2817:
2812:
2808:
2805:
2801:
2795:
2792:
2787:
2784:
2780:
2776:
2773:
2770:
2768:
2766:
2762:
2757:
2754:
2749:
2745:
2742:
2739:
2736:
2733:
2730:
2727:
2723:
2718:
2715:
2710:
2706:
2703:
2700:
2697:
2694:
2691:
2688:
2684:
2679:
2676:
2671:
2667:
2664:
2660:
2656:
2653:
2650:
2645:
2642:
2636:
2632:
2629:
2626:
2624:
2622:
2618:
2613:
2610:
2605:
2601:
2598:
2595:
2592:
2589:
2586:
2583:
2580:
2576:
2571:
2568:
2563:
2559:
2556:
2552:
2547:
2544:
2539:
2535:
2532:
2529:
2526:
2523:
2520:
2517:
2514:
2510:
2505:
2502:
2497:
2493:
2490:
2487:
2485:
2483:
2479:
2473:
2470:
2465:
2462:
2459:
2455:
2451:
2448:
2444:
2439:
2436:
2431:
2427:
2424:
2421:
2418:
2415:
2412:
2409:
2405:
2400:
2397:
2392:
2388:
2385:
2382:
2380:
2378:
2375:
2372:
2369:
2366:
2363:
2359:
2354:
2351:
2346:
2342:
2339:
2335:
2331:
2328:
2323:
2320:
2314:
2310:
2307:
2304:
2302:
2299:
2294:
2291:
2286:
2282:
2279:
2278:
2255:
2251:
2246:
2243:
2220:
2215:
2212:
2207:
2203:
2200:
2196:
2191:
2188:
2183:
2179:
2158:
2154:
2151:
2131:
2128:
2125:
2122:
2119:
2116:
2113:
2110:
2107:
2087:
2084:
2081:
2060:
2056:
2053:
2050:
2047:
2027:
2024:
2021:
2008:
2007:
2004:
1999:
1998:
1997:
1984:
1962:
1958:
1954:
1950:
1947:
1944:
1941:
1918:
1915:
1912:
1908:
1904:
1901:
1898:
1895:
1892:
1888:
1884:
1881:
1878:
1867:
1861:
1860:is surjective.
1841:
1838:
1835:
1832:
1829:
1818:
1804:
1801:
1798:
1793:
1788:
1785:
1782:
1757:
1754:
1741:
1736:
1732:
1728:
1718:tensor product
1705:
1702:
1699:
1696:
1693:
1690:
1687:
1667:
1664:
1661:
1656:
1651:
1648:
1645:
1640:
1637:
1617:
1614:
1611:
1565:
1561:
1555:
1552:
1549:
1545:
1541:
1536:
1532:
1526:
1522:
1516:
1512:
1508:
1505:
1502:
1497:
1493:
1487:
1483:
1477:
1473:
1469:
1464:
1460:
1454:
1450:
1444:
1440:
1436:
1431:
1427:
1421:
1417:
1411:
1407:
1403:
1398:
1394:
1388:
1384:
1380:
1377:
1339:
1336:
1333:
1311:
1308:
1305:
1300:
1295:
1292:
1289:
1282:
1279:
1256:
1253:
1238:
1235:
1232:
1229:
1226:
1221:
1216:
1213:
1210:
1184:
1181:
1178:
1175:
1172:
1167:
1162:
1159:
1156:
1121:
1118:
1115:
1112:
1109:
1106:
1103:
1100:
1097:
1084:coinciding on
1073:
1070:
1067:
1064:
1061:
1058:
1055:
1035:
1032:
1029:
1007:
1004:
1001:
996:
991:
988:
985:
964:Dominion: Let
961:
958:
945:
940:
937:
934:
930:
926:
921:
917:
913:
908:
904:
900:
897:
894:
889:
885:
881:
876:
872:
868:
863:
859:
855:
850:
846:
842:
802:
799:
794:
790:
786:
783:
780:
775:
771:
767:
762:
758:
754:
751:
748:
743:
739:
718:
715:
710:
706:
702:
699:
696:
691:
687:
683:
678:
675:
672:
668:
664:
661:
658:
653:
649:
622:
619:
616:
614:
610:
606:
600:
597:
594:
590:
586:
584:
579:
576:
573:
569:
565:
562:
560:
556:
552:
546:
542:
538:
537:
534:
531:
528:
525:
522:
519:
516:
513:
510:
504:
500:
494:
490:
486:
483:
481:
477:
474:
471:
467:
461:
457:
453:
451:
446:
442:
436:
432:
428:
425:
423:
419:
416:
413:
409:
403:
400:
397:
393:
389:
388:
383:
379:
373:
369:
365:
362:
360:
356:
352:
348:
346:
341:
337:
331:
327:
323:
320:
318:
316:
313:
312:
278:
275:
273:
270:
266:Storrer (1976)
225:
222:
219:
216:
211:
208:
202:
197:
192:
189:
186:
158:
155:
152:
149:
146:
124:
121:
118:
115:
112:
107:
102:
99:
96:
72:
69:
66:
28:John R. Isbell
15:
13:
10:
9:
6:
4:
3:
2:
4223:
4212:
4209:
4207:
4204:
4203:
4201:
4190:
4186:
4179:
4174:
4173:
4169:
4161:
4160:Isbell (1969)
4155:
4152:
4148:
4142:
4139:
4135:
4129:
4126:
4119:
4112:
4108:
4104:
4100:
4095:
4090:
4086:
4082:
4078:
4074:
4069:
4065:
4061:
4057:
4053:
4049:
4047:0-19-851194-9
4043:
4039:
4034:
4030:
4028:9780198535775
4024:
4020:
4015:
4011:
4007:
4003:
3999:
3995:
3991:
3986:
3981:
3976:
3972:
3968:
3964:
3959:
3955:
3951:
3947:
3943:
3939:
3935:
3931:
3926:
3922:
3918:
3914:
3910:
3906:
3902:
3897:
3893:
3889:
3885:
3881:
3877:
3873:
3869:
3864:
3860:
3856:
3851:
3846:
3842:
3838:
3834:
3829:
3825:
3821:
3817:
3813:
3809:
3805:
3800:
3796:
3792:
3788:
3784:
3779:
3774:
3770:
3766:
3737:
3736:
3731:
3717:
3713:
3709:
3705:
3701:
3697:
3693:
3689:
3684:
3680:
3676:
3672:
3668:
3663:
3658:
3653:
3649:
3645:
3641:
3636:
3632:
3628:
3623:
3618:
3614:
3610:
3606:
3601:
3597:
3593:
3588:
3583:
3579:
3575:
3571:
3566:
3562:
3558:
3554:
3549:
3538:
3534:
3532:9780521576697
3528:
3524:
3520:
3516:
3515:
3509:
3505:
3503:9780123569509
3499:
3495:
3490:
3485:
3480:
3476:
3472:
3468:
3463:
3452:
3448:
3442:
3438:
3434:
3430:
3429:
3423:
3419:
3415:
3410:
3405:
3401:
3397:
3393:
3388:
3377:
3373:
3369:
3365:
3361:
3357:
3353:
3349:
3344:
3332:
3328:
3326:9783110883220
3322:
3318:
3317:
3311:
3306:
3301:
3297:
3293:
3289:
3284:
3273:
3268:
3263:
3259:
3255:
3251:
3246:
3242:
3238:
3233:
3228:
3224:
3220:
3216:
3211:
3206:
3201:
3197:
3193:
3189:
3184:
3173:
3169:
3165:
3161:
3157:
3153:
3149:
3145:
3140:
3139:
3134:
3126:
3120:
3117:
3113:
3107:
3104:
3100:
3094:
3091:
3087:
3081:
3078:
3074:
3068:
3065:
3061:
3060:Mitchell 1972
3055:
3052:
3048:
3042:
3040:
3038:
3036:
3032:
3028:
3022:
3020:
3016:
3012:
3006:
3003:
2999:
2993:
2991:
2989:
2985:
2981:
2975:
2973:
2969:
2965:
2959:
2957:
2955:
2951:
2947:
2941:
2939:
2937:
2935:
2931:
2927:
2921:
2919:
2917:
2915:
2911:
2907:
2901:
2899:
2897:
2895:
2891:
2887:
2881:
2878:
2871:
2866:
2862:
2859:
2858:
2854:
2847:
2846:as required.
2844:
2827:
2823:
2818:
2815:
2810:
2806:
2803:
2799:
2793:
2790:
2785:
2782:
2778:
2774:
2771:
2769:
2760:
2755:
2752:
2747:
2743:
2740:
2734:
2728:
2725:
2721:
2716:
2713:
2708:
2704:
2701:
2695:
2689:
2686:
2682:
2677:
2674:
2669:
2665:
2662:
2658:
2654:
2651:
2648:
2643:
2640:
2634:
2630:
2627:
2625:
2616:
2611:
2608:
2603:
2599:
2596:
2590:
2587:
2581:
2578:
2574:
2569:
2566:
2561:
2557:
2554:
2550:
2545:
2542:
2537:
2533:
2530:
2524:
2521:
2515:
2512:
2508:
2503:
2500:
2495:
2491:
2488:
2486:
2477:
2471:
2468:
2463:
2460:
2457:
2453:
2449:
2446:
2442:
2437:
2434:
2429:
2425:
2422:
2416:
2410:
2407:
2403:
2398:
2395:
2390:
2386:
2383:
2381:
2370:
2364:
2361:
2357:
2352:
2349:
2344:
2340:
2337:
2333:
2329:
2326:
2321:
2318:
2312:
2308:
2305:
2303:
2297:
2292:
2289:
2284:
2280:
2268:
2249:
2244:
2241:
2218:
2213:
2210:
2205:
2201:
2198:
2194:
2189:
2186:
2181:
2177:
2152:
2149:
2126:
2120:
2117:
2111:
2105:
2085:
2082:
2079:
2054:
2051:
2048:
2045:
2025:
2022:
2019:
2010:
2009:
2002:
1948:
1945:
1942:
1939:
1932:
1913:
1910:
1893:
1890:
1879:
1876:
1868:
1865:
1862:
1839:
1833:
1830:
1827:
1819:
1760:
1759:
1755:
1753:
1739:
1734:
1730:
1726:
1719:
1703:
1700:
1697:
1694:
1691:
1688:
1685:
1662:
1654:
1638:
1635:
1615:
1612:
1609:
1588:
1585:
1583:
1578:
1563:
1559:
1553:
1550:
1547:
1543:
1539:
1534:
1530:
1524:
1520:
1514:
1510:
1506:
1503:
1500:
1495:
1491:
1485:
1481:
1475:
1471:
1467:
1462:
1458:
1452:
1448:
1442:
1438:
1434:
1429:
1425:
1419:
1415:
1409:
1405:
1401:
1396:
1392:
1386:
1382:
1378:
1375:
1367:
1337:
1334:
1331:
1280:
1277:
1260:
1252:
1233:
1179:
1133:
1116:
1110:
1107:
1101:
1095:
1071:
1065:
1062:
1059:
1056:
1053:
1033:
1030:
1027:
959:
957:
938:
935:
932:
928:
924:
919:
915:
911:
906:
902:
898:
895:
892:
887:
883:
879:
874:
870:
866:
861:
857:
853:
848:
844:
800:
797:
792:
788:
784:
781:
778:
773:
769:
765:
760:
756:
752:
749:
746:
741:
737:
716:
713:
708:
704:
700:
697:
694:
689:
685:
681:
676:
673:
670:
666:
662:
659:
656:
651:
647:
637:
620:
617:
615:
608:
604:
598:
595:
592:
588:
582:
577:
574:
571:
567:
563:
561:
554:
550:
544:
540:
529:
526:
523:
520:
517:
514:
511:
502:
498:
492:
488:
484:
482:
475:
472:
469:
465:
459:
455:
449:
444:
440:
434:
430:
426:
424:
417:
414:
411:
407:
401:
398:
395:
391:
381:
377:
371:
367:
363:
361:
354:
350:
344:
339:
335:
329:
325:
321:
319:
314:
302:
296:
283:
276:
271:
269:
267:
263:
259:
258:Philip (1974)
255:
251:
250:Isbell (1966)
247:
243:
220:
214:
172:
156:
150:
147:
144:
119:
70:
64:
57:
56:inclusion map
41:
37:
33:
29:
25:
21:
4154:
4141:
4128:
4079:(1): 40–54.
4076:
4072:
4037:
4018:
3993:
3989:
3970:
3966:
3937:
3933:
3904:
3900:
3875:
3871:
3840:
3836:
3807:
3803:
3768:
3764:
3720:. Retrieved
3695:
3691:
3670:
3666:
3650:(1): 12–15.
3647:
3643:
3612:
3608:
3577:
3573:
3552:
3541:. Retrieved
3513:
3493:
3474:
3470:
3455:. Retrieved
3427:
3399:
3395:
3380:. Retrieved
3355:
3351:
3335:. Retrieved
3315:
3298:(1): 47–50.
3295:
3291:
3276:. Retrieved
3257:
3253:
3222:
3218:
3195:
3191:
3176:. Retrieved
3151:
3147:
3135:Bibliography
3125:Renshaw 2002
3119:
3106:
3099:Higgins 1985
3093:
3080:
3073:Higgins 1983
3067:
3054:
3047:Higgins 2016
3027:Higgins 1986
3005:
2980:Storrer 1976
2964:Hoffman 2008
2946:Higgins 1990
2926:Higgins 1988
2880:
2861:Epimorphisms
2845:
2269:
2011:
1589:
1586:
1579:
1368:
1366:of the form
1261:
1258:
1134:
963:
638:
303:
289:Zig-zag: If
288:
262:Howie (1976)
40:epimorphisms
19:
18:
4094:11336/88474
3615:: 319–331.
3555:: 265–273.
3358:: 271–284.
3154:: 255–260.
2886:Isbell 1966
1756:Application
1358:with value
1143:closed if
825:with value
246:topological
171:epimorphism
50:containing
4200:Categories
4064:0835.20077
3778:1908.01813
3722:2023-07-31
3543:2023-08-05
3457:2023-07-26
3382:2023-08-10
3337:August 13,
3278:2023-07-29
3178:2023-08-20
3086:Howie 1996
2906:Howie 1996
2867:References
1602:, and let
1582:semigroups
254:semigroups
4010:121142819
3954:123580458
3921:125292076
3859:122979127
3824:253772526
3795:202133305
3712:121208494
3698:: 83–88.
3418:120509107
3372:120129600
3241:123529614
3168:122139547
3011:Hall 1982
2872:Citations
2807:γ
2786:⋅
2775:γ
2744:γ
2741:⋅
2729:γ
2705:γ
2702:⋅
2690:β
2666:γ
2663:⋅
2649:⋅
2631:β
2600:γ
2597:⋅
2582:β
2579:⋅
2558:β
2534:γ
2531:⋅
2516:γ
2513:⋅
2492:β
2464:⋅
2450:γ
2447:⋅
2426:β
2411:γ
2408:⋅
2387:β
2365:β
2362:⋅
2341:β
2327:⋅
2309:β
2281:β
2250:∈
2202:γ
2178:β
2153:∈
2121:γ
2106:β
2083:≠
2055:∈
2026:γ
2020:β
1957:→
1946:γ
1940:β
1914:⋅
1900:↪
1894:⋅
1837:→
1831::
1828:α
1731:⊗
1701:⊗
1689:⊗
1639:∈
1613:∈
1504:⋯
1335:∈
1281:∈
1069:→
1031:∈
896:…
798:∈
782:…
750:…
714:∈
698:…
660:…
639:in which
524:…
473:−
415:−
399:−
272:Statement
215:α
154:→
148::
145:α
68:↪
30:in 1966.
4189:51745066
4120:Footnote
4111:19168037
4103:26600306
3716:Archived
3596:55107808
3537:Archived
3477:: 7–21.
3451:Archived
3376:Archived
3331:Archived
3272:Archived
3260:: 1–17.
3172:Archived
2855:See also
2232:for all
2142:for all
960:Dominion
831:(2m + 1)
32:Dominion
4056:1455373
3892:2373286
3631:1996142
2170:, then
2098:. When
1769:. Then
1716:in the
1628:. Then
833:-tuple
277:Zig-zag
4187:
4109:
4101:
4062:
4054:
4044:
4025:
4008:
3952:
3919:
3890:
3857:
3822:
3793:
3710:
3629:
3594:
3529:
3500:
3443:
3416:
3370:
3323:
3239:
3166:
295:monoid
169:is an
54:, the
4185:S2CID
4181:(PDF)
4107:S2CID
4099:JSTOR
4006:S2CID
3950:S2CID
3917:S2CID
3888:JSTOR
3855:S2CID
3820:S2CID
3791:S2CID
3773:arXiv
3708:S2CID
3627:JSTOR
3592:S2CID
3414:S2CID
3368:S2CID
3237:S2CID
3164:S2CID
1354:over
1270:then
821:over
4042:ISBN
4023:ISBN
3527:ISBN
3498:ISBN
3441:ISBN
3339:2023
3321:ISBN
1761:Let
1590:Let
729:and
264:and
252:for
4089:hdl
4081:doi
4060:Zbl
3998:doi
3975:doi
3942:doi
3909:doi
3880:doi
3845:doi
3812:doi
3808:100
3783:doi
3769:100
3700:doi
3675:doi
3652:doi
3648:251
3617:doi
3613:167
3582:doi
3557:doi
3519:doi
3479:doi
3433:doi
3404:doi
3360:doi
3300:doi
3296:144
3262:doi
3227:doi
3200:doi
3156:doi
1262:If
817:in
4202::
4183:.
4105:.
4097:.
4087:.
4077:83
4075:.
4058:.
4052:MR
4050:.
4004:.
3994:21
3992:.
3971:32
3969:.
3965:.
3948:.
3938:13
3936:.
3932:.
3915:.
3903:.
3886:.
3876:90
3874:.
3870:.
3853:.
3841:38
3839:.
3835:.
3818:.
3806:.
3789:.
3781:.
3767:.
3714:.
3706:.
3696:12
3694:.
3690:.
3671:48
3669:.
3646:.
3642:.
3625:.
3611:.
3607:.
3590:.
3578:84
3576:.
3572:.
3535:.
3525:.
3473:.
3469:.
3449:.
3439:.
3412:.
3400:26
3398:.
3394:.
3374:.
3366:.
3356:24
3354:.
3350:.
3329:.
3294:.
3290:.
3270:.
3258:56
3256:.
3252:.
3235:.
3223:96
3221:.
3217:.
3196:87
3194:.
3190:.
3170:.
3162:.
3152:23
3150:.
3146:.
3034:^
3018:^
2987:^
2971:^
2953:^
2933:^
2913:^
2893:^
2267:.
2072:,
1752:.
1584:.
1251:.
1132:.
1088:,
956:.
268:.
4191:.
4162:.
4149:.
4136:.
4113:.
4091::
4083::
4066:.
4031:.
4012:.
4000::
3983:.
3977::
3956:.
3944::
3923:.
3911::
3905:3
3894:.
3882::
3861:.
3847::
3826:.
3814::
3797:.
3785::
3775::
3749:H
3725:.
3702::
3681:.
3677::
3660:.
3654::
3633:.
3619::
3598:.
3584::
3563:.
3559::
3546:.
3521::
3506:.
3487:.
3481::
3475:6
3460:.
3435::
3420:.
3406::
3385:.
3362::
3341:.
3308:.
3302::
3281:.
3264::
3243:.
3229::
3208:.
3202::
3181:.
3158::
3127:)
3123:(
3114:)
3110:(
3101:)
3097:(
3084:(
3075:)
3071:(
3062:)
3058:(
3049:)
3045:(
3029:)
3025:(
3013:)
3009:(
2996:(
2982:)
2978:(
2966:)
2962:(
2948:)
2944:(
2928:)
2924:(
2908:)
2904:(
2888:)
2884:(
2828:,
2824:)
2819:n
2816:m
2811:(
2804:=
2800:)
2794:n
2791:1
2783:m
2779:(
2772:=
2761:)
2756:n
2753:1
2748:(
2738:)
2735:m
2732:(
2726:=
2722:)
2717:n
2714:1
2709:(
2699:)
2696:m
2693:(
2687:=
2683:)
2678:n
2675:1
2670:(
2659:)
2655:n
2652:m
2644:n
2641:1
2635:(
2628:=
2617:)
2612:n
2609:1
2604:(
2594:)
2591:n
2588:m
2585:(
2575:)
2570:n
2567:1
2562:(
2555:=
2551:)
2546:n
2543:1
2538:(
2528:)
2525:n
2522:m
2519:(
2509:)
2504:n
2501:1
2496:(
2489:=
2478:)
2472:n
2469:1
2461:n
2458:m
2454:(
2443:)
2438:n
2435:1
2430:(
2423:=
2420:)
2417:m
2414:(
2404:)
2399:n
2396:1
2391:(
2384:=
2374:)
2371:m
2368:(
2358:)
2353:n
2350:1
2345:(
2338:=
2334:)
2330:m
2322:n
2319:1
2313:(
2306:=
2298:)
2293:n
2290:m
2285:(
2254:Q
2245:n
2242:m
2219:)
2214:n
2211:m
2206:(
2199:=
2195:)
2190:n
2187:m
2182:(
2157:Z
2150:m
2130:)
2127:m
2124:(
2118:=
2115:)
2112:m
2109:(
2086:0
2080:n
2059:Z
2052:m
2049:,
2046:n
2023:,
1983:Z
1961:R
1953:Q
1949::
1943:,
1917:)
1911:,
1907:Q
1903:(
1897:)
1891:,
1887:Z
1883:(
1880::
1877:i
1858:T
1854:S
1840:T
1834:S
1803:)
1800:U
1797:(
1792:S
1787:m
1784:o
1781:D
1767:S
1763:U
1740:S
1735:U
1727:S
1704:d
1698:1
1695:=
1692:1
1686:d
1666:)
1663:U
1660:(
1655:S
1650:m
1647:o
1644:D
1636:d
1616:S
1610:d
1600:S
1596:U
1592:S
1564:m
1560:y
1554:1
1551:+
1548:m
1544:u
1540:=
1535:m
1531:y
1525:m
1521:v
1515:m
1511:x
1507:=
1501:=
1496:2
1492:y
1486:2
1482:v
1476:2
1472:x
1468:=
1463:1
1459:y
1453:2
1449:u
1443:2
1439:x
1435:=
1430:1
1426:y
1420:1
1416:v
1410:1
1406:x
1402:=
1397:1
1393:u
1387:1
1383:x
1379:=
1376:d
1364:d
1360:d
1356:U
1352:S
1338:U
1332:d
1310:)
1307:U
1304:(
1299:S
1294:m
1291:o
1288:D
1278:d
1268:S
1264:U
1237:S
1234:=
1231:)
1228:U
1225:(
1220:S
1215:m
1212:o
1209:D
1183:U
1180:=
1177:)
1174:U
1171:(
1166:S
1161:m
1158:o
1155:D
1141:U
1137:U
1120:)
1117:s
1114:(
1111:g
1108:=
1105:)
1102:s
1099:(
1096:f
1086:U
1072:T
1066:S
1063::
1060:g
1057:,
1054:f
1034:S
1028:s
1006:)
1003:U
1000:(
995:S
990:m
987:o
984:D
970:S
966:U
944:)
939:1
936:+
933:m
929:u
925:,
920:m
916:v
912:,
907:m
903:u
899:,
893:,
888:2
884:v
880:,
875:2
871:u
867:,
862:1
858:v
854:,
849:1
845:u
841:(
827:d
823:U
819:S
815:m
801:S
793:m
789:y
785:,
779:,
774:1
770:y
766:,
761:m
757:x
753:,
747:,
742:1
738:x
717:U
709:m
705:v
701:,
695:,
690:1
686:v
682:,
677:1
674:+
671:m
667:u
663:,
657:,
652:1
648:u
621:d
618:=
609:m
605:y
599:1
596:+
593:m
589:u
583:,
578:1
575:+
572:m
568:u
564:=
555:m
551:v
545:m
541:x
533:)
530:m
527:,
521:,
518:2
515:=
512:i
509:(
503:i
499:y
493:i
489:v
485:=
476:1
470:i
466:y
460:i
456:u
450:,
445:i
441:u
435:i
431:x
427:=
418:1
412:i
408:v
402:1
396:i
392:x
382:1
378:y
372:1
368:v
364:=
355:1
351:u
345:,
340:1
336:u
330:1
326:x
322:=
315:d
299:S
291:U
224:T
221:=
218:)
210:m
207:i
201:(
196:T
191:m
188:o
185:D
157:T
151:S
123:S
120:=
117:)
114:U
111:(
106:S
101:m
98:o
95:D
71:S
65:U
52:U
48:S
44:U
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.