1404:
extend the same way to the integers. But I think it would be fair to just mention this at the top and to state that "the" for the rest of the article means "the one unique up to isomorphism". But this is a universal issue in mathematics: when is equality "equality" and when is it just "isomorphism", and do we only use the definite article in the former case? The answer obviously depends on context, which is why you even hear people talk about "the singleton set", even when such a construction is obviously not unique.
95:
333:. I do not understand the detail of objection particularly, perhaps we should check it first. Since we do seem to be attempting to address the article at the trivial objects of multiple types, perhaps we should do this properly, and rename it accordingly (and not simply by the most general case, which would be the singleton): sets, groups, modules, vector spaces, rings, algebras, and maybe others, as well as to give the dominant names for each. Interesting thought: fields apparently have no such
85:
64:
1111:). One option might be again to consider renaming this article more inclusively to encapsulate the "trivial object" concept. Alternatively, as you suggest, another article could be created to cover this topic (and zero objects would perhaps be classified under them, along with the trivial ring and related trivial objects). To have an article entirely devoted to the trivial ring while there are other similar "trivial objects" still does not seem right, though. β
33:
1087:, almost anything which could justify a separate article, today I am not sure that redirecting it to here was a right solution. May be it is a discussion about unital structures what ought to constitute its topic, distinct from true zero objects. Should we restore the article and move the section to there?
1318:
mentioned above seems to try to address this, but partly leaves the concept in the air with statements such as "depends on the precise definition". From the diff it would seem that the trivial ring is a zero object considered as a rng, but not when considered as a ring. This seems to match with the
1195:
So, what do you think is a right thing? An article about the trivial ring without mentioning its category-theoretical properties, eh? These trivial objects are not so easy as one could imagine. Since
Rumping intervened to this complex matter (by undoing my changes), we should expect some constructive
1313:
As someone who has tried to crystalize these concepts from WP I find this rather confusing. This article seems to draw somewhat on the concept of a zero object (in category theory), which is evidently not the same as the elementary concept of a zero object that this article seems to be addressing.
1145:
It was neither polite nor practical to revert to a version of "trivial ring" criticized for absence of essential information, especially while this information is already present in a section of another article. One does not need to have good thoughts to just push the "undo" link in a web-interface.
805:
because of different notation for the identity element. I will use the original name proposal (although do not insist that it is an unlimate solution), because "trivial object" is ambigous (see my reasonings about initial objects above), "Zero object (abstract algebra)" imposes a misleading contrast
1388:
trivial group, but the trivial subgroup of the integers may hardly be considered to be the same as the trivial subgroup of the rotations of a
Euclidean vector space (for example). Isomorphism is not equality. On the other hand, for a stand alone trivial group, like in an exact sequence, there is no
500:
I think this nevertheless has (plenty of) merit. It seems to get rid of the ambiguity in the title. We can make the content less technical if need be, introducing it as generally being the simplest object in any of several categories and that it is always a singleton, and then have a section for
1403:
Even for groups, there can be different ones, which are only equal up to isomorphism. The trivial multiplicative subgroup is {1} and the trivial additive subgroup is {0} (say of the integers). These are not equal in the strictest sense because 1 is not equal to 0, and also because + and * do not
1363:
trivial ring", the argument of isomorphism seems to be compelling. In the case of a module, a vector space or an algebra, the very definition of these categories implies the semantic of the associated scalar space ("over a ring"). This association seems to remain in the definition of the
800:
The problem is that "zero element" does not claim itself to be an article, but a dab page, so it has either be coverted to an article, or reformatted as a dab. Meanwhile, I proceed to the move and merger of "trivial ring", because it unlikely will be opposed. Some problems expected with
1176:
article's key points are that {0} on its own, with ordinary addition and multiplication, is a ring and that if the additive and the multiplicative identity are the same then there is only one element, things far easier to understand. You may think that these points are repeated in the
397:
of the category of the modules over a ring. In fact, historically, the theory of categories (especially abelian categories) was, for a large part, a generalization of the theory of modules which was needed for homological algebra. Thus the name "zero object" is derived from "zero
272:, where it is denoted simply by 0 (it appears twice in the short exact sequences). In any case one has to look on books of homological algebra to see how this module is named there. I believe "null module", but I may be influenced by the usual French denomination of "module nul".
1319:
zero object (category theory), but that is not what this article is about. It also seems to suggest that the definition of rings requires that 1β 0. So I have to admit continued confusion, but I'm sure that between you a more easily understood presentation will emerge. β
1299:(in a category). In other words, there is no mathematical disagreement between Incnis Mrsi and me. My point is that the considerations of theory of categories have to appear after the elementary considerations. Otherwise the article could be tagged as {{tl:Technical}}.
201:
a less abstract one, a matrix algebra. The object concerned (a trivial module) has already been adequately defined. I felt that the mention of matrices was illustrative only. An empty matrix may be given as an example, but perhaps that should not be in the lead. β
1251:
My impression (which may be wrong) is that Incnis Mrsi does not think that the trivial ring is an example of a zero object (algebra), but that D.Lazard thinks that it is. I think that this should be resolved before the correctness of merging can be finalized. β
1027:
Your phrase "even
Quondum" accords me more honour than I am worthy of. I can see the thrust of what you are saying in the wording used in the article. Thank you for this: I can see that I should focus more study on morphisms (and category theory generally). β
1364:
corresponding zero object, so that despite isomorphism in other respects, the operation of scalar multiplication is incompatible when the underlying scalars are not of the same type, and it makes less sense to regard all zero objects of these types to be
633:
seem to me to be non-ideal (it mentions zero objects, but is not about them as such) and that in the cases mentioned, it is exactly what this article is supposed to be changed to refer to. The initial and terminal objects that don't conform (e.g. the
181:
matrix, or by 0Γ0Γ0 matrix. In any case there is only one empty matrix, does not matter the square one or the cubic. But assertion of the isomorphism without an exact definition of "empty matrix" is even less precise speech than my version.
723:
446:
needs to be checked for standardness, but I guess it to be more used specifically as over a field and not a ring, and is thus may be a poor choice. We may be faced with many poor options (blame non-standardization of terminology). β
992:
It is a pity that my wording was unable to convince even
Quondum. So, I say the same in a less encyclopedic manner. The categorial "zeroness" of {0} actually relies on the fact that pseudo-rings, modules, and vector spaces are
424:. And Quondum suggests the term "zero module" for the zero object. IMHO we should choose the name not more recognizable, but less ambiguous. I am almost sure that the word "trivial" will ultimately be dropped in the title, and
547:
Just a thought, and I'm sure this will come up in a more general discussion: parenthetical disambiguators are generally discouraged if there is nothing to disambiguate. In this instance, this means we'd have to consider
1102:
This seems to hinge on the implication that a trivial ring is not a true zero object (still beyond my ken). My support for the article's current name was based on the asssumption that these objects all fitted (and that
638:) are also not called zero objects. I'm weak in category theory, so the distinction between its use in algebra and in category theory escapes me. This will determine whether any disambiguator is appropriate. β
603:
In the category of groups, any trivial group is a zero object. The same is true for the categories of abelian groups, modules over a ring, and vector spaces over a field. This is the origin of the term "zero
378:, which means here to consider only the trivial objects which are used in non trivial math, and to mention the other ones only by sentences like "some authors call this notion in this way". Thus I propose to
1221:, because the reader could believe that the trivial field is a field. I have done a similar edit in this page, but this fundamental information is not enough visible for the public intended by Rumping. I
151:
1131:
article was easily understood by those whose algebra just about extends to groups, rings and fields but does not stretch to further abstraction. I have put it back for the time being --
268:
I think that "null module" or "zero module" are more usual names for this notion. Moreover, it should be mentioned in the page that this module is frequently used in the context of
973:, and I guess it should behave well as an initial object. So the argument given that β€ is the initial object in the category of rings does not seem right. I know that
1291:
The fact that the trivial ring is not a zero object in the category of unital rings is not a real objection to call it also a zero ring. Thus it has a natural place in
838:
Yes you should save your version over it: My edits are easy to restore after that, if they are yet needed (at least may edit of {{tl:Merge}}) will no more be useful).
700:
But "zero object" is a well established terminology in category theory and something has to be kept for people who looks for information on it. This means a redirect
354:
with the interpretation of the objection. The ideal would be to get a practitioner in the field to comment on usage of terms. I am definitely not an expert. β
1384:
trivial ring". On the opposite, for groups and similar structures, it depends on the context if the argument of isomorphism is compelling: Every group contains
374:. Note also that the first page considers also a notion of "trivial module structure" which exists only for "non unitary modules". I think that we should apply
485:. But it would make the article difficult to read for non-algebraists, and will shift the topic to category-theoretical stuff from current descriptive stance.
1368:
object. I suggest that the article should refer to "a trivial module", "a trivial vector space" and "a trivial algebra" in recognition of this. Comment? β
748:
that we are trying to document in this context (abstract algebra). (Forgive my obtuseness β I still need water wings.) I would then support the move of
1447:
141:
1442:
1001:
distinguished point 0; see my diagram. Inclusion of another constantΒ 1 breaks all the picture, because object are immediately divided to "regular"Β (
678:
I was not suggesting any change to that article; it is a very clear article and should not be touched. What I was suggesting is that the redirect
824:
D.Lazard made a quite inconvenient thing starting to alter the article independently, despite my forecast. Should I save my version over his one?
117:
173:
I do not get to which exactly realization of the empty matrix the space of possible multiplications is isomorphic. My original version,
1069:
509:. And then, at least, the naming problem in the case of a module is in the corresponding section, not in the name of an article. β
108:
69:
1065:
1418:
501:
the corresponding object in each of several categories. It also gives scope for merging the small articles on each, such as
1325:
1258:
1117:
1057:
1034:
983:
940:
792:
692:
644:
560:
515:
453:
360:
343:
208:
630:
598:
582:
44:
289:
Exact sequences' 0 may also denote the trivial
Abelian group. But any Abelian group inherently is a β€-module, indeed.
965:
do not seem to exclude the trivial ring: it has a multiplicative identity element, and there is no requirement that
910:. It's evident that this is not intended use (only use one or the other), as one might observe from the following:
765:
753:
701:
586:
416:
A complete tangle. Proofwiki.org refer as "trivial module" to the thing with zero multiplication, analogous to our
554:
if we find no conflicting use for the term, for which there is currently a redirect that we would replace. β
32:
661:
315:
934:
The last line (at least for me) is disproportionately large, whereas the first two lines are the same. β
652:"Initial and terminal objects" may not be moved. There is a plenty of categories where objects similar to
417:
334:
1292:
1282:
1230:
1201:
1178:
1165:
1155:
1092:
1018:
1013:
morphism becomes impossible from a pathological object to a regular one. By definition of the morphism.
829:
815:
669:
594:
538:
490:
474:
433:
294:
258:
227:
187:
50:
222:
Is the trivial algebra also a zero object in some category? I am not an expert in the category theory.
94:
810:
algebra (although our current content is quite traditional), and simply "zero object" is conflicting.
368:
It should be noted that
Mathworld has two articles on the same object, called either "trivial module"
421:
375:
323:
759:
1169:
970:
958:
250:
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1412:
1394:
1304:
1242:
1127:
You are correct in wondering whether the merge was the right solution, so I have undone it. The
962:
843:
713:
611:
482:
428:
become a dab page. "Zero module" is a possible choice indeed, although I like "zero space" more.
407:
277:
100:
84:
63:
1380:
I agree to refer to "a trivial module", "a trivial vector space" and "a trivial algebra" and "
1372:
1323:
1256:
1186:
1136:
1115:
1061:
1032:
981:
974:
938:
790:
690:
642:
558:
513:
451:
358:
341:
206:
1278:
1197:
1164:
I left the merge/discuss tag. But be clear that I think it is a error to do the merge. The
1151:
1088:
1014:
825:
811:
665:
534:
486:
429:
290:
254:
223:
183:
1181:
article, but they are not written so clearly and are obscured by more complicated ideas. --
756:, and the name of this article then is still open to debate. Option that occur to me are:
527:
425:
269:
245:
in ambiguity. What backup names can we use if the problem become severe? I can propose
782:, and it looks like this article should be ciited as the main article for the section
1436:
1406:
1390:
1300:
1238:
1237:
the target should be rewritten to be accessible for the public addressed by
Rumping.
904:
894:
881:
871:
839:
802:
709:
657:
607:
502:
478:
403:
307:
273:
664:
are terminal objects but not initial. Only in algebra these two typically coincide.
593:
should become a dab page. But the relation is deeper and has to be made explicit in
1369:
1320:
1253:
1226:
1212:
1182:
1173:
1132:
1128:
1112:
1052:
1029:
978:
935:
787:
783:
779:
687:
639:
555:
510:
506:
448:
355:
338:
311:
203:
17:
369:
331:
1425:
1398:
1374:
1328:
1308:
1296:
1286:
1261:
1246:
1205:
1190:
1159:
1140:
1120:
1096:
1037:
1022:
994:
986:
943:
847:
833:
819:
795:
770:
749:
717:
705:
695:
679:
673:
647:
626:
615:
590:
578:
563:
550:
542:
518:
494:
456:
437:
411:
394:
382:
363:
346:
319:
298:
281:
262:
231:
211:
191:
113:
372:
306:
As with most mathematical terms, context seems to be significant. So whereas
246:
90:
625:
have any use other than as used in category theory? The current redirect of
653:
635:
682:
should be deleted to make way for this article, which should be renamed as
352:
744:
being initial and terminal, and so it is not a direct synonym for the
177:, already had an ambiguity because the multiplication is defined by a
1219:
by those whose algebra just about extends to groups, rings and fields
730:
Definition 1.1.1 By a zero object in a category C, we mean an object
1273:
belongs to the algebraic structure, then it is not an "example". If
660:) are initial objects but not terminal, and objects similar to
26:
533:
s to that articles. May be this will increase an audience.
390:
Mention that "trivial module" is also used for this notion
1168:
article requires the reader to understand the concept of
393:
Mention (and even emphasize) that the zero module is the
1315:
1267:
1084:
1077:
1073:
314:
seem to be well-established, one evidently refers to a
242:
762:(intuitive, used occasionally but apparently not much)
708:
or hatnotes in both pages talking on "zero objects".
928:
abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ
922:
abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ
916:
abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ
112:, a collaborative effort to improve the coverage of
1172:first and then consider the smallest example. The
969:. It seems to be well-behaved with respect to the
1351:"a" vs. "the" (for an object defined over a ring)
1277:is not an element of the structure, then it is.
734:which is both an initial and a terminal object.
197:My real problem is to have an abstract algebra
8:
1269:, as well as in the talk section above. If
977:contradicts me. What have I got wrong? β
30:
1266:What do I think about it, was expressed in
58:
1196:proposals, not only "merger is an evil".
1210:To Rumping: Before my recent edit, the
577:the merge. However, care is needed for
253:, although the latter is likely an OR.
60:
473:Yet another option could be moving to
975:Category of rings#Limits and colimits
218:Is the trivial algebra a zero object?
7:
106:This article is within the scope of
722:I have come across this definition
322:may be an appropriate name for the
49:It is of interest to the following
25:
1448:Low-priority mathematics articles
585:. Probably it should be moved to
126:Knowledge:WikiProject Mathematics
1443:Start-Class mathematics articles
169:"isomorphic to the empty matrix"
129:Template:WikiProject Mathematics
93:
83:
62:
31:
1146:Good thoughts are required for
957:I'm a little confused. Unlike
241:Current title "trivial module"
146:This article has been rated as
766:Zero object (abstract algebra)
326:on a singleton set. The term
1:
1426:04:21, 16 December 2012 (UTC)
1109:zero object (category theory)
944:19:19, 29 February 2012 (UTC)
773:(if this is a dominant usage)
754:Zero object (category theory)
718:21:16, 29 February 2012 (UTC)
702:zero object (category theory)
696:19:30, 29 February 2012 (UTC)
674:19:23, 29 February 2012 (UTC)
648:19:06, 29 February 2012 (UTC)
616:18:04, 29 February 2012 (UTC)
587:Zero object (category theory)
564:19:27, 28 February 2012 (UTC)
543:18:28, 28 February 2012 (UTC)
519:17:01, 28 February 2012 (UTC)
495:16:36, 28 February 2012 (UTC)
457:15:17, 28 February 2012 (UTC)
438:12:04, 28 February 2012 (UTC)
412:11:49, 28 February 2012 (UTC)
364:05:33, 28 February 2012 (UTC)
347:05:16, 28 February 2012 (UTC)
299:12:04, 28 February 2012 (UTC)
282:23:05, 27 February 2012 (UTC)
263:20:12, 27 February 2012 (UTC)
232:20:12, 27 February 2012 (UTC)
212:04:27, 28 February 2012 (UTC)
192:20:12, 27 February 2012 (UTC)
120:and see a list of open tasks.
1107:was a distinct concept from
778:I've just found the article
631:Initial and terminal objects
599:Initial and terminal objects
583:Initial and terminal objects
387:Modify the text accordingly
175:defined by the empty matrix
1464:
1329:13:14, 12 March 2012 (UTC)
1309:11:08, 12 March 2012 (UTC)
1287:10:27, 12 March 2012 (UTC)
1262:09:44, 12 March 2012 (UTC)
1247:09:00, 12 March 2012 (UTC)
1206:08:00, 12 March 2012 (UTC)
1191:22:53, 11 March 2012 (UTC)
1160:07:59, 10 March 2012 (UTC)
481:as the zero object of the
1141:22:27, 9 March 2012 (UTC)
1121:07:02, 3 March 2012 (UTC)
1097:04:41, 3 March 2012 (UTC)
1038:19:18, 2 March 2012 (UTC)
1023:18:44, 2 March 2012 (UTC)
987:18:02, 2 March 2012 (UTC)
848:11:49, 1 March 2012 (UTC)
834:11:34, 1 March 2012 (UTC)
820:09:25, 1 March 2012 (UTC)
796:08:43, 1 March 2012 (UTC)
330:does however occur, e.g.
145:
78:
57:
1399:09:50, 1 July 2012 (UTC)
1375:09:14, 1 July 2012 (UTC)
1046:Unmerging "trivial ring"
961:, the axioms defining a
784:Zero element#Zero object
152:project's priority scale
890:Take care with nesting
662:singleton (mathematics)
109:WikiProject Mathematics
1389:problem to use "the".
1005:) and "pathological"Β (
704:and either a dab page
477:, with mentioning the
418:trivial representation
39:This article is rated
1293:zero object (algebra)
1231:zero object (algebra)
1179:zero object (algebra)
1166:zero object (algebra)
1105:zero object (algebra)
1050:Although the article
597:, as one may read in
595:Zero object (algebra)
475:zero object (algebra)
469:Zero object (algebra)
1359:trivial group" and "
243:raised an accusation
132:mathematics articles
1295:: this page is not
1215:article was easily
1170:algebraic structure
971:direct sum of rings
581:which redirects to
18:Talk:Trivial module
1355:When speaking of "
483:category of groups
101:Mathematics portal
45:content assessment
1223:support the merge
1085:as of February 28
1083:did not contain,
951:Unital structures
371:or "zero module"
301:
166:
165:
162:
161:
158:
157:
16:(Redirected from
1455:
1424:
1421:
1415:
1409:
1082:
1081:
1008:
1004:
968:
930:
929:
923:
918:
909:
903:
899:
893:
886:
880:
876:
870:
740:This defines it
532:
526:
442:A tangle, yes.
381:Rename the page
288:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
36:
35:
27:
21:
1463:
1462:
1458:
1457:
1456:
1454:
1453:
1452:
1433:
1432:
1419:
1413:
1407:
1405:
1353:
1055:
1051:
1048:
1006:
1002:
966:
955:
927:
926:
921:
914:
907:
901:
897:
891:
888:
884:
878:
874:
868:
530:
524:
471:
270:exact sequences
239:
220:
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
23:
22:
15:
12:
11:
5:
1461:
1459:
1451:
1450:
1445:
1435:
1434:
1431:
1430:
1429:
1428:
1352:
1349:
1348:
1347:
1346:
1345:
1344:
1343:
1342:
1341:
1340:
1339:
1338:
1337:
1336:
1335:
1334:
1333:
1332:
1331:
1235:before merging
1124:
1123:
1047:
1044:
1043:
1042:
1041:
1040:
954:
947:
932:
931:
924:
919:
887:
866:
865:
864:
863:
862:
861:
860:
859:
858:
857:
856:
855:
854:
853:
852:
851:
850:
776:
775:
774:
768:
763:
760:Trivial object
746:trivial object
738:
737:
736:
621:Does the term
571:
570:
569:
568:
567:
566:
470:
467:
466:
465:
464:
463:
462:
461:
460:
459:
426:trivial module
414:
401:
400:
399:
391:
388:
385:
349:
328:trivial module
304:
303:
302:
238:
235:
219:
216:
215:
214:
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
37:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1460:
1449:
1446:
1444:
1441:
1440:
1438:
1427:
1422:
1416:
1410:
1402:
1401:
1400:
1396:
1392:
1387:
1383:
1379:
1378:
1377:
1376:
1373:
1371:
1367:
1362:
1358:
1350:
1330:
1327:
1324:
1322:
1317:
1312:
1311:
1310:
1306:
1302:
1298:
1294:
1290:
1289:
1288:
1284:
1280:
1276:
1272:
1268:
1265:
1264:
1263:
1260:
1257:
1255:
1250:
1249:
1248:
1244:
1240:
1236:
1232:
1228:
1224:
1220:
1218:
1217:misunderstood
1214:
1209:
1208:
1207:
1203:
1199:
1194:
1193:
1192:
1188:
1184:
1180:
1175:
1171:
1167:
1163:
1162:
1161:
1157:
1153:
1149:
1144:
1143:
1142:
1138:
1134:
1130:
1126:
1125:
1122:
1119:
1116:
1114:
1110:
1106:
1101:
1100:
1099:
1098:
1094:
1090:
1086:
1079:
1075:
1071:
1067:
1063:
1059:
1054:
1045:
1039:
1036:
1033:
1031:
1026:
1025:
1024:
1020:
1016:
1012:
1000:
996:
991:
990:
989:
988:
985:
982:
980:
976:
972:
964:
960:
952:
948:
946:
945:
942:
939:
937:
925:
920:
917:
913:
912:
911:
906:
896:
883:
873:
867:
849:
845:
841:
837:
836:
835:
831:
827:
823:
822:
821:
817:
813:
809:
804:
803:trivial group
799:
798:
797:
794:
791:
789:
785:
781:
777:
772:
769:
767:
764:
761:
758:
757:
755:
751:
747:
743:
739:
735:
733:
728:
727:
725:
721:
720:
719:
715:
711:
707:
703:
699:
698:
697:
694:
691:
689:
685:
681:
677:
676:
675:
671:
667:
663:
659:
658:false (logic)
655:
651:
650:
649:
646:
643:
641:
637:
632:
628:
624:
620:
619:
618:
617:
613:
609:
605:
600:
596:
592:
588:
584:
580:
576:
565:
562:
559:
557:
553:
552:
546:
545:
544:
540:
536:
529:
522:
521:
520:
517:
514:
512:
508:
504:
503:trivial group
499:
498:
497:
496:
492:
488:
484:
480:
479:trivial group
476:
468:
458:
455:
452:
450:
445:
441:
440:
439:
435:
431:
427:
423:
419:
415:
413:
409:
405:
402:
396:
392:
389:
386:
384:
380:
379:
377:
376:WP:notability
373:
370:
367:
366:
365:
362:
359:
357:
353:
351:I've located
350:
348:
345:
342:
340:
336:
332:
329:
325:
321:
317:
316:singleton set
313:
310:and probably
309:
308:trivial group
305:
300:
296:
292:
287:
286:
285:
284:
283:
279:
275:
271:
267:
266:
265:
264:
260:
256:
252:
251:trivial space
248:
244:
236:
234:
233:
229:
225:
217:
213:
210:
207:
205:
200:
196:
195:
194:
193:
189:
185:
180:
179:vector-valued
176:
168:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
34:
29:
28:
19:
1385:
1381:
1365:
1360:
1356:
1354:
1274:
1270:
1234:
1227:trivial ring
1222:
1216:
1213:trivial ring
1211:
1174:trivial ring
1147:
1129:trivial ring
1108:
1104:
1053:Trivial ring
1049:
1010:
998:
995:pointed sets
956:
950:
933:
915:
889:
807:
780:Zero element
745:
741:
731:
729:
683:
622:
602:
574:
572:
549:
507:trivial ring
472:
443:
422:zero algebra
327:
312:trivial ring
240:
221:
198:
178:
174:
172:
148:Low-priority
147:
107:
73:Lowβpriority
51:WikiProjects
1297:zero object
1279:Incnis Mrsi
1198:Incnis Mrsi
1152:Incnis Mrsi
1148:improvement
1089:Incnis Mrsi
1015:Incnis Mrsi
999:exactly one
826:Incnis Mrsi
812:Incnis Mrsi
771:Zero object
750:Zero object
742:in terms of
706:zero object
684:zero object
680:zero object
666:Incnis Mrsi
627:zero object
623:zero object
591:Zero object
579:Zero object
551:zero object
535:Incnis Mrsi
487:Incnis Mrsi
430:Incnis Mrsi
395:zero object
383:Zero module
320:zero module
291:Incnis Mrsi
255:Incnis Mrsi
224:Incnis Mrsi
184:Incnis Mrsi
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
1437:Categories
656:(or, say,
444:Zero space
247:zero space
199:defined by
654:empty set
636:empty set
1420:contribs
1408:asmeurer
1391:D.Lazard
1366:the same
1301:D.Lazard
1239:D.Lazard
949:Section
840:D.Lazard
808:abstract
710:D.Lazard
608:D.Lazard
604:object".
404:D.Lazard
398:module".
274:D.Lazard
1370:Quondum
1321:Quondum
1254:Quondum
1183:Rumping
1133:Rumping
1113:Quondum
1066:history
1030:Quondum
1009:), and
979:Quondum
953:: rings
936:Quondum
877:inside
788:Quondum
688:Quondum
640:Quondum
575:support
556:Quondum
511:Quondum
449:Quondum
356:Quondum
339:Quondum
204:Quondum
150:on the
1233:, but
959:fields
523:I put
335:object
324:module
318:. So
47:scale.
1229:into
1074:watch
1070:links
1007:1 = 0
1003:1 β 0
997:with
786:. β
686:. β
528:Merge
337:. β
1414:talk
1395:talk
1316:diff
1314:The
1305:talk
1283:talk
1243:talk
1202:talk
1187:talk
1156:talk
1137:talk
1093:talk
1078:logs
1062:talk
1058:edit
1019:talk
963:ring
905:math
900:and
895:mvar
882:math
872:mvar
844:talk
830:talk
816:talk
724:here
714:talk
670:talk
612:talk
589:and
539:talk
505:and
491:talk
434:talk
420:and
408:talk
295:talk
278:talk
259:talk
249:and
237:Move
228:talk
188:talk
1382:the
1361:the
1357:the
1225:of
1011:any
967:1β 0
806:to
752:to
629:to
142:Low
1439::
1417:|
1397:)
1307:)
1285:)
1245:)
1204:)
1189:)
1158:)
1150:.
1139:)
1095:)
1076:|
1072:|
1068:|
1064:|
1060:|
1021:)
908:}}
902:{{
898:}}
892:{{
885:}}
879:{{
875:}}
869:{{
846:)
832:)
818:)
726::
716:)
672:)
614:)
606:β
601::
573:I
541:)
531:}}
525:{{
493:)
436:)
410:)
297:)
280:)
261:)
230:)
190:)
1423:)
1411:(
1393:(
1386:a
1326:β
1303:(
1281:(
1275:1
1271:1
1259:β
1241:(
1200:(
1185:(
1154:(
1135:(
1118:β
1091:(
1080:)
1056:(
1035:β
1017:(
984:β
941:β
842:(
828:(
814:(
793:β
732:0
712:(
693:β
668:(
645:β
610:(
561:β
537:(
516:β
489:(
454:β
432:(
406:(
361:β
344:β
293:(
276:(
257:(
226:(
209:β
186:(
154:.
53::
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.