133:
25:
629:
586:
443:
811:
of any algebraic structure where it exists, like it was described for examples above. But its existence and, if it exists, the property to be an
42:
1055:
984:
108:
89:
61:
891:, then zero morphisms exist and the situation is not different from non-unital structures considered in the previous section.
46:
314:
These objects are described jointly not only based on the common singleton and trivial group structure, but also because of
68:
595:
548:
126:
75:
968:
35:
930:
694:
350:
57:
925:
686:
887:
If an algebraic structure requires the multiplicative identity, but neither its preservation by morphisms nor
398:
1045:
824:
510:
160:
853:
In categories where the multiplicative identity must be preserved by morphisms, but can equal to zero, the
121:
This article is about trivial or zero algebraic structures. For zero elements in algebraic structures, see
935:
847:
506:
192:
672:
322:
995:
1040:
920:
489:
466:
256:
241:
1050:
843:
842:
object cannot exist because it may contain only one element. In particular, the zero ring is not a
690:
478:
291:
245:
207:
164:
152:
950:
734:
The zero object, also by definition, must be an initial object, which means that a morphism
224:
82:
980:
866:
702:
698:
156:
132:
972:
474:
449:
940:
820:
808:
788:
360:
For structures requiring the multiplication structure inside the zero object, such as the
908:
857:
object can exist. But not as initial object because identity-preserving morphisms from
812:
260:
1034:
664:
514:
485:
369:
216:
172:
168:
999:
945:
765:
668:
502:
361:
287:
122:
452:, since the single element is its own multiplicative inverse. Some properties of
380:
which has both an additive and multiplicative identity is trivial if and only if
1016:
761:
682:
373:
196:
24:
708:
The zero object, by definition, must be a terminal object, which means that a
155:
is, in the sense explained below, the simplest object of such structure. As a
1021:
1004:
850:, this abstract and somewhat mysterious mathematical object is not a field.
784:
354:
229:
202:
Instances of the zero object include, but are not limited to the following:
709:
518:
280:
176:
136:
873:
144:
175:. The aforementioned abelian group structure is usually identified as
773:
131:
180:
456:
depend on exact definition of the multiplicative identity; see
18:
368:, because there are no non-zero elements. This structure is
899:
Zero vector spaces and zero modules are usually denoted by
681:
The zero ring, zero module and zero vector space are the
671:
to obtain 2-dimensional zero vector (leftmost). Rules of
325:
by an element of the base ring (or field) is defined as:
501:
is an especially ubiquitous example of a zero object, a
741:
must exist and be unique for an arbitrary object
719:
must exist and be unique for an arbitrary object
604:
557:
465:
Any trivial algebra is also a trivial ring. A trivial
697:. However, the zero ring is not a zero object in the
598:
551:
401:
624:{\displaystyle {\begin{bmatrix}\,\\\,\end{bmatrix}}}
49:. Unsourced material may be challenged and removed.
623:
581:{\displaystyle {\begin{bmatrix}0\\0\end{bmatrix}}}
580:
437:
907:). This is always the case when they occur in an
469:is simultaneously a zero vector space considered
275:is also used, although it may be ambiguous, as a
349:The most general of them, the zero module, is a
183:, so the object itself is typically denoted as
638:
538:
8:
768:, and hence its image is isomorphic to
663:Element of the zero space, written as empty
634:
846:. If mathematicians sometimes talk about a
535:
384:, since this equality implies that for all
199:to any other (under a unique isomorphism).
823:sense) depend on exact definition of the
723:. This morphism maps any element of
612:
607:
599:
597:
552:
550:
400:
125:. For the zero object in a category, see
109:Learn how and when to remove this message
16:Algebraic structure with only one element
791:) in each module (or vector space)
438:{\displaystyle r=r\times 1=r\times 0=0.}
488:. A trivial algebra is an example of a
772:. For modules and vector spaces, this
667:(rightmost one), is multiplied by 2Ă0
458:
448:In this case it is possible to define
316:shared category-theoretical properties
7:
705:of the zero ring in any other ring.
484:The trivial ring is an example of a
47:adding citations to reliable sources
865:do not exist. For example, in the
827: 1 in a specified structure.
14:
481:is simultaneously a zero module.
470:
179:, and the only element is called
880:is the initial object, not
764:in vector spaces. This map is a
195:) since every trivial object is
23:
315:
191:trivial object (of a specified
34:needs additional citations for
364:, there is only one possible,
1:
304:zero-dimensional vector space
783:is the only empty-generated
537:
321:In the last three cases the
171:structure, which is also an
127:Initial and terminal objects
753:, to the zero element
749:, the only element of
525:
505:over a field with an empty
139:to and from the zero object
1072:
969:Cambridge University Press
830:If the definition of
120:
58:"Zero object" algebra
1056:Objects (category theory)
931:Examples of vector spaces
695:category of vector spaces
662:
351:finitely-generated module
926:Triviality (mathematics)
687:category of pseudo-rings
459:§ Unital structures
965:Rings and factorization
825:multiplicative identity
936:Field with one element
848:field with one element
685:of, respectively, the
625:
582:
439:
283:with a trivial action.
187:. One often refers to
140:
963:David Sharpe (1987).
745:. This morphism maps
673:matrix multiplication
626:
583:
495:The zero-dimensional
440:
323:scalar multiplication
135:
1015:Barile, Margherita.
921:Nildimensional space
861:to any object where
821:category-theoretical
701:, since there is no
596:
549:
467:algebra over a field
399:
242:algebra over a field
43:improve this article
691:category of modules
513:zero. It is also a
509:. It therefore has
246:algebra over a ring
153:algebraic structure
996:Barile, Margherita
951:List of zero terms
787:(or 0-dimensional
621:
615:
578:
572:
486:rng of square zero
435:
141:
867:category of rings
799:Unital structures
703:ring homomorphism
699:category of rings
679:
678:
300:zero vector space
119:
118:
111:
93:
1063:
1027:
1026:
1010:
1009:
1000:"Trivial Module"
990:
906:
902:
890:
883:
864:
860:
856:
841:
837:
833:
806:
794:
782:
771:
759:
752:
748:
744:
740:
730:
726:
722:
718:
630:
628:
627:
622:
620:
619:
587:
585:
584:
579:
577:
576:
542:
536:
500:
499:
475:commutative ring
455:
450:division by zero
444:
442:
441:
436:
391:
387:
383:
379:
367:
357:generating set.
344:
334:
297:
277:trivial G-module
266:
186:
114:
107:
103:
100:
94:
92:
51:
27:
19:
1071:
1070:
1066:
1065:
1064:
1062:
1061:
1060:
1031:
1030:
1014:
1013:
994:
993:
987:
962:
959:
941:Empty semigroup
917:
904:
900:
897:
888:
881:
862:
858:
854:
839:
835:
831:
809:terminal object
804:
801:
792:
789:linear subspace
777:
769:
754:
750:
746:
742:
735:
728:
724:
720:
713:
675:are respected.
655:
650:
643:
614:
613:
609:
608:
600:
594:
593:
571:
570:
564:
563:
553:
547:
546:
540:
534:
526:mentioned above
497:
496:
453:
397:
396:
389:
385:
381:
377:
365:
336:
329:
295:
264:
250:trivial algebra
184:
130:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
1069:
1067:
1059:
1058:
1053:
1048:
1046:Linear algebra
1043:
1033:
1032:
1029:
1028:
1011:
991:
985:
958:
957:External links
955:
954:
953:
948:
943:
938:
933:
928:
923:
916:
913:
909:exact sequence
896:
893:
834:requires that
815:(and hence, a
813:initial object
800:
797:
677:
676:
660:
659:
657:
652:
647:
645:
640:
637:
636:
633:
631:
618:
611:
610:
606:
605:
603:
591:
588:
575:
569:
566:
565:
562:
559:
558:
556:
544:
533:
530:
523:trivial module
446:
445:
434:
431:
428:
425:
422:
419:
416:
413:
410:
407:
404:
347:
346:
312:
311:
284:
273:trivial module
253:
238:
221:
117:
116:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
1068:
1057:
1054:
1052:
1049:
1047:
1044:
1042:
1039:
1038:
1036:
1024:
1023:
1018:
1017:"Zero Module"
1012:
1007:
1006:
1001:
997:
992:
988:
986:0-521-33718-6
982:
978:
974:
970:
966:
961:
960:
956:
952:
949:
947:
944:
942:
939:
937:
934:
932:
929:
927:
924:
922:
919:
918:
914:
912:
910:
894:
892:
885:
879:
875:
871:
868:
851:
849:
845:
828:
826:
822:
818:
814:
810:
798:
796:
790:
786:
781:
775:
767:
763:
760:, called the
758:
739:
732:
716:
711:
706:
704:
700:
696:
692:
688:
684:
674:
670:
666:
665:column vector
661:
658:
653:
648:
646:
641:
639:
632:
616:
601:
592:
589:
573:
567:
560:
554:
545:
531:
529:
527:
524:
520:
516:
515:trivial group
512:
508:
504:
493:
491:
487:
482:
480:
476:
472:
468:
463:
461:
460:
451:
432:
429:
426:
423:
420:
417:
414:
411:
408:
405:
402:
395:
394:
393:
375:
371:
363:
358:
356:
352:
343:
339:
332:
328:
327:
326:
324:
319:
317:
309:
305:
301:
293:
289:
285:
282:
278:
274:
270:
262:
258:
254:
251:
247:
243:
239:
236:
232:
231:
226:
222:
219:
218:
217:trivial group
213:
209:
205:
204:
203:
200:
198:
194:
190:
182:
178:
174:
173:abelian group
170:
166:
162:
158:
154:
150:
146:
138:
134:
128:
124:
113:
110:
102:
99:February 2012
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: â
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
1020:
1003:
977:trivial ring
976:
964:
946:Zero element
903:(instead of
898:
886:
877:
872:the ring of
869:
852:
829:
816:
807:object is a
802:
779:
766:monomorphism
756:
737:
733:
714:
707:
683:zero objects
680:
669:empty matrix
522:
503:vector space
498:vector space
494:
490:zero algebra
483:
477:, a trivial
464:
457:
447:
362:trivial ring
359:
348:
341:
337:
330:
320:
313:
307:
303:
299:
288:vector space
276:
272:
268:
249:
235:trivial ring
234:
228:
215:
211:
201:
188:
148:
142:
123:Zero element
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
1041:Ring theory
838:, then the
817:zero object
762:zero vector
374:commutative
370:associative
271:. The term
269:zero module
163:, and as a
151:of a given
149:zero object
1051:0 (number)
1035:Categories
971:. p.
532:Properties
308:zero space
212:zero group
197:isomorphic
69:newspapers
1022:MathWorld
1005:MathWorld
785:submodule
635: âč0
511:dimension
473:. Over a
424:×
412:×
376:. A ring
366:0 Ă 0 = 0
230:zero ring
161:singleton
137:Morphisms
975: :
915:See also
895:Notation
874:integers
727:to
710:morphism
693:and the
521:, and a
519:addition
353:with an
335:, where
306:or just
290:(over a
281:G-module
259:(over a
193:category
177:addition
159:it is a
819:in the
543:
479:algebra
462:below.
388:within
298:), the
267:), the
169:trivial
145:algebra
83:scholar
983:
876:
778:{0} â
776:
774:subset
736:{0} â
712:
689:, the
333:0 = 0
294:
263:
257:module
248:, the
240:As an
227:, the
210:, the
167:has a
147:, the
85:
78:
71:
64:
56:
889:1 â 0
863:1 â 0
844:field
836:1 â 0
717:â {0}
517:over
507:basis
471:below
382:1 = 0
355:empty
292:field
286:As a
279:is a
255:As a
223:As a
208:group
206:As a
165:magma
90:JSTOR
76:books
981:ISBN
870:Ring
803:The
755:0 â
372:and
261:ring
225:ring
181:zero
62:news
905:{0}
882:{0}
859:{0}
855:{0}
840:{0}
805:{0}
770:{0}
751:{0}
454:{0}
392:,
244:or
233:or
214:or
189:the
185:{0}
157:set
143:In
45:by
1037::
1019:.
1002:.
998:.
979:.
973:10
967:.
911:.
884:.
795:.
731:.
656:1
651:0
644:1
590:=
528:.
492:.
433:0.
340:â
318:.
302:,
1025:.
1008:.
989:.
901:0
878:Z
832:1
793:A
780:A
757:A
747:0
743:A
738:A
729:0
725:A
721:A
715:A
654:â
649:^
642:â
617:]
602:[
574:]
568:0
561:0
555:[
541:â
539:2
430:=
427:0
421:r
418:=
415:1
409:r
406:=
403:r
390:R
386:r
378:R
345:.
342:R
338:Îș
331:Îș
310:.
296:R
265:R
252:.
237:.
220:.
129:.
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.