Knowledge

Cokernel

Source 📝

1853: 32: 2100: 2120: 2110: 457: 996: 1178: 880: 853: 761: 885: 1063: 1249:
that must be satisfied if the equation is to have a solution, and its dimension is the number of independent constraints that must be satisfied for the equation to have a solution.
512: 1114: 991:{\displaystyle {\begin{aligned}\operatorname {im} (f)&=\ker(\operatorname {coker} f),\\\operatorname {coim} (f)&=\operatorname {coker} (\ker f).\end{aligned}}} 1253:
The dimension of the cokernel plus the dimension of the image (the rank) add up to the dimension of the target space, as the dimension of the quotient space
1427:. A map is injective if and only if its kernel is trivial, and a map is surjective if and only if its cokernel is trivial, or in other words, if 61: 793: 705: 1497: 1453: 1782: 1018: 83: 54: 199:
must satisfy for this equation to have a solution – the obstructions to a solution – while the kernel measures the
122: 2154: 1490: 673: 1694: 1649: 2123: 2063: 1772: 2113: 1899: 1763: 1671: 280: 351:
settings, such as with bounded linear operators between Hilbert spaces, one typically has to take the
2144: 2072: 1716: 1654: 1577: 44: 2149: 2103: 2059: 1664: 1483: 163: 48: 40: 1173:{\displaystyle 0\to \ker T\to V{\overset {T}{\longrightarrow }}W\to \operatorname {coker} T\to 0.} 1659: 1641: 1424: 863: 240: 1866: 1632: 1612: 1535: 159: 65: 20: 1748: 1587: 352: 1560: 1555: 772: 311: 8: 1904: 1852: 1778: 1582: 692: 462: 340: 236: 1758: 1753: 1735: 1617: 1592: 1464: 1001:
In particular, every abelian category is normal (and conormal as well). That is, every
648: 644: 632: 470: 232: 1468: 2067: 2004: 1992: 1894: 1819: 1814: 1768: 1550: 1545: 1448: 1377:
is the freedom in a solution. The cokernel may be expressed via the real valued map
2028: 1914: 1889: 1824: 1809: 1804: 1743: 1572: 1540: 1082: 859: 299: 1940: 1506: 619: 364: 228: 171: 1977: 1972: 1956: 1919: 1909: 1829: 1106: 665: 367:. In order for the definition to make sense the category in question must have 101: 2138: 1967: 1799: 1676: 1602: 681: 368: 303: 272: 244: 105: 1721: 1622: 1002: 332: 315: 307: 517:
As with all universal constructions the cokernel, if it exists, is unique
1982: 1962: 1834: 1704: 1460: 1419:
Additionally, the cokernel can be thought of as something that "detects"
776: 614: 522: 393: 775:, it makes sense to add and subtract morphisms. In such a category, the 2014: 1952: 1565: 1420: 1362:, (one degree of freedom). The kernel may be expressed as the subspace 848:{\displaystyle \operatorname {coeq} (f,g)=\operatorname {coker} (g-f).} 2008: 1699: 167: 2077: 1607: 756:{\displaystyle \operatorname {coker} (f)=H/\operatorname {im} (f).} 685: 376: 348: 211: 136: 1475: 2047: 2037: 1686: 1597: 867: 2042: 1091:
Formally, one may connect the kernel and the cokernel of a map
627:) if it is the cokernel of some morphism. A category is called 170:
of the domain (it maps to the domain), while the cokernel is a
16:
Quotient space of a codomain of a linear map by the map's image
511: 456: 1924: 1008:
can be written as the kernel of some morphism. Specifically,
518: 19:"Coker (mathematics)" redirects here. For other uses, see 1338:(one constraint), and in that case the solution space is 787:(if it exists) is just the cokernel of their difference: 363:
One can define the cokernel in the general framework of
191:
that one is seeking to solve, the cokernel measures the
1183:
These can be interpreted thus: given a linear equation
420:
Explicitly, this means the following. The cokernel of
1117: 1021: 883: 796: 708: 203:
in a solution, if one exists. This is elaborated in
1172: 1057: 990: 847: 755: 1058:{\displaystyle m=\ker(\operatorname {coker} (m))} 2136: 53:but its sources remain unclear because it lacks 1077:that an equation must satisfy, as the space of 1073:The cokernel can be thought of as the space of 147:. The dimension of the cokernel is called the 1491: 862:(a special kind of preadditive category) the 355:of the image before passing to the quotient. 283:with respect to this property. Often the map 174:of the codomain (it maps from the codomain). 2119: 2109: 1865: 1498: 1484: 1423:in the same way that the kernel "detects" 631:if every epimorphism is normal (e.g. the 568:, then there exists a unique isomorphism 84:Learn how and when to remove this message 1454:Categories for the Working Mathematician 2137: 1275:As a simple example, consider the map 617:. Conversely an epimorphism is called 473:for this diagram, i.e. any other such 1864: 1517: 1479: 1268:is simply the dimension of the space 1220:, and its dimension is the number of 599:Like all coequalizers, the cokernel 358: 25: 1505: 1012:is the kernel of its own cokernel: 13: 1457:, Second Edition, 1978, p. 64 210:More generally, the cokernel of a 166:, hence the name: the kernel is a 14: 2166: 1471:, 2014, p. 82, p. 139 footnote 8. 1331:to have a solution, we must have 291:itself is called the cokernel of 275:of the category, and furthermore 2118: 2108: 2099: 2098: 1851: 1518: 766: 688:is normal, the cokernel is just 510: 455: 30: 177:Intuitively, given an equation 1164: 1152: 1141: 1133: 1121: 1052: 1049: 1043: 1034: 978: 966: 950: 944: 928: 916: 900: 894: 839: 827: 815: 803: 747: 741: 721: 715: 204: 1: 1441: 1241:the cokernel is the space of 488:can be obtained by composing 1469:Aurora Modern Math Originals 1272:the dimension of the image. 1068: 7: 1793:Constructions on categories 1416:to there being a solution. 1201:the kernel is the space of 638: 10: 2171: 1900:Higher-dimensional algebra 1465:Category Theory in Context 265:such that the composition 164:kernels of category theory 18: 2094: 2027: 1991: 1939: 1932: 1883: 1873: 1860: 1849: 1792: 1734: 1685: 1640: 1631: 1528: 1524: 1513: 465:. Moreover, the morphism 438:together with a morphism 525:, or more precisely: if 39:This article includes a 1710:Cokernels and quotients 1633:Universal constructions 1308:. Then for an equation 492:with a unique morphism 241:bounded linear operator 68:more precise citations. 1867:Higher category theory 1613:Natural transformation 1174: 1059: 992: 849: 757: 452:such that the diagram 400:and the zero morphism 314:, the cokernel of the 298:In many situations in 21:Coker (disambiguation) 1175: 1060: 993: 850: 758: 554:are two cokernels of 2155:Isomorphism theorems 1736:Algebraic categories 1115: 1019: 881: 794: 773:preadditive category 706: 647:, the cokernel of a 1905:Homotopy hypothesis 1583:Commutative diagram 1350:, or equivalently, 287:is understood, and 1618:Universal property 1222:degrees of freedom 1170: 1055: 988: 986: 845: 753: 649:group homomorphism 645:category of groups 633:category of groups 613:is necessarily an 392:is defined as the 201:degrees of freedom 41:list of references 2132: 2131: 2090: 2089: 2086: 2085: 2068:monoidal category 2023: 2022: 1895:Enriched category 1847: 1846: 1843: 1842: 1820:Quotient category 1815:Opposite category 1730: 1729: 1449:Saunders Mac Lane 1396:: given a vector 1147: 779:of two morphisms 680:. In the case of 359:Formal definition 94: 93: 86: 2162: 2145:Abstract algebra 2122: 2121: 2112: 2111: 2102: 2101: 1937: 1936: 1915:Simplex category 1890:Categorification 1881: 1880: 1862: 1861: 1855: 1825:Product category 1810:Kleisli category 1805:Functor category 1650:Terminal objects 1638: 1637: 1573:Adjoint functors 1526: 1525: 1515: 1514: 1500: 1493: 1486: 1477: 1476: 1437: 1411: 1407: 1395: 1376: 1372: 1361: 1349: 1337: 1330: 1307: 1288: 1267: 1238:, if they exist; 1237: 1224:in solutions to 1219: 1196: 1179: 1177: 1176: 1171: 1148: 1140: 1104: 1085:is the space of 1064: 1062: 1061: 1056: 1011: 1007: 997: 995: 994: 989: 987: 873: 860:abelian category 854: 852: 851: 846: 786: 782: 762: 760: 759: 754: 734: 698: 691: 679: 676:of the image of 671: 663: 612: 595: 582: 567: 553: 538: 514: 506: 491: 487: 468: 459: 451: 437: 433: 416: 399: 391: 346: 338: 330: 300:abstract algebra 294: 290: 286: 278: 270: 264: 250: 226: 198: 190: 154: 146: 143:by the image of 142: 134: 120: 89: 82: 78: 75: 69: 64:this article by 55:inline citations 34: 33: 26: 2170: 2169: 2165: 2164: 2163: 2161: 2160: 2159: 2150:Category theory 2135: 2134: 2133: 2128: 2082: 2052: 2019: 1996: 1987: 1944: 1928: 1879: 1869: 1856: 1839: 1788: 1726: 1695:Initial objects 1681: 1627: 1520: 1509: 1507:Category theory 1504: 1474: 1444: 1428: 1409: 1408:, the value of 1397: 1378: 1374: 1373:: the value of 1363: 1351: 1339: 1332: 1309: 1290: 1276: 1254: 1225: 1210: 1184: 1139: 1116: 1113: 1112: 1092: 1071: 1020: 1017: 1016: 1009: 1005: 985: 984: 953: 935: 934: 903: 884: 882: 879: 878: 871: 795: 792: 791: 784: 780: 769: 730: 707: 704: 703: 696: 689: 677: 669: 651: 641: 600: 584: 569: 555: 540: 526: 515: 493: 489: 474: 466: 460: 439: 435: 421: 407: 401: 397: 379: 365:category theory 361: 344: 336: 318: 292: 288: 284: 276: 266: 252: 251:and a morphism 248: 247:) is an object 214: 196: 178: 172:quotient object 152: 144: 140: 125: 108: 90: 79: 73: 70: 59: 45:related reading 35: 31: 24: 17: 12: 11: 5: 2168: 2158: 2157: 2152: 2147: 2130: 2129: 2127: 2126: 2116: 2106: 2095: 2092: 2091: 2088: 2087: 2084: 2083: 2081: 2080: 2075: 2070: 2056: 2050: 2045: 2040: 2034: 2032: 2025: 2024: 2021: 2020: 2018: 2017: 2012: 2001: 1999: 1994: 1989: 1988: 1986: 1985: 1980: 1975: 1970: 1965: 1960: 1949: 1947: 1942: 1934: 1930: 1929: 1927: 1922: 1920:String diagram 1917: 1912: 1910:Model category 1907: 1902: 1897: 1892: 1887: 1885: 1878: 1877: 1874: 1871: 1870: 1858: 1857: 1850: 1848: 1845: 1844: 1841: 1840: 1838: 1837: 1832: 1830:Comma category 1827: 1822: 1817: 1812: 1807: 1802: 1796: 1794: 1790: 1789: 1787: 1786: 1776: 1766: 1764:Abelian groups 1761: 1756: 1751: 1746: 1740: 1738: 1732: 1731: 1728: 1727: 1725: 1724: 1719: 1714: 1713: 1712: 1702: 1697: 1691: 1689: 1683: 1682: 1680: 1679: 1674: 1669: 1668: 1667: 1657: 1652: 1646: 1644: 1635: 1629: 1628: 1626: 1625: 1620: 1615: 1610: 1605: 1600: 1595: 1590: 1585: 1580: 1575: 1570: 1569: 1568: 1563: 1558: 1553: 1548: 1543: 1532: 1530: 1522: 1521: 1511: 1510: 1503: 1502: 1495: 1488: 1480: 1473: 1472: 1458: 1445: 1443: 1440: 1251: 1250: 1239: 1181: 1180: 1169: 1166: 1163: 1160: 1157: 1154: 1151: 1146: 1143: 1138: 1135: 1132: 1129: 1126: 1123: 1120: 1107:exact sequence 1081:, just as the 1070: 1067: 1066: 1065: 1054: 1051: 1048: 1045: 1042: 1039: 1036: 1033: 1030: 1027: 1024: 999: 998: 983: 980: 977: 974: 971: 968: 965: 962: 959: 956: 954: 952: 949: 946: 943: 940: 937: 936: 933: 930: 927: 924: 921: 918: 915: 912: 909: 906: 904: 902: 899: 896: 893: 890: 887: 886: 870:of a morphism 856: 855: 844: 841: 838: 835: 832: 829: 826: 823: 820: 817: 814: 811: 808: 805: 802: 799: 768: 765: 764: 763: 752: 749: 746: 743: 740: 737: 733: 729: 726: 723: 720: 717: 714: 711: 684:, since every 682:abelian groups 674:normal closure 640: 637: 635:is conormal). 509: 454: 403: 369:zero morphisms 360: 357: 304:abelian groups 302:, such as for 245:Hilbert spaces 158:Cokernels are 123:quotient space 102:linear mapping 92: 91: 49:external links 38: 36: 29: 15: 9: 6: 4: 3: 2: 2167: 2156: 2153: 2151: 2148: 2146: 2143: 2142: 2140: 2125: 2117: 2115: 2107: 2105: 2097: 2096: 2093: 2079: 2076: 2074: 2071: 2069: 2065: 2061: 2057: 2055: 2053: 2046: 2044: 2041: 2039: 2036: 2035: 2033: 2030: 2026: 2016: 2013: 2010: 2006: 2003: 2002: 2000: 1998: 1990: 1984: 1981: 1979: 1976: 1974: 1971: 1969: 1968:Tetracategory 1966: 1964: 1961: 1958: 1957:pseudofunctor 1954: 1951: 1950: 1948: 1946: 1938: 1935: 1931: 1926: 1923: 1921: 1918: 1916: 1913: 1911: 1908: 1906: 1903: 1901: 1898: 1896: 1893: 1891: 1888: 1886: 1882: 1876: 1875: 1872: 1868: 1863: 1859: 1854: 1836: 1833: 1831: 1828: 1826: 1823: 1821: 1818: 1816: 1813: 1811: 1808: 1806: 1803: 1801: 1800:Free category 1798: 1797: 1795: 1791: 1784: 1783:Vector spaces 1780: 1777: 1774: 1770: 1767: 1765: 1762: 1760: 1757: 1755: 1752: 1750: 1747: 1745: 1742: 1741: 1739: 1737: 1733: 1723: 1720: 1718: 1715: 1711: 1708: 1707: 1706: 1703: 1701: 1698: 1696: 1693: 1692: 1690: 1688: 1684: 1678: 1677:Inverse limit 1675: 1673: 1670: 1666: 1663: 1662: 1661: 1658: 1656: 1653: 1651: 1648: 1647: 1645: 1643: 1639: 1636: 1634: 1630: 1624: 1621: 1619: 1616: 1614: 1611: 1609: 1606: 1604: 1603:Kan extension 1601: 1599: 1596: 1594: 1591: 1589: 1586: 1584: 1581: 1579: 1576: 1574: 1571: 1567: 1564: 1562: 1559: 1557: 1554: 1552: 1549: 1547: 1544: 1542: 1539: 1538: 1537: 1534: 1533: 1531: 1527: 1523: 1516: 1512: 1508: 1501: 1496: 1494: 1489: 1487: 1482: 1481: 1478: 1470: 1466: 1462: 1459: 1456: 1455: 1450: 1447: 1446: 1439: 1435: 1431: 1426: 1422: 1417: 1415: 1405: 1401: 1393: 1389: 1385: 1381: 1371: 1367: 1359: 1355: 1347: 1343: 1335: 1328: 1324: 1320: 1316: 1312: 1305: 1301: 1297: 1293: 1287: 1283: 1279: 1273: 1271: 1265: 1261: 1257: 1248: 1244: 1240: 1236: 1232: 1228: 1223: 1217: 1213: 1208: 1204: 1200: 1199: 1198: 1195: 1191: 1187: 1167: 1161: 1158: 1155: 1149: 1144: 1136: 1130: 1127: 1124: 1118: 1111: 1110: 1109: 1108: 1103: 1099: 1095: 1089: 1088: 1084: 1080: 1076: 1046: 1040: 1037: 1031: 1028: 1025: 1022: 1015: 1014: 1013: 1004: 981: 975: 972: 969: 963: 960: 957: 955: 947: 941: 938: 931: 925: 922: 919: 913: 910: 907: 905: 897: 891: 888: 877: 876: 875: 874:are given by 869: 865: 861: 842: 836: 833: 830: 824: 821: 818: 812: 809: 806: 800: 797: 790: 789: 788: 778: 774: 767:Special cases 750: 744: 738: 735: 731: 727: 724: 718: 712: 709: 702: 701: 700: 695:the image of 694: 687: 683: 675: 667: 662: 658: 654: 650: 646: 636: 634: 630: 626: 622: 621: 616: 611: 607: 603: 597: 594: 591: 587: 580: 576: 572: 566: 562: 558: 551: 547: 543: 537: 533: 529: 524: 520: 513: 508: 504: 500: 496: 485: 481: 477: 472: 464: 458: 453: 450: 446: 442: 434:is an object 432: 428: 424: 418: 415: 411: 406: 395: 390: 386: 382: 378: 374: 370: 366: 356: 354: 350: 342: 334: 329: 325: 321: 317: 313: 309: 308:vector spaces 305: 301: 296: 282: 274: 273:zero morphism 269: 263: 259: 255: 246: 242: 238: 234: 230: 225: 221: 217: 213: 208: 206: 202: 194: 189: 185: 181: 175: 173: 169: 165: 161: 156: 150: 138: 132: 128: 124: 119: 115: 111: 107: 106:vector spaces 103: 99: 88: 85: 77: 74:February 2013 67: 63: 57: 56: 50: 46: 42: 37: 28: 27: 22: 2048: 2029:Categorified 1933:n-categories 1884:Key concepts 1722:Direct limit 1709: 1705:Coequalizers 1623:Yoneda lemma 1529:Key concepts 1519:Key concepts 1452: 1433: 1429: 1418: 1413: 1403: 1399: 1391: 1387: 1383: 1379: 1369: 1365: 1357: 1353: 1345: 1341: 1333: 1326: 1322: 1318: 1314: 1310: 1303: 1299: 1295: 1291: 1285: 1281: 1277: 1274: 1269: 1263: 1259: 1255: 1252: 1246: 1242: 1234: 1230: 1226: 1221: 1215: 1211: 1206: 1202: 1193: 1189: 1185: 1182: 1101: 1097: 1093: 1090: 1086: 1079:obstructions 1078: 1074: 1072: 1003:monomorphism 1000: 857: 770: 660: 656: 652: 642: 628: 624: 618: 609: 605: 601: 598: 592: 589: 585: 578: 574: 570: 564: 560: 556: 549: 545: 541: 535: 531: 527: 516: 502: 498: 494: 483: 479: 475: 461: 448: 444: 440: 430: 426: 422: 419: 413: 409: 404: 388: 384: 380: 372: 362: 327: 323: 319: 316:homomorphism 297: 267: 261: 257: 253: 233:homomorphism 223: 219: 215: 209: 200: 192: 187: 183: 179: 176: 157: 148: 130: 126: 117: 113: 109: 97: 95: 80: 71: 60:Please help 52: 1997:-categories 1973:Kan complex 1963:Tricategory 1945:-categories 1835:Subcategory 1593:Exponential 1561:Preadditive 1556:Pre-abelian 1461:Emily Riehl 1421:surjections 1414:obstruction 1289:, given by 1243:constraints 1207:homogeneous 1075:constraints 777:coequalizer 615:epimorphism 523:isomorphism 394:coequalizer 349:topological 193:constraints 66:introducing 2139:Categories 2015:3-category 2005:2-category 1978:∞-groupoid 1953:Bicategory 1700:Coproducts 1660:Equalizers 1566:Bicategory 1442:References 1425:injections 1197:to solve, 1087:solutions. 2064:Symmetric 2009:2-functor 1749:Relations 1672:Pullbacks 1209:equation 1203:solutions 1165:→ 1159:⁡ 1153:→ 1142:⟶ 1134:→ 1128:⁡ 1122:→ 1069:Intuition 1041:⁡ 1032:⁡ 973:⁡ 964:⁡ 942:⁡ 923:⁡ 914:⁡ 892:⁡ 834:− 825:⁡ 801:⁡ 739:⁡ 713:⁡ 544:′ : 521:a unique 478:′ : 471:universal 281:universal 207:, below. 205:intuition 168:subobject 2124:Glossary 2104:Category 2078:n-monoid 2031:concepts 1687:Colimits 1655:Products 1608:Morphism 1551:Concrete 1546:Additive 1536:Category 1302:) = (0, 686:subgroup 666:quotient 655: : 639:Examples 629:conormal 625:conormal 604: : 573: : 559: : 530: : 497: : 469:must be 463:commutes 443: : 425: : 408: : 383: : 377:morphism 373:cokernel 333:quotient 322: : 256: : 243:between 235:between 231:(e.g. a 229:category 227:in some 218: : 212:morphism 137:codomain 112: : 98:cokernel 2114:Outline 2073:n-group 2038:2-group 1993:Strict 1983:∞-topos 1779:Modules 1717:Pushout 1665:Kernels 1598:Functor 1541:Abelian 1412:is the 1368:, 0) ⊆ 1205:to the 1105:by the 868:coimage 672:by the 664:is the 643:In the 353:closure 339:by the 331:is the 312:modules 271:is the 162:to the 135:of the 121:is the 62:improve 2060:Traced 2043:2-ring 1773:Fields 1759:Groups 1754:Magmas 1642:Limits 1083:kernel 858:In an 693:modulo 620:normal 371:. The 237:groups 149:corank 2054:-ring 1941:Weak 1925:Topos 1769:Rings 1432:= im( 1390:) → ( 1356:) + ( 1321:) = ( 1270:minus 1218:) = 0 1156:coker 1038:coker 961:coker 920:coker 864:image 822:coker 771:In a 710:coker 583:with 519:up to 375:of a 347:. In 341:image 239:or a 195:that 129:/ im( 100:of a 47:, or 1744:Sets 1360:, 0) 1352:(0, 1233:) = 1192:) = 939:coim 866:and 798:coeq 783:and 623:(or 539:and 186:) = 160:dual 96:The 1588:End 1578:CCC 1382:: ( 1336:= 0 1245:on 1125:ker 1100:→ 1096:: 1029:ker 970:ker 911:ker 668:of 396:of 343:of 335:of 310:or 279:is 268:q f 151:of 139:of 104:of 2141:: 2066:) 2062:)( 1467:, 1463:: 1451:: 1438:. 1402:, 1386:, 1344:, 1325:, 1317:, 1298:, 1284:→ 1280:: 1258:/ 1168:0. 889:im 736:im 699:: 659:→ 608:→ 596:. 588:= 586:q' 577:→ 563:→ 548:→ 534:→ 507:: 501:→ 482:→ 447:→ 429:→ 417:. 412:→ 405:XY 387:→ 326:→ 306:, 295:. 260:→ 222:→ 155:. 116:→ 51:, 43:, 2058:( 2051:n 2049:E 2011:) 2007:( 1995:n 1959:) 1955:( 1943:n 1785:) 1781:( 1775:) 1771:( 1499:e 1492:t 1485:v 1436:) 1434:T 1430:W 1410:a 1406:) 1404:b 1400:a 1398:( 1394:) 1392:a 1388:b 1384:a 1380:W 1375:x 1370:V 1366:x 1364:( 1358:x 1354:b 1348:) 1346:b 1342:x 1340:( 1334:a 1329:) 1327:b 1323:a 1319:y 1315:x 1313:( 1311:T 1306:) 1304:y 1300:y 1296:x 1294:( 1292:T 1286:R 1282:R 1278:T 1266:) 1264:V 1262:( 1260:T 1256:W 1247:w 1235:w 1231:v 1229:( 1227:T 1216:v 1214:( 1212:T 1194:w 1190:v 1188:( 1186:T 1162:T 1150:W 1145:T 1137:V 1131:T 1119:0 1102:W 1098:V 1094:T 1053:) 1050:) 1047:m 1044:( 1035:( 1026:= 1023:m 1010:m 1006:m 982:. 979:) 976:f 967:( 958:= 951:) 948:f 945:( 932:, 929:) 926:f 917:( 908:= 901:) 898:f 895:( 872:f 843:. 840:) 837:f 831:g 828:( 819:= 816:) 813:g 810:, 807:f 804:( 785:g 781:f 751:. 748:) 745:f 742:( 732:/ 728:H 725:= 722:) 719:f 716:( 697:f 690:H 678:f 670:H 661:H 657:G 653:f 610:Q 606:Y 602:q 593:q 590:u 581:′ 579:Q 575:Q 571:u 565:Y 561:X 557:f 552:′ 550:Q 546:Y 542:q 536:Q 532:Y 528:q 505:′ 503:Q 499:Q 495:u 490:q 486:′ 484:Q 480:Y 476:q 467:q 449:Q 445:Y 441:q 436:Q 431:Y 427:X 423:f 414:Y 410:X 402:0 398:f 389:Y 385:X 381:f 345:f 337:Y 328:Y 324:X 320:f 293:f 289:Q 285:q 277:q 262:Q 258:Y 254:q 249:Q 224:Y 220:X 216:f 197:y 188:y 184:x 182:( 180:f 153:f 145:f 141:f 133:) 131:f 127:Y 118:Y 114:X 110:f 87:) 81:( 76:) 72:( 58:. 23:.

Index

Coker (disambiguation)
list of references
related reading
external links
inline citations
improve
introducing
Learn how and when to remove this message
linear mapping
vector spaces
quotient space
codomain
dual
kernels of category theory
subobject
quotient object
intuition
morphism
category
homomorphism
groups
bounded linear operator
Hilbert spaces
zero morphism
universal
abstract algebra
abelian groups
vector spaces
modules
homomorphism

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.