Knowledge

Zero divisor

Source 📝

765: 970: 552: 769: 1871: 1725: 2111: 760:{\displaystyle {\begin{pmatrix}1&1\\2&2\end{pmatrix}}{\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}={\begin{pmatrix}-2&1\\-2&1\end{pmatrix}}{\begin{pmatrix}1&1\\2&2\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}},} 965:{\displaystyle {\begin{pmatrix}1&0\\0&0\end{pmatrix}}{\begin{pmatrix}0&0\\0&1\end{pmatrix}}={\begin{pmatrix}0&0\\0&1\end{pmatrix}}{\begin{pmatrix}1&0\\0&0\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}}.} 1730: 1584: 367: 1988: 2655: 1956: 1504: 2521: 2776: 1386: 1579: 3444: 273: 2279: 1538: 2368: 1017: 1109: 517: 301: 1903: 392: 3032: 455: 1257: 1141: 1044: 3061: 2157: 1412: 2988: 2965: 2822: 2799: 1866:{\displaystyle {\begin{pmatrix}a&b\\0&c\end{pmatrix}}{\begin{pmatrix}x&y\\0&z\end{pmatrix}}={\begin{pmatrix}xa&ya+zb\\0&zc\end{pmatrix}}} 1720:{\displaystyle {\begin{pmatrix}x&y\\0&z\end{pmatrix}}{\begin{pmatrix}a&b\\0&c\end{pmatrix}}={\begin{pmatrix}xa&xb+yc\\0&zc\end{pmatrix}}} 2942: 2922: 2902: 2882: 2862: 2842: 2394: 2323: 2303: 2200: 2177: 2131: 1979: 1441: 1289: 1228: 1208: 1184: 1164: 416: 2106:{\displaystyle {\begin{pmatrix}x&y\\0&z\end{pmatrix}}{\begin{pmatrix}0&1\\0&0\end{pmatrix}}={\begin{pmatrix}0&x\\0&0\end{pmatrix}}} 306: 3331:.) The same is true of the set of non-left-zero-divisors and the set of non-right-zero-divisors in an arbitrary ring, commutative or not. 2529: 1908: 1456: 2402: 2664: 1294: 3694: 3681: 1543: 3625: 3309:
rings by convention, but they then suffer from having to introduce exceptions in statements such as the following:
429: 3504: 3408: 243: 3674: 2213: 3669: 1509: 183:
An element of a ring that is not a left zero divisor (respectively, not a right zero divisor) is called
2336: 982: 199:). An element of a ring that is left and right cancellable, and is hence not a zero divisor, is called 133: 1049: 3731: 460: 279: 1876: 3664: 375: 2182:
Here is another example of a ring with an element that is a zero divisor on one side only. Let
2993: 72: 3499: 3189: 434: 31: 1236: 3736: 3379: 2330: 1982: 1231: 1114: 1022: 543: 224: 3037: 8: 3741: 3328: 3121:
matrices over a field, the left and right zero divisors coincide; they are precisely the
2136: 1391: 1187: 535: 3490:
recovers the definitions of "regular" and "zero divisor" given earlier in this article.
2970: 2947: 2804: 2781: 3682: 3642: 3510: 3462: 3344: 3320: 3145: 3082: 3074: 2927: 2907: 2887: 2867: 2847: 2827: 2379: 2308: 2288: 2185: 2162: 2116: 1964: 1417: 1265: 1213: 1193: 1169: 1149: 401: 240: 237: 395: 3704: 3690: 2372: 2203: 362:{\displaystyle {\overline {2}}\times {\overline {2}}={\overline {4}}={\overline {0}}} 3348: 976: 177: 27: 20: 3685:; Nadiya Gubareni; Nadezhda Mikhaĭlovna Gubareni; Vladimir V. Kirichenko. (2004), 3707: 3335: 3134: 3122: 3100: 979:
of two or more nonzero rings always has nonzero zero divisors. For example, in
1959: 40: 3725: 3093: 3086: 3078: 2282: 3587: 3138: 523: 136:. An element that is a left or a right zero divisor is simply called a 1260: 3099:
A non-zero commutative ring whose only zero divisor is 0 is called an
3712: 3245: 2778:. All three of these additive maps are not zero, and the composites 2326: 422: 220: 100: 16:
Ring element that can be multiplied by a non-zero element to equal 0
2207: 3081:
has no nonzero zero divisors. Since every nonzero element is a
2650:{\displaystyle L(a_{1},a_{2},a_{3},...)=(a_{2},a_{3},a_{4},...)} 542:≥ 2. Examples of zero divisors in the ring of 2 × 2 1951:{\displaystyle {\begin{pmatrix}x&y\\0&z\end{pmatrix}}} 1499:{\displaystyle {\begin{pmatrix}x&y\\0&z\end{pmatrix}}} 425:
element of a nonzero ring is always a two-sided zero divisor.
3649:, The Benjamin/Cummings Publishing Company, Inc., p. 12 2516:{\displaystyle R(a_{1},a_{2},a_{3},...)=(0,a_{1},a_{2},...)} 3252:
is a (two-sided) zero divisor, because any nonzero element
3327:. (This, in turn, is important for the definition of the 2864:
is a right zero divisor in the ring of additive maps from
146:
that is both a left and a right zero divisor is called a
3227:
There is no need for a separate convention for the case
2771:{\displaystyle P(a_{1},a_{2},a_{3},...)=(a_{1},0,0,...)} 2072: 2033: 1997: 1917: 1814: 1775: 1739: 1668: 1629: 1593: 1465: 928: 889: 853: 814: 778: 723: 684: 642: 597: 561: 180:, then the left and right zero divisors are the same. 3702: 3411: 3234:, because the definition applies also in this case: 3040: 2996: 2973: 2950: 2930: 2910: 2890: 2870: 2850: 2830: 2807: 2784: 2667: 2532: 2405: 2382: 2339: 2311: 2291: 2216: 2188: 2165: 2139: 2119: 1991: 1967: 1911: 1879: 1733: 1587: 1546: 1512: 1459: 1420: 1394: 1297: 1268: 1239: 1216: 1196: 1172: 1152: 1117: 1052: 1025: 985: 772: 555: 463: 437: 404: 378: 309: 282: 246: 3137:, the zero divisors are precisely the matrices with 1381:{\displaystyle (1-g)(1+g+\cdots +g^{n-1})=1-g^{n}=0} 457:
of a ring is always a two-sided zero divisor, since
2396:.) Three examples of elements of this ring are the 3641: 3438: 3055: 3026: 2982: 2959: 2936: 2916: 2896: 2876: 2856: 2836: 2816: 2793: 2770: 2649: 2515: 2388: 2362: 2317: 2297: 2273: 2194: 2171: 2151: 2125: 2105: 1973: 1950: 1897: 1865: 1719: 1573: 1532: 1498: 1435: 1406: 1380: 1283: 1251: 1222: 1202: 1178: 1158: 1135: 1103: 1038: 1011: 964: 759: 511: 449: 410: 386: 361: 295: 267: 223:ring with no nontrivial zero divisors is called a 3192:on the side on which it is regular. That is, if 3723: 3619: 2113:, and it is a right zero divisor if and only if 3637: 3635: 1574:{\displaystyle y\in \mathbb {Z} /2\mathbb {Z} } 3604: 2333:as the ring operations. (That is, our ring is 211:. A zero divisor that is nonzero is called a 3632: 3586: 3439:{\displaystyle M\,{\stackrel {a}{\to }}\,M} 3361: 3285:is not a zero divisor, because there is no 2944:is not a left zero divisor: the composite 2133:is even for similar reasons. If either of 268:{\displaystyle \mathbb {Z} /4\mathbb {Z} } 3609:, American Mathematical Soc., p. 342 3432: 3415: 3222: 3144:Left or right zero divisors can never be 1567: 1554: 1526: 1447: 380: 261: 248: 3529:Since the map is not injective, we have 2274:{\displaystyle (a_{1},a_{2},a_{3},...)} 1453:Consider the ring of (formal) matrices 546:(over any nonzero ring) are shown here: 3724: 2179:, then it is a two-sided zero-divisor. 3703: 1388:, with neither factor being zero, so 3319:, the set of non-zero-divisors is a 3301:Some references include or exclude 1533:{\displaystyle x,z\in \mathbb {Z} } 13: 3657: 3343:, the set of zero divisors is the 3218:, and similarly for right regular. 2990:is a two-sided zero-divisor since 2347: 2344: 2341: 372:The only zero divisor of the ring 163:may be different from the nonzero 14: 3753: 3472:Specializing the definitions of " 2363:{\displaystyle \mathrm {End} (S)} 1012:{\displaystyle R_{1}\times R_{2}} 3647:Commutative algebra, 2nd edition 3289:element that when multiplied by 2924:is not a right zero divisor and 1104:{\displaystyle (1,0)(0,1)=(0,0)} 3626:Springer Science+Business Media 3505:Glossary of commutative algebra 3476:-regular" and "zero divisor on 3067: 512:{\displaystyle e(1-e)=0=(1-e)e} 296:{\displaystyle {\overline {2}}} 3613: 3598: 3580: 3523: 3420: 2765: 2728: 2722: 2671: 2644: 2593: 2587: 2536: 2510: 2466: 2460: 2409: 2357: 2351: 2268: 2217: 1430: 1424: 1350: 1313: 1310: 1298: 1278: 1272: 1130: 1118: 1098: 1086: 1080: 1068: 1065: 1053: 503: 491: 479: 467: 1: 3594:, Springer-Verlag, p. 98 3573: 3107: 3096:has no nonzero zero divisors. 1898:{\displaystyle x\neq 0\neq z} 1414:is a nonzero zero divisor in 538:has nonzero zero divisors if 132:. This is a partial case of 3607:Concepts in Abstract Algebra 387:{\displaystyle \mathbb {Z} } 354: 341: 328: 315: 288: 7: 3687:Algebras, rings and modules 3670:Encyclopedia of Mathematics 3493: 3370:be a commutative ring, let 3277:is the zero ring, in which 2844:is a left zero divisor and 230: 10: 3760: 3401:if the "multiplication by 113:if there exists a nonzero 52:if there exists a nonzero 18: 3689:, vol. 1, Springer, 3620:Nicolas Bourbaki (1998). 3244:is a ring other than the 3027:{\displaystyle RLP=0=PRL} 2281:. Take for the ring all 103:. Similarly, an element 71:, or equivalently if the 3516: 3362:Zero divisor on a module 3063:is not in any direction. 303:is a zero divisor since 19:Not to be confused with 3605:Charles Lanski (2005), 3592:Algebra I, Chapters 1–3 3461:-regular elements is a 3457:otherwise. The set of 3446:is injective, and that 3349:associated prime ideals 1958:is a left zero divisor 450:{\displaystyle e\neq 1} 217:nontrivial zero divisor 3440: 3313:In a commutative ring 3223:Zero as a zero divisor 3057: 3028: 2984: 2961: 2938: 2918: 2898: 2878: 2858: 2838: 2818: 2795: 2772: 2661:onto the first factor 2651: 2517: 2390: 2376:of the additive group 2364: 2319: 2299: 2275: 2196: 2173: 2153: 2127: 2107: 1975: 1952: 1899: 1867: 1721: 1575: 1534: 1500: 1448:One-sided zero-divisor 1437: 1408: 1382: 1285: 1253: 1252:{\displaystyle n>1} 1224: 1204: 1180: 1160: 1137: 1105: 1040: 1013: 966: 761: 513: 451: 412: 388: 363: 297: 269: 148:two-sided zero divisor 109:of a ring is called a 3500:Zero-product property 3441: 3305:as a zero divisor in 3073:The ring of integers 3058: 3029: 2985: 2962: 2939: 2919: 2899: 2879: 2859: 2839: 2819: 2796: 2773: 2652: 2518: 2391: 2365: 2320: 2300: 2276: 2197: 2174: 2154: 2128: 2108: 1976: 1953: 1900: 1868: 1722: 1576: 1535: 1501: 1438: 1409: 1383: 1286: 1254: 1225: 1205: 1181: 1161: 1138: 1136:{\displaystyle (1,0)} 1106: 1041: 1039:{\displaystyle R_{i}} 1014: 967: 762: 514: 452: 413: 389: 364: 298: 270: 134:divisibility in rings 3507:(Exact zero divisor) 3409: 3056:{\displaystyle LR=1} 3038: 2994: 2971: 2948: 2928: 2908: 2888: 2868: 2848: 2828: 2805: 2782: 2665: 2530: 2403: 2380: 2337: 2309: 2289: 2214: 2186: 2163: 2137: 2117: 1989: 1965: 1909: 1877: 1731: 1585: 1544: 1510: 1457: 1418: 1392: 1295: 1266: 1237: 1214: 1194: 1170: 1150: 1115: 1050: 1023: 983: 770: 553: 461: 435: 402: 376: 307: 280: 276:, the residue class 244: 213:nonzero zero divisor 3329:total quotient ring 3198:is a left regular, 2152:{\displaystyle x,z} 1407:{\displaystyle 1-g} 3705:Weisstein, Eric W. 3683:Michiel Hazewinkel 3643:Hideyuki Matsumura 3511:Zero-divisor graph 3463:multiplicative set 3436: 3321:multiplicative set 3185:, a contradiction. 3154:is invertible and 3092:More generally, a 3053: 3024: 2983:{\displaystyle RL} 2980: 2960:{\displaystyle LR} 2957: 2934: 2914: 2894: 2874: 2854: 2834: 2824:are both zero, so 2817:{\displaystyle PR} 2814: 2794:{\displaystyle LP} 2791: 2768: 2647: 2513: 2386: 2360: 2315: 2295: 2271: 2192: 2169: 2149: 2123: 2103: 2097: 2058: 2022: 1971: 1948: 1942: 1895: 1863: 1857: 1800: 1764: 1717: 1711: 1654: 1618: 1571: 1530: 1496: 1490: 1433: 1404: 1378: 1281: 1249: 1220: 1200: 1176: 1156: 1143:is a zero divisor. 1133: 1101: 1036: 1009: 962: 953: 914: 878: 839: 803: 757: 748: 709: 673: 628: 586: 509: 447: 430:idempotent element 408: 384: 359: 293: 265: 176:). If the ring is 140:. An element  111:right zero divisor 3429: 3390:. One says that 3386:be an element of 3334:In a commutative 3161:for some nonzero 3133:matrices over an 3125:. In the ring of 3123:singular matrices 3085:, this ring is a 2967:is the identity. 2937:{\displaystyle R} 2917:{\displaystyle L} 2897:{\displaystyle S} 2877:{\displaystyle S} 2857:{\displaystyle R} 2837:{\displaystyle L} 2389:{\displaystyle S} 2373:endomorphism ring 2318:{\displaystyle S} 2298:{\displaystyle S} 2195:{\displaystyle S} 2172:{\displaystyle 0} 2126:{\displaystyle z} 1974:{\displaystyle x} 1436:{\displaystyle K} 1284:{\displaystyle K} 1223:{\displaystyle g} 1203:{\displaystyle G} 1179:{\displaystyle G} 1159:{\displaystyle K} 411:{\displaystyle 0} 357: 344: 331: 318: 291: 197:right cancellable 50:left zero divisor 3749: 3732:Abstract algebra 3718: 3717: 3699: 3678: 3651: 3650: 3639: 3630: 3629: 3617: 3611: 3610: 3602: 3596: 3595: 3584: 3567: 3565: 3550: 3544: 3538: 3527: 3489: 3479: 3475: 3468: 3460: 3455: 3452:zero divisor on 3449: 3445: 3443: 3442: 3437: 3431: 3430: 3428: 3423: 3418: 3404: 3398: 3393: 3389: 3385: 3377: 3373: 3369: 3356: 3342: 3326: 3318: 3304: 3296: 3292: 3284: 3280: 3276: 3267: 3255: 3251: 3243: 3233: 3217: 3207: 3197: 3184: 3166: 3160: 3153: 3132: 3128: 3120: 3116: 3062: 3060: 3059: 3054: 3033: 3031: 3030: 3025: 2989: 2987: 2986: 2981: 2966: 2964: 2963: 2958: 2943: 2941: 2940: 2935: 2923: 2921: 2920: 2915: 2903: 2901: 2900: 2895: 2883: 2881: 2880: 2875: 2863: 2861: 2860: 2855: 2843: 2841: 2840: 2835: 2823: 2821: 2820: 2815: 2800: 2798: 2797: 2792: 2777: 2775: 2774: 2769: 2740: 2739: 2709: 2708: 2696: 2695: 2683: 2682: 2656: 2654: 2653: 2648: 2631: 2630: 2618: 2617: 2605: 2604: 2574: 2573: 2561: 2560: 2548: 2547: 2522: 2520: 2519: 2514: 2497: 2496: 2484: 2483: 2447: 2446: 2434: 2433: 2421: 2420: 2395: 2393: 2392: 2387: 2369: 2367: 2366: 2361: 2350: 2324: 2322: 2321: 2316: 2304: 2302: 2301: 2296: 2280: 2278: 2277: 2272: 2255: 2254: 2242: 2241: 2229: 2228: 2201: 2199: 2198: 2193: 2178: 2176: 2175: 2170: 2158: 2156: 2155: 2150: 2132: 2130: 2129: 2124: 2112: 2110: 2109: 2104: 2102: 2101: 2063: 2062: 2027: 2026: 1980: 1978: 1977: 1972: 1957: 1955: 1954: 1949: 1947: 1946: 1904: 1902: 1901: 1896: 1872: 1870: 1869: 1864: 1862: 1861: 1805: 1804: 1769: 1768: 1726: 1724: 1723: 1718: 1716: 1715: 1659: 1658: 1623: 1622: 1580: 1578: 1577: 1572: 1570: 1562: 1557: 1539: 1537: 1536: 1531: 1529: 1505: 1503: 1502: 1497: 1495: 1494: 1442: 1440: 1439: 1434: 1413: 1411: 1410: 1405: 1387: 1385: 1384: 1379: 1371: 1370: 1349: 1348: 1290: 1288: 1287: 1282: 1258: 1256: 1255: 1250: 1229: 1227: 1226: 1221: 1209: 1207: 1206: 1201: 1190:. Suppose that 1185: 1183: 1182: 1177: 1165: 1163: 1162: 1157: 1142: 1140: 1139: 1134: 1110: 1108: 1107: 1102: 1045: 1043: 1042: 1037: 1035: 1034: 1018: 1016: 1015: 1010: 1008: 1007: 995: 994: 971: 969: 968: 963: 958: 957: 919: 918: 883: 882: 844: 843: 808: 807: 766: 764: 763: 758: 753: 752: 714: 713: 678: 677: 633: 632: 591: 590: 518: 516: 515: 510: 456: 454: 453: 448: 417: 415: 414: 409: 393: 391: 390: 385: 383: 368: 366: 365: 360: 358: 350: 345: 337: 332: 324: 319: 311: 302: 300: 299: 294: 292: 284: 274: 272: 271: 266: 264: 256: 251: 209:non-zero-divisor 189:left cancellable 175: 168: 162: 155: 145: 131: 124: 118: 108: 98: 92: 86: 80: 70: 63: 57: 47: 38: 28:abstract algebra 21:Division by zero 3759: 3758: 3752: 3751: 3750: 3748: 3747: 3746: 3722: 3721: 3697: 3663: 3660: 3658:Further reading 3655: 3654: 3640: 3633: 3618: 3614: 3603: 3599: 3585: 3581: 3576: 3571: 3570: 3552: 3546: 3540: 3530: 3528: 3524: 3519: 3496: 3481: 3477: 3473: 3466: 3458: 3453: 3447: 3424: 3419: 3417: 3416: 3410: 3407: 3406: 3402: 3396: 3391: 3387: 3383: 3375: 3371: 3367: 3364: 3352: 3338: 3336:noetherian ring 3324: 3314: 3302: 3294: 3290: 3282: 3278: 3272: 3257: 3253: 3249: 3239: 3228: 3225: 3209: 3199: 3193: 3168: 3162: 3155: 3149: 3135:integral domain 3130: 3129: ×  3126: 3118: 3117: ×  3114: 3113:In the ring of 3110: 3101:integral domain 3070: 3039: 3036: 3035: 2995: 2992: 2991: 2972: 2969: 2968: 2949: 2946: 2945: 2929: 2926: 2925: 2909: 2906: 2905: 2889: 2886: 2885: 2869: 2866: 2865: 2849: 2846: 2845: 2829: 2826: 2825: 2806: 2803: 2802: 2783: 2780: 2779: 2735: 2731: 2704: 2700: 2691: 2687: 2678: 2674: 2666: 2663: 2662: 2626: 2622: 2613: 2609: 2600: 2596: 2569: 2565: 2556: 2552: 2543: 2539: 2531: 2528: 2527: 2492: 2488: 2479: 2475: 2442: 2438: 2429: 2425: 2416: 2412: 2404: 2401: 2400: 2381: 2378: 2377: 2340: 2338: 2335: 2334: 2310: 2307: 2306: 2290: 2287: 2286: 2250: 2246: 2237: 2233: 2224: 2220: 2215: 2212: 2211: 2187: 2184: 2183: 2164: 2161: 2160: 2138: 2135: 2134: 2118: 2115: 2114: 2096: 2095: 2090: 2084: 2083: 2078: 2068: 2067: 2057: 2056: 2051: 2045: 2044: 2039: 2029: 2028: 2021: 2020: 2015: 2009: 2008: 2003: 1993: 1992: 1990: 1987: 1986: 1966: 1963: 1962: 1941: 1940: 1935: 1929: 1928: 1923: 1913: 1912: 1910: 1907: 1906: 1878: 1875: 1874: 1856: 1855: 1847: 1841: 1840: 1823: 1810: 1809: 1799: 1798: 1793: 1787: 1786: 1781: 1771: 1770: 1763: 1762: 1757: 1751: 1750: 1745: 1735: 1734: 1732: 1729: 1728: 1710: 1709: 1701: 1695: 1694: 1677: 1664: 1663: 1653: 1652: 1647: 1641: 1640: 1635: 1625: 1624: 1617: 1616: 1611: 1605: 1604: 1599: 1589: 1588: 1586: 1583: 1582: 1566: 1558: 1553: 1545: 1542: 1541: 1525: 1511: 1508: 1507: 1489: 1488: 1483: 1477: 1476: 1471: 1461: 1460: 1458: 1455: 1454: 1450: 1419: 1416: 1415: 1393: 1390: 1389: 1366: 1362: 1338: 1334: 1296: 1293: 1292: 1267: 1264: 1263: 1238: 1235: 1234: 1215: 1212: 1211: 1210:has an element 1195: 1192: 1191: 1171: 1168: 1167: 1166:be a field and 1151: 1148: 1147: 1116: 1113: 1112: 1051: 1048: 1047: 1030: 1026: 1024: 1021: 1020: 1003: 999: 990: 986: 984: 981: 980: 952: 951: 946: 940: 939: 934: 924: 923: 913: 912: 907: 901: 900: 895: 885: 884: 877: 876: 871: 865: 864: 859: 849: 848: 838: 837: 832: 826: 825: 820: 810: 809: 802: 801: 796: 790: 789: 784: 774: 773: 771: 768: 767: 747: 746: 741: 735: 734: 729: 719: 718: 708: 707: 702: 696: 695: 690: 680: 679: 672: 671: 666: 657: 656: 651: 638: 637: 627: 626: 618: 609: 608: 603: 593: 592: 585: 584: 579: 573: 572: 567: 557: 556: 554: 551: 550: 528: ×  462: 459: 458: 436: 433: 432: 403: 400: 399: 379: 377: 374: 373: 349: 336: 323: 310: 308: 305: 304: 283: 281: 278: 277: 260: 252: 247: 245: 242: 241: 233: 191:(respectively, 170: 164: 157: 151: 141: 126: 120: 114: 104: 94: 88: 82: 76: 65: 59: 53: 43: 34: 24: 17: 12: 11: 5: 3757: 3756: 3745: 3744: 3739: 3734: 3720: 3719: 3708:"Zero Divisor" 3700: 3695: 3679: 3665:"Zero divisor" 3659: 3656: 3653: 3652: 3631: 3612: 3597: 3578: 3577: 3575: 3572: 3569: 3568: 3521: 3520: 3518: 3515: 3514: 3513: 3508: 3502: 3495: 3492: 3480:" to the case 3435: 3427: 3422: 3414: 3363: 3360: 3359: 3358: 3332: 3299: 3298: 3269: 3224: 3221: 3220: 3219: 3188:An element is 3186: 3142: 3109: 3106: 3105: 3104: 3097: 3090: 3069: 3066: 3065: 3064: 3052: 3049: 3046: 3043: 3023: 3020: 3017: 3014: 3011: 3008: 3005: 3002: 2999: 2979: 2976: 2956: 2953: 2933: 2913: 2893: 2873: 2853: 2833: 2813: 2810: 2790: 2787: 2767: 2764: 2761: 2758: 2755: 2752: 2749: 2746: 2743: 2738: 2734: 2730: 2727: 2724: 2721: 2718: 2715: 2712: 2707: 2703: 2699: 2694: 2690: 2686: 2681: 2677: 2673: 2670: 2659:projection map 2646: 2643: 2640: 2637: 2634: 2629: 2625: 2621: 2616: 2612: 2608: 2603: 2599: 2595: 2592: 2589: 2586: 2583: 2580: 2577: 2572: 2568: 2564: 2559: 2555: 2551: 2546: 2542: 2538: 2535: 2512: 2509: 2506: 2503: 2500: 2495: 2491: 2487: 2482: 2478: 2474: 2471: 2468: 2465: 2462: 2459: 2456: 2453: 2450: 2445: 2441: 2437: 2432: 2428: 2424: 2419: 2415: 2411: 2408: 2385: 2359: 2356: 2353: 2349: 2346: 2343: 2314: 2294: 2270: 2267: 2264: 2261: 2258: 2253: 2249: 2245: 2240: 2236: 2232: 2227: 2223: 2219: 2191: 2180: 2168: 2148: 2145: 2142: 2122: 2100: 2094: 2091: 2089: 2086: 2085: 2082: 2079: 2077: 2074: 2073: 2071: 2066: 2061: 2055: 2052: 2050: 2047: 2046: 2043: 2040: 2038: 2035: 2034: 2032: 2025: 2019: 2016: 2014: 2011: 2010: 2007: 2004: 2002: 1999: 1998: 1996: 1970: 1960:if and only if 1945: 1939: 1936: 1934: 1931: 1930: 1927: 1924: 1922: 1919: 1918: 1916: 1894: 1891: 1888: 1885: 1882: 1860: 1854: 1851: 1848: 1846: 1843: 1842: 1839: 1836: 1833: 1830: 1827: 1824: 1822: 1819: 1816: 1815: 1813: 1808: 1803: 1797: 1794: 1792: 1789: 1788: 1785: 1782: 1780: 1777: 1776: 1774: 1767: 1761: 1758: 1756: 1753: 1752: 1749: 1746: 1744: 1741: 1740: 1738: 1714: 1708: 1705: 1702: 1700: 1697: 1696: 1693: 1690: 1687: 1684: 1681: 1678: 1676: 1673: 1670: 1669: 1667: 1662: 1657: 1651: 1648: 1646: 1643: 1642: 1639: 1636: 1634: 1631: 1630: 1628: 1621: 1615: 1612: 1610: 1607: 1606: 1603: 1600: 1598: 1595: 1594: 1592: 1569: 1565: 1561: 1556: 1552: 1549: 1528: 1524: 1521: 1518: 1515: 1493: 1487: 1484: 1482: 1479: 1478: 1475: 1472: 1470: 1467: 1466: 1464: 1449: 1446: 1445: 1444: 1432: 1429: 1426: 1423: 1403: 1400: 1397: 1377: 1374: 1369: 1365: 1361: 1358: 1355: 1352: 1347: 1344: 1341: 1337: 1333: 1330: 1327: 1324: 1321: 1318: 1315: 1312: 1309: 1306: 1303: 1300: 1280: 1277: 1274: 1271: 1259:. Then in the 1248: 1245: 1242: 1219: 1199: 1175: 1155: 1144: 1132: 1129: 1126: 1123: 1120: 1100: 1097: 1094: 1091: 1088: 1085: 1082: 1079: 1076: 1073: 1070: 1067: 1064: 1061: 1058: 1055: 1033: 1029: 1006: 1002: 998: 993: 989: 977:direct product 961: 956: 950: 947: 945: 942: 941: 938: 935: 933: 930: 929: 927: 922: 917: 911: 908: 906: 903: 902: 899: 896: 894: 891: 890: 888: 881: 875: 872: 870: 867: 866: 863: 860: 858: 855: 854: 852: 847: 842: 836: 833: 831: 828: 827: 824: 821: 819: 816: 815: 813: 806: 800: 797: 795: 792: 791: 788: 785: 783: 780: 779: 777: 756: 751: 745: 742: 740: 737: 736: 733: 730: 728: 725: 724: 722: 717: 712: 706: 703: 701: 698: 697: 694: 691: 689: 686: 685: 683: 676: 670: 667: 665: 662: 659: 658: 655: 652: 650: 647: 644: 643: 641: 636: 631: 625: 622: 619: 617: 614: 611: 610: 607: 604: 602: 599: 598: 596: 589: 583: 580: 578: 575: 574: 571: 568: 566: 563: 562: 560: 548: 547: 520: 508: 505: 502: 499: 496: 493: 490: 487: 484: 481: 478: 475: 472: 469: 466: 446: 443: 440: 426: 419: 407: 382: 370: 356: 353: 348: 343: 340: 335: 330: 327: 322: 317: 314: 290: 287: 263: 259: 255: 250: 232: 229: 15: 9: 6: 4: 3: 2: 3755: 3754: 3743: 3740: 3738: 3735: 3733: 3730: 3729: 3727: 3715: 3714: 3709: 3706: 3701: 3698: 3696:1-4020-2690-0 3692: 3688: 3684: 3680: 3676: 3672: 3671: 3666: 3662: 3661: 3648: 3644: 3638: 3636: 3628:. p. 15. 3627: 3623: 3616: 3608: 3601: 3593: 3589: 3583: 3579: 3563: 3559: 3555: 3549: 3545:differs from 3543: 3537: 3533: 3526: 3522: 3512: 3509: 3506: 3503: 3501: 3498: 3497: 3491: 3488: 3484: 3470: 3464: 3456: 3433: 3425: 3412: 3400: 3381: 3355: 3350: 3346: 3341: 3337: 3333: 3330: 3322: 3317: 3312: 3311: 3310: 3308: 3288: 3275: 3270: 3265: 3261: 3247: 3242: 3237: 3236: 3235: 3231: 3216: 3212: 3208:implies that 3206: 3202: 3196: 3191: 3187: 3183: 3179: 3176: 3172: 3165: 3158: 3152: 3148:, because if 3147: 3143: 3140: 3136: 3124: 3112: 3111: 3102: 3098: 3095: 3094:division ring 3091: 3088: 3084: 3080: 3076: 3072: 3071: 3050: 3047: 3044: 3041: 3021: 3018: 3015: 3012: 3009: 3006: 3003: 3000: 2997: 2977: 2974: 2954: 2951: 2931: 2911: 2891: 2871: 2851: 2831: 2811: 2808: 2788: 2785: 2762: 2759: 2756: 2753: 2750: 2747: 2744: 2741: 2736: 2732: 2725: 2719: 2716: 2713: 2710: 2705: 2701: 2697: 2692: 2688: 2684: 2679: 2675: 2668: 2660: 2641: 2638: 2635: 2632: 2627: 2623: 2619: 2614: 2610: 2606: 2601: 2597: 2590: 2584: 2581: 2578: 2575: 2570: 2566: 2562: 2557: 2553: 2549: 2544: 2540: 2533: 2526: 2507: 2504: 2501: 2498: 2493: 2489: 2485: 2480: 2476: 2472: 2469: 2463: 2457: 2454: 2451: 2448: 2443: 2439: 2435: 2430: 2426: 2422: 2417: 2413: 2406: 2399: 2383: 2375: 2374: 2354: 2332: 2329:addition and 2328: 2312: 2292: 2284: 2283:additive maps 2265: 2262: 2259: 2256: 2251: 2247: 2243: 2238: 2234: 2230: 2225: 2221: 2209: 2205: 2189: 2181: 2166: 2146: 2143: 2140: 2120: 2098: 2092: 2087: 2080: 2075: 2069: 2064: 2059: 2053: 2048: 2041: 2036: 2030: 2023: 2017: 2012: 2005: 2000: 1994: 1984: 1968: 1961: 1943: 1937: 1932: 1925: 1920: 1914: 1892: 1889: 1886: 1883: 1880: 1858: 1852: 1849: 1844: 1837: 1834: 1831: 1828: 1825: 1820: 1817: 1811: 1806: 1801: 1795: 1790: 1783: 1778: 1772: 1765: 1759: 1754: 1747: 1742: 1736: 1712: 1706: 1703: 1698: 1691: 1688: 1685: 1682: 1679: 1674: 1671: 1665: 1660: 1655: 1649: 1644: 1637: 1632: 1626: 1619: 1613: 1608: 1601: 1596: 1590: 1563: 1559: 1550: 1547: 1522: 1519: 1516: 1513: 1491: 1485: 1480: 1473: 1468: 1462: 1452: 1451: 1427: 1421: 1401: 1398: 1395: 1375: 1372: 1367: 1363: 1359: 1356: 1353: 1345: 1342: 1339: 1335: 1331: 1328: 1325: 1322: 1319: 1316: 1307: 1304: 1301: 1275: 1269: 1262: 1246: 1243: 1240: 1233: 1217: 1197: 1189: 1173: 1153: 1145: 1127: 1124: 1121: 1095: 1092: 1089: 1083: 1077: 1074: 1071: 1062: 1059: 1056: 1031: 1027: 1004: 1000: 996: 991: 987: 978: 974: 973: 972: 959: 954: 948: 943: 936: 931: 925: 920: 915: 909: 904: 897: 892: 886: 879: 873: 868: 861: 856: 850: 845: 840: 834: 829: 822: 817: 811: 804: 798: 793: 786: 781: 775: 754: 749: 743: 738: 731: 726: 720: 715: 710: 704: 699: 692: 687: 681: 674: 668: 663: 660: 653: 648: 645: 639: 634: 629: 623: 620: 615: 612: 605: 600: 594: 587: 581: 576: 569: 564: 558: 545: 541: 537: 533: 531: 527: 521: 506: 500: 497: 494: 488: 485: 482: 476: 473: 470: 464: 444: 441: 438: 431: 427: 424: 420: 405: 397: 371: 351: 346: 338: 333: 325: 320: 312: 285: 275: 257: 253: 239: 235: 234: 228: 226: 222: 218: 214: 210: 206: 202: 198: 194: 193:right regular 190: 186: 181: 179: 173: 167: 160: 154: 150:(the nonzero 149: 144: 139: 135: 129: 123: 117: 112: 107: 102: 97: 91: 85: 79: 74: 68: 62: 56: 51: 46: 42: 37: 33: 29: 22: 3711: 3686: 3668: 3646: 3621: 3615: 3606: 3600: 3591: 3582: 3561: 3557: 3553: 3547: 3541: 3535: 3531: 3525: 3486: 3482: 3471: 3451: 3395: 3365: 3353: 3339: 3315: 3306: 3300: 3286: 3273: 3263: 3259: 3240: 3229: 3226: 3214: 3210: 3204: 3200: 3194: 3181: 3177: 3174: 3170: 3163: 3156: 3150: 3087:finite field 3079:prime number 3068:Non-examples 2904:. However, 2658: 2524: 2397: 2371: 2210:of integers 549: 539: 529: 525: 216: 212: 208: 204: 200: 196: 192: 188: 185:left regular 184: 182: 171: 165: 158: 152: 147: 142: 138:zero divisor 137: 127: 121: 115: 110: 105: 95: 89: 83: 77: 66: 60: 54: 49: 48:is called a 44: 35: 25: 3737:Ring theory 3588:N. Bourbaki 3551:, and thus 3539:, in which 3190:cancellable 3139:determinant 2398:right shift 2331:composition 205:cancellable 178:commutative 87:that sends 3742:0 (number) 3726:Categories 3574:References 3382:, and let 3256:satisfies 3108:Properties 2657:, and the 2525:left shift 1261:group ring 1230:of finite 1019:with each 169:such that 156:such that 125:such that 64:such that 3713:MathWorld 3675:EMS Press 3622:Algebra I 3421:→ 3246:zero ring 2327:pointwise 2208:sequences 1890:≠ 1884:≠ 1551:∈ 1523:∈ 1399:− 1360:− 1343:− 1329:⋯ 1305:− 1046:nonzero, 997:× 661:− 646:− 621:− 613:− 498:− 474:− 442:≠ 423:nilpotent 355:¯ 342:¯ 329:¯ 321:× 316:¯ 289:¯ 219:. A non- 101:injective 3645:(1980), 3590:(1989), 3494:See also 3399:-regular 3266: 0 3034:, while 1985:, since 1291:one has 544:matrices 532:matrices 524:ring of 396:integers 231:Examples 3677:, 2001 3347:of the 3293:yields 3287:nonzero 3281:, then 3248:, then 3167:, then 2325:, with 2206:of all 2202:be the 1905:, then 1581:. Then 534:over a 236:In the 207:, or a 201:regular 99:is not 32:element 3693:  3405:" map 3380:module 3374:be an 3262:= 0 = 3075:modulo 2523:, the 2370:, the 225:domain 3564:) = 0 3517:Notes 3450:is a 3345:union 3279:0 = 1 3146:units 3141:zero. 2285:from 1873:. If 1506:with 1232:order 1188:group 1186:be a 1111:, so 536:field 215:or a 75:from 39:of a 30:, an 3691:ISBN 3366:Let 3173:0 = 3169:0 = 3083:unit 2801:and 1983:even 1727:and 1540:and 1244:> 1146:Let 522:The 238:ring 221:zero 41:ring 3465:in 3394:is 3351:of 3323:in 3307:all 3271:If 3238:If 3232:= 0 3159:= 0 2884:to 2305:to 2204:set 2159:is 1981:is 428:An 398:is 394:of 203:or 195:or 187:or 174:= 0 161:= 0 130:= 0 119:in 93:to 81:to 73:map 69:= 0 58:in 26:In 3728:: 3710:. 3673:, 3667:, 3634:^ 3624:. 3560:− 3536:ay 3534:= 3532:ax 3485:= 3469:. 3213:= 3205:ay 3203:= 3201:ax 3180:= 3178:ax 3157:ax 3077:a 975:A 421:A 227:. 172:ya 159:ax 128:ya 96:ax 67:ax 3716:. 3566:. 3562:y 3558:x 3556:( 3554:a 3548:y 3542:x 3487:R 3483:M 3478:M 3474:M 3467:R 3459:M 3454:M 3448:a 3434:M 3426:a 3413:M 3403:a 3397:M 3392:a 3388:R 3384:a 3378:- 3376:R 3372:M 3368:R 3357:. 3354:R 3340:R 3325:R 3316:R 3303:0 3297:. 3295:0 3291:0 3283:0 3274:R 3268:. 3264:x 3260:x 3258:0 3254:x 3250:0 3241:R 3230:a 3215:y 3211:x 3195:a 3182:x 3175:a 3171:a 3164:x 3151:a 3131:n 3127:n 3119:n 3115:n 3103:. 3089:. 3051:1 3048:= 3045:R 3042:L 3022:L 3019:R 3016:P 3013:= 3010:0 3007:= 3004:P 3001:L 2998:R 2978:L 2975:R 2955:R 2952:L 2932:R 2912:L 2892:S 2872:S 2852:R 2832:L 2812:R 2809:P 2789:P 2786:L 2766:) 2763:. 2760:. 2757:. 2754:, 2751:0 2748:, 2745:0 2742:, 2737:1 2733:a 2729:( 2726:= 2723:) 2720:. 2717:. 2714:. 2711:, 2706:3 2702:a 2698:, 2693:2 2689:a 2685:, 2680:1 2676:a 2672:( 2669:P 2645:) 2642:. 2639:. 2636:. 2633:, 2628:4 2624:a 2620:, 2615:3 2611:a 2607:, 2602:2 2598:a 2594:( 2591:= 2588:) 2585:. 2582:. 2579:. 2576:, 2571:3 2567:a 2563:, 2558:2 2554:a 2550:, 2545:1 2541:a 2537:( 2534:L 2511:) 2508:. 2505:. 2502:. 2499:, 2494:2 2490:a 2486:, 2481:1 2477:a 2473:, 2470:0 2467:( 2464:= 2461:) 2458:. 2455:. 2452:. 2449:, 2444:3 2440:a 2436:, 2431:2 2427:a 2423:, 2418:1 2414:a 2410:( 2407:R 2384:S 2358:) 2355:S 2352:( 2348:d 2345:n 2342:E 2313:S 2293:S 2269:) 2266:. 2263:. 2260:. 2257:, 2252:3 2248:a 2244:, 2239:2 2235:a 2231:, 2226:1 2222:a 2218:( 2190:S 2167:0 2147:z 2144:, 2141:x 2121:z 2099:) 2093:0 2088:0 2081:x 2076:0 2070:( 2065:= 2060:) 2054:0 2049:0 2042:1 2037:0 2031:( 2024:) 2018:z 2013:0 2006:y 2001:x 1995:( 1969:x 1944:) 1938:z 1933:0 1926:y 1921:x 1915:( 1893:z 1887:0 1881:x 1859:) 1853:c 1850:z 1845:0 1838:b 1835:z 1832:+ 1829:a 1826:y 1821:a 1818:x 1812:( 1807:= 1802:) 1796:z 1791:0 1784:y 1779:x 1773:( 1766:) 1760:c 1755:0 1748:b 1743:a 1737:( 1713:) 1707:c 1704:z 1699:0 1692:c 1689:y 1686:+ 1683:b 1680:x 1675:a 1672:x 1666:( 1661:= 1656:) 1650:c 1645:0 1638:b 1633:a 1627:( 1620:) 1614:z 1609:0 1602:y 1597:x 1591:( 1568:Z 1564:2 1560:/ 1555:Z 1548:y 1527:Z 1520:z 1517:, 1514:x 1492:) 1486:z 1481:0 1474:y 1469:x 1463:( 1443:. 1431:] 1428:G 1425:[ 1422:K 1402:g 1396:1 1376:0 1373:= 1368:n 1364:g 1357:1 1354:= 1351:) 1346:1 1340:n 1336:g 1332:+ 1326:+ 1323:g 1320:+ 1317:1 1314:( 1311:) 1308:g 1302:1 1299:( 1279:] 1276:G 1273:[ 1270:K 1247:1 1241:n 1218:g 1198:G 1174:G 1154:K 1131:) 1128:0 1125:, 1122:1 1119:( 1099:) 1096:0 1093:, 1090:0 1087:( 1084:= 1081:) 1078:1 1075:, 1072:0 1069:( 1066:) 1063:0 1060:, 1057:1 1054:( 1032:i 1028:R 1005:2 1001:R 992:1 988:R 960:. 955:) 949:0 944:0 937:0 932:0 926:( 921:= 916:) 910:0 905:0 898:0 893:1 887:( 880:) 874:1 869:0 862:0 857:0 851:( 846:= 841:) 835:1 830:0 823:0 818:0 812:( 805:) 799:0 794:0 787:0 782:1 776:( 755:, 750:) 744:0 739:0 732:0 727:0 721:( 716:= 711:) 705:2 700:2 693:1 688:1 682:( 675:) 669:1 664:2 654:1 649:2 640:( 635:= 630:) 624:1 616:1 606:1 601:1 595:( 588:) 582:2 577:2 570:1 565:1 559:( 540:n 530:n 526:n 519:. 507:e 504:) 501:e 495:1 492:( 489:= 486:0 483:= 480:) 477:e 471:1 468:( 465:e 445:1 439:e 418:. 406:0 381:Z 369:. 352:0 347:= 339:4 334:= 326:2 313:2 286:2 262:Z 258:4 254:/ 249:Z 166:y 153:x 143:a 122:R 116:y 106:a 90:x 84:R 78:R 61:R 55:x 45:R 36:a 23:.

Index

Division by zero
abstract algebra
element
ring
map
injective
divisibility in rings
commutative
zero
domain
ring
Z / 4 Z {\displaystyle \mathbb {Z} /4\mathbb {Z} }
integers
nilpotent
idempotent element
ring of n × n matrices
field
matrices
direct product
group
order
group ring
if and only if
even
set
sequences
additive maps
pointwise
composition
endomorphism ring

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