Knowledge

Free algebra

Source 📝

1673: 1989: 1031: 1332: 1764: 774: 1668:{\displaystyle (\alpha X_{1}X_{2}^{2}+\beta X_{2}X_{3})\cdot (\gamma X_{2}X_{1}+\delta X_{1}^{4}X_{4})=\alpha \gamma X_{1}X_{2}^{3}X_{1}+\alpha \delta X_{1}X_{2}^{2}X_{1}^{4}X_{4}+\beta \gamma X_{2}X_{3}X_{2}X_{1}+\beta \delta X_{2}X_{3}X_{1}^{4}X_{4}} 1215: 1984:{\displaystyle \sum \limits _{k=0}^{\infty }\,\,\,\sum \limits _{i_{1},i_{2},\cdots ,i_{k}\in \left\lbrace 1,2,\cdots ,n\right\rbrace }a_{i_{1},i_{2},\cdots ,i_{k}}X_{i_{1}}X_{i_{2}}\cdots X_{i_{k}},} 240: 1026:{\displaystyle \left(X_{i_{1}}X_{i_{2}}\cdots X_{i_{l}}\right)\cdot \left(X_{j_{1}}X_{j_{2}}\cdots X_{j_{m}}\right)=X_{i_{1}}X_{i_{2}}\cdots X_{i_{l}}X_{j_{1}}X_{j_{2}}\cdots X_{j_{m}},} 2172: 2064: 532: 1128: 485: 448: 194: 1261: 637: 1159: 2413: 94: 2468: 630: 582: 204: 19:
This article is about free algebras in ring theory. For the more general free algebras in universal algebra, see
2105: 1997: 499: 2432: 2442: 1080: 623: 490: 2437: 340: 2405: 100: 461: 424: 115: 710: 575: 378: 328: 177: 670:
since its elements may be described as "polynomials" with non-commuting variables. Likewise, the
387: 121: 80: 544: 395: 346: 127: 2088:⟩ are often denoted as "non-commutative polynomials" in the "variables" (or "indeterminates") 2209: 1264: 1246: 1145: 758: 703: 2463: 268: 142: 2423: 8: 2377: 2281: 550: 358: 309: 254: 148: 134: 62: 30: 2070:
and all but finitely many of these elements are zero. This explains why the elements of
2323: 736: 563: 49: 2458: 2409: 2331: 604: 401: 166: 107: 2419: 2362: 2339: 2300:. For a more general coefficient ring, the same construction works if we take the 691: 655: 610: 596: 410: 352: 315: 88: 74: 764:
by defining a multiplication as follows: the product of two basis elements is the
2382: 2350: 2205: 671: 667: 372: 322: 160: 2367: 2308: 2289: 2254: 1137: 1040:-module elements is thus uniquely determined (because the multiplication in an 699: 416: 2404:. Encyclopedia of Mathematics and Its Applications. Vol. 137. Cambridge: 2452: 2346: 765: 557: 453: 68: 2387: 2327: 2297: 364: 260: 753:} (including the empty word, which is the unit of the free algebra). This 2372: 2301: 1688: 1680: 1272: 1229: 1133: 728: 695: 659: 651: 569: 280: 154: 36: 20: 334: 294: 199: 1070:⟩. This construction can easily be generalized to an arbitrary set 288: 274: 2319: 1210:{\displaystyle R\langle X\rangle :=\bigoplus _{w\in X^{\ast }}Rw} 172: 56: 1679:
The non-commutative polynomial ring may be identified with the
1224:-bilinear multiplication that is concatenation on words, where 2174:
are said to be "coefficients" of these polynomials, and the
2196:⟩ is called the "non-commutative polynomial algebra over 1326:, a concrete example of a product of two elements is 2108: 2000: 1767: 1335: 1249: 1162: 1083: 777: 502: 464: 427: 207: 180: 2241:More generally, one can construct the free algebra 16:
Free object in the category of associative algebras
2166: 2058: 1983: 1667: 1255: 1209: 1122: 1025: 526: 479: 442: 234: 188: 2399: 2450: 2402:Noncommutative rational series with applications 2430: 2204:indeterminates". Note that unlike in an actual 2400:Berstel, Jean; Reutenauer, Christophe (2011). 631: 1703: 1172: 1166: 1117: 1090: 235:{\displaystyle 0=\mathbb {Z} /1\mathbb {Z} } 1107: 638: 624: 2288:indeterminates can be constructed as the 2167:{\displaystyle a_{i_{1},i_{2},...,i_{k}}} 2059:{\displaystyle a_{i_{1},i_{2},...,i_{k}}} 1791: 1790: 1789: 1103: 527:{\displaystyle \mathbb {Z} (p^{\infty })} 504: 467: 430: 228: 215: 182: 2314:The construction of the free algebra on 2322:in nature and satisfies an appropriate 1758:⟩ can be written uniquely in the form: 2451: 1123:{\displaystyle X=\{X_{i}\,;\;i\in I\}} 666:is the noncommutative analogue of a 95:Free product of associative algebras 2269:can be defined as the free algebra 1793: 1769: 1740:⟩, it is clear that any element of 1708:Since the words over the alphabet { 13: 1784: 516: 14: 2480: 2257:. Since rings may be regarded as 1036:and the product of two arbitrary 583:Noncommutative algebraic geometry 480:{\displaystyle \mathbb {Q} _{p}} 443:{\displaystyle \mathbb {Z} _{p}} 1077:In short, for an arbitrary set 735:with a basis consisting of all 2326:. The free algebra functor is 1456: 1399: 1393: 1336: 521: 508: 1: 2393: 681: 768:of the corresponding words: 654:, especially in the area of 189:{\displaystyle \mathbb {Z} } 7: 2438:Encyclopedia of Mathematics 2356: 1691:of all finite words in the 1236:(i.e. words on the letters 341:Unique factorization domain 10: 2485: 2433:"Free associative algebra" 2406:Cambridge University Press 101:Tensor product of algebras 18: 2469:Free algebraic structures 1704:Contrast with polynomials 676:free commutative algebra 379:Formal power series ring 329:Integrally closed domain 2208:, the variables do not 1279:on 1 element, the word 1256:{\displaystyle \oplus } 388:Algebraic number theory 81:Total ring of fractions 2284:, the free algebra on 2168: 2060: 1985: 1788: 1669: 1257: 1211: 1124: 1027: 545:Noncommutative algebra 528: 481: 444: 396:Algebraic number field 347:Principal ideal domain 236: 190: 128:Frobenius endomorphism 2431:L.A. Bokut' (2001) , 2334:from the category of 2169: 2061: 1986: 1768: 1670: 1263:denotes the external 1258: 1212: 1125: 1028: 674:may be regarded as a 529: 482: 445: 237: 191: 2106: 1998: 1765: 1333: 1247: 1160: 1081: 1052:-algebra is denoted 775: 551:Noncommutative rings 500: 462: 425: 269:Non-associative ring 205: 178: 135:Algebraic structures 2378:Noncommutative ring 2345:Free algebras over 1654: 1551: 1536: 1492: 1445: 1366: 1074:of indeterminates. 757:-module becomes an 739:over the alphabet { 310:Commutative algebra 149:Associative algebra 31:Algebraic structure 2324:universal property 2164: 2056: 1981: 1874: 1722:} form a basis of 1665: 1640: 1537: 1522: 1478: 1431: 1352: 1253: 1207: 1200: 1120: 1023: 564:Semiprimitive ring 524: 477: 440: 248:Related structures 232: 186: 122:Inner automorphism 108:Ring homomorphisms 2415:978-0-521-19022-0 2338:-algebras to the 2332:forgetful functor 1792: 1178: 1048:-bilinear). This 1044:-algebra must be 648: 647: 605:Geometric algebra 316:Commutative rings 167:Category of rings 2476: 2445: 2427: 2363:Cofree coalgebra 2351:free ideal rings 2340:category of sets 2173: 2171: 2170: 2165: 2163: 2162: 2161: 2160: 2136: 2135: 2123: 2122: 2066:are elements of 2065: 2063: 2062: 2057: 2055: 2054: 2053: 2052: 2028: 2027: 2015: 2014: 1990: 1988: 1987: 1982: 1977: 1976: 1975: 1974: 1957: 1956: 1955: 1954: 1940: 1939: 1938: 1937: 1923: 1922: 1921: 1920: 1902: 1901: 1889: 1888: 1873: 1872: 1868: 1838: 1837: 1819: 1818: 1806: 1805: 1787: 1782: 1674: 1672: 1671: 1666: 1664: 1663: 1653: 1648: 1639: 1638: 1629: 1628: 1610: 1609: 1600: 1599: 1590: 1589: 1580: 1579: 1561: 1560: 1550: 1545: 1535: 1530: 1521: 1520: 1502: 1501: 1491: 1486: 1477: 1476: 1455: 1454: 1444: 1439: 1424: 1423: 1414: 1413: 1392: 1391: 1382: 1381: 1365: 1360: 1351: 1350: 1286:For example, in 1262: 1260: 1259: 1254: 1216: 1214: 1213: 1208: 1199: 1198: 1197: 1129: 1127: 1126: 1121: 1102: 1101: 1032: 1030: 1029: 1024: 1019: 1018: 1017: 1016: 999: 998: 997: 996: 982: 981: 980: 979: 965: 964: 963: 962: 945: 944: 943: 942: 928: 927: 926: 925: 908: 904: 903: 902: 901: 900: 883: 882: 881: 880: 866: 865: 864: 863: 841: 837: 836: 835: 834: 833: 816: 815: 814: 813: 799: 798: 797: 796: 692:commutative ring 656:abstract algebra 640: 633: 626: 611:Operator algebra 597:Clifford algebra 533: 531: 530: 525: 520: 519: 507: 486: 484: 483: 478: 476: 475: 470: 449: 447: 446: 441: 439: 438: 433: 411:Ring of integers 405: 402:Integers modulo 353:Euclidean domain 241: 239: 238: 233: 231: 223: 218: 195: 193: 192: 187: 185: 89:Product of rings 75:Fractional ideal 34: 26: 25: 2484: 2483: 2479: 2478: 2477: 2475: 2474: 2473: 2449: 2448: 2416: 2396: 2383:Rational series 2359: 2237: 2231: 2225:does not equal 2224: 2218: 2212:. For example, 2206:polynomial ring 2194: 2188: 2156: 2152: 2131: 2127: 2118: 2114: 2113: 2109: 2107: 2104: 2103: 2102:; the elements 2100: 2094: 2086: 2080: 2048: 2044: 2023: 2019: 2010: 2006: 2005: 2001: 1999: 1996: 1995: 1970: 1966: 1965: 1961: 1950: 1946: 1945: 1941: 1933: 1929: 1928: 1924: 1916: 1912: 1897: 1893: 1884: 1880: 1879: 1875: 1846: 1842: 1833: 1829: 1814: 1810: 1801: 1797: 1796: 1783: 1772: 1766: 1763: 1762: 1756: 1750: 1738: 1732: 1720: 1714: 1706: 1699: 1659: 1655: 1649: 1644: 1634: 1630: 1624: 1620: 1605: 1601: 1595: 1591: 1585: 1581: 1575: 1571: 1556: 1552: 1546: 1541: 1531: 1526: 1516: 1512: 1497: 1493: 1487: 1482: 1472: 1468: 1450: 1446: 1440: 1435: 1419: 1415: 1409: 1405: 1387: 1383: 1377: 1373: 1361: 1356: 1346: 1342: 1334: 1331: 1330: 1318:⟩, for scalars 1317: 1310: 1303: 1296: 1248: 1245: 1244: 1242: 1193: 1189: 1182: 1161: 1158: 1157: 1097: 1093: 1082: 1079: 1078: 1068: 1062: 1012: 1008: 1007: 1003: 992: 988: 987: 983: 975: 971: 970: 966: 958: 954: 953: 949: 938: 934: 933: 929: 921: 917: 916: 912: 896: 892: 891: 887: 876: 872: 871: 867: 859: 855: 854: 850: 849: 845: 829: 825: 824: 820: 809: 805: 804: 800: 792: 788: 787: 783: 782: 778: 776: 773: 772: 751: 745: 725: 719: 684: 672:polynomial ring 668:polynomial ring 644: 615: 614: 547: 537: 536: 515: 511: 503: 501: 498: 497: 471: 466: 465: 463: 460: 459: 434: 429: 428: 426: 423: 422: 403: 373:Polynomial ring 323:Integral domain 312: 302: 301: 227: 219: 214: 206: 203: 202: 181: 179: 176: 175: 161:Involutive ring 46: 35: 29: 24: 17: 12: 11: 5: 2482: 2472: 2471: 2466: 2461: 2447: 2446: 2428: 2414: 2395: 2392: 2391: 2390: 2385: 2380: 2375: 2370: 2368:Tensor algebra 2365: 2358: 2355: 2347:division rings 2290:tensor algebra 2235: 2229: 2222: 2216: 2192: 2186: 2159: 2155: 2151: 2148: 2145: 2142: 2139: 2134: 2130: 2126: 2121: 2117: 2112: 2098: 2092: 2084: 2078: 2051: 2047: 2043: 2040: 2037: 2034: 2031: 2026: 2022: 2018: 2013: 2009: 2004: 1992: 1991: 1980: 1973: 1969: 1964: 1960: 1953: 1949: 1944: 1936: 1932: 1927: 1919: 1915: 1911: 1908: 1905: 1900: 1896: 1892: 1887: 1883: 1878: 1871: 1867: 1864: 1861: 1858: 1855: 1852: 1849: 1845: 1841: 1836: 1832: 1828: 1825: 1822: 1817: 1813: 1809: 1804: 1800: 1795: 1786: 1781: 1778: 1775: 1771: 1754: 1748: 1736: 1730: 1718: 1712: 1705: 1702: 1695: 1677: 1676: 1662: 1658: 1652: 1647: 1643: 1637: 1633: 1627: 1623: 1619: 1616: 1613: 1608: 1604: 1598: 1594: 1588: 1584: 1578: 1574: 1570: 1567: 1564: 1559: 1555: 1549: 1544: 1540: 1534: 1529: 1525: 1519: 1515: 1511: 1508: 1505: 1500: 1496: 1490: 1485: 1481: 1475: 1471: 1467: 1464: 1461: 1458: 1453: 1449: 1443: 1438: 1434: 1430: 1427: 1422: 1418: 1412: 1408: 1404: 1401: 1398: 1395: 1390: 1386: 1380: 1376: 1372: 1369: 1364: 1359: 1355: 1349: 1345: 1341: 1338: 1315: 1308: 1301: 1294: 1252: 1240: 1228:* denotes the 1218: 1217: 1206: 1203: 1196: 1192: 1188: 1185: 1181: 1177: 1174: 1171: 1168: 1165: 1119: 1116: 1113: 1110: 1106: 1100: 1096: 1092: 1089: 1086: 1066: 1060: 1034: 1033: 1022: 1015: 1011: 1006: 1002: 995: 991: 986: 978: 974: 969: 961: 957: 952: 948: 941: 937: 932: 924: 920: 915: 911: 907: 899: 895: 890: 886: 879: 875: 870: 862: 858: 853: 848: 844: 840: 832: 828: 823: 819: 812: 808: 803: 795: 791: 786: 781: 749: 743: 723: 717: 711:indeterminates 683: 680: 646: 645: 643: 642: 635: 628: 620: 617: 616: 608: 607: 579: 578: 572: 566: 560: 548: 543: 542: 539: 538: 535: 534: 523: 518: 514: 510: 506: 487: 474: 469: 450: 437: 432: 420:-adic integers 413: 407: 398: 384: 383: 382: 381: 375: 369: 368: 367: 355: 349: 343: 337: 331: 313: 308: 307: 304: 303: 300: 299: 298: 297: 285: 284: 283: 277: 265: 264: 263: 245: 244: 243: 242: 230: 226: 222: 217: 213: 210: 196: 184: 163: 157: 151: 145: 131: 130: 124: 118: 104: 103: 97: 91: 85: 84: 83: 77: 65: 59: 47: 45:Basic concepts 44: 43: 40: 39: 15: 9: 6: 4: 3: 2: 2481: 2470: 2467: 2465: 2462: 2460: 2457: 2456: 2454: 2444: 2440: 2439: 2434: 2429: 2425: 2421: 2417: 2411: 2407: 2403: 2398: 2397: 2389: 2386: 2384: 2381: 2379: 2376: 2374: 2371: 2369: 2366: 2364: 2361: 2360: 2354: 2352: 2348: 2343: 2341: 2337: 2333: 2329: 2325: 2321: 2317: 2312: 2310: 2307: 2303: 2299: 2296:-dimensional 2295: 2291: 2287: 2283: 2278: 2276: 2272: 2268: 2264: 2261:-algebras, a 2260: 2256: 2252: 2249:⟩ on any set 2248: 2244: 2239: 2234: 2228: 2221: 2215: 2211: 2207: 2203: 2199: 2195: 2185: 2181: 2177: 2157: 2153: 2149: 2146: 2143: 2140: 2137: 2132: 2128: 2124: 2119: 2115: 2110: 2101: 2091: 2087: 2077: 2073: 2069: 2049: 2045: 2041: 2038: 2035: 2032: 2029: 2024: 2020: 2016: 2011: 2007: 2002: 1978: 1971: 1967: 1962: 1958: 1951: 1947: 1942: 1934: 1930: 1925: 1917: 1913: 1909: 1906: 1903: 1898: 1894: 1890: 1885: 1881: 1876: 1869: 1865: 1862: 1859: 1856: 1853: 1850: 1847: 1843: 1839: 1834: 1830: 1826: 1823: 1820: 1815: 1811: 1807: 1802: 1798: 1779: 1776: 1773: 1761: 1760: 1759: 1757: 1747: 1743: 1739: 1729: 1725: 1721: 1711: 1701: 1698: 1694: 1690: 1686: 1682: 1660: 1656: 1650: 1645: 1641: 1635: 1631: 1625: 1621: 1617: 1614: 1611: 1606: 1602: 1596: 1592: 1586: 1582: 1576: 1572: 1568: 1565: 1562: 1557: 1553: 1547: 1542: 1538: 1532: 1527: 1523: 1517: 1513: 1509: 1506: 1503: 1498: 1494: 1488: 1483: 1479: 1473: 1469: 1465: 1462: 1459: 1451: 1447: 1441: 1436: 1432: 1428: 1425: 1420: 1416: 1410: 1406: 1402: 1396: 1388: 1384: 1378: 1374: 1370: 1367: 1362: 1357: 1353: 1347: 1343: 1339: 1329: 1328: 1327: 1325: 1321: 1314: 1307: 1300: 1293: 1289: 1284: 1282: 1278: 1276: 1270: 1266: 1250: 1239: 1235: 1231: 1227: 1223: 1204: 1201: 1194: 1190: 1186: 1183: 1179: 1175: 1169: 1163: 1156: 1155: 1154: 1152: 1151: 1147: 1143: 1139: 1135: 1114: 1111: 1108: 1104: 1098: 1094: 1087: 1084: 1075: 1073: 1069: 1059: 1055: 1051: 1047: 1043: 1039: 1020: 1013: 1009: 1004: 1000: 993: 989: 984: 976: 972: 967: 959: 955: 950: 946: 939: 935: 930: 922: 918: 913: 909: 905: 897: 893: 888: 884: 877: 873: 868: 860: 856: 851: 846: 842: 838: 830: 826: 821: 817: 810: 806: 801: 793: 789: 784: 779: 771: 770: 769: 767: 766:concatenation 763: 761: 756: 752: 742: 738: 734: 732: 726: 716: 712: 709: 705: 701: 697: 693: 689: 679: 677: 673: 669: 665: 661: 657: 653: 641: 636: 634: 629: 627: 622: 621: 619: 618: 613: 612: 606: 602: 601: 600: 599: 598: 593: 592: 591: 586: 585: 584: 577: 573: 571: 567: 565: 561: 559: 558:Division ring 555: 554: 553: 552: 546: 541: 540: 512: 496: 494: 488: 472: 458: 457:-adic numbers 456: 451: 435: 421: 419: 414: 412: 408: 406: 399: 397: 393: 392: 391: 390: 389: 380: 376: 374: 370: 366: 362: 361: 360: 356: 354: 350: 348: 344: 342: 338: 336: 332: 330: 326: 325: 324: 320: 319: 318: 317: 311: 306: 305: 296: 292: 291: 290: 286: 282: 278: 276: 272: 271: 270: 266: 262: 258: 257: 256: 252: 251: 250: 249: 224: 220: 211: 208: 201: 200:Terminal ring 197: 174: 170: 169: 168: 164: 162: 158: 156: 152: 150: 146: 144: 140: 139: 138: 137: 136: 129: 125: 123: 119: 117: 113: 112: 111: 110: 109: 102: 98: 96: 92: 90: 86: 82: 78: 76: 72: 71: 70: 69:Quotient ring 66: 64: 60: 58: 54: 53: 52: 51: 42: 41: 38: 33:→ Ring theory 32: 28: 27: 22: 2436: 2401: 2388:Term algebra 2344: 2335: 2328:left adjoint 2315: 2313: 2305: 2298:vector space 2293: 2285: 2279: 2274: 2270: 2266: 2262: 2258: 2250: 2246: 2242: 2240: 2232: 2226: 2219: 2213: 2201: 2197: 2190: 2183: 2179: 2175: 2096: 2089: 2082: 2075: 2071: 2067: 1993: 1752: 1745: 1741: 1734: 1727: 1723: 1716: 1709: 1707: 1696: 1692: 1684: 1678: 1323: 1319: 1312: 1305: 1298: 1291: 1287: 1285: 1280: 1274: 1271:denotes the 1268: 1237: 1233: 1225: 1221: 1219: 1149: 1141: 1131: 1076: 1071: 1064: 1057: 1053: 1049: 1045: 1041: 1037: 1035: 759: 754: 747: 740: 730: 721: 714: 707: 694:, the free ( 687: 685: 675: 664:free algebra 663: 649: 609: 595: 594: 590:Free algebra 589: 588: 587: 581: 580: 549: 492: 454: 417: 386: 385: 365:Finite field 314: 261:Finite field 247: 246: 173:Initial ring 133: 132: 106: 105: 48: 2464:Ring theory 2373:Free object 2302:free module 1689:free monoid 1681:monoid ring 1230:free monoid 1134:associative 696:associative 660:ring theory 652:mathematics 570:Simple ring 281:Jordan ring 155:Graded ring 37:Ring theory 21:Free object 2453:Categories 2424:1250.68007 2394:References 2320:functorial 2309:generators 2255:generators 1320:α, β, γ, δ 1265:direct sum 682:Definition 576:Commutator 335:GCD domain 2443:EMS Press 2263:free ring 2178:-algebra 1959:⋯ 1907:⋯ 1860:⋯ 1840:∈ 1824:⋯ 1794:∑ 1785:∞ 1770:∑ 1618:δ 1615:β 1569:γ 1566:β 1510:δ 1507:α 1466:γ 1463:α 1429:δ 1403:γ 1397:⋅ 1371:β 1340:α 1251:⊕ 1220:with the 1195:∗ 1187:∈ 1180:⨁ 1173:⟩ 1167:⟨ 1112:∈ 1001:⋯ 947:⋯ 885:⋯ 843:⋅ 818:⋯ 727:} is the 658:known as 517:∞ 295:Semifield 2459:Algebras 2357:See also 762:-algebra 289:Semiring 275:Lie ring 57:Subrings 2330:to the 2280:Over a 2210:commute 1687:of the 1277:-module 1146:algebra 733:-module 704:algebra 491:Prüfer 93:•  2422:  2412:  2292:on an 1994:where 1751:, ..., 1715:, ..., 1267:, and 1138:unital 1132:free ( 1130:, the 700:unital 143:Module 116:Kernel 2282:field 2189:,..., 2095:,..., 2081:,..., 1733:,..., 1683:over 1273:free 1063:,..., 746:,..., 737:words 729:free 720:,..., 495:-ring 359:Field 255:Field 63:Ideal 50:Rings 2410:ISBN 2349:are 1153:is 686:For 662:, a 2420:Zbl 2318:is 2304:on 2277:⟩. 2265:on 2253:of 2200:in 1243:), 1232:on 1148:on 706:on 650:In 2455:: 2441:, 2435:, 2418:. 2408:. 2353:. 2342:. 2311:. 2238:. 1700:. 1322:∈ 1283:. 1269:Rw 1176::= 1140:) 1136:, 702:) 698:, 690:a 678:. 603:• 574:• 568:• 562:• 556:• 489:• 452:• 415:• 409:• 400:• 394:• 377:• 371:• 363:• 357:• 351:• 345:• 339:• 333:• 327:• 321:• 293:• 287:• 279:• 273:• 267:• 259:• 253:• 198:• 171:• 165:• 159:• 153:• 147:• 141:• 126:• 120:• 114:• 99:• 87:• 79:• 73:• 67:• 61:• 55:• 2426:. 2336:R 2316:E 2306:n 2294:n 2286:n 2275:E 2273:⟨ 2271:Z 2267:E 2259:Z 2251:E 2247:E 2245:⟨ 2243:R 2236:1 2233:X 2230:2 2227:X 2223:2 2220:X 2217:1 2214:X 2202:n 2198:R 2193:n 2191:X 2187:1 2184:X 2182:⟨ 2180:R 2176:R 2158:k 2154:i 2150:, 2147:. 2144:. 2141:. 2138:, 2133:2 2129:i 2125:, 2120:1 2116:i 2111:a 2099:n 2097:X 2093:1 2090:X 2085:n 2083:X 2079:1 2076:X 2074:⟨ 2072:R 2068:R 2050:k 2046:i 2042:, 2039:. 2036:. 2033:. 2030:, 2025:2 2021:i 2017:, 2012:1 2008:i 2003:a 1979:, 1972:k 1968:i 1963:X 1952:2 1948:i 1943:X 1935:1 1931:i 1926:X 1918:k 1914:i 1910:, 1904:, 1899:2 1895:i 1891:, 1886:1 1882:i 1877:a 1870:} 1866:n 1863:, 1857:, 1854:2 1851:, 1848:1 1844:{ 1835:k 1831:i 1827:, 1821:, 1816:2 1812:i 1808:, 1803:1 1799:i 1780:0 1777:= 1774:k 1755:n 1753:X 1749:1 1746:X 1744:⟨ 1742:R 1737:n 1735:X 1731:1 1728:X 1726:⟨ 1724:R 1719:n 1717:X 1713:1 1710:X 1697:i 1693:X 1685:R 1675:. 1661:4 1657:X 1651:4 1646:1 1642:X 1636:3 1632:X 1626:2 1622:X 1612:+ 1607:1 1603:X 1597:2 1593:X 1587:3 1583:X 1577:2 1573:X 1563:+ 1558:4 1554:X 1548:4 1543:1 1539:X 1533:2 1528:2 1524:X 1518:1 1514:X 1504:+ 1499:1 1495:X 1489:3 1484:2 1480:X 1474:1 1470:X 1460:= 1457:) 1452:4 1448:X 1442:4 1437:1 1433:X 1426:+ 1421:1 1417:X 1411:2 1407:X 1400:( 1394:) 1389:3 1385:X 1379:2 1375:X 1368:+ 1363:2 1358:2 1354:X 1348:1 1344:X 1337:( 1324:R 1316:4 1313:X 1311:, 1309:3 1306:X 1304:, 1302:2 1299:X 1297:, 1295:1 1292:X 1290:⟨ 1288:R 1281:w 1275:R 1241:i 1238:X 1234:X 1226:X 1222:R 1205:w 1202:R 1191:X 1184:w 1170:X 1164:R 1150:X 1144:- 1142:R 1118:} 1115:I 1109:i 1105:; 1099:i 1095:X 1091:{ 1088:= 1085:X 1072:X 1067:n 1065:X 1061:1 1058:X 1056:⟨ 1054:R 1050:R 1046:R 1042:R 1038:R 1021:, 1014:m 1010:j 1005:X 994:2 990:j 985:X 977:1 973:j 968:X 960:l 956:i 951:X 940:2 936:i 931:X 923:1 919:i 914:X 910:= 906:) 898:m 894:j 889:X 878:2 874:j 869:X 861:1 857:j 852:X 847:( 839:) 831:l 827:i 822:X 811:2 807:i 802:X 794:1 790:i 785:X 780:( 760:R 755:R 750:n 748:X 744:1 741:X 731:R 724:n 722:X 718:1 715:X 713:{ 708:n 688:R 639:e 632:t 625:v 522:) 513:p 509:( 505:Z 493:p 473:p 468:Q 455:p 436:p 431:Z 418:p 404:n 229:Z 225:1 221:/ 216:Z 212:= 209:0 183:Z 23:.

Index

Free object
Algebraic structure
Ring theory
Rings
Subrings
Ideal
Quotient ring
Fractional ideal
Total ring of fractions
Product of rings
Free product of associative algebras
Tensor product of algebras
Ring homomorphisms
Kernel
Inner automorphism
Frobenius endomorphism
Algebraic structures
Module
Associative algebra
Graded ring
Involutive ring
Category of rings
Initial ring
Terminal ring
Field
Finite field
Non-associative ring
Lie ring
Jordan ring
Semiring

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