1167:
977:
1016:
650:
887:
587:
1021:
697:
1240:
748:
287:
255:
223:
191:
159:
445:
345:
128:
1162:{\displaystyle {\begin{aligned}s\cdot 0&=s\cdot (0+0)=s\cdot 0+s\cdot 0\\\Rightarrow s\cdot 0&=s\cdot 0-s\cdot 0\\\Rightarrow s\cdot 0&=0.\end{aligned}}}
898:
475:
is a group under the operation of addition and thus these also have a unique additive identity 0. This is defined to be different from the
482:
if the ring (or field) has more than one element. If the additive identity and the multiplicative identity are the same, then the ring is
596:
551:
1343:
1181:
be a ring and suppose that the additive identity 0 and the multiplicative identity 1 are equal, i.e. 0 = 1. Let
804:
672:
1195:
1381:
721:
59:, but additive identities occur in other mathematical structures where addition is defined, such as in
1376:
267:
235:
203:
171:
142:
1288:
1172:
476:
366:
32:
403:
303:
89:
664:
77:
56:
1356:
1386:
988:
483:
40:
1391:
972:{\displaystyle {\color {green}0'}={\color {green}0'}+0=0'+{\color {red}0}={\color {red}0}.}
515:
8:
1396:
472:
457:
362:
60:
713:
468:
64:
1308:
1339:
992:
702:
28:
1283:
1278:
461:
196:
1257:
709:
260:
135:
1173:
The additive and multiplicative identities are different in a non-trivial ring
1370:
753:
657:
228:
20:
1360:
1273:
479:
81:
52:
464:
of the group, is often denoted 0, and is unique (see below for proof).
542:
matrix whose entries consist entirely of the identity element 0 in
370:
36:
982:
164:
645:{\displaystyle 0={\begin{bmatrix}0&0\\0&0\end{bmatrix}}}
292:
1264:
is non-trivial then 0 is not equal to 1, is therefore shown.
765:
51:. One of the most familiar additive identities is the number
991:
over addition, the additive identity is a multiplicative
374:
611:
1198:
1019:
901:
807:
724:
675:
599:
554:
546:. For example, in the 2ร2 matrices over the integers
406:
306:
270:
238:
206:
174:
145:
92:
582:{\displaystyle \operatorname {M} _{2}(\mathbb {Z} )}
522:, the additive identity is the zero matrix, denoted
1234:
1161:
971:
881:
742:
691:
644:
581:
439:
339:
291:the additive identity is 0. This says that for a
281:
249:
217:
185:
153:
122:
987:In a system with a multiplication operation that
1368:
983:The additive identity annihilates ring elements
882:{\displaystyle 0+g=g=g+0,\qquad 0'+g=g=g+0'.}
790:both denote additive identities, so for any
692:{\displaystyle \mathbb {R} \to \mathbb {R} }
705:every number to 0 is the additive identity.
766:The additive identity is unique in a group
1357:Uniqueness of additive identity in a ring
727:
685:
677:
572:
272:
240:
208:
176:
147:
1235:{\displaystyle r=r\times 1=r\times 0=0}
1369:
70:
1306:
16:Value that makes no change when added
892:It then follows from the above that
352:
76:The additive identity familiar from
1334:David S. Dummit, Richard M. Foote,
918:
903:
450:
13:
556:
14:
1408:
1350:
960:
950:
743:{\displaystyle \mathbb {R} ^{n},}
43:which, when added to any element
298:belonging to any of these sets,
1328:
838:
460:, the additive identity is the
1300:
1133:
1089:
1058:
1046:
681:
576:
568:
1:
1294:
760:
660:, 0 is the additive identity.
282:{\displaystyle \mathbb {C} ,}
250:{\displaystyle \mathbb {R} ,}
218:{\displaystyle \mathbb {Q} ,}
186:{\displaystyle \mathbb {Z} ,}
154:{\displaystyle \mathbb {N} }
7:
1267:
377:. An additive identity for
10:
1413:
440:{\displaystyle e+n=n=n+e.}
389:such that for any element
340:{\displaystyle n+0=n=0+n.}
123:{\displaystyle 5+0=5=0+5.}
31:that is equipped with the
1338:, Wiley (3rd ed.): 2003,
756:is the additive identity.
591:the additive identity is
365:that is closed under the
1010:. This follows because:
163:(if 0 is included), the
1289:Multiplicative identity
995:, meaning that for any
477:multiplicative identity
1236:
1163:
973:
883:
744:
693:
646:
583:
441:
341:
283:
251:
219:
187:
155:
124:
78:elementary mathematics
57:elementary mathematics
1313:mathworld.wolfram.com
1237:
1164:
974:
884:
745:
694:
647:
584:
442:
342:
284:
252:
220:
188:
156:
125:
1196:
1017:
899:
805:
722:
673:
597:
552:
404:
304:
268:
236:
204:
172:
143:
90:
1309:"Additive Identity"
1307:Weisstein, Eric W.
778:be a group and let
385:, is an element in
71:Elementary examples
47:in the set, yields
1382:Elementary algebra
1232:
1185:be any element of
1159:
1157:
969:
964:
954:
927:
912:
879:
740:
689:
642:
636:
579:
437:
337:
279:
247:
215:
183:
151:
120:
1249:is trivial, i.e.
993:absorbing element
353:Formal definition
80:is zero, denoted
25:additive identity
1404:
1377:Abstract algebra
1336:Abstract Algebra
1323:
1322:
1320:
1319:
1304:
1284:Identity element
1279:Additive inverse
1263:
1255:
1248:
1241:
1239:
1238:
1233:
1188:
1184:
1180:
1168:
1166:
1165:
1160:
1158:
1009:
1002:
998:
978:
976:
975:
970:
965:
955:
945:
928:
926:
913:
911:
888:
886:
885:
880:
875:
846:
797:
793:
789:
785:
781:
777:
751:
749:
747:
746:
741:
736:
735:
730:
700:
698:
696:
695:
690:
688:
680:
651:
649:
648:
643:
641:
640:
590:
588:
586:
585:
580:
575:
564:
563:
545:
541:
537:
533:
527:
521:
514:
510:
506:
462:identity element
451:Further examples
446:
444:
443:
438:
396:
392:
388:
384:
380:
360:
346:
344:
343:
338:
297:
290:
288:
286:
285:
280:
275:
258:
256:
254:
253:
248:
243:
226:
224:
222:
221:
216:
211:
197:rational numbers
194:
192:
190:
189:
184:
179:
162:
160:
158:
157:
152:
150:
129:
127:
126:
121:
50:
46:
1412:
1411:
1407:
1406:
1405:
1403:
1402:
1401:
1367:
1366:
1353:
1331:
1326:
1317:
1315:
1305:
1301:
1297:
1270:
1261:
1250:
1246:
1197:
1194:
1193:
1186:
1182:
1178:
1175:
1156:
1155:
1145:
1130:
1129:
1101:
1086:
1085:
1033:
1020:
1018:
1015:
1014:
1004:
1000:
996:
985:
959:
949:
938:
919:
917:
904:
902:
900:
897:
896:
868:
839:
806:
803:
802:
795:
791:
787:
783:
779:
771:
768:
763:
731:
726:
725:
723:
720:
719:
717:
701:, the function
684:
676:
674:
671:
670:
668:
663:In the ring of
635:
634:
629:
623:
622:
617:
607:
606:
598:
595:
594:
571:
559:
555:
553:
550:
549:
547:
543:
539:
535:
529:
523:
519:
512:
508:
500:
490:
486:(proved below).
453:
405:
402:
401:
394:
390:
386:
382:
378:
358:
355:
305:
302:
301:
295:
271:
269:
266:
265:
263:
261:complex numbers
239:
237:
234:
233:
231:
207:
205:
202:
201:
199:
175:
173:
170:
169:
167:
146:
144:
141:
140:
138:
136:natural numbers
91:
88:
87:
84:. For example,
73:
48:
44:
17:
12:
11:
5:
1410:
1400:
1399:
1394:
1389:
1384:
1379:
1365:
1364:
1352:
1351:External links
1349:
1348:
1347:
1330:
1327:
1325:
1324:
1298:
1296:
1293:
1292:
1291:
1286:
1281:
1276:
1269:
1266:
1258:contrapositive
1243:
1242:
1231:
1228:
1225:
1222:
1219:
1216:
1213:
1210:
1207:
1204:
1201:
1174:
1171:
1170:
1169:
1154:
1151:
1148:
1146:
1144:
1141:
1138:
1135:
1132:
1131:
1128:
1125:
1122:
1119:
1116:
1113:
1110:
1107:
1104:
1102:
1100:
1097:
1094:
1091:
1088:
1087:
1084:
1081:
1078:
1075:
1072:
1069:
1066:
1063:
1060:
1057:
1054:
1051:
1048:
1045:
1042:
1039:
1036:
1034:
1032:
1029:
1026:
1023:
1022:
984:
981:
980:
979:
968:
963:
958:
953:
948:
944:
941:
937:
934:
931:
925:
922:
916:
910:
907:
890:
889:
878:
874:
871:
867:
864:
861:
858:
855:
852:
849:
845:
842:
837:
834:
831:
828:
825:
822:
819:
816:
813:
810:
767:
764:
762:
759:
758:
757:
752:the origin or
739:
734:
729:
710:additive group
706:
687:
683:
679:
661:
654:
653:
652:
639:
633:
630:
628:
625:
624:
621:
618:
616:
613:
612:
610:
605:
602:
578:
574:
570:
567:
562:
558:
492:
487:
465:
452:
449:
448:
447:
436:
433:
430:
427:
424:
421:
418:
415:
412:
409:
354:
351:
350:
349:
348:
347:
336:
333:
330:
327:
324:
321:
318:
315:
312:
309:
278:
274:
246:
242:
214:
210:
182:
178:
149:
132:
131:
130:
119:
116:
113:
110:
107:
104:
101:
98:
95:
72:
69:
15:
9:
6:
4:
3:
2:
1409:
1398:
1395:
1393:
1390:
1388:
1385:
1383:
1380:
1378:
1375:
1374:
1372:
1362:
1358:
1355:
1354:
1345:
1344:0-471-43334-9
1341:
1337:
1333:
1332:
1314:
1310:
1303:
1299:
1290:
1287:
1285:
1282:
1280:
1277:
1275:
1272:
1271:
1265:
1259:
1253:
1245:proving that
1229:
1226:
1223:
1220:
1217:
1214:
1211:
1208:
1205:
1202:
1199:
1192:
1191:
1190:
1152:
1149:
1147:
1142:
1139:
1136:
1126:
1123:
1120:
1117:
1114:
1111:
1108:
1105:
1103:
1098:
1095:
1092:
1082:
1079:
1076:
1073:
1070:
1067:
1064:
1061:
1055:
1052:
1049:
1043:
1040:
1037:
1035:
1030:
1027:
1024:
1013:
1012:
1011:
1007:
994:
990:
966:
961:
956:
951:
946:
942:
939:
935:
932:
929:
923:
920:
914:
908:
905:
895:
894:
893:
876:
872:
869:
865:
862:
859:
856:
853:
850:
847:
843:
840:
835:
832:
829:
826:
823:
820:
817:
814:
811:
808:
801:
800:
799:
775:
755:
737:
732:
715:
711:
707:
704:
666:
662:
659:
655:
637:
631:
626:
619:
614:
608:
603:
600:
593:
592:
565:
560:
534:, and is the
532:
526:
517:
504:
499:
495:
488:
485:
481:
478:
474:
470:
466:
463:
459:
455:
454:
434:
431:
428:
425:
422:
419:
416:
413:
410:
407:
400:
399:
398:
376:
372:
368:
364:
334:
331:
328:
325:
322:
319:
316:
313:
310:
307:
300:
299:
294:
276:
262:
244:
230:
212:
198:
180:
166:
137:
133:
117:
114:
111:
108:
105:
102:
99:
96:
93:
86:
85:
83:
79:
75:
74:
68:
66:
62:
58:
54:
42:
38:
34:
30:
26:
22:
1387:Group theory
1335:
1329:Bibliography
1316:. Retrieved
1312:
1302:
1251:
1244:
1176:
1005:
986:
891:
773:
769:
530:
524:
518:over a ring
502:
497:
493:
489:In the ring
356:
229:real numbers
24:
18:
1392:Ring theory
989:distributes
754:zero vector
658:quaternions
21:mathematics
1397:0 (number)
1371:Categories
1361:PlanetMath
1318:2020-09-07
1295:References
1274:0 (number)
1260:, that if
761:Properties
381:, denoted
373:, denoted
1221:×
1209:×
1140:⋅
1134:⇒
1124:⋅
1118:−
1112:⋅
1096:⋅
1090:⇒
1080:⋅
1068:⋅
1044:⋅
1028:⋅
682:→
665:functions
566:
367:operation
33:operation
1268:See also
943:′
924:′
909:′
873:′
844:′
516:matrices
371:addition
259:and the
165:integers
37:addition
1189:. Then
1008:ยท 0 = 0
750:
718:
714:vectors
708:In the
703:mapping
699:
669:
656:In the
589:
548:
484:trivial
289:
264:
257:
232:
225:
200:
193:
168:
161:
139:
134:In the
41:element
1342:
1254:= {0}.
293:number
61:groups
39:is an
23:, the
667:from
473:field
458:group
456:In a
363:group
361:be a
65:rings
55:from
27:of a
1340:ISBN
1256:The
1177:Let
782:and
776:, +)
770:Let
538:-by-
511:-by-
469:ring
357:Let
227:the
195:the
63:and
1359:at
999:in
794:in
786:in
716:in
712:of
528:or
507:of
471:or
393:in
369:of
35:of
29:set
19:In
1373::
1311:.
1153:0.
1003:,
798:,
784:0'
496:ร
467:A
397:,
118:5.
67:.
1363:.
1346:.
1321:.
1262:R
1252:R
1247:R
1230:0
1227:=
1224:0
1218:r
1215:=
1212:1
1206:r
1203:=
1200:r
1187:R
1183:r
1179:R
1150:=
1143:0
1137:s
1127:0
1121:s
1115:0
1109:s
1106:=
1099:0
1093:s
1083:0
1077:s
1074:+
1071:0
1065:s
1062:=
1059:)
1056:0
1053:+
1050:0
1047:(
1041:s
1038:=
1031:0
1025:s
1006:s
1001:S
997:s
967:.
962:0
957:=
952:0
947:+
940:0
936:=
933:0
930:+
921:0
915:=
906:0
877:.
870:0
866:+
863:g
860:=
857:g
854:=
851:g
848:+
841:0
836:,
833:0
830:+
827:g
824:=
821:g
818:=
815:g
812:+
809:0
796:G
792:g
788:G
780:0
774:G
772:(
738:,
733:n
728:R
686:R
678:R
638:]
632:0
627:0
620:0
615:0
609:[
604:=
601:0
577:)
573:Z
569:(
561:2
557:M
544:R
540:n
536:m
531:0
525:O
520:R
513:n
509:m
505:)
503:R
501:(
498:n
494:m
491:M
480:1
435:.
432:e
429:+
426:n
423:=
420:n
417:=
414:n
411:+
408:e
395:N
391:n
387:N
383:e
379:N
375:+
359:N
335:.
332:n
329:+
326:0
323:=
320:n
317:=
314:0
311:+
308:n
296:n
277:,
273:C
245:,
241:R
213:,
209:Q
181:,
177:Z
148:N
115:+
112:0
109:=
106:5
103:=
100:0
97:+
94:5
82:0
53:0
49:x
45:x
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.